Proof — Karp's 21 NP-complete problems

Statement

Polynomial-time reductions; NP-completeness. Proved in ZFC.

Source

ACM Turing Award 1985. Polynomial-time reductions; NP-completeness. Proved in ZFC.

Domains

computer-science

People

Related

Explore

Canonical: https://axiom.tanaakk.com/proof/karp-turing-1985/