In 1971, Stephen Cook and, working independently, Leonid Levin, proved that there exist practically relevant problems that are NP-complete – a landmark result in computational complexity theory.
V roce 1971 nezávisle na sobě dokázali Stephen Cook a Leonid Levin, že existují prakticky relevantní problémy, které jsou NP-úplné, což je stěžejní výsledek pro teorii složitosti.