Under the assumption that NP does riot have p-measure 0, we investigate reductions to NP-complete sets arid prove the following: 1. Adaptive reductions are more powerful than nonadaptive reductions: there is a problem that is Turing-complete for NP but not truth-table-complete. 2. Strong nondeterministic reductions are more powerful than deterministic reductions: there is a problem that is SNP-complete for NP but not Turing-complete. 3. Every problem that is many-one complete for NP is complete under length-increasing reductions that are computed by polynomial-size circuits. The first item solves one of Lutz and Mayordomo's "Twelve Problems in Resource-Bounded Measure" (1999). We also show that every problem that is complete for NE is complete under one-to-one, length-increasing reductions that are computed by polynomial-size circuits. © Springer-Verlag; Berlin Heidelberg 2006.
CITATION STYLE
Hitchcock, J. M., & Pavan, A. (2006). Comparing reductions to NP-complete sets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4051 LNCS, pp. 465–476). Springer Verlag. https://doi.org/10.1007/11786986_41
Mendeley helps you to discover research relevant for your work.