Abstract
We prove that if for some ε > 0, NP contains a set that is DTIME(2nε)-bi-immune, then NP contains a set that is 2-Turing complete for NP (hence 3-truth-table complete) but not 1-truth-table complete for NP. Thus this hypothesis implies a strong separation of completeness notions for NP. Lutz and Mayordomo [LM96] and Ambos-Spies and Bentzien [ASB00] previously obtained the same consequence using strong hypotheses involving resource-bounded measure and/or category theory. Our hypothesis is weaker and involves no assumptions about stochastic properties of NP.
Work done while the author was at University at Buffalo.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Ambos-Spies and L. Bentzien. Separating NP-completeness under strong hypotheses. Journal of Computer and System Sciences, 61(3):335–361, 2000.
K. Ambos-Spies, A. Terwijn, and X. Zheng. Resource bounded randomness and weakly complete problems. Theoretical Computer Science, 172(1):195–207, 1997.
J. Balcázar, J. Diaz, and J. Gabarró. Structural Complexity II. Springer-Verlag, Berlin, 1990.
J. Balcázar and U. Schöning. Bi-immune sets for complexity classes. Mathematical Systems Theory, 18(1):1–18, June 1985.
D. Johnson and S. Kashdan. Lower bounds for selection in x+y and other multisets. Technical Report 183, Pennsylvania State Univ., University Park, PA, 1976.
R. Ladner, N. Lynch, and A. Selman. A comparison of polynomial time reducibilities. Theoretical Computer Science, 1:103–123, 1975.
J. Lutz and E. Mayordomo. Cook versus Karp-Levin: Separating completeness notions if NP is not small. Theoretical Computer Science, 164:141–163, 1996.
L. Longpré and P. Young. Cook reducibility is faster than Karp reducibility. Journal of Computer and System Sciences, 41:389–401, 1990.
A. Pavan and A. Selman. Separation of NP-completeness notions. In 16th Annual IEEE Conference on Computational Complexity, pages 78–89, 2001.
A. Selman. Reductions on NP and P-selective sets. Theoretical Computer Science, 19:287–304, 1982.
I. Simon and J. Gill. Polynomial reducibilities and upward diagonalizations. Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, pages 186–194, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pavan, A., Selman, A.L. (2002). Bi-Immunity Separates Strong NP-Completeness Notions. In: Alt, H., Ferreira, A. (eds) STACS 2002. STACS 2002. Lecture Notes in Computer Science, vol 2285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45841-7_33
Download citation
DOI: https://doi.org/10.1007/3-540-45841-7_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43283-8
Online ISBN: 978-3-540-45841-8
eBook Packages: Springer Book Archive