Abstract
For every recursive set A, let PP-A denote the following promise problem. input x and y promise (x∈A)⊕(y∈A) property x∈A. We show that if L is a solution of PP-A, then A∈PL/Poly. From this result, it follows that if A is ≤ PT -hard for NP, then all solutions of PP-A are hard for NP under a reduction that generalizes both ≤ PT and ≤ SNT . Specifically, if A is NP-hard, then all solutions of PP-A are generalized high 2. [BBS86b]. The main theorem that leads to this result states that if B is a self- reducible set, B≤ PT A, and A∈PL/Poly, then Σ P,B2 ...Σ P,L2 . Several interesting connections between uniform and nonuniform complexity follow directly from this theorem.
Funding for this research was provided by the National Security Agency under grant MDA-87-H-2020
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi, J. Feigenbaum, and J. Kilian. On hiding information from an oracle. In Proc. 19th ACM Symp. Theory of Computing, pages 195–203, 1987.
J. Balcázar, R. Book, and U. Schöning. The polynomial-time hierarchy and sparse oracles. J. Assoc. Comput. Mach., 33(3):603–617, 1986.
J. Balcázar, R. Book, and U. Schöning. Sparse sets, lowness, and highness. SIAM J. Comput., 15:739–747, 1986.
S. Even, A. Selman, and Y. Yacobi. The complexity of promise problems with applications to public-key cryptography. Information And Control, 61(2):159–173, May 1984.
S. Even and Y. Yacobi. Cryptocomplexity and NP-completeness. In Proc. 8th Colloq. on Automata, Languages, and Programming, Lecture Notes in Computer Science, pages 195–207, Springer-Verlag, Berlin, 1980.
R. Karp and R. Lipton. Some connections between nonuniform and uniform complexity classes. In Proc. 12th ACM Symp. on Theory of Computing, pages 302–309, 1980.
K. Ko, On self-reducibility and weak P-selectivity. J. Comput. System Sci., 26:209–211, 1983.
K. Ko and U. Schöning. On circuit-size and the low hierarchy in NP. SIAM J. Comput., 14(1):41–51, 1985.
T. Long. Strong nondeterministic polynomial-time reducibilities. Theor. Comput. Sci., 21:1–25, 1982.
A. Meyer and M. Paterson. With What Frequency are apparently Intractable Problems Difficult? Technical Report MIT/LCS/TM-126, M.I.T., 1979.
U. Schöning. A low and a high hierarchy within NP. J. Comput. System Sci., 27:14–28, 1983.
U. Schöning. Generalized polynomial reductions, degrees, and NP-completeness. Fundamenta Informaticae, 7:77–843, 1984.
A. Selman. Arithmetical reducibilities I. Zeitschr. f. math. Logik und Grundlagen d. Math., 17:335–350, 1971.
A. Selman. Reductions on NP and P-selective sets. Theor. Comput. Sci., 19:287–304, 1982.
A. Selman. Promise problems complete for complexity classes. Information and Computation, 78:87–98, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Longpré, L., Selman, A.L. (1990). Hard promise problems and nonuniform complexity. In: Choffrut, C., Lengauer, T. (eds) STACS 90. STACS 1990. Lecture Notes in Computer Science, vol 415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52282-4_45
Download citation
DOI: https://doi.org/10.1007/3-540-52282-4_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52282-9
Online ISBN: 978-3-540-46945-2
eBook Packages: Springer Book Archive