计算的复杂性第八章NP完全性证明精.ppt

顾 小 丰 Email：guxf@uestc.edu.cn * 第8章　NP完全性证明 8.1　六个基本的NP完全问题 1. 三元可满足性（3sat） 3. 节点覆盖（VC） 5. 哈密顿回路（HC） 证明顺序 图8-1　在证明六个基本问题的NP完全性中使用的变换的顺序图 8.1.1　三元可满足性 3SAT的 重要性 8.1.2　三维匹配 三元集合构成的恰当覆盖（X3C） 8.1.3　节点覆盖和团 定理8-3 8.1.4　哈密顿回路 定理8-4 哈密顿回路的几个变种 8.1.5 划分 8.2　NP完全性的证明方法 8.2.1　限制法 (1) 最小覆盖 (2) 击中集 (3) 子图同构 (4) 有界度生成树 (5) 最小等价有向图 (6) 背包问题 (7) 多处理机调度 8.2.2　局部替换法 (1) 整体计算 定理8-6?整体计算是NP完全的。 (2)三角划分 定理8-7?三角划分是NP完全的。 (3) 区间排序 定理8-8?区间排序是NP完全的。 (4) 最小测试集 定理8-9?最小测试集是NP完全的。 8.2.3?分量设计法 分量设计法的基本思想 最少拖延排序 定理8-10?最少拖延排序是NP完全的。 8.3?P类问题的证明 在上两节中，我们介绍了如何证明某个新问题的NP完全性，即证明它是NP类中最难的问题。那么，我们自然会问，怎么证明某个问题为NP类中最容易的问题，即证明它是P类问题呢？ 由定义，要证明一个问题Π属于P，就要证明存在一个求解它的多项式时间DTM程序，而由确定型图灵机DTM与现实中任一合理计算机的运行方式之间的多项式时间等价性，这等于要求我们证明存在一个计算时间复杂性为多项式的通常意义下的算法，它可用来求解问题Π。 常用的证明某个问题为P的方法1 先设计出求解问题Π的一个算法；然后证明其正确性，即可利用该算法精确求解问题Π；最后，通过仔细分析算法的实现过程来估计它所需的总的计算工作量，即其计算复杂性，若所得估计值可用问题规模参数（如输入长度、问题维数等）的一个多项式函数来界定，则表明该算法为多项式时间算法，从而得到问题P属于Π。如背包问题、排序问题等等。采用这种方法来证明问题属于P时，一般总要充分利用所证明问题的具体特性，以便设计出适当的求解算法,使得它能够构成求解原问题的多项式时间算法。进而，对同一问题,还可能存在多种不同的证明方法，如排序问题有选择排序、插入排序和冒泡排序等算法。因此，对这种方法，由于其对于具体问题的依赖性与多变性，很难指定一个通用的证明步骤或方法。 常用的证明某个问题为P的方法2 代替设计出具体的求解算法，另一类证明问题属于P的方法是通过某种转换或逻辑推理来进行。常见的技巧有：证明可采用一些简单的、可在多项式时间内完成的变换方法，将原问题转换为另一已知的P类问题的求解；说明可通过递推、分解等方法来对原问题进行简化，使简化后的问题很容易在多项式时间内求解，而所采用的分解等策略也可在多项式时间内完成；直接考察原问题的可行解所可能存在的各种情形，当然这些可能的不同情形不会超过问题规模的某个多项式，并说明在每种情况下均可在多项式时间内求解原问题。 8.3.1 二元可满足性问题（2SAT） 实例：有穷的变量集合U上的子句类C={c1,c2,...,cm}， 其中|ci|=2，1≤i≤m。 问：对于U是否存在满足C中所有子句的真值赋值？ 引理8-2 若二元合取范式(即合取范式中每个子句均含有两个变量)H不含变量ui，且ui,￢ui不等于y1,y2,…,yk,z1,z2,…,zh，则二元合取范式 G＝H∧(ui∨y1)∧(ui∨y2)∧…∧(ui∨yk) ∧(￢ui∨z1)∧(￢ui∨z2)∧…∧(￢ui∨zh) 是否是可满足的与 是否是可满足的是等价的。 定理8-11　2SAT是属于P的。 证明　令 2)　对于两个变量ui和uj，在G中出现(ui∨uj)∧(ui∨ 3) G＝H∧(ui∨y1)∧…∧(ui∨yk) 对于G’，可再经过1),2)或3)的化简，子句个数又减 8.3.2?偶图的独立集问题 在8.1.3中，我们指出，一般图上的独立集问题是属 定理8-12 偶图的独立集问题是属于P的。 ￢uj)时，若取ui为“F”，则G为“F”；若取ui为“T”，则G有三种可能的结果：一是G为“T”，即它可满足；二是G为“F”，即它不可满足；三是可以消去若干个子句，于是得到简化了的新的合取范式，此时问题归结于新的二元可满足性问题。 如上，在简化了的新的G中，子句个数至多为n(n-1)个，且上述的简化过程可在n的多项式时间内完成。在简化了的G中，对任意的变量，其否定必含于