计算机文化基础系列常识-图灵奖获奖者介绍连载(二十一.doc

计算机文化基础系列常识-图灵奖获奖者介绍连载（二十一） ?理查德·卡普(Richard Manning Karp) ?????? ——发明“分枝限界法”的三栖学者 ??? 有“三栖学者”美称的理查德·卡普(Richard Manning Karp)获得1985年度的图灵奖是众望所归的。卡普之所以被称为“三栖学者”是因为他知识渊博，贯通多个学科专业，因而同时被加州大学伯克利分校的电气工程和计算机系、数学系以及工业工程和运筹学系三个系聘为教授。这种情形在美国大学中都是不多见的。而卡普之所以被授予图灵奖，也是因为他在算法的设计与分析、计算复杂性理论、随机化算法等诸多方面作出了创造性贡献。 ??? 卡普1935年1月3日生于波士顿，从小时起就兴趣广泛，聪明过人。在哈佛大学时他文理兼修，1955年先获得文学学士学位，第二年又获得理科硕士学位。之后他进入哈佛大学的计算实验室攻读博士，于1959年取得应用数学博士学位。学成以后，他进入IBM位于Yorktown Heights的沃森研究中心，在那里工作近10年。从20世纪50年代末至60年代，正是计算机科学的创建时期，高级语言刚诞生不久，计算机应用开始被社会所重视并逐渐走向普及。在这种情况下，有关数据结构、算法、计算复杂性等课题吸引着众多学者的注意。IBM作为美国乃至世界最大的计算机厂商，理所当然地成为这些研究的中心之一，集中了大批最优秀的研究人员。卡普在IBM期间，主要是深入研究了与实际应用有密切联系的一系列数学问题，如路径问题、背包问题、覆盖问题、匹配问题、分区问题、调度问题等，取得了许多出色的成果。这些问题有一个共同的特点，即如果用图来表示问题，那末当图中增加一个结点时，需要考察的可能的解的数目就急剧增加，形成所谓“组合爆炸”(combinatorial explosion)，使计算机的计算工作量大大增加，到一定程度就根本无法实现。以路径问题中最著名的旅行推销员问题为例，在卡普以前，最好的结果是Rand公司的丹齐格(George Benard Dantzig)、福格申(R．Fulkerson)和约翰逊(S．Johnson)用手工和计算机相结合的办法，求出了包含49个城市的旅行推销员的最佳路线。卡普和他的同事海尔特(M．Held)经过反复研究，终于提出了一种称为“分枝限界法”(branch—and—bound method)的新方法，用这种新方法实现的算法使旅行推销员能周游的城市数达到65个，从而打破了由Rand公司保持的记录。分枝限界法是一种构造性的探索法，可在整个允许的解空间中进行最优搜索。该方法的要点是：对解集合反复进行分枝，每次分枝时，都对所得的子集计算最优解的界。如果对某个子集求得的界不优于已知的允许解，则抛弃此子集不再进行分枝；否则继续分枝以探索更好的解，直到所得的子集仅含有一个解时为止。分枝限界法就其实质而言是一种求解策略而非算法，具体算法要根据实际问题的特点去实现。但由于这种方法在求解许多问题中都非常实用，因此常常被直呼为“分枝限界算法”，在几乎任何一本有关算法的书中都有介绍。 ??? 卡普还研究过最大网络流问题。这个问题给定一个包含起点和终点的有向图，其中的每条边都有一定的容量限制。如果把边想象成管道，在其中流过某种物质，需要求出从起点到终点的最大物流量。这个问题对于输油管道、输气管道、公路网、通信网的设计都有很重要的意义。解决这个问题的第一个算法是福特(L．Ford)和福格申(O．R．Fulkerson)在1956年提出的，算法的要点是：从流量0开始，反复寻找满足如下条件的所谓增量路径：既能向该路径中注入尽可能大的流量，又能保证所有的边不超出饱和状态，直至无法找到新的增量路径为止。这个算法在多数情况下是有效的，但在某些特殊情况下效率很低，甚至无法给出答案。卡普和埃德蒙多(J．Edmonds)合作，在1969年对这个算法进行了改进，每次在寻找增量路径时选择包含的边数最少的路径，从而使算法的效率大大提高。改进后的算法的运行时间正比于结点数和边数平方的乘积。 ??? 在对旅行推销员问题进行研究的过程中，卡普发现，无论对算法作何种重大的改进，也无论用何种更高效的新算法使旅行推销员能周游的城市数进一步增加(包括后来采用一种称为“多面体组合学”的方法把它转变为线性规划问题，从而使周游城市数超过300)，解题所需的时间总是问题规模(在这里是城市数)的函数，且以指数方式增长。这引起卡普的深思，并促使他进入计算复杂性领域进行更深层次的研究。1967年，正好以色列学者、计算复杂性理论研究的先驱拉宾(M．Rabin，1976年图灵奖获得者)从希伯莱大学来到IBM公司的沃森研究中心作客座研究员，并且和卡普住在同一公寓大楼(卡普长期单身，直到1979年44岁才结婚成家)，他们成了朋友，经常一起