1967年，曼努埃尔·布鲁姆（Manuel Blum）根据其公理建立了公理复杂性理论，并证明了重要的结果，即所谓的加速定理。1971年，美国研究人员斯蒂芬·库克（Stephen Cook）和独立工作于苏联的列昂尼德·莱文（Leonid Levin）证明存在与NP完全相关的实际问题，该领域才真正开始蓬勃发展。1972年，理查德·卡普（Richard Karp）提出了具有里程碑意义的论文“组合问题之间的可约性”，使这一想法有了飞跃，他指出21个不同的组合和图形理论问题都是NP完全的，每个问题都因其计算难点而闻名。
谁证明这些问题存在与实际相关的问题，这些问题在1961年是NP完全的？