NP-completeness: Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Inline

Latest revision as of 10:32, 8 August 2024

In computational complexity theory, a problem is NP-complete when:

It is a decision problem, meaning that for any input to the problem, the output is either "yes" or "no".
When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) solution.
The correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by trying all possible solutions.
The problem can be used to simulate every other problem for which we can verify quickly that a solution is correct. In this sense, NP-complete problems are the hardest of the problems to which solutions can be verified quickly. If we could find solutions of some NP-complete problem quickly, we could quickly find the solutions of every other problem to which a given solution can be easily verified.

The name "NP-complete" is short for "nondeterministic polynomial-time complete". In this name, "nondeterministic" refers to nondeterministic Turing machines, a way of mathematically formalizing the idea of a brute-force search algorithm. Polynomial time refers to an amount of time that is considered "quick" for a deterministic algorithm to check a single solution, or for a nondeterministic Turing machine to perform the whole search. "Complete" refers to the property of being able to simulate everything in the same complexity class.

More precisely, each input to the problem should be associated with a set of solutions of polynomial length, the validity of each of which can be tested quickly (in polynomial time),^[2] such that the output for any input is "yes" if the solution set is non-empty and "no" if it is empty. The complexity class of problems of this form is called NP, an abbreviation for "nondeterministic polynomial time". A problem is said to be NP-hard if everything in NP can be transformed in polynomial time into it even though it may not be in NP. A problem is NP-complete if it is both in NP and NP-hard. The NP-complete problems represent the hardest problems in NP. If some NP-complete problem has a polynomial time algorithm, all problems in NP do. The set of NP-complete problems is often denoted by NP-C or NPC.

Although a solution to an NP-complete problem can be verified "quickly", there is no known way to find a solution quickly. That is, the time required to solve the problem using any currently known algorithm increases rapidly as the size of the problem grows. As a consequence, determining whether it is possible to solve these problems quickly, called the P versus NP problem, is one of the fundamental unsolved problems in computer science today.

While a method for computing the solutions to NP-complete problems quickly remains undiscovered, computer scientists and programmers still frequently encounter NP-complete problems. NP-complete problems are often addressed by using heuristic methods and approximation algorithms.

Overview

NP-complete problems are in NP, the set of all decision problems whose solutions can be verified in polynomial time; NP may be equivalently defined as the set of decision problems that can be solved in polynomial time on a non-deterministic Turing machine. A problem p in NP is NP-complete if every other problem in NP can be transformed (or reduced) into p in polynomial time.^{[citation needed]}

It is not known whether every problem in NP can be quickly solved—this is called the P versus NP problem. But if any NP-complete problem can be solved quickly, then every problem in NP can, because the definition of an NP-complete problem states that every problem in NP must be quickly reducible to every NP-complete problem (that is, it can be reduced in polynomial time). Because of this, it is often said that NP-complete problems are harder or more difficult than NP problems in general.^{[citation needed]}

Formal definition

A decision problem $\scriptstyle C$ is NP-complete if:^{[citation needed]}

$\scriptstyle C$ is in NP, and
Every problem in NP is reducible to $\scriptstyle C$ in polynomial time.^[3]

$\scriptstyle C$ can be shown to be in NP by demonstrating that a candidate solution to $\scriptstyle C$ can be verified in polynomial time.

Note that a problem satisfying condition 2 is said to be NP-hard, whether or not it satisfies condition 1.^[4]

A consequence of this definition is that if we had a polynomial time algorithm (on a UTM, or any other Turing-equivalent abstract machine) for $\scriptstyle C$ , we could solve all problems in NP in polynomial time.

Background

The concept of NP-completeness was introduced in 1971 (see Cook–Levin theorem), though the term NP-complete was introduced later. At the 1971 STOC conference, there was a fierce debate between the computer scientists about whether NP-complete problems could be solved in polynomial time on a deterministic Turing machine. John Hopcroft brought everyone at the conference to a consensus that the question of whether NP-complete problems are solvable in polynomial time should be put off to be solved at some later date, since nobody had any formal proofs for their claims one way or the other.^{[citation needed]} This is known as "the question of whether P=NP".

Nobody has yet been able to determine conclusively whether NP-complete problems are in fact solvable in polynomial time, making this one of the great unsolved problems of mathematics. The Clay Mathematics Institute is offering a US$1 million reward (Millennium Prize) to anyone who has a formal proof that P=NP or that P≠NP.^[5]

