Retraceable crowd
A set of natural numbers is retraceable (ger .: traceable ) when the next smallest element to each element of the set is calculated can be. Retraceable sets occur in theoretical computer science , more precisely in computability theory , when investigating decidable sets. The theory of retraceable sets goes back to the work of Dekker and Myhill.
Explanation
motivation
For decidable sets the following two functions are and always predictable :
- For everyone , unless it is finite and then applies .
- For everyone be as well .
Outside of , the functions can show any behavior. Now the function defined in 1. is calculable if and only if it is decidable. The question therefore arises whether a similar characterization is also possible for those quantities for which it is calculable. These are just the most retraceable amounts.
definition
A set of natural numbers is called retraceable if there is a partially computable function such that . The mapping is then called the retraceable function .
properties
Decidable sets are obviously retraceable ( see above ), but the reverse is generally not true. Instead:
- Retraceable sets are always either decidable or immune .
- Retraceable sets with recursively enumerable (re) complement are either decidable or even hyperimmune .
Nevertheless, a characterization of decidable sets can be found that uses the retraceable property.
- A set is decidable if and only if both it and its complement are retraceable.
If we only consider relative decidability , the following picture emerges:
- A retraceable set is either finite (i.e. decidable per se) or relatively decidable in all of its infinite subsets.
- So it is true, is retraceable and has an infinite subset , so it follows (cf. reduction ).
In the definition above, the behavior of the retraceable function outside of indeterminate, in particular the function does not have to be defined there. However, there are cases when one can totally choose.
- Retraceable sets with re complement have total retraceable functions.
Naturally there is a close connection between retraceable sets and alternative computable orders on the natural numbers.
Note : Semi-predictability should not be confused with semi-decidability .
- Every infinite semi-computable set has an infinite retraceable subset.
- Retraceable sets with right complement are semi-computable.
In the theory of Turing degrees , the retraceable sets provide a class of universal representatives:
- Each Turing degree contains a retraceable amount.
- Every recursively enumerable Turing degree contains a retraceable set whose complement is re.
Individual evidence
- ^ JCE Dekker, J. Myhill: Retraceable sets . In: Canadian Journal of Mathematics . tape 10 . Canadian Mathematical Society, Ottawa, CAN-ON 1958, p. 357-373 .
- ^ JCE Dekker: Infinite series of isols . In: Proceedings of Symposia in Pure Mathematics . tape 5 . American Mathematical Society, Providence, US-RI 1962, pp. 77-96 .
literature
- H. Rogers, Jr .: Theory of Recursive Functions and Effective Computability . McGraw-Hill, 1967, ISBN 978-0-262-68052-3 .
- P. Odifreddi : Classical Recursion Theory . Elsevier, 1989, ISBN 0-444-87295-7 .