1972年、計算複雑性理論における重要な論文"ReducibilityAmongCombinatorialProblems"（組合せ問題間の還元可能性）を発表し、その中で21の問題がNP完全であること（英語版）を証明した。
在1972年，理查德·卡普将这个想法往前推进，发表了他著名的论文"ReducibilityAmongCombinatorialProblems"，其内证明了21个不同的，均因为其难解而恶名昭彰的组合数学与图论问题，是NP-完全问题。