The existence of NP-complete problems is not obvious. The Cook–Levin theorem states that the Boolean satisfiability problem is NP-complete, thus establishing that such problems do exist. In 1972, Richard Karp proved that several other problems were also NP-complete (see Karp's 21 NP-complete problems); thus, there is a class of NP-complete problems (besides the Boolean satisfiability problem). Since the original results, thousands of other problems have been shown to be NP-complete by reductions from other problems previously shown to be NP-complete; many of these problems are collected in Garey & Johnson (1979).

NP-complete problems

The easiest way to prove that some new problem is NP-complete is first to prove that it is in NP, and then to reduce some known NP-complete problem to it. Therefore, it is useful to know a variety of NP-complete problems. The list below contains some well-known problems that are NP-complete when expressed as decision problems.

To the right is a diagram of some of the problems and the reductions typically used to prove their NP-completeness. In this diagram, problems are reduced from bottom to top. Note that this diagram is misleading as a description of the mathematical relationship between these problems, as there exists a polynomial-time reduction between any two NP-complete problems; but it indicates where demonstrating this polynomial-time reduction has been easiest.

There is often only a small difference between a problem in P and an NP-complete problem. For example, the 3-satisfiability problem, a restriction of the Boolean satisfiability problem, remains NP-complete, whereas the slightly more restricted 2-satisfiability problem is in P (specifically, it is NL-complete), but the slightly more general max. 2-sat. problem is again NP-complete. Determining whether a graph can be colored with 2 colors is in P, but with 3 colors is NP-complete, even when restricted to planar graphs. Determining if a graph is a cycle or is bipartite is very easy (in L), but finding a maximum bipartite or a maximum cycle subgraph is NP-complete. A solution of the knapsack problem within any fixed percentage of the optimal solution can be computed in polynomial time, but finding the optimal solution is NP-complete.

Intermediate problems

An interesting example is the graph isomorphism problem, the graph theory problem of determining whether a graph isomorphism exists between two graphs. Two graphs are isomorphic if one can be transformed into the other simply by renaming vertices. Consider these two problems:

Graph Isomorphism: Is graph G₁ isomorphic to graph G₂?
Subgraph Isomorphism: Is graph G₁ isomorphic to a subgraph of graph G₂?

The Subgraph Isomorphism problem is NP-complete. The graph isomorphism problem is suspected to be neither in P nor NP-complete, though it is in NP. This is an example of a problem that is thought to be hard, but is not thought to be NP-complete. This class is called NP-Intermediate problems and exists if and only if P≠NP.

Solving NP-complete problems

At present, all known algorithms for NP-complete problems require time that is superpolynomial in the input size. The vertex cover problem has $O(1.2738^{k}+nk)$ ^[6] for some $k>0$ and it is unknown whether there are any faster algorithms.

The following techniques can be applied to solve computational problems in general, and they often give rise to substantially faster algorithms:

Approximation: Instead of searching for an optimal solution, search for a solution that is at most a factor from an optimal one.
Randomization: Use randomness to get a faster average running time, and allow the algorithm to fail with some small probability. Note: The Monte Carlo method is not an example of an efficient algorithm in this specific sense, although evolutionary approaches like Genetic algorithms may be.
Restriction: By restricting the structure of the input (e.g., to planar graphs), faster algorithms are usually possible.
Parameterization: Often there are fast algorithms if certain parameters of the input are fixed.
Heuristic: An algorithm that works "reasonably well" in many cases, but for which there is no proof that it is both always fast and always produces a good result. Metaheuristic approaches are often used.

One example of a heuristic algorithm is a suboptimal $O(n\log n)$ greedy coloring algorithm used for graph coloring during the register allocation phase of some compilers, a technique called graph-coloring global register allocation. Each vertex is a variable, edges are drawn between variables which are being used at the same time, and colors indicate the register assigned to each variable. Because most RISC machines have a fairly large number of general-purpose registers, even a heuristic approach is effective for this application.

Completeness under different types of reduction

In the definition of NP-complete given above, the term reduction was used in the technical meaning of a polynomial-time many-one reduction.

Another type of reduction is polynomial-time Turing reduction. A problem $\scriptstyle X$ is polynomial-time Turing-reducible to a problem $\scriptstyle Y$ if, given a subroutine that solves $\scriptstyle Y$ in polynomial time, one could write a program that calls this subroutine and solves $\scriptstyle X$ in polynomial time. This contrasts with many-one reducibility, which has the restriction that the program can only call the subroutine once, and the return value of the subroutine must be the return value of the program.

If one defines the analogue to NP-complete with Turing reductions instead of many-one reductions, the resulting set of problems won't be smaller than NP-complete; it is an open question whether it will be any larger.

Another type of reduction that is also often used to define NP-completeness is the logarithmic-space many-one reduction which is a many-one reduction that can be computed with only a logarithmic amount of space. Since every computation that can be done in logarithmic space can also be done in polynomial time it follows that if there is a logarithmic-space many-one reduction then there is also a polynomial-time many-one reduction. This type of reduction is more refined than the more usual polynomial-time many-one reductions and it allows us to distinguish more classes such as P-complete. Whether under these types of reductions the definition of NP-complete changes is still an open problem. All currently known NP-complete problems are NP-complete under log space reductions. All currently known NP-complete problems remain NP-complete even under much weaker reductions such as $AC_{0}$ reductions and $NC_{0}$ reductions. Some NP-Complete problems such as SAT are known to be complete even under polylogarithmic time projections.^[7] It is known, however, that AC⁰ reductions define a strictly smaller class than polynomial-time reductions.^[8]

Naming

According to Donald Knuth, the name "NP-complete" was popularized by Alfred Aho, John Hopcroft and Jeffrey Ullman in their celebrated textbook "The Design and Analysis of Computer Algorithms". He reports that they introduced the change in the galley proofs for the book (from "polynomially-complete"), in accordance with the results of a poll he had conducted of the theoretical computer science community.^[9] Other suggestions made in the poll^[10] included "Herculean", "formidable", Steiglitz's "hard-boiled" in honor of Cook, and Shen Lin's acronym "PET", which stood for "probably exponential time", but depending on which way the P versus NP problem went, could stand for "provably exponential time" or "previously exponential time".^[11]

Common misconceptions

The following misconceptions are frequent.^[12]

"NP-complete problems are the most difficult known problems." Since NP-complete problems are in NP, their running time is at most exponential. However, some problems have been proven to require more time, for example Presburger arithmetic. Of some problems, it has even been proven that they can never be solved at all, for example the halting problem.
"NP-complete problems are difficult because there are so many different solutions." On the one hand, there are many problems that have a solution space just as large, but can be solved in polynomial time (for example minimum spanning tree). On the other hand, there are NP-problems with at most one solution that are NP-hard under randomized polynomial-time reduction (see Valiant–Vazirani theorem).
"Solving NP-complete problems requires exponential time." First, this would imply P ≠ NP, which is still an unsolved question. Further, some NP-complete problems actually have algorithms running in superpolynomial, but subexponential time such as O(2^√nn). For example, the independent set and dominating set problems for planar graphs are NP-complete, but can be solved in subexponential time using the planar separator theorem.^[13]
"Each instance of an NP-complete problem is difficult." Often some instances, or even most instances, may be easy to solve within polynomial time. However, unless P=NP, any polynomial-time algorithm must asymptotically be wrong on more than polynomially many of the exponentially many inputs of a certain size.^[14]
"If P=NP, all cryptographic ciphers can be broken." A polynomial-time problem can be very difficult to solve in practice if the polynomial's degree or constants are large enough. In addition, information-theoretic security provides cryptographic methods that cannot be broken even with unlimited computing power.
"A large-scale quantum computer would be able to efficiently solve NP-complete problems." The class of decision problems that can be efficiently solved (in principle) by a fault-tolerant quantum computer is known as BQP. However, BQP is not believed to contain all of NP, and if it does not, then it cannot contain any NP-complete problem.^[15]

Properties

Viewing a decision problem as a formal language in some fixed encoding, the set NPC of all NP-complete problems is not closed under:

It is not known whether NPC is closed under complementation, since NPC=co-NPC if and only if NP=co-NP, and since NP=co-NP is an open question.^[16]

References

Citations

^ For example, simply assigning true to each variable renders the 18th conjunct ${\overline {m}}\lor {\overline {r}}\lor {\overline {s}}$ (and hence the complete formula) false.
^ Cobham, Alan (1965). "The intrinsic computational difficulty of functions". Proc. Logic, Methodology, and Philosophy of Science II. North Holland.
^ J. van Leeuwen (1998). Handbook of Theoretical Computer Science. Elsevier. p. 84. ISBN 978-0-262-72014-4.
^ J. van Leeuwen (1998). Handbook of Theoretical Computer Science. Elsevier. p. 80. ISBN 978-0-262-72014-4.
^ Kiersz, Andy. "An eminent mathematician claims to have solved one of math's greatest mysteries — and it's one of 6 problems with a $1 million prize". Business Insider. Retrieved 2023-04-24.
^ Chen, Jianer; Kanj, Iyad A.; Xia, Ge (2010-09-06). "Improved upper bounds for vertex cover". Theoretical Computer Science. 411 (40): 3736–3756. doi:10.1016/j.tcs.2010.06.026. ISSN 0304-3975.
^ Agrawal, M.; Allender, E.; Rudich, Steven (1998). "Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem". Journal of Computer and System Sciences. 57 (2): 127–143. doi:10.1006/jcss.1998.1583. ISSN 1090-2724.
^ Agrawal, M.; Allender, E.; Impagliazzo, R.; Pitassi, T.; Rudich, Steven (2001). "Reducing the complexity of reductions". Computational Complexity. 10 (2): 117–138. doi:10.1007/s00037-001-8191-1. ISSN 1016-3328. S2CID 29017219.
^ Don Knuth, Tracy Larrabee, and Paul M. Roberts, Mathematical Writing Archived 2010-08-27 at the Wayback Machine § 25, MAA Notes No. 14, MAA, 1989 (also Stanford Technical Report, 1987).
^ Knuth, D. F. (1974). "A terminological proposal". SIGACT News. 6 (1): 12–18. doi:10.1145/1811129.1811130. S2CID 45313676.
^ See the poll, or [1] Archived 2011-06-07 at the Wayback Machine.
^ Ball, Philip (2000). "DNA computer helps travelling salesman". Nature. doi:10.1038/news000113-10.
^ Bern (1990); Deĭneko, Klinz & Woeginger (2006); Dorn et al. (2005); Lipton & Tarjan (1980).
^ Hemaspaandra, L. A.; Williams, R. (2012). "SIGACT News Complexity Theory Column 76". ACM SIGACT News. 43 (4): 70. doi:10.1145/2421119.2421135. S2CID 13367514.
^ Aaronson, Scott (2010). "BQP and the polynomial hierarchy". In Schulman, Leonard J. (ed.). Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5–8 June 2010. Association for Computing Machinery. pp. 141–150. arXiv:0910.4698. doi:10.1145/1806689.1806711. ISBN 978-1-4503-0050-6.
^ Talbot, John; Welsh, D. J. A. (2006), Complexity and Cryptography: An Introduction, Cambridge University Press, p. 57, ISBN 9780521617710, The question of whether NP and co-NP are equal is probably the second most important open problem in complexity theory, after the P versus NP question.

Sources

Garey, Michael R.; Johnson, David S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. Series of Books in the Mathematical Sciences (1st ed.). New York: W. H. Freeman and Company. ISBN 9780716710455. MR 0519066. OCLC 247570676. This book is a classic, developing the theory, then cataloguing many NP-Complete problems.
Cook, S.A. (1971). "The complexity of theorem proving procedures". Proceedings, Third Annual ACM Symposium on the Theory of Computing, ACM, New York. pp. 151–158. doi:10.1145/800157.805047.
Dunne, P.E. "An annotated list of selected NP-complete problems". COMP202, Dept. of Computer Science, University of Liverpool. Retrieved 2008-06-21.
Crescenzi, P.; Kann, V.; Halldórsson, M.; Karpinski, M.; Woeginger, G. "A compendium of NP optimization problems". KTH, Stockholm. Retrieved 2020-10-24.
Dahlke, K. "NP-complete problems". Math Reference Project. Retrieved 2008-06-21.
Karlsson, R. "Lecture 8: NP-complete problems" (PDF). Dept. of Computer Science, Lund University, Sweden. Archived from the original (PDF) on April 19, 2009. Retrieved 2008-06-21.
Sun, H.M. "The theory of NP-completeness". Information Security Laboratory, Dept. of Computer Science, National Tsing Hua University, Hsinchu City, Taiwan. Archived from the original (PPT) on 2009-09-02. Retrieved 2008-06-21.
Jiang, J.R. "The theory of NP-completeness" (PPT). Dept. of Computer Science and Information Engineering, National Central University, Jhongli City, Taiwan. Retrieved 2008-06-21.
Cormen, T.H.; Leiserson, C.E.; Rivest, R.L.; Stein, C. (2001). "Chapter 34: NP–Completeness". Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. pp. 966–1021. ISBN 978-0-262-03293-3.
Sipser, M. (1997). "Sections 7.4–7.5 (NP-completeness, Additional NP-complete Problems)". Introduction to the Theory of Computation. PWS Publishing. pp. 248–271. ISBN 978-0-534-94728-6.
Papadimitriou, C. (1994). "Chapter 9 (NP-complete problems)". Computational Complexity (1st ed.). Addison Wesley. pp. 181–218. ISBN 978-0-201-53082-7.
Computational Complexity of Games and Puzzles
Tetris is Hard, Even to Approximate
Minesweeper is NP-complete!
Bern, Marshall (1990). "Faster exact algorithms for Steiner trees in planar networks". Networks. 20 (1): 109–120. doi:10.1002/net.3230200110..
Deĭneko, Vladimir G.; Klinz, Bettina; Woeginger, Gerhard J. (2006). "Exact algorithms for the Hamiltonian cycle problem in planar graphs". Operations Research Letters. 34 (3): 269–274. doi:10.1016/j.orl.2005.04.013..
Dorn, Frederic; Penninkx, Eelko; Bodlaender, Hans L.; Fomin, Fedor V. (2005). "Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions". Proc. 13th European Symposium on Algorithms (ESA '05). Lecture Notes in Computer Science. Vol. 3669. Springer-Verlag. pp. 95–106. doi:10.1007/11561071_11. ISBN 978-3-540-29118-3..
Lipton, Richard J.; Tarjan, Robert E. (1980). "Applications of a planar separator theorem". SIAM Journal on Computing. 9 (3): 615–627. doi:10.1137/0209046. S2CID 12961628..

@@ Line 1: / Line 1: @@
 {{Short description|Complexity class}}
 {{confusing |date = July 2012}}
+[[File:3SAT 17 svg.svg|thumb|400px|The [[Boolean satisfiability problem]] (SAT) asks to determine if a [[propositional formula]] (example depicted) can be made ''true'' by an appropriate assignment ("solution") of truth values to its variables. While it is easy to verify whether a given assignment renders the formula ''true'',<ref>For example, simply assigning ''true'' to each variable renders the 18th conjunct <math>\overline{m} \lor \overline{r} \lor \overline{s}</math> (and hence the complete formula) ''false''.</ref> no essentially faster method to find a satisfying assignment is known than to try all assignments in succession. [[Stephen Cook|Cook]] and [[Leonid Levin|Levin]] proved that each easy-to-verify problem can be solved as fast as SAT, which is hence NP-complete.]]
-[[File:P np np-complete np-hard.svg|thumb|300px|right|[[Euler diagram]] for [[P (complexity)|P]], [[NP (complexity)|NP]], NP-complete, and [[NP-hard]] set of problems.  The left side is valid under the assumption that [[P versus NP problem|P≠NP]], while the right side is valid under the assumption that P=NP (except that the empty language and its complement are never NP-complete, and in general, not every problem in P or NP is NP-complete)]]
 In [[computational complexity theory]], a problem is '''NP-complete''' when:
+# It is a [[decision problem]], meaning that for any input to the problem, the output is either "yes" or "no".
-# a [[nondeterministic Turing machine]] can solve it in [[polynomial time]],
+# When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) ''solution''.
-# a [[deterministic Turing machine]] can solve it in large [[time complexity]] [[Complexity class|classes]] (e.g., [[EXPTIME]], as is the case with [[brute force search]] algorithms) and can verify its solutions in polynomial time, and
+# The correctness of each solution can be verified quickly (namely, in [[polynomial time]]) and a [[brute-force search]] algorithm can find a solution by trying all possible solutions.
-# it can be used to simulate any other problem with similar solvability.
+# The problem can be used to simulate every other problem for which we can verify quickly that a solution is correct. In this sense, NP-complete problems are the hardest of the problems to which solutions can be verified quickly. If we could find solutions of some NP-complete problem quickly, we could quickly find the solutions of every other problem to which a given solution can be easily verified.
+The name "NP-complete" is short for "nondeterministic polynomial-time complete". In this name, "nondeterministic" refers to [[nondeterministic Turing machine]]s, a way of mathematically formalizing the idea of a brute-force search algorithm. [[Polynomial time]] refers to an amount of time that is considered "quick" for a [[deterministic algorithm]] to check a single solution, or for a nondeterministic Turing machine to perform the whole search. "[[Complete (complexity)|Complete]]" refers to the property of being able to simulate everything in the same [[complexity class]].
-More precisely, each input to the problem should be associated with a set of solutions of polynomial length, whose validity can be tested quickly (in [[polynomial time]]),<ref>{{Cite book| last=Cobham | first=Alan | author-link=Alan Cobham | year = 1965 | chapter = The intrinsic computational difficulty of functions | title = Proc. Logic, Methodology, and Philosophy of Science II | publisher = North Holland}}</ref> such that the output for any input is "yes" if the solution set is non-empty and "no" if it is empty. The complexity class of problems of this form is called [[NP (complexity)|NP]], an abbreviation for "nondeterministic polynomial time". A problem is said to be [[NP-hard]] if everything in NP can be transformed in polynomial time into it even though it may not be in NP. Conversely, a problem is NP-complete if it is both in NP and NP-hard. The NP-complete problems represent the hardest problems in NP. If any NP-complete problem has a polynomial time algorithm, all problems in NP do. The set of NP-complete problems is often denoted by '''NP-C''' or '''NPC'''.
+More precisely, each input to the problem should be associated with a set of solutions of polynomial length, the validity of each of which can be tested quickly (in [[polynomial time]]),<ref>{{Cite book| last=Cobham | first=Alan | author-link=Alan Cobham | year = 1965 | chapter = The intrinsic computational difficulty of functions | title = Proc. Logic, Methodology, and Philosophy of Science II | publisher = North Holland}}</ref> such that the output for any input is "yes" if the solution set is non-empty and "no" if it is empty. The complexity class of problems of this form is called [[NP (complexity)|NP]], an abbreviation for "nondeterministic polynomial time". A problem is said to be [[NP-hard]] if everything in NP can be transformed in polynomial time into it even though it may not be in NP. A problem is NP-complete if it is both in NP and NP-hard. The NP-complete problems represent the hardest problems in NP. If some NP-complete problem has a polynomial time algorithm, all problems in NP do. The set of NP-complete problems is often denoted by '''NP-C''' or '''NPC'''.
 Although a solution to an NP-complete problem can be ''verified'' "quickly", there is no known way to ''find'' a solution quickly. That is, the time required to solve the problem using any currently known [[algorithm]] increases rapidly as the size of the problem grows. As a consequence, determining whether it is possible to solve these problems quickly, called the [[P versus NP problem]], is one of the fundamental [[List of open problems in computer science|unsolved problems in computer science]] today.
@@ Line 14: / Line 18: @@
 == Overview ==
-NP-complete problems are in [[NP (complexity)|NP]], the set of all [[decision problem]]s whose solutions can be verified in polynomial time; ''NP'' may be equivalently defined as the set of decision problems that can be solved in polynomial time on a [[non-deterministic Turing machine]]. A problem ''p'' in NP is NP-complete if every other problem in NP can be transformed (or reduced) into ''p'' in polynomial time.
+NP-complete problems are in [[NP (complexity)|NP]], the set of all [[decision problem]]s whose solutions can be verified in polynomial time; ''NP'' may be equivalently defined as the set of decision problems that can be solved in polynomial time on a [[non-deterministic Turing machine]]. A problem ''p'' in NP is NP-complete if every other problem in NP can be transformed (or reduced) into ''p'' in polynomial time.{{cn|date=October 2022}}
-It is not known whether every problem in NP can be quickly solved—this is called the [[P versus NP problem]]. But if ''any NP-complete problem'' can be solved quickly, then ''every problem in NP'' can, because the definition of an NP-complete problem states that every problem in NP must be quickly reducible to every NP-complete problem (that is, it can be reduced in polynomial time). Because of this, it is often said that NP-complete problems are ''harder'' or ''more difficult'' than NP problems in general.
+It is not known whether every problem in NP can be quickly solved—this is called the [[P versus NP problem]]. But if ''any NP-complete problem'' can be solved quickly, then ''every problem in NP'' can, because the definition of an NP-complete problem states that every problem in NP must be quickly reducible to every NP-complete problem (that is, it can be reduced in polynomial time). Because of this, it is often said that NP-complete problems are ''harder'' or ''more difficult'' than NP problems in general.{{cn|date=October 2022}}
 == Formal definition ==
 {{See also |P %3D NP problem#NP-completeness |l1 = formal definition for NP-completeness (article ''P = NP'')}}
-A decision problem <math>\scriptstyle C</math> is NP-complete if:
+A decision problem <math>\scriptstyle C</math> is NP-complete if:{{cn|date=October 2022}}
 # <math>\scriptstyle C</math> is in NP, and
 # Every problem in NP is [[Many-one reduction|reducible]] to <math>\scriptstyle C</math> in polynomial time.<ref>{{cite book |author = J. van Leeuwen |year = 1998 |title = Handbook of Theoretical Computer Science |publisher = Elsevier |isbn = 978-0-262-72014-4 |page = 84}}</ref>
@@ Line 32: / Line 36: @@
 == Background ==
+[[File:P np np-complete np-hard.svg|thumb|300px|right|[[Euler diagram]] for [[P (complexity)|P]], [[NP (complexity)|NP]], NP-complete, and [[NP-hard]] sets of problems.  The left side is valid under the assumption that [[P versus NP problem|P≠NP]], while the right side is valid under the assumption that P=NP (except that the empty language and its complement are never NP-complete, and in general, not every problem in P or NP is NP-complete).]]
-The concept of NP-completeness was introduced in 1971 (see [[Cook–Levin theorem]]), though the term ''NP-complete'' was introduced later. At the 1971 [[STOC]] conference, there was a fierce debate between the computer scientists about whether NP-complete problems could be solved in polynomial time on a [[deterministic]] [[Turing machine]]. [[John Hopcroft]] brought everyone at the conference to a consensus that the question of whether NP-complete problems are solvable in polynomial time should be put off to be solved at some later date, since nobody had any formal proofs for their claims one way or the other.  This is known as the question of whether P=NP.
+The concept of NP-completeness was introduced in 1971 (see [[Cook–Levin theorem]]), though the term ''NP-complete'' was introduced later. At the 1971 [[Symposium on Theory of Computing|STOC]] conference, there was a fierce debate between the computer scientists about whether NP-complete problems could be solved in polynomial time on a [[deterministic]] [[Turing machine]]. [[John Hopcroft]] brought everyone at the conference to a consensus that the question of whether NP-complete problems are solvable in polynomial time should be put off to be solved at some later date, since nobody had any formal proofs for their claims one way or the other.{{cn|date=August 2024}}  This is known as "the question of whether P=NP".
-Nobody has yet been able to determine conclusively whether NP-complete problems are in fact solvable in polynomial time, making this one of the great [[unsolved problems of mathematics]].  The [[Clay Mathematics Institute]] is offering a US$1 million reward to anyone who has a formal proof that P=NP or that P≠NP.
+Nobody has yet been able to determine conclusively whether NP-complete problems are in fact solvable in polynomial time, making this one of the great [[unsolved problems of mathematics]].  The [[Clay Mathematics Institute]] is offering a US$1 million reward ([[Millennium Prize Problems|Millennium Prize]]) to anyone who has a formal proof that P=NP or that P≠NP.<ref>{{Cite web |last=Kiersz |first=Andy |title=An eminent mathematician claims to have solved one of math's greatest mysteries — and it's one of 6 problems with a $1 million prize |url=https://www.businessinsider.com/millennium-prize-problems-million-dollar-prize-2017-12 |access-date=2023-04-24 |website=Business Insider |language=en-US}}</ref>
-The [[Cook–Levin theorem]] states that the [[Boolean satisfiability problem]] is NP-complete. In 1972, [[Richard Karp]] proved that several other problems were also NP-complete (see [[Karp's 21 NP-complete problems]]); thus there is a class of NP-complete problems (besides the Boolean satisfiability problem). Since the original results, thousands of other problems have been shown to be NP-complete by reductions from other problems previously shown to be NP-complete; many of these problems are collected in [[Michael Garey|Garey]] and [[David S. Johnson|Johnson's]] 1979 book ''[[Computers and Intractability: A Guide to the Theory of NP-Completeness]]''.<ref name="GareyJohnson">{{cite book |last1=Garey |first1=Michael&nbsp;R. |author-link1=Michael R. Garey |last2=Johnson |first2=D.&nbsp;S. |author-link2=David S. Johnson |title=Computers and Intractability: A Guide to the Theory of NP-Completeness |year=1979 |isbn=978-0-7167-1045-5 |pages=[https://archive.org/details/computersintract0000gare/page/ x+338] |series=A Series of Books in the Mathematical Sciences |editor=Victor Klee |editor-link=Victor Klee |publisher=W.&nbsp;H.&nbsp;Freeman and Co. |location=San Francisco, Calif. |mr=519066 |title-link=Computers and Intractability: A Guide to the Theory of NP-Completeness }}</ref>
+The existence of NP-complete problems is not obvious. The [[Cook–Levin theorem]] states that the [[Boolean satisfiability problem]] is NP-complete, thus establishing that such problems do exist. In 1972, [[Richard Karp]] proved that several other problems were also NP-complete (see [[Karp's 21 NP-complete problems]]); thus, there is a class of NP-complete problems (besides the Boolean satisfiability problem). Since the original results, thousands of other problems have been shown to be NP-complete by reductions from other problems previously shown to be NP-complete; many of these problems are collected in {{harvtxt|Garey|Johnson|1979}}.
 == NP-complete problems ==
-[[File:Relative NPC chart.svg|thumb|right|Some NP-complete problems, indicating the [[reduction (complexity)|reductions]] typically used to prove their NP-completeness]]
+[[File:Relative NPC chart.svg|thumb|300px|right|Some NP-complete problems, indicating the [[reduction (complexity)|reductions]] typically used to prove their NP-completeness]]
 {{Main|List of NP-complete problems}}
-An interesting example is the [[graph isomorphism problem]], the [[graph theory]] problem of determining whether a [[graph isomorphism]] exists between two graphs.  Two graphs are [[isomorphic]] if one can be [[isomorphism|transformed]] into the other simply by renaming [[vertex (graph theory)|vertices]]. Consider these two problems:
-* Graph Isomorphism: Is graph G<sub>1</sub> isomorphic to graph G<sub>2</sub>?
-* Subgraph Isomorphism: Is graph G<sub>1</sub> isomorphic to a subgraph of graph G<sub>2</sub>?
-The Subgraph Isomorphism problem is NP-complete. The graph isomorphism problem is suspected to be neither in P nor NP-complete, though it is in NP. This is an example of a problem that is thought to be '''hard''', but is not thought to be NP-complete.
 The easiest way to prove that some new problem is NP-complete is first to prove that it is in NP, and then to reduce some known NP-complete problem to it. Therefore, it is useful to know a variety of NP-complete problems. The list below contains some well-known problems that are NP-complete when expressed as decision problems.
@@ Line 62: / Line 61: @@
 * [[Dominating set problem]]
 * [[Graph coloring problem]]
+* [[Sudoku]]
 {{div col end}}
 To the right is a diagram of some of the problems and the [[reduction (complexity)|reductions]] typically used to prove their NP-completeness. In this diagram, problems are reduced from bottom to top. Note that this diagram is misleading as a description of the mathematical relationship between these problems, as there exists a [[polynomial-time reduction]] between any two NP-complete problems; but it indicates where demonstrating this polynomial-time reduction has been easiest.
-There is often only a small difference between a problem in P and an NP-complete problem. For example, the [[3-satisfiability]] problem, a restriction of the boolean satisfiability problem, remains NP-complete, whereas the slightly more restricted [[2-satisfiability]] problem is in P (specifically, [[NL-complete]]), and the slightly more general max. 2-sat. problem is again NP-complete. Determining whether a graph can be colored with 2 colors is in P, but with 3 colors is NP-complete, even when restricted to [[planar graph]]s. Determining if a graph is a [[cycle graph|cycle]] or is [[bipartite graph|bipartite]] is very easy (in [[L (complexity)|L]]), but finding a maximum bipartite or a maximum cycle subgraph is NP-complete. A solution of the [[knapsack problem]] within any fixed percentage of the optimal solution can be computed in polynomial time, but finding the optimal solution is NP-complete.
+There is often only a small difference between a problem in P and an NP-complete problem. For example, the [[3-satisfiability]] problem, a restriction of the Boolean satisfiability problem, remains NP-complete, whereas the slightly more restricted [[2-satisfiability]] problem is in P (specifically, it is [[NL-complete]]), but the slightly more general max. 2-sat. problem is again NP-complete. Determining whether a graph can be colored with 2 colors is in P, but with 3 colors is NP-complete, even when restricted to [[planar graph]]s. Determining if a graph is a [[cycle graph|cycle]] or is [[bipartite graph|bipartite]] is very easy (in [[L (complexity)|L]]), but finding a maximum bipartite or a maximum cycle subgraph is NP-complete. A solution of the [[knapsack problem]] within any fixed percentage of the optimal solution can be computed in polynomial time, but finding the optimal solution is NP-complete.
+===Intermediate problems===
+An interesting example is the [[graph isomorphism problem]], the [[graph theory]] problem of determining whether a [[graph isomorphism]] exists between two graphs.  Two graphs are [[isomorphic]] if one can be [[isomorphism|transformed]] into the other simply by renaming [[vertex (graph theory)|vertices]]. Consider these two problems:
+* Graph Isomorphism: Is graph G<sub>1</sub> isomorphic to graph G<sub>2</sub>?
+* Subgraph Isomorphism: Is graph G<sub>1</sub> isomorphic to a subgraph of graph G<sub>2</sub>?
+The Subgraph Isomorphism problem is NP-complete. The graph isomorphism problem is suspected to be neither in P nor NP-complete, though it is in NP. This is an example of a problem that is thought to be ''hard'', but is not thought to be NP-complete. This class is called ''NP-Intermediate problems'' and exists if and only if P≠NP.
 == Solving NP-complete problems ==
-At present, all known algorithms for NP-complete problems require time that is [[superpolynomial]] in the input size, and it is unknown whether there are any faster algorithms.
+At present, all known algorithms for NP-complete problems require time that is [[superpolynomial]] in the input size. The [[vertex cover]] problem has <math>O(1.2738^k + nk)</math><ref>{{Cite journal |last1=Chen |first1=Jianer |last2=Kanj |first2=Iyad A. |last3=Xia |first3=Ge |date=2010-09-06 |title=Improved upper bounds for vertex cover |journal=Theoretical Computer Science |volume=411 |issue=40 |pages=3736–3756 |doi=10.1016/j.tcs.2010.06.026 |issn=0304-3975|doi-access=free }}</ref> for some <math>k>0</math> and it is unknown whether there are any faster algorithms.
 The following techniques can be applied to solve computational problems in general, and they often give rise to substantially faster algorithms:
@@ Line 78: / Line 86: @@
 * [[Heuristic (computer science)|Heuristic]]: An algorithm that works "reasonably well" in many cases, but for which there is no proof that it is both always fast and always produces a good result.  [[Metaheuristic]] approaches are often used.
-One example of a heuristic algorithm is a suboptimal <math>\scriptstyle O(n\log n)</math> [[greedy coloring|greedy coloring algorithm]] used for [[graph coloring problem|graph coloring]] during the [[register allocation]] phase of some compilers, a technique called [[graph-coloring global register allocation]]. Each vertex is a variable, edges are drawn between variables which are being used at the same time, and colors indicate the register assigned to each variable. Because most [[RISC]] machines have a fairly large number of general-purpose registers, even a heuristic approach is effective for this application.
+One example of a heuristic algorithm is a suboptimal <math>O(n\log n)</math> [[greedy coloring|greedy coloring algorithm]] used for [[graph coloring problem|graph coloring]] during the [[register allocation]] phase of some compilers, a technique called [[Register allocation#Graph-coloring allocation|graph-coloring global register allocation]]. Each vertex is a variable, edges are drawn between variables which are being used at the same time, and colors indicate the register assigned to each variable. Because most [[RISC]] machines have a fairly large number of general-purpose registers, even a heuristic approach is effective for this application.
 == Completeness under different types of reduction ==
 In the definition of NP-complete given above, the term ''reduction'' was used in the technical meaning of a polynomial-time [[many-one reduction]].
-Another type of reduction is polynomial-time Turing reduction.  A problem <math>\scriptstyle X</math> is polynomial-time Turing-reducible to a problem <math>\scriptstyle Y</math> if, given a subroutine that solves <math>\scriptstyle Y</math> in polynomial time, one could write a program that calls this subroutine and solves <math>\scriptstyle X</math> in polynomial time.  This contrasts with many-one reducibility, which has the restriction that the program can only call the subroutine once, and the return value of the subroutine must be the return value of the program.
+Another type of reduction is polynomial-time [[Turing reduction]].  A problem <math>\scriptstyle X</math> is polynomial-time Turing-reducible to a problem <math>\scriptstyle Y</math> if, given a subroutine that solves <math>\scriptstyle Y</math> in polynomial time, one could write a program that calls this subroutine and solves <math>\scriptstyle X</math> in polynomial time.  This contrasts with many-one reducibility, which has the restriction that the program can only call the subroutine once, and the return value of the subroutine must be the return value of the program.
 If one defines the analogue to NP-complete with Turing reductions instead of  many-one reductions, the resulting set of problems won't be smaller than NP-complete; it is an open question whether it will be any larger.
-Another type of reduction that is also often used to define NP-completeness is the [[logarithmic-space many-one reduction]] which is a many-one reduction that can be computed with only a logarithmic amount of space. Since every computation that can be done in [[logarithmic space]] can also be done in polynomial time it follows that if there is a logarithmic-space many-one reduction then there is also a polynomial-time many-one reduction. This type of reduction is more refined than the more usual polynomial-time many-one reductions and it allows us to distinguish more classes such as [[P-complete]]. Whether under these types of reductions the definition of NP-complete changes is still an open problem. All currently known NP-complete problems are NP-complete under log space reductions. All currently known NP-complete problems remain NP-complete even under much weaker reductions.<ref>{{Cite journal | doi=10.1006/jcss.1998.1583 | last1=Agrawal | first1=M. | author1-link=Manindra Agrawal | last2=Allender | first2=E. | last3=Rudich | first3=Steven | author3-link=Steven Rudich | title=Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem | year=1998 | journal=Journal of Computer and System Sciences | issn=1090-2724 | volume=57 | issue=2 | pages=127–143 }}</ref> It is known, however, that [[AC0|AC<sup>0</sup>]] reductions define a strictly smaller class than polynomial-time reductions.<ref>{{Cite journal | last1=Agrawal | first1=M. | author1-link=Manindra Agrawal | last2=Allender | first2=E. | last3=Impagliazzo | first3=R. | last4=Pitassi | first4=T. | author4-link = Toniann Pitassi | last5=Rudich | first5=Steven | author5-link=Steven Rudich | title=Reducing the complexity of reductions | doi=10.1007/s00037-001-8191-1 | year=2001 | journal=Computational Complexity | issn=1016-3328 | volume=10 | pages=117–138 | issue=2 }}
+Another type of reduction that is also often used to define NP-completeness is the [[logarithmic-space many-one reduction]] which is a many-one reduction that can be computed with only a logarithmic amount of space. Since every computation that can be done in [[logarithmic space]] can also be done in polynomial time it follows that if there is a logarithmic-space many-one reduction then there is also a polynomial-time many-one reduction. This type of reduction is more refined than the more usual polynomial-time many-one reductions and it allows us to distinguish more classes such as [[P-complete]]. Whether under these types of reductions the definition of NP-complete changes is still an open problem. All currently known NP-complete problems are NP-complete under log space reductions. All currently known NP-complete problems remain NP-complete even under much weaker reductions such as <math>AC_0</math> reductions and <math>NC_0</math> reductions. Some NP-Complete problems such as SAT are known to be complete even under polylogarithmic time projections.<ref>{{Cite journal | doi=10.1006/jcss.1998.1583 | last1=Agrawal | first1=M. | author1-link=Manindra Agrawal | last2=Allender | first2=E. | last3=Rudich | first3=Steven | author3-link=Steven Rudich | title=Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem | year=1998 | journal=Journal of Computer and System Sciences | issn=1090-2724 | volume=57 | issue=2 | pages=127–143 | doi-access=free }}</ref> It is known, however, that [[AC0|AC<sup>0</sup>]] reductions define a strictly smaller class than polynomial-time reductions.<ref>{{Cite journal | last1=Agrawal | first1=M. | author1-link=Manindra Agrawal | last2=Allender | first2=E. | last3=Impagliazzo | first3=R. | last4=Pitassi | first4=T. | author4-link = Toniann Pitassi | last5=Rudich | first5=Steven | author5-link=Steven Rudich | title=Reducing the complexity of reductions | doi=10.1007/s00037-001-8191-1 | year=2001 | journal=Computational Complexity | issn=1016-3328 | volume=10 | pages=117–138 | issue=2 | s2cid=29017219 }}
 </ref>
@@ Line 101: / Line 109: @@
 |journal = SIGACT News
 |year = 1974
+|s2cid = 45313676
-}}</ref> included  "[[Labours of Hercules|Herculean]]", "formidable", [[Kenneth Steiglitz|Steiglitz]]'s "hard-boiled" in honor of Cook, and Shen Lin's acronym "PET", which stood for "probably exponential time", but depending on which way the [[P versus NP problem]] went, could stand for "{{sic|hide=y|provably}} exponential time" or "previously exponential time".<ref>See the poll, or [http://www.cs.princeton.edu/~wayne/kleinberg-tardos/08np-complete-2x2.pdf] {{Webarchive|url=https://web.archive.org/web/20110607082034/http://www.cs.princeton.edu/~wayne/kleinberg-tardos/08np-complete-2x2.pdf |date=2011-06-07 }}.</ref>
+}}</ref> included  "[[Labours of Hercules|Herculean]]", "formidable", [[Kenneth Steiglitz|Steiglitz]]'s "hard-boiled" in honor of Cook, and Shen Lin's acronym "PET", which stood for "probably exponential time", but depending on which way the [[P versus NP problem]] went, could stand for "{{sic|hide=y|provably}} exponential time" or "previously exponential time".<ref>See the poll, or [http://www.cs.princeton.edu/~wayne/kleinberg-tardos/08np-complete-2x2.pdf] {{Webarchive|url=https://web.archive.org/web/20110607082034/http://www.cs.princeton.edu/~wayne/kleinberg-tardos/08np-complete-2x2.pdf|date=2011-06-07}}.</ref>
 == Common misconceptions ==
@@ Line 108: / Line 117: @@
 |title = DNA computer helps travelling salesman
 |first = Philip |last= Ball
+|journal = Nature
+|year = 2000
 }}</ref>
-* ''"NP-complete problems are the most difficult known problems."'' Since NP-complete problems are in NP, their running time is at most exponential. However, some problems {{not a typo|provably}} require more time, for example [[Presburger arithmetic]]. Of some problems, it has even been proven that they can never be solved at all, for example the [[Halting problem]].
+* ''"NP-complete problems are the most difficult known problems."'' Since NP-complete problems are in NP, their running time is at most exponential. However, some problems have been proven to require more time, for example [[Presburger arithmetic]]. Of some problems, it has even been proven that they can never be solved at all, for example the [[halting problem]].
 * ''"NP-complete problems are difficult because there are so many different solutions."'' On the one hand, there are many problems that have a solution space just as large, but can be solved in polynomial time (for example [[minimum spanning tree]]). On the other hand, there are NP-problems with at most one solution that are NP-hard under randomized polynomial-time reduction (see [[Valiant–Vazirani theorem]]).
-* ''"Solving NP-complete problems requires exponential time."'' First, this would imply P ≠ NP, which is still an unsolved question. Further, some NP-complete problems actually have algorithms running in superpolynomial, but subexponential time such as O(2<sup>{{sqrt|''n''}}</sup>''n''). For example, the [[Independent set problem|independent set]] and [[Dominating set problem|dominating set]] problems for [[planar graph]]s are NP-complete, but can be solved in subexponential time using the [[planar separator theorem]].<ref>{{harvtxt|Bern|1990}}; {{harvtxt|Deĭneko|Klinz|Woeginger|2006}}; {{harvtxt|Dorn|Penninks|Bodlaender|Fomin|2005}}; {{harvtxt|Lipton|Tarjan|1980}}.</ref>
+* ''"Solving NP-complete problems requires exponential time."'' First, this would imply P ≠ NP, which is still an unsolved question. Further, some NP-complete problems actually have algorithms running in superpolynomial, but subexponential time such as O(2<sup>{{sqrt|''n''}}</sup>''n''). For example, the [[Independent set problem|independent set]] and [[Dominating set problem|dominating set]] problems for [[planar graph]]s are NP-complete, but can be solved in subexponential time using the [[planar separator theorem]].<ref>{{harvtxt|Bern|1990}}; {{harvtxt|Deĭneko|Klinz|Woeginger|2006}}; {{harvtxt|Dorn|Penninkx|Bodlaender|Fomin|2005}}; {{harvtxt|Lipton|Tarjan|1980}}.</ref>
-* ''"Each instance of an NP-complete problem is difficult."'' Often some instances, or even most instances, may be easy to solve within polynomial time. However, unless P=NP, any polynomial-time algorithm must asymptotically be wrong on more than polynomially many of the exponentially many inputs of a certain size.<ref>{{Cite journal | last1 = Hemaspaandra | first1 = L. A. | last2 = Williams | first2 = R. | doi = 10.1145/2421119.2421135 | title = SIGACT News Complexity Theory Column 76 | journal = ACM SIGACT News | volume = 43 | issue = 4 | page = 70 | year = 2012 }}</ref>
+* ''"Each instance of an NP-complete problem is difficult."'' Often some instances, or even most instances, may be easy to solve within polynomial time. However, unless P=NP, any polynomial-time algorithm must asymptotically be wrong on more than polynomially many of the exponentially many inputs of a certain size.<ref>{{Cite journal | last1 = Hemaspaandra | first1 = L. A. | last2 = Williams | first2 = R. | doi = 10.1145/2421119.2421135 | title = SIGACT News Complexity Theory Column 76 | journal = ACM SIGACT News | volume = 43 | issue = 4 | page = 70 | year = 2012 | s2cid = 13367514 }}</ref>
-* ''"If P=NP, all cryptographic ciphers can be broken."'' A polynomial-time problem can be very difficult to solve in practice if the polynomial's degree or constants are large enough. For example, ciphers with a fixed key length, such as [[Advanced Encryption Standard]], can all be broken in constant time by trying every key (and are thus already known to be in P), though with current technology that time may exceed the age of the universe. In addition, [[information-theoretic security]] provides cryptographic methods that cannot be broken even with unlimited computing power.
+* ''"If P=NP, all cryptographic ciphers can be broken."'' A polynomial-time problem can be very difficult to solve in practice if the polynomial's degree or constants are large enough. In addition, [[information-theoretic security]] provides cryptographic methods that cannot be broken even with unlimited computing power.
+* ''"A large-scale quantum computer would be able to efficiently solve NP-complete problems."'' The class of decision problems that can be efficiently solved (in principle) by a fault-tolerant quantum computer is known as BQP. However, BQP is not believed to contain all of NP, and if it does not, then it cannot contain any NP-complete problem.<ref>{{cite conference | last = Aaronson | first = Scott | editor-last = Schulman | editor-first = Leonard J. | contribution = BQP and the polynomial hierarchy | doi = 10.1145/1806689.1806711 | pages = 141–150 | publisher = Association for Computing Machinery | title = Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5–8 June 2010 | year = 2010| arxiv = 0910.4698 | isbn = 978-1-4503-0050-6 }}</ref>
 == Properties ==
@@ Line 120: / Line 132: @@
 * [[intersection]]
 * [[concatenation]]
+* [[Kleene star]]{{example needed|Give a counter example for each of the set operations.|date=April 2023}}
-* [[Kleene star]]
-It is not known whether NPC is closed under [[Complement (complexity)|complementation]], since NPC=[[co-NP-complete|co-NPC]] if and only if NP=[[co-NP]], and whether NP=co-NP is an [[Open problem|open question]].<ref>{{citation |title = Complexity and Cryptography: An Introduction |first1 = John |last1 = Talbot|first2=D. J. A.|last2 = Welsh |author2-link = Dominic Welsh |publisher = Cambridge University Press |year = 2006 |isbn = 9780521617710 |page=57 |url = https://books.google.com/books?id=y_ZwupY8pzUC&pg=PA57 |quote = The question of whether NP and co-NP are equal is probably the second most important open problem in complexity theory, after the P versus NP question.}}</ref>
+It is not known whether NPC is closed under [[Complement (complexity)|complementation]], since NPC=[[co-NP-complete|co-NPC]] if and only if NP=[[co-NP]], and since NP=co-NP is an [[Open problem|open question]].<ref>{{citation |title = Complexity and Cryptography: An Introduction |first1 = John |last1 = Talbot|first2=D. J. A.|last2 = Welsh |author2-link = Dominic Welsh |publisher = Cambridge University Press |year = 2006 |isbn = 9780521617710 |page=57 |url = https://books.google.com/books?id=y_ZwupY8pzUC&pg=PA57 |quote = The question of whether NP and co-NP are equal is probably the second most important open problem in complexity theory, after the P versus NP question.}}</ref>
 == See also ==
@@ Line 140: / Line 152: @@
 === Sources ===
 {{refbegin |colwidth = 30em}}
+*{{Garey-Johnson}} This book is a classic, developing the theory, then cataloguing ''many'' NP-Complete problems.
-* {{Cite book
- |last1 = Garey
- |first1 = M.R.
- |author1-link = Michael Garey
- |author2 = Johnson, D.S.
- |author2-link = David S. Johnson
- |title = Computers and Intractability: A Guide to the Theory of NP-Completeness
- |year = 1979
- |publisher = W.H. Freeman
- |location = New York
- |isbn = 978-0-7167-1045-5
-|title-link = Computers and Intractability: A Guide to the Theory of NP-Completeness
- }}  This book is a classic, developing the theory, then cataloguing ''many'' NP-Complete problems.
 * {{Cite conference
  |last = Cook
@@ Line 162: / Line 162: @@
  |pages = 151–158
  |doi = 10.1145/800157.805047
+ |doi-access = free
  }}
 * {{cite web
@@ Line 304: / Line 305: @@
  |year = 1980
  |issue = 3
+ |s2cid = 12961628 }}.
- }}.
 {{refend}}

v t e Complexity classes
Considered feasible	DLOGTIME AC⁰ ACC⁰ TC⁰ L SL RL FL NL NL-complete NC SC CC P P-complete ZPP RP BPP BQP APX FP
Suspected infeasible	UP NP NP-complete NP-hard co-NP co-NP-complete TFNP FNP AM QMA PH ⊕P PP #P #P-complete IP PSPACE PSPACE-complete
Considered infeasible	EXPTIME NEXPTIME EXPSPACE 2-EXPTIME ELEMENTARY PR R RE ALL
Class hierarchies	Polynomial hierarchy Exponential hierarchy Grzegorczyk hierarchy Arithmetical hierarchy Boolean hierarchy
Families of classes	DTIME NTIME DSPACE NSPACE Probabilistically checkable proof Interactive proof system
List of complexity classes