On Sets Cook-Reducible to Sparse Sets
β Scribed by Solovay, Robert M.
- Book ID
- 118169403
- Publisher
- Society for Industrial and Applied Mathematics
- Year
- 1976
- Tongue
- English
- Weight
- 694 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0097-5397
- DOI
- 10.1137/0205043
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Ogiwara and Watanabe showed that if SAT is bounded truth-table reducible to a sparse set, then P = NP. In this paper we simplify their proof, strengthen the result and use it to obtain several new results. Among the new results are the following: β’ Applications of the main theorem to log-truth-tabl
SETS by GERD WECHSUNG in Jena (G.D.R.)') 0. Iritroduet,ion and Resnlt,s The consequences of the existence of Theorem 1 ([3]). P = KP o There exists a &-complete sparse set d 7 ~ coNP. Theorem 2 ( [ 7 ] ) . P = N P e There exists a SL-complete sparse set in NP. B precursor of Theorem 2 is contained i