计算机科学导论第十七章.pptVIP

NP-hardness 与围棋 不是所有的难题都可归结为 NP 问题，像下得一手绝对好的围棋现在目前的推测是比所有 NP 问题还要难的计算问题，即 NP-hard 问题 。 前面售货员旅行问题 就是NP-hard 问题 。 围棋问题 以平常的围棋规则在一个 n x n 的棋盘上下，给定一个残局（下了二个子就可以算残局），首先，是否可以确定黑子在最好的下法之下，一定会赢？ 目前有人计算到围棋必胜法之记忆计算量在 10600 以上，不论人脑或电脑的记忆绝少不了一个原子，而现今所知的宇宙原子数约只有 1075。棋之道，大矣哉！要做一个下围棋必胜的机器人是谈何容易！ 2.4.5 P问题等于NP问题吗？ 在计算复杂度理论中，P是在一个图灵机上在多项式时间内可以解决的决定性问题的群。 1971年库克 (Stephen A. Cook) 发表了〈The Complexity of Theorem Proving Procedures〉才把 P 之外问题归约成了三大类，即 NP、NP-complete 及 NP-hard 。 现在 P＝NP是否成立的问题是计算学科和当代数学研究中悬而未决的问题之一。 如果P=NP，则所有在多项式时间内可验证的问题都将是在多项式时间内可求解或可判定的问题。大多数人不相信P=NP，因为人们已经投入了大量的精力为NP中的某些问题寻找多项式时间算法，但没有成功，然而要证明P＝NP目前还无法做到这一点。 在P是否等于NP问题上，库克等人于20世纪70年代初取得了重大的进展。他们认为NP类中的某些问题的复杂性与整个类的复杂性有关。当这些问题中的任何一个存在多项式时间算法时，则所有这些NP问题都是多项式时间可解的。这些问题被称为NP完全性问题。 可满足性问题就是判定一个布尔公式是否成立，它可以形式化地表示为 SAT={ φ | φ 是可满足的布尔公式} 关于可满足性问题和NP问题的联系 库克给出并证明了这样的定理 SAT∈P 当且仅当P=NP 1982年，库克因其在计算复杂性理论方面（主要是在NP完全性理论方面）奠基性的工作而荣获ACM图灵奖。 现在，在计算机科学、数学、逻辑学以及运筹学等领域已发现2000多个NP完全性问题，其中有代表性的有： 布尔可滿足性問題:（Boolean satisfiability problem）（SAT） N-puzzle问题（华容道问题):(N-puzzle） 郊游打包问题:（Knapsack problem） 哈密尔顿回路问题:（Hamiltonian cycle problem） 旅行推销员问题:（Traveling salesman problem） 子图同构问题:（Subgraph isomorphism problem） 子集合加总问题:（Subset sum problem） 分团问题:（Clique problem） 顶点涵盖问题:（Vertex cover problem） 独立顶点集问题:（Independent set problem） 图着色问题（参见四色定理）:（Graph coloring problem） 带优先级次序的处理机调度问题。 复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成，或者等效的说，那些可以在非确定型图灵机上在多项式时间内找出解的问题的集合。很可能，计算理论最大的未解决问题就是关于这两类的关系的: P和NP相等吗? 在2002年对于100研究者的调查，61人相信答案是否定的，9个相信答案是肯定的，22个不确定，而8个相信该问题可能和现在所接受的公理独立，所以不可能证明或证否。对于正确的解答，有一个$1,000,000美元的奖励。 2.4.6旅行推销员问题 旅行商问题简称TSP，是威廉.哈密尔顿爵士和英国数学家克克曼 T.P.Kirkman 于19世纪初提出的一个数学问题。这是一个典型的NP完全性问题。其大意是，有若干个城市，任何两个城市之间的距离都是确定的，现要求一旅行商从某城市出发，必须经过每一个城市且只能在每个城市逗留一次，最后回到原出发城市。问如何事先确定好一条最短的路线。使其旅行的费用最少。 人们在考虑解决这个问题时，一般首先想到的方法是列出每一条可供选择的路线，即对给定的城市进行排列组合，计算出每条路线的总里程。最后从中选出一条最短的路线。假设现在给定的4个城市分别为A、 B、C和D。各城市之间的距离为已知数如图2.4所示。我们可以通过一个组合的状态空间图来表示所有的组合，如图2.5所示。 从图中不难看出，可供选择的路线共有6条。 从中很快可以选出一条总距离最短的