1985年图灵奖-理查德·卡普简介

大家好，我是执念斩长河。今天讲述1985年图灵奖获得者理查德·卡普。图灵奖奖励他在算法的设计与分析、计算机复杂性理论、随机化算法等诸多方面做出了创造性贡献。读完本篇博文大家可以收获的是：

• 算法中的分支限界法是什么
• 卡普的论文对后世的贡献
• 并行算法的改造应用

        卡普1935年1月3日生于波士顿，在哈佛大学文理兼修，1955年先获得文学学士学位，第二年又获得理科硕士学位。之后他进入哈佛大学的计算机实验室攻读博士，于1959年取得应用数学博士学位。学成以后，进入IBM研究说工作，主要研究：路径问题、背包问题、覆盖问题、匹配问题、分区问题、调度问题，并取得了许多出色成果。它们这些问题有一个共同的特点，即如果图上增加一个节点，计算机就会爆炸。 在解决“旅行推销商”问题时，卡普推出“分支限界法”，它是一种构造性的探索法，可在整个允许的解空间中进行最优搜索。该方法的要点是：对解集合反复进行分支，每次分支时，都对所得的子集计算最优解的界。如果对某个子集求得的界不优于已知的允许解，则抛弃此子集不再进行分支；否则继续分支以探索更好的解，直到所得到的子集仅含有一个解为止。 这个就是分支限界法。
        1972年卡普回到母校，开始研究计算机复杂性理论。发表《组合问题中的可归约性》。它发展和加强了由库克提出“NP”完全性理论。并指出只要证明一个问题是属于P类的，就可以解决计算复杂性理论中最大的难题，即P=？NP。这篇论文对后世的贡献是：其一规范了计算机复杂性理论中的术语，并作出统一。其二：刻画NP问题时，提出与库克不同的描述NP方法，称之为“卡普规约”。
          除了以上，卡普在组合优化算法的概率分析、随机化算法等还有不少研究成果。卡普研究并行算法，提出Log P的一种并行算法的使用模型。我国已将理论模拟实现了一种并行计算模拟器，并取得良好的结果。
最后放张卡普图片：