Why it matters

NPC framework classifies hardness. Understanding shapes algorithm approach.

Advertisement

The architecture

Problem in NP.

Every NP problem reduces to it in poly time.

SAT proven first (Cook-Levin 1971).

NP-Complete definitionIn NPverifiable in polyNP-hardevery NP reducesSAT canonicalCook-Levin 1971Cook-Levin theorem: SAT is NP-complete; other NPCs proven via reduction from SAT
NP-Complete.
Advertisement

How it works end to end

Cook 1971 + Levin 1973 independently.

Karp's 21 NP-complete problems (1972).

Standard technique: reduce known NPC to new problem.