卡普的二十一個NP完全問題

在計算複雜度理論內 ， 一個極度重要的成就是史提芬 · 古克在1971年證明出了第一個NP - 完全問題 — 布爾可滿足性問題 。 在1972年 ， 理查德 · 卡普將這個想法往前推進 ， 發表了他著名的論文 " Reducibility Among Combinatorial Problems " ， 其內證明了21個不同的 ， 均因爲其難解而惡名昭彰的組合數學與圖論問題 ， 是NP - 完全問題 。 藉由展示出許多研究上面重要的問題是NP - 完全問題 ， 卡普促進了研究NP ， NP - 完備性 ， 以及現在著名的P = NP這些問題 。