作业-NP完全问题证明-8.23
2016-12-01 14:23
225 查看
题目:
在节点互不相交的路径(NODE-DISJOINT PATH)问题中,输入是一个无向图。该图的一些节点具有特殊标记:节点s1,s2,…,sk 被标记为“出发点”,另一些相同数量的节点t1,t2,…,tk 被标记为“目的地”。目标是对所有的i=1,2,…,k,求由si 到ti 的k条互不相交的路径(即不包含相同节点的路径)。请证明该问题是NP完全的。
证明:
首先从 3SAT 问题开始归约。
对于包含 m 个子句和 n 个变量的 3SAT 公式,使用 k = m + n 个出发点和目的地。
每个变量 v对应于一个节点对(sv,tv) ,每个子句 c 对应于一个节点对(sc,tc) 。
对每个 3SAT 子句(v1∨v2∨v3) ,引入6个中间节点:v1,v2,v3,v¯1,v¯2,v¯3
对任意子句c=(v1∨v2∨v3) ,将sc,vi 连接起来,将 vi,tc 连接起来,i=1,2,3 。
对任意变量v, 假设共引入有d个中间节点v ,d个中间节点v¯ ,将sv,v,v,…,v (共d个节点v), tv 依次连接起来,将sv,v¯,v¯,…,v¯ (共d个节点v¯), tv 依次连接起来,这样就形成了2条路径,2条路径只能选其中1条,保证了变量一致。
如图,未画出sc到tc 的连接:
容易看到,如果该 3SAT 问题有解,那么经过这样的转化后,就构造出了该图对应的k条节点不相交的路径。反之,如果该 3SAT 问题无解,那么转化后,该图也不存在对应的k条节点不相交的路径。
这样就将3SAT 归约到了 NODE-DISJOINT PATH, 3SAT为NP完全问题,所以NODE-DISJOINT PATH 为NP完全问题。
证毕。
在节点互不相交的路径(NODE-DISJOINT PATH)问题中,输入是一个无向图。该图的一些节点具有特殊标记:节点s1,s2,…,sk 被标记为“出发点”,另一些相同数量的节点t1,t2,…,tk 被标记为“目的地”。目标是对所有的i=1,2,…,k,求由si 到ti 的k条互不相交的路径(即不包含相同节点的路径)。请证明该问题是NP完全的。
证明:
首先从 3SAT 问题开始归约。
对于包含 m 个子句和 n 个变量的 3SAT 公式,使用 k = m + n 个出发点和目的地。
每个变量 v对应于一个节点对(sv,tv) ,每个子句 c 对应于一个节点对(sc,tc) 。
对每个 3SAT 子句(v1∨v2∨v3) ,引入6个中间节点:v1,v2,v3,v¯1,v¯2,v¯3
对任意子句c=(v1∨v2∨v3) ,将sc,vi 连接起来,将 vi,tc 连接起来,i=1,2,3 。
对任意变量v, 假设共引入有d个中间节点v ,d个中间节点v¯ ,将sv,v,v,…,v (共d个节点v), tv 依次连接起来,将sv,v¯,v¯,…,v¯ (共d个节点v¯), tv 依次连接起来,这样就形成了2条路径,2条路径只能选其中1条,保证了变量一致。
如图,未画出sc到tc 的连接:
容易看到,如果该 3SAT 问题有解,那么经过这样的转化后,就构造出了该图对应的k条节点不相交的路径。反之,如果该 3SAT 问题无解,那么转化后,该图也不存在对应的k条节点不相交的路径。
这样就将3SAT 归约到了 NODE-DISJOINT PATH, 3SAT为NP完全问题,所以NODE-DISJOINT PATH 为NP完全问题。
证毕。
相关文章推荐
- 【算法期末作业】课本8.19 kite问题的NP完全问题证明
- 最后的作业——NP完全问题证明
- 【算法习题】证明吝啬SAT问题为NP完全问题
- 证明EXACT 4SAT问题是NP完全问题-[算法概论8.8]
- 8.15 NP完全问题证明
- 证明碰撞集问题为NP完全问题。
- 证明SJF(Shortest Job First:最短作业优先算法)策略生成的调度方案理论最优
- 证明精确4SAT问题为NP完全问题
- 证明NP完全问题
- 证明最大公共子图问题是NP完全问题
- 算法概论第八章 NP完全问题 习题证明
- 证明吝啬SAT问题为NP完全问题。
- 课本8.19 kite问题的NP完全问题证明
- 8.8 证明精确4SAT是NP完全问题
- LeetCode Exercise 16:证明NP完全问题
- [算法作业] Chapter 8 NP-complete problems 课后习题部分证明
- 证明支配集问题是NP完全问题
- 算法作业:证明题(2)-- 8.8
- 课后作业 课本NP-complete证明题
- 证明重组问题为NP完全问题