算法分析与设计课程作业第十六周——NP-完全问题证明
2017-12-31 11:45
309 查看
算法分析与设计课程作业第十六周——NP-完全问题证明
题目8.8
在精确的4SAT问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最大在每个子句中出现一次,目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP-完全问题。证明
首先,可看出精确的4SAT问题是NP问题,因为任一个赋值,要验证是否是满足赋值,代入验证只需多项式时间即可。接着,证明可将3SAT问题归约到精确的4SAT问题(如此一来,即证得精确的4SAT问题是NP难的):
在3SAT中,问题的输入是一个子句集,每个子句包含不超过3个的文字。
现在考虑如何将3SAT的每个子句,转化为精确4SAT的子句:
可以引入一些无用的辅助变量,例如:对3SAT中的有3个变量任意子句(a1∨a2∨a3),可引入y,转化为(a1∨a2∨a3∨y)(a1∨a2∨a3∨~y)。
这个转化之所以有效,是因为:如果(a1∨a2∨a3∨y)(a1∨a2∨a3∨~y)为真,则(a1∨a2∨a3)必为真,可用反证法,倘若(a1∨a2∨a3)为假,则(a1∨a2∨a3∨y)(a1∨a2∨a3∨~y)相当于y∧~y,一定为假,不可能为真。除了使用反证法,分类讨论也可证得。而如果(a1∨a2∨a3)为真,(a1∨a2∨a3∨y)(a1∨a2∨a3∨~y)一定为真,如此即(a1∨a2∨a3∨y)(a1∨a2∨a3∨~y)与(a1∨a2∨a3)是等价的。
对于有两个或一个变量的3SAT子句可用类似的方法先转化为有三个变量的子句,再转化为有四个变量的精确4SAT子句。
由此,若有多项式时间算法解决精确4SAT问题,也必有多项式时间算法解决3SAT问题(多项式时间内转化为精确4SAT问题,再用多项式时间算法解决)。
综上,精确的4SAT是NP-完全问题。
相关文章推荐
- 算法分析与设计——NP完全证明问题8.16
- 算法设计与应用基础:NP完全问题作业
- 【算法期末作业】8.3 证明STINGY SAT是NP-完全问题
- 算法分析与设计课程作业第四周#1
- 算法分析与设计课程作业第六周#1
- 【算法概论习题解答】8.3证明吝啬SAT问题是NP-完全问题
- 算法分析与设计课程作业第七周#1#2
- 算法分析与设计课程作业第三周#1
- --算法分析与设计--课程作业--【顺序统计】--【采用链表法散列表】--【开放地址法(双重散列)】
- 算法分析与设计课程作业第十七周#1#2
- 计算机算法设计与分析作业01:分治法求解大数乘法+L型骨牌的棋盘覆盖问题
- 算法分析与设计课程作业第一周#1
- 算法分析与设计课程作业第十九周#1
- 算法分析与设计课程作业第九周#1#2#3
- 算法分析与设计课程作业第五周#1
- 算法分析与设计课程作业第十五周#1#2#3
- 算法分析与设计课程作业第八周#1
- 算法分析与设计课程作业第二周#1
- 算法分析与设计课程作业第十四周#1#2#3
- 算法分析与设计课程作业第十周#1