## Abstract

In our study of unsolvable problems, we associated a set with each problem. In essence, we discussed only problems of the form “does *x* have a certain property.” By coding programs onto IN, many natural problems in computer science can be represented as sets. From our study of abstract complexity we know that there are sets (problems) for which deciding membership is arbitrarily difficult. A problem is “complete” for some class if it is the “hardest” problem in the class. If you have some class of sets and a complete problem for the set, then that complete problem embodies all that is difficult about *any* problem in the class. For example, we will show that *K* is complete for r.e. sets.

## Keywords

Turing Machine Hamiltonian Cycle Vertex Cover Recursive Function Conjunctive Normal Form## Preview

Unable to display preview. Download preview PDF.

## References

- [Coo]S. Cook, The complexity of theorem-proving procedures,
*Proceedings of the*3^{rd}*Annual ACM Symposium on the Theory of Computing*, ACM, New York, 1971, pp. 151–158.Google Scholar - [G&J]M. Garey and D. Johnson, Computers and Intractability, A Guide to
*NP*-Completeness, W. H. Freeman and Co., San Francisco, 1979.Google Scholar - [H&S1]J. Hartmanis and R. Sterns, On the computational complexity of algorithms,
*Transactions of the AMS*, Vol. 117, 1965, pp. 285–306.MATHCrossRefGoogle Scholar - [H&S2]F. Hennie and R. Sterns, Two-tape simulation of multiple tape Turing machines,
*Journal of the ACM*, Vol. 13, 1966, pp. 533–546.MATHCrossRefGoogle Scholar - [Imm]N. Immerman, Deterministic space is closed under complementation,
*SIAM Journal of Computing*, Vol. 7, 1988, pp. 935–938.MathSciNetCrossRefGoogle Scholar - [Kar]R. Karp, Reducibility among combinatorial problems, in Complexity of Computer Computations, edited by R. Miller and J. Thatcher, Plenum Press, New York, 1972.Google Scholar
- [Pos]E. Post, Recursively enumerable sets of positive integers and their decision problems,
*Bulletin of the American Mathematical Society*, Vol. 50, 1944, pp. 284–316.MathSciNetMATHCrossRefGoogle Scholar - [Sav]W. Savitch, Relationships between nondeterministic and deterministic tape complexities,
*Journal of Computer and Systems Sciences*, Vol. 4, 1970, pp. 177–192.MathSciNetMATHCrossRefGoogle Scholar - [Sze]R. Szelpcsenyi, The method of forced enumeration for nondeterministic automata,
*Acta Informatica*, 1988, pp. 279–284.Google Scholar - [Tur]A. Turing, On computable numbers, with an application to the entscheidungsproblem,
*Proceedings of the London Mathematical Society*, Vol. 42, 1936, pp. 230–265, with a correction in Vol. 43, 1937, pp. 544-546.MathSciNetCrossRefGoogle Scholar