Pada tahun 1967, Manuel Blum mengembangkan teori kompleksitas aksiomatik berdasarkan aksioma-nya dan membuktikan hasil penting, yang disebut, teorema percepatan. Lapangan ini benar-benar mulai berkembang pada tahun 1971 ketika peneliti AS Stephen Cook dan, yang bekerja secara mandiri, Leonid Levin di USSR, membuktikan bahwa ada masalah praktis yang relevan yang lengkap dengan NP. Pada tahun 1972, Richard Karp mengambil ide ini lompatan ke depan dengan makalahnya yang terkenal, "Reducibilitas Diantara Masalah Combinatorial", di mana ia menunjukkan bahwa 21 masalah kombinatorial dan grafik teoretis yang beragam, masing-masing terkenal karena sifat tidak praktis komputasinya, lengkap NP.
Teorema apa yang terlibat oleh aksioma Manuel Blum?
teorema percepatan
teorema percepatan
Teorema NNO
apa PRI
yang PRR
terlibat VBP
oleh PPO
aksioma NNP
Manuel NNP
Blum NNP
? PUN