18th Annual IEEE Conference on Computational Complexity (CCC'03) Are Cook and Karp Ever the Same? Aarhus, Denmark July 07-July 10 ISBN: 0-7695-1879-6
We consider the question whether there exists a set A such that every set polynomial-time Turing equivalent to A is also many-one equivalent to A. We show that if E = NE then no sparse set has this property. We give the first relativized world where there exists a set with this property, and in this world the set A is sparse.
Citation:
Richard Beigel, Lance Fortnow, "Are Cook and Karp Ever the Same?," ccc, pp.333, 18th Annual IEEE Conference on Computational Complexity (CCC'03), 2003 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||