Abstract
The existence of setsnot being ≤ P tt -reducible to low sets is investigated for several complexity classes such as UP, NP, the polynomial-time hierarchy, PSPACE, and EXPTIME. The p-selective sets are mainly considered as a class of low sets. Such investigations were done in many earlier works, but almost all of these have dealt withpositive reductions in order to imply the strongest consequence such as P=NP under the assumption that all sets in NP are polynomial-time reducible to low sets. Currently, there seems to be some difficulty in obtaining the same strong results undernonpositive reducibilities. The purpose of this paper is to develop a useful technique to show for many complexity classes that if each set in the class is polynomial-time reducible to a p-selective set via anonpositive reduction, then the class is already contained in P. The following results are shown in this paper.
(1) If each set in UP is ≤ P tt -reducible to a p-selective set, then P=UP.
(2) If each set in NP is ≤ P tt -reducible to a p-selective set, then P=FewP and R=NP.
(3) If each set in Δ P2 is ≤ P tt -reducible to a p-selective set, then P=NP.
(4) If each set in PSPACE is ≤ P tt -reducible to a p-selective set, then P=PSPACE.
(5) There is a set in EXPTIME that is not ≤ P tt -reducible to any p-selective set.
It remains open whether P=NP follows from a weaker assumption that each set in NP is ≤ P tt -reducible to a p-selective set.
Similar content being viewed by others
References
L. Adleman, Two theorems on random polynomial time,Proc. 17th Ann. Symposium on Foundations of Computer Science (1978), pp. 75–83.
E. Allender, The complexity of sparse sets in P,Proc. 1st IEEE Conference on Structure in Complexity Theory, Lecture Notes in Computer Science, Vol. 223 (1986), Springer-Verlag, Berlin, pp. 1–11.
A. Amir and W. I. Gasarch, Polynomial terse sets,Inform. and Computation 77 (1988), 37–56.
R. Beigel, A structural theorem that depends quantitatively on the complexity of SAT,Proc. 2nd Conference on Structure in Complexity Theory (1987), pp. 28–34.
R. Beigel, NP-hard sets are p-superterse unless R = NP, Technical Report 88-04, Department of Computer Science, The Johns Hopkins University (1988).
L. Berman, Relationship between density and deterministic complexity of NP-complete languages,Proc. 5th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science, Vol. 62 (1978), Springer-Verlag, Berlin, pp. 63–71.
L. Berman and J. Hartmanis, On isomorphism and densities of NP and other complete sets,SIAM J. Comput. 6 (1977), 305–322.
R. V. Book, Tally languages and complexity classes,Inform. and Control 26 (1974), 186–193.
R. V. Book and K. Ko, On sets truth-table reducible to sparse sets,SIAM J. Comput. 17 (1988), 903–919.
R. V. Book, C. Wrathall, A. L. Selman, and D. Dobkin, Inclusion complete tally languages and the Hertmanis-Berman conjecture,Math. Systems Theory 11 (1977), 1–8.
S. Even, A. L. Selman, and Y. Yacobi, The complexity of promise problems with applications to public-key cryptography,Inform. and Control 61 (1984), 114–133.
S. Fortune, A note on sparse complete sets,SIAM J. Comput. 8 (1979), 431–433.
J. Gill, Computational complexity of probabilistic Turing machines,SIAM J. Comput. 6 (1977), 675–695.
J. Grollmann and A. L. Selman, Complexity measure for public-key cryptosystems,SIAM J. Comput. 17 (1988), 309–335.
J. Hartmanis and R. E. Stearns, On the computational complexity of algorithms,Trans. Amer. Math. Soc. 117 (1965), 285–306.
J. Kadin, PNP[log] and sparse Turing-complete sets for NP,Proc. 2nd IEEE Conference on Structure in Complexity Theory (1987), pp. 33–40.
R. Karp and R. Lipton, Some connections between nonuniform and uniform complexity classes,Proc. 12th ACM Ann. Symposium on Theory of Computing (1980), pp. 302–309.
K. Ko, On self-reducibility and weak p-selectivity, J. Comput. System Sci.26 (1983), 209–221.
K. Ko and U. Schöning, On circuit-size complexity and the low hierarchy in NP,SIAM J. Comput. 14 (1985), 41–51.
T. J. Long, A note on sparse oracles for NP,J. Comput. System Sci. 24 (1982), 224–232.
T. J. Long, On restricting the size of oracles compared with restricting access to oracles,SIAM J. Comput. 14 (1985), 585–597.
S. Mahaney, Sparse complete sets for NP: solution of a conjecture of Berman and Hartmanis,J. Comput. System Sci. 25 (1982), 130–143.
M. Ogiwara and O. Watanabe, On polynomial time bounded truth-table reducibility of NP sets to sparse sets,Proc. 22nd ACM Symposium on Theory of Computing (1990), pp. 457–467.
U. Schöning, A low and a high hierarchy within NP,J. Comput. System Sci. 27 (1983), 14–28.
U. Schöning,Complexity and Structure, Lecture Notes in Computer Science, Vol. 211 (1985), Springer-Verlag, Berlin.
A. L. Selman, P-selective sets, tally languages, and the behavior of polynomial reducibilities on NP,Math. Systems Theory 13 (1979), 55–65.
A. L. Selman, Some observations on NP real numbers and p-selective sets,J. Comput. System Science 23 (1981), 326–332.
A. L. Selman, Analogues of semi-recursive sets and effective reducibilities to the study of NP complexity,Inform. and Control 52 (1982), 36–51.
A. L. Selman, Reductions on NP and p-selective sets,Theoret. Comput. Sci. 19 (1982), 287–304.
L. J. Stockmeyer, The polynomial-time hierarchy,Theoret. Comput. Sci. 3 (1977), 1–22.
E. Ukkonen, Two results on polynomial time Turing reductions to sparse sets,SIAM J. Comput. 12 (1983), 580–587.
L. G. Valiant, Relative complexity of checking and evaluating,Inform. Process. Lett. 5 (1976), 20–23.
L. G. Valiant and V. V. Vazirani, NP is as easy as detecting unique solutions,Theoret. Comput. Sci. 47 (1986), 85–93.
O. Watanabe, Polynomial time reducibility to a set of small density,Proc. 2nd IEEE Conference on Structure in Complexity Theory (1987), pp. 138–146.
O. Watanabe, On hardness of one-way functions,Inform. Process. Lett. 27 (1988), 151–157.
O. Watanabe, On ≤ P1−tt -sparseness and nondeterministic complexity classes,J, Comput. System Science, to appear.
O. Watanabe, Polynomial time truth-table reducibility to p-selective sets, unpublished manuscript (1990).
C. Wrathall, Complete sets and the polynomial-time hierarchy,Theoret. Comput. Sci. 3 (1977), 23–33.
C. Yap, Some consequences of non-uniform conditions on uniform classes,Theoret. Comput. Sci. 27 (1983), 287–300.
Y. Yesha, On certain polynomial-time truth-table reductions to sparse sets,SIAM J. Comput. 12 (1983), 411–425,
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Toda, S. On polynomial-time truth-table reducibility of intractable sets to P-selective sets. Math. Systems Theory 24, 69–82 (1991). https://doi.org/10.1007/BF02090391
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02090391