<s>[INST]Aksiyomatik karmaşıklık teorisinden kim sorumludur?[/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 hesaplamalı içselliği ile rezil olan 21 farklı birleşimsel ve grafik teorik problemin NP-tamam olduğunu gösterdiği, “Combinatorial Problemler Arasında İndirgenebilirlik” adlı önemli makalesiyle bir adım attı.</s>