Applegate, D., Bixby, R., Chvátal, V., and Cook, W. On the solution of traveling salesman problems. Documenta Mathematica, Extra Volume ICM III (1998), 645--656.

Google Scholar

[4]

Arora, S. Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems. J. ACM 45, 5 (Sept. 1998), 753--782.

Digital Library

Google Scholar

[5]

Arora, S. and Barak, B. Complexity Theory: A Modern Approach. Cambridge University Press, Cambridge, 2009.

Digital Library

Google Scholar

[6]

Baker, T., Gill, J., and Solovay, R. Relativizations of the P = NP question. SIAM Journal on Computing 4, 4 (1975), 431--442.

Digital Library

Google Scholar

[7]

Cantor, G. Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Crelle's Journal 77 (1874), 258--262.

Google Scholar

[8]

Cipra, B. This Ising model is NP-complete. SIAM News 33, 6 (July/Aug. 2000).

Google Scholar

[9]

Conitzer, V. and Sandholm, T. New complexity results about Nash equilibria. Games and Economic Behavior 63, 2 (July 2008), 621--641.

Crossref

Google Scholar

[10]

Cook, S. The complexity of theorem-proving procedures. In Proceedings of the 3rd ACM Symposium on the Theory of Computing, ACM, NY, 1971, 151--158.

Digital Library

Google Scholar

[11]

Downey, R. and Fellows, M. Parameterized Complexity. Springer, 1999.

Crossref

Google Scholar

[12]

Edmonds, J. Paths, trees and owers. Canadian Journal of Mathematics 17, (1965), 449--467.

Crossref

Google Scholar

[13]

Fortnow, L. and Gasarch, W. Computational complexity; http://weblog.fortnow.com.

Google Scholar

[14]

Fortnow, L. and Homer, S. A short history of computational complexity. Bulletin of the European Association for Theoretical Computer Science 80, (June 2003).

Google Scholar

[15]

Furst, M., Saxe, J., and Sipser, M. Parity, circuits and the polynomial-time hierarchy. Mathematical Systems Theory 17 (1984), 13--27.

Crossref

Google Scholar

[16]

Garey, M. and Johnson, D. Computers and Intractability. A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, NY, 1979.

Digital Library

Google Scholar

[17]

Goemans, M. and Williamson, D. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM 42, 6 (1995), 1115--1145.

Digital Library

Google Scholar

[18]

Goldreich, O. Foundations of cryptographyla primer. Foundations and Trends in Theoretical Computer Science 1, 1 (2005) 1--116.

Digital Library

Google Scholar

[19]

Grover, L. A fast quantum mechanical algorithm for database search. In Proceedings of the 28th ACM Symposium on the Theory of Computing. ACM, NY, 1996, 212--219.

Digital Library

Google Scholar

[20]

Gusfield, D. Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology. Cambridge University Press, 1997.

Crossref

Google Scholar

[21]

Haken, A. The intractability of resolution. Theoretical Computer Science, 39 (1985) 297--305.

Crossref

Google Scholar

[22]

Impagliazzo, R. A personal view of average-case complexity theory. In Proceedings of the 10th Annual Conference on Structure in Complexity Theory. IEEE Computer Society Press, 1995, 134--147.

Digital Library

Google Scholar

[23]

Impagliazzo, R. and Wigderson, A. P = BPP if E requires exponential circuits: Derandomizing the XOR lemma. In Proceedings of the 29th ACM Symposium on the Theory of Computing. ACM, NY, 1997, 220--229.

Digital Library

Google Scholar

[24]

Karp, R. Reducibility among combinatorial problems. Complexity of Computer Computations. R. Miller and J. Thatcher, Eds. Plenum Press, 1972, 85--103.

Google Scholar

[25]

Khot, S., Kindler, G., Mossel, E., and O'Donnell, R. Optimal inapproximability results for MAX-CUT and other 2-variable CsPs? SIAM Journal on Computing 37, 1 (2007), 319--357.

Digital Library

Google Scholar

[26]

Lathrop, R. The protein threading problem with sequence amino acid interaction preferences is NP-complete. Protein Engineering 7, 9 (1994), 1059--1068.

Crossref

Google Scholar

[27]

Levin, L. Universal'nyie perebornyie zadachi (Universal search problems: in Russian). Problemy Peredachi Informatsii 9, 3 (1973), 265--266. Corrected English translation.37

Google Scholar

[28]

Levin, L. Average case complete problems. SIAM Journal on Computing 15, (1986), 285--286.

Digital Library

Google Scholar

[29]

Mulmuley, K. and Sohoni, M. Geometric complexity theory I: An approach to the P vs. NP and related problems. SIAM Journal on Computing 31, 2, (2001) 496--526.

Digital Library

Google Scholar

[30]

Raghavendra, P. Optimal algorithms and inapproximability results for every csp? In Proceedings of the 40th ACM Symposium on the Theory of Computing. ACM, NY, 2008, 245--254.

Digital Library

Google Scholar

[31]

Razborov, A. Lower bounds on the monotone complexity of some Boolean functions. Soviet Mathematics-Doklady 31, (1985) 485--493.

Google Scholar

[32]

Razborov, A. On the method of approximations. In Proceedings of the 21st ACM Symposium on the Theory of Computing. ACM, NY, 1989, 167--176.

Digital Library

Google Scholar

[33]

Razborov, A., and Rudich, S. Natural proofs. Journal of Computer and System Sciences 55, 1 (Aug. 1997), 24--35.

Digital Library

Google Scholar

[34]

Shor. P. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing 26, 5 (1997) 1484--1509.

Digital Library

Google Scholar

[35]

Solovay, R. and Strassen, V. A fast Monte-Carlo test for primality. SIAM Journal on Computing 6 (1977), 84--85. See also erratum 7:118, 1978.

