RE

In computability theory and computational complexity theory, RE (recursively enumerable) is the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amount of time.^[1] Informally, it means that if the answer is 'yes', then there is some procedure which takes finite time to determine this. On the other hand, if the answer is 'no', the machine might never halt. Equivalently, RE is the class of decision problems for which a Turing machine can list all the 'yes' instances, one by one (this is what 'enumerable' means).

Similarly, co-RE is the set of all languages that are complements of a language in RE. In a sense, co-RE contains languages of which membership can be disproved in a finite amount of time, but proving membership might take forever.

Each member of RE is a recursively enumerable set and therefore a Diophantine set.

Relations to other classes

RE is known to be strictly greater than R, and strictly not equal to co-RE.^[2] We have that

RE-complete

RE-complete is the set of decision problems that are complete for RE. In a sense, these are the "hardest" recursively enumerable problems. All such problems are nonrecursive. Generally, no constraint is placed on the reductions used except that they must be many-one reductions.

Examples of RE-complete problems:

1. Halting problem: Whether a program given a finite input finishes running or will run forever.
2. By Rice's Theorem, deciding membership in any nontrivial subset of the set of recursive functions is RE-hard. It will be complete whenever the set is recursively enumerable.
3. [Myhill 1955]^[3] has proven that all creative sets are RE-complete.
4. The uniform word problem for groups or semigroups. [Indeed, the word problem for some individual groups is RE-complete.]
5. Deciding membership in a general unrestricted formal grammar. [Again, certain individual grammars have RE-complete membership problem.]
6. Post correspondence problem: Given a finite set of strings, determine if there is a string that can be factored into a composition of the strings (allowing repeats) in two different ways.
7. The Domino Problem for Wang tiles.
8. The validity problem for first-order logic.
9. Determining if a Diophantine equation has any integer solutions.

co-RE-complete

co-RE-complete is the set of decision problems that are complete for co-RE. In a sense, these are the complements of the hardest recursively enumerable problems.

See also

List of undecidable problems

References

1. ^ Complexity Zoo: Class RE
2. ^ Complexity Zoo: Class co-RE
3. ^ Myhill, J. "Creative sets," Z. Math. Logik Grundlag. Math., v. 1, pp. 97–108.