《算法设计与分析》第10章.pptVIP

算法设计与分析 第3部分 求解困难问题 第10章 NP完全问题 10.1 ? 基本概念 10.1.1 不确定算法和不确定机 10.1.2 可满足性问题 10.1.3? P类和NP类问题 10.1.4 NP难度和NP完全问题 10.2 Cook定理和证明 10.2.1 Cook定理 10.3 一些典型的NP完全问题 10.3.1?最大集团 10.3.2 顶点覆盖 10.3.3? 3元CNF可满足性 10.3.4 图的着色数 定理10－4 最大集团判定问题∝顶点覆盖判定问题。 证明：分两步证明这一结论。 第一步：以最大集团判定问题的任一实例(G，k)，G=(V，E)，k为正整数，来构造一个顶点覆盖判定问题的实例(G’，n-k)，G’=(V， )，n=|V|， ={(u,v)|u?V,v?V且（u,v）?E}。 第二步：分两方面证明“图G有一个规模至少为k的集团，当且仅当图G’有一个规模至多为n?k的结点覆盖。” 一方面，先证明：若图G有一个规模至少为k的集团S，则图G’有一个规模至多为n?k的结点覆盖S’，S’＝V?S。 反证法：若G’不能被S’中的顶点所覆盖，则必定存在边(u,v)? ，顶点u和v均不在S’ 中，而在S中。这与S是图G的一个集团相矛盾。所以，S’必定是图G’的顶点覆盖。并且若|S|?k，则|S’|? n?