算法分析与设计-2012-第5讲.ppt

T类：2mn个 C类：3m个 填补类：2mn-mn-m 图的独立集问题： 实例：图G=(V,E)，正整数K， 询问：是否存在V的子集V’，满足任意两点u,v?V’， (u,v)?E，|V’|?K。 顶点覆盖： 实例：图G=(V,E)，正整数L。 询问：是否存在V的子集V’，满足|V’|?L，任意边(u,v)?E， {u,v}?V’??。 要同时证明 定理：VC?NPC. 若存在U的真值指派使C中每个项都满足?则存在G[U,C]中的10个顶点，覆盖所有边。 定理：IVS(Idpendent Vertice Set)?NPC。 最大独立集问题是NPC类。 证明：可将顶点覆盖问题归约到独立集问题。 一个图V1是顶点覆盖，则V\V1是独立集。 M = |V|-L=17-10=7。 团问题：CL 实例：G=(V, E)，一个非负整数J?|V| 询问：是否存在V的子集V’?V，使任意u, v?V’，总有(u,v)?E。 定理：CL?NPC。团问题是NPC类。 证明：最大独立集问题归约到团问题。 补图： J=n-L 原图中有L顶点的顶点覆盖??补图中有n-L顶点的团。 定理4.4：HC?NPC HC的描述： 实例：图G=(V,E) 询问：G中是否含有一个Hamilton圈？ 解释什么是Hamilton圈：走遍所有点，点不重复的圈。 例子：下面的实例，是顶点覆盖的实例， k=2,是否存在两个点的顶点集合，覆盖所有边。 问题： (1)将顶点覆盖问题归约到独立集问题，证明独立集问题属于NP-complete类， (2)证明团问题属于NP-Complete类。 算法分析与设计 第5讲-2012 山东大学计算机学院 上次内容： (1)P，NP，NPC类定义，第一个NPC问题，sat，NPC， (2)Cook定理，第一个NPC问题， 首先选中一些称为NP问题的问题开始研究。 可认为NP-complete问题是NP问题中最难的问题。 (reduction)只要讨论复杂性就会有归约的概念， 归约用来比较两个问题的求解难度， 是比较两个问题求解难易的工具。 难和易是质区别。能多项式时间求解称为容易， 不能多项式时间求解称为难。 都是多项式的，可以有难和易。 都是指数的，也有难和易。 (3)NPC的含义，若一个NPC问题多项式时间可解， 则所有NP问题多项式时间可解。 下面证明一些新的NPC问题。NPC问题不只一个。 设?=(?,L,?),若存在一个多项式时间的确定图灵程序M，对任意x ??*， x?L,当且仅当存在一个u??p(x), M(x,u)=1. 则? 为NP问题。 ?1??2,下面的结论成立吗？ ?1可以多项式时间求解，?2可以多项式时间求解? ?1可以多项式时间求解，?2不可以多项式时间求解? ?1不可以多项式时间求解，?2不可以多项式时间求解? ?1不可以多项式时间求解，?2可以多项式时间求解? 易?易 易?难 难?难 难?易 由假设将问题分为多项式时间和指数时间两大类而形成的学说。 *若?1?NPC，?2?NP，?1??2，则?2?NPC。 已知sat?NPC，从SAT开始证明其他NPC。 *万事开头难，需要找一些典型的办法。 难在开始找不到合适的办法。 *证明第二个NPC问题也不容易，仍然属于开头。 其实，每一步进展仍然不容易，目前有许多问题是未知的。 *已经证明了SAT是NPC了， 其他问题是NPC的证明肯定与SAT不同了， 怎么做，做个示范看看。 Cook说明若SAT多项式时间可解，则所有NP问题多项式时间可解，但没有形成完整的体系来证明问题的复杂性(难度)。 第四章：证明NPC类问题的技术 KARP的证明，6个NPC问题，一年时间证明20多个NPC问题。 定理4.1：3sat?NPC。(1)在集成电路测试中的应用 证明在后面，先多讲几个问题 实例：布尔变量集合：U={u1,…,un}， 项集合：C = {C1, C2, …, Cm}，|Ci| = 3 询问：是否存在U的真值指派使C中所有项均满足？ 3维对集问题3DM?NPC ，完美三人组合 实际含义：100个编程人，100个数学推导，100个写文章的， 组成100个数学建模队，但并不是任意两人都可以分到同一队， 所以每个人可以与他人共事的选择并不是任意的。能组成吗？ 1 2 3 4 5 6 7 8 9 10 11 12 {1,2,12}；{3,2,12}；{3,5,12}；{3,5,4}； {6,5,11}；{6,7,11}；{8,7,11}；{8,9,10}。 X={1,3,6,8},Y={2,5,7,9}, W={4,10,11,12} 问题描述： 实例：集合：W, X, Y，M ? W*X*Y。|W|=|X|=|Y| = q 询问：是否存在M的子集M’?M