Cuốn sách nào có 25 bài toán lý thuyết đồ thị và comninatorial đa dạng, mỗi bài toán nổi tiếng với tính khả thi tính toán của nó?
Năm 1967, Manuel Blum đã phát triển một lý thuyết phức tạp tiên đề dựa trên các tiên đề của mình và chứng minh một kết quả quan trọng, cái gọi là định lý tăng tốc. Lĩnh vực này thực sự bắt đầu phát triển mạnh vào năm 1971 khi nhà nghiên cứu người Mỹ Stephen Cook và, làm việc độc lập, Leonid Levin ở Liên Xô, đã chứng minh rằng có những vấn đề thực tế có liên quan là NP-hoàn chỉnh. Năm 1972, Richard Karp đã thực hiện ý tưởng này một bước nhảy vọt với bài báo mang tính bước ngoặt của mình, "Sự giảm thiểu trong số các vấn đề kết hợp", trong đó ông chỉ ra rằng 21 vấn đề lý thuyết tổ hợp và đồ thị đa dạng, mỗi vấn đề khét tiếng vì tính khả thi tính toán của nó, là NP-hoàn chỉnh.