Digital Library

Google Scholar

[36]

Sudan, M. Probabilistically checkable proofs. Commun. ACM 52, 3 (Mar. 2009) 76--84.

Digital Library

Google Scholar

[37]

Trakhtenbrot, R. A survey of Russian approaches to Perebor (brute-force search) algorithms. Annals of the History of Computing 6, 4 (1984), 384--400.

Digital Library

Google Scholar

[38]

Turing, A. On computable numbers, with an application to the Etscheidungs problem. Proceedings of the London Mathematical Society 42 (1936), 230--265.

Google Scholar

[39]

van Melkebeek, D. A survey of lower bounds for satisfiability and related problems. Foundations and Trends in Theoretical Computer Science 2, (2007), 197--303.

Digital Library

Google Scholar

Cited By

View all

Pereg UDeppe CBoche H(2025)The Multiple-Access Channel With Entangled TransmittersIEEE Transactions on Information Theory10.1109/TIT.2024.351650771:2(1096-1120)Online publication date: 1-Feb-2025
https://dl.acm.org/doi/10.1109/TIT.2024.3516507
Huang MXu Z(2025)No existence of a linear algorithm for the one-dimensional Fourier phase retrievalJournal of Complexity10.1016/j.jco.2024.10188686(101886)Online publication date: Feb-2025
https://doi.org/10.1016/j.jco.2024.101886
Nemeth CHoskens HWilson GJones MDiPietrantonio JSalami BHarnish DClaes PWeinberg SShriver MHallgrímsson B(2025)Quantitative analysis of facial shape in children to support respirator designApplied Ergonomics10.1016/j.apergo.2024.104375122(104375)Online publication date: Jan-2025
https://doi.org/10.1016/j.apergo.2024.104375
Show More Cited By

Index Terms

The status of the P versus NP problem

Index terms have been assigned to the content through auto-classification.

Recommendations

P, NP, and NP-Completeness: The Basics of Computational Complexity
Sparse Sets in NP-P: EXPTIME Versus NEXPTIME
S^p _2 \subseteq ZPP^{NP}
FOCS '01: Proceedings of the 42nd IEEE symposium on Foundations of Computer Science

We show that the class S_2^p is a subclass of ZPPNP. The proof uses universal hashing, approximate counting and witness sampling. As a consequence, a collapse first noticed by Samik Sengupta that the assumption NP has small circuits collapses PH to S_2^...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 52, Issue 9

The Status of the P versus NP Problem

September 2009

139 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1562164

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2009

Published in CACM Volume 52, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

135
Total Citations
View Citations
333,050
Total Downloads

Downloads (Last 12 months)6,035
Downloads (Last 6 weeks)571

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pereg UDeppe CBoche H(2025)The Multiple-Access Channel With Entangled TransmittersIEEE Transactions on Information Theory10.1109/TIT.2024.351650771:2(1096-1120)Online publication date: 1-Feb-2025
https://dl.acm.org/doi/10.1109/TIT.2024.3516507
Huang MXu Z(2025)No existence of a linear algorithm for the one-dimensional Fourier phase retrievalJournal of Complexity10.1016/j.jco.2024.10188686(101886)Online publication date: Feb-2025
https://doi.org/10.1016/j.jco.2024.101886
Nemeth CHoskens HWilson GJones MDiPietrantonio JSalami BHarnish DClaes PWeinberg SShriver MHallgrímsson B(2025)Quantitative analysis of facial shape in children to support respirator designApplied Ergonomics10.1016/j.apergo.2024.104375122(104375)Online publication date: Jan-2025
https://doi.org/10.1016/j.apergo.2024.104375
Sanders B(2025)Quantum ComputationEncyclopedia of Mathematical Physics10.1016/B978-0-323-95703-8.00259-7(202-210)Online publication date: 2025
https://doi.org/10.1016/B978-0-323-95703-8.00259-7
Wang CLu CChen M(2024)Quantum computing with time-travelling quantum gatesActa Physica Sinica10.7498/aps.73.2023128973:2(020303)Online publication date: 2024
https://doi.org/10.7498/aps.73.20231289
Vega F(2024)Note for the P versus NP ProblemIPI Letters10.59973/ipil.92(14-18)Online publication date: 7-Jun-2024
https://doi.org/10.59973/ipil.92
Vega F(2024)Solving NP-complete Problems EfficientlyIPI Letters10.59973/ipil.122(76-79)Online publication date: 16-Sep-2024
https://doi.org/10.59973/ipil.122
Yuan BZhou Y(2024)Task replication scheduling algorithm under resource constraintsProceedings of the 2024 4th International Conference on Artificial Intelligence, Big Data and Algorithms10.1145/3690407.3690457(293-299)Online publication date: 21-Jun-2024
https://dl.acm.org/doi/10.1145/3690407.3690457
Loscos DMarti-Oliet NRodriguez IVillarrubia J(2024)Learning Circuit Complexity of Boolean Functions2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/SMC54092.2024.10831329(5230-5237)Online publication date: 6-Oct-2024
https://doi.org/10.1109/SMC54092.2024.10831329
Ju XFan YNiu YYang XShen XLiang HWang Y(2024)Method for selecting emergency material reserve bases in chemical industry parks under typhoon scenariosInternational Journal of Disaster Risk Reduction10.1016/j.ijdrr.2024.104703111(104703)Online publication date: Sep-2024
https://doi.org/10.1016/j.ijdrr.2024.104703
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

P, NP, and NP-Completeness: The Basics of Computational Complexity

Sparse Sets in NP-P: EXPTIME Versus NEXPTIME

S^p _2 \subseteq ZPP^{NP}

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations