完全问题.pptVIP

2.2.6 P类问题和NP类问题的关系 从定义上看：P类问题可以用多项式时间的确定算法解决（判定或求解）；NP类问题可以用多项式级别的时间的确定算法进行检查、验证和判定 P?NP。这是因为P类问题一定可以用多项式时间的算法判定 猜测NP?P，也就是猜测至少存在着一个问题，它属于NP类，但它不属于P类。但迄今没有给出证明 * 3. NP完全问题 3.1 NP完全问题的定义 3.2 多项式规约关系的传递性定理 3.3 NP完全性的传递性定理 3.4 NP完全性的传递性举例 3.5 NP完全问题的重要特征 3.6 NP完全问题举例 * 3.1 NP完全问题的定义 定义：令?是一个判定问题，如果对NP中每一个问题???NP，有?? ?p ?，就称问题?是一个NP难题 定义：令?是一个判定问题，如果?属于NP，并且对NP中每一个问题???NP，有?? ?p ?，就称判定问题?是NP完全的，记为NPC 性质：NP难题包含NP完全问题。但有些NP难题不是NP完全问题，因为它可能不在NP问题中 * 3.2 多项式规约关系的传递性定理 定理：多项式规约关系满足传递性：令?、??、 ???是三个判定问题，满足??? ?p ??，?? ?p ?，则有??? ?p ? 证明：通过规约关系的定义，必定存在着多项式算法A?和A， A?使得???的实例I??（规模是n）以多项式时间转换为??的实例I?，A使得??的实例I?以多项式时间转换为?的实例I。而A和A?的多项式级别性质使得实例I的规模是n的多项式级别的。综合起来，???的任意实例都能在多项式级别转换为?的实例 * 3.3 NP完全性的传递性定理 定理：令?和??是NP中的两个问题，使得?? ?p ?。如果??是NP完全的，则?也是NP完全的 证明： 由于??是NP完全的，如果令???是NP中任意一个问题，则有??? ?p ??。根据关系?p的传递性， ??? ?p ?。并且，??? 在NP中是任意的，因此，?是NP完全的 * 3.4 NP完全性的传递性举例 已知哈密尔顿回路问题是一个NP完全问题，证明货郎担问题也是一个NP完全问题 哈密尔顿回路问题?? ：给定无向图G=(V,E)，是否存在一条回路，使得图中每个顶点在回路中出现且只出现一次 货郎担问题?：给定n个城市和它们的距离矩阵，以及距离L，是否存在从某个城市出发，经过每个城市一次且仅一次，最后回到出发城市且距离小于或等于L的路线 后面是具体说明： * 对于哈密尔顿回路问题?? 中的无向图G=(V,E) ，可以用多项式时间构造新的无向图G?=(V?,E?) ，使得V?=V，E?=E 。对于E?中的每条边(u, v)赋予如下权值： 通过上述转换， ??转换为货郎担问题? 可以证明两个问题等价： （1）G中包含一条哈密尔顿回路，则这条路径上的边共有n条，每条边长度是1，则G?中存在一条路径经过每个顶点且一次，并且长度不超过n （2）如果G?中存在一条满足货郎担问题的路径，则这条路径经过G中各个顶点一次，且仅一次，最后回到出发顶点，它肯定是一条哈密尔顿回路 * 3.5 NP完全问题的重要特征 NP完全问题是NP判定问题中的一个子类，对这个子类中的一个问题，如果能够证明用多项式时间的确定性算法进行求解或判定，那么，NP中的所有问题都可以通过多项式时间的确定算法进行求解或判定 如果NP完全问题中的任何一个问题能够找到或能够证明存在着一个多项式时间的确定性算法，那么，就可以证明NP = P * 3.6 NP完全问题举例 3.6.1 可满足性问题(SATISFIABILITY) 3.6.2 三元可满足性问题(3_SATISFIABILITY) * 3.6.1 可满足性问题(SATISFIABILITY) 假设布尔表达式f是一个合取范式(Conjunction Normal Form, CNF)，析取子句中有m个合取项，每个合取项都是由n文字的一部分或文字的否定构成： f = (x1 ? ?x3 ? x4) ? (? x2 ? x3) ? (x1 ? x4 ? x5) ? (x2 ? x5) 对于x1, x2, …, xn的赋值，f的结果为真，则称这个式子是可满足的。这个问题的提法是： 判定问题SATISFIABILITY： 输入：CNF布尔表达式f： 问题：对表达式中的变量赋值，是否可以使f的值为真？ * 定理：可满足性问题SATISFIABILITY是NP完全的 证明：表达式中的文字置0或1后，可以用多项式时间（O(mn)）判定f是否为真。 SATISFIABILITY?NP。 为了证明SATISFIABILITY是NP完全的，必须证明对NP中的任意问题?，有? ?p SATISFIABILITY。假设?的实例I的规模是n，在p(n)的判定时间里最多有cp