<s>[INST]Manuel Blum'un aksiyomlarında hangi teorem yer aldı?[/INST]1967'de Manuel Blum, aksiyomlarına dayanan bir aksiyomatik karmaşıklık teorisi geliştirdi ve hızlandırma teoremi adı verilen önemli bir sonucu ortaya koydu. 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>