Nel 1967, Manuel Blum sviluppò una teoria della complessità assiomatica basata sui suoi assiomi e dimostrò un risultato importante, il cosiddetto teorema di accelerazione. Il campo ha davvero iniziato a prosperare nel 1971 quando il ricercatore statunitense Stephen Cook e, lavorando in modo indipendente, Leonid Levin nell' URSS, ha dimostrato che esistono problemi praticamente rilevanti che sono NP-completi. Nel 1972, Richard Karp ha preso questa idea un balzo in avanti con la sua carta di riferimento,"Reducibility Among Combinatorial Problems", in cui ha mostrato che 21 diversi problemi combinatoriali e teorici grafico, ciascuno famigerato per la sua intrattabilità computazionale, sono NP-completo.
Quante difficoltà teoriche combinatorie e grafiche, un tempo ritenute inficiate dall' intrattabilità, hanno avuto l' indirizzo cartaceo di Karp?
21 21 21