算法分析与设计-2016-第5讲.pptVIP

T类：2mn个 C类：3m个 填补类：2m(n-1)*2mn 2m(n-1)*2mn 图的独立集问题： 实例：图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. 另外一个问题 1 2 3 4 实例：图G = (V, E)，正整数L。 询问：是否存在V的子集V’，满足|V’|?L，任意边(u,v)?E，{u,v}?V’ ? ?。 若存在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。 一个图V1是顶点覆盖?V\V1是独立集 定理：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讲-2016 山东大学计算机学院/软件学院 上次内容： (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问题多项式时间可解，但没有形成完整的体系来证明问题的复杂性(难度)。 Cook定理出现时，多项式归约的定义还没出现。 第四章：证明NPC类问题的技术 KARP的证明，6个NPC问题，一年时间证明21个NPC问题。 定理4.1：3sat?NPC。(1)在集成电路测试中的应用 证明在后面，先多讲几个问题 实例：布尔变量集合：U={u1,…,un}， 项集合：C = {C1, C2, …, Cm}，|Ci| = 3 询问：是否存在U的真值指派使C中所有项均满足？ 多项式变换(归约)： ?1= ??1,L1,?1? ；?2= ??2,L2,?2? 变换f：?1*? ?2* I?L1，f(I)?L2，?1(I)=?2(f(I))， ?1(I)=1??2(f(I))=1 f变换可以在p(|I|=n)时间内计算完成。 则f称为由?1到?2的多项式时间归约。Redu