[数学]NP完全问题证明1.pptVIP

例2 最小覆盖问题 实例：集合S的子集的集合C，正整数K. 问： C是否有S的大小不超过K的覆盖，即是否包含子集C’? C 使得|C’| =K 且?C’ = S？ 证明：限制 ?c?C,|c|=3,|S|=3K, 则为X3C问题. 例3 集中集 实例：集合S的子集的集合C，正整数K 问： S是否包含C的大小不超过K的集中集（hitting set）,即是否有子集S’?S,使得|S’|?K,且S’至少包含C的每个子集的一个元素？ 证明： 限制?c?C,|c|=2, 令V=S, E=C, 则构成图G=(V,E)的顶点覆盖问题. 8.5.6、NP完全性的证明方法 例4 子图同构问题 实例：图G=(V1,E1), H=(V2,E2) 问：G中是否有同构于H的子图，即是否有子集V?V1, E?E1, 使得|V|=|V2|,|E|=|E2|,且存在双射函数f：V2?V,使得 {u,v}?E2 ? {f(u),f(v)}?E? 证明：限制H为完全图，且|V2|=J, 则该问题是团的问题. 例5 有界度的生成树 实例：图G=(V,E), 正整数K=|V|?1 问： G是否包含一棵顶点度数不超过K的生成树，即是否有子集E’?E, |E’|=|V|?1, 图G’=(V,E’)是连通的，且V中每个顶点至多包含在E’的K条边中？ 证明：限制K=2，则为Hamilton通路问题 8.5.6、NP完全性的证明方法 例6 0-1背包Knapsack 实例：有穷集U，?u?U, 大小s(u)?Z+, 价值 v(u)?Z+, 大小的约束B?Z+, 价值目标K?Z+. 问：是否有子集U’?U，使得 证明：限制?u?U, 则成为均分问题 8.5.6、NP完全性的证明方法 例7 多处理机调度 实例：有穷任务集A，?a?A, 长度l(a)?Z+, 处理机台数 m?Z+, 截止时间D?Z+. 问：是否存在不交的集合A1,A2,… ,Am, 使得 证明：限制 则成为均分问题. 8.5.6、NP完全性的证明方法 局部替换法：选择已知NP完全问题的实例中的某些元素作为基本单元，然后把每个基本单元替换成指定结构，从而得到目标问题的对应实例. 例8 3SAT 已知问题：SAT ? 目标问题：3SAT 基本单元：子句 ? 子句集 例9 两点间的 Hamilton 通路 实例：G=(V,E)，u,v?V. 问：G中是否存在一条从u到v的 Hamilton 通路？ 已知问题：HC ? 目标问题：两点间Hamilton通路 基本单元：顶点a ? u,v 证：对于HC的任一实例，任选顶点a, 用u,v代替a, 即 G’=(V’,E’), V’=(V?{a})?{u,v} E’=(E?{{a,v’}|{a,v’}?E})?{{v,v’},{u,v’}|{a,v’}?E} 8.5.6、NP完全性的证明方法 G G’ G有一条Hamilton回路当且仅当G’有一条从u到v的Hamilton通路 替换实例 8.5.6、NP完全性的证明方法 例10 区间排序 实例：有穷任务集T,?t?T,开放时间r(t),截止时间d(t),需要时间l(t),其中r(t)?N,d(t),l(t)?Z+. 问：是否存在关于T的可行调度，即是否存在函数?:T? N 使得?t?T满足： ?(t)?r(t) ?(t)+l(t)?d(t) ?t’?T?{t}, ?(t’)+l(t’)??(t) 或 ?(t)+l(t)??(t’) ? 已知问题：均分 ? 目标问题：区间排序 基本单元：A中元素 ? T中的任务 实施者 , 若B为偶数，则存在均分 证 设A和s(a)?Z+ (?a?A) 为均分的实例. ?a?A将a替换成ta?T,d(ta)=B+1，l(ta)=s(a) ，其中 B为奇数，则不能调度 8.5.6、NP完全性的证明方法 分量设计法 根据目标问题的实例设计分量(分量的成分与目标问题相关)，实现已知NPC问题的实例（分量的功能与已知问题相关）. 3SAT变换到VC，其中分量有真值安排分量、满足性检验分量等，这些分量都是子图，用来实现三元可满足性问题的实例. 例11 最小拖延排序 实例：任务集T，?t?T,完成时间l(t)=1,截止时间d(t)?Z+. T上的偏序?，非负整