Computer science Computational complexity: resources and classes Example
Karp's 21 NP-complete problems
Builds on Cook–Levin theoremBoolean satisfiability problemPolynomial-time reductionCliqueVertex coverHamiltonian cycle
Example
In 1972 Richard Karp showed that 21 combinatorial decision problems are NP-complete. In his naming they are:
- satisfiability, 0-1 integer programming, clique, set packing, node cover, set covering, feedback node set;
- feedback arc set, directed Hamilton circuit, undirected Hamilton circuit, satisfiability with at most 3 literals per clause;
- chromatic number, clique cover, exact cover, hitting set, Steiner tree, 3-dimensional matching;
- knapsack, job sequencing, partition, max cut.
Each problem lies in NP, since a proposed solution can be checked in polynomial time. Hardness comes from a tree of polynomial-time reductions rooted at satisfiability, which is NP-complete by the Cook–Levin theorem.
Check of one link: clique reduces to node cover, which is vertex cover. Let be a graph with vertices and let be its complement. A set of vertices is a clique in exactly when no edge of has both ends in . That holds exactly when every edge of has an end in the complement , so is a vertex cover of . So has a clique of size exactly when has a vertex cover of size . So the map is a polynomial-time reduction. Undirected Hamilton circuit is the Hamiltonian cycle problem.
Reading path
To understand this page from the ground up, read these 20 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Clique concept
- Conjunctive normal form concept
- Hamiltonian cycle concept
- NP concept
- NP-completeness concept
- Nondeterministic Turing machine concept
- P concept
- Polynomial-time reduction concept
- Proposition concept
- Satisfiability concept
- Vertex cover concept
- Conjunction definition
- Disjunction definition
- Implication definition
- Negation definition
- Biconditional definition
- Propositional logic concept
- Boolean satisfiability problem problem
- Cook–Levin theorem statement
- Karp's 21 NP-complete problems example
Further reading
About this page
| Tag | ZCG75PZ30B |
|---|---|
| URI | m2://ZCG75PZ30B |
| Kind | example |
| Writing | W0 stub |
| MSC | 68Q17 |
| Instance of | NP-completeness |
| Uses | Cook–Levin theorem, Boolean satisfiability problem, Polynomial-time reduction, Clique, Vertex cover, Hamiltonian cycle |
| Same as | |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.