<s>[INST]Karp'ın makalesinde, eskiden kararsızlıkla boğulduğuna inanılan kaç tane birleştirici ve grafik teorik sorun ele alındı?[/INST]1967'de Manuel Blum, aksiyomlarına dayanan bir aksiyomatik karmaşıklık teorisi geliştirdi ve hızlandırma teoremi olarak adlandırılan önemli bir sonucu kanıtladı. Alan, 1971 yılında ABD'li araştırmacı Stephen Cook ve bağımsız olarak çalışan SSCB'deki Leonid Levin'in NP-tamamlanmış olarak pratik olarak ilgili sorunların olduğunu kanıtladığında gerçekten gelişmeye başladı. 1972'de Richard Karp, her biri kendi hesaplamalı zorunluluğa aykırı olan 21 farklı kombinasyonel ve grafik teorik problemlerini gösterdiği, “Combinatorial Problemler Arasında İndirgenebilirlik” adlı önemli makalesiyle bir adım attı. NP tamamlandı.</s>