【NPC问题】证明EXACT 4SAT问题是NPC问题
2018-01-31 14:29
106 查看
【问题描述】
8.8 在EXACT 4SAT问题中,输入为一组字句,每个子句都是恰好4个文字的析取,且每个变量最多在子句中出现一次。目标是求他的满足赋值,如果该赋值存在,证明精确的4SAT问题是NP完全问题。
【证明】
如果想要证明 EXACT 4SAT问题是NPC问题,只需把目前已知的NPC问题归约到EXACT 4SAT问题。3SAT问题是和4SAT问题形式最接近的已知NPC问题。因此,我们证明3SAT问题可以归约到EXACT
4SAT问题。
3SAT问题的基本形式如下:
我们只需添加哑变量,便能讲3SAT问题扩展成一个EXACT 4SAT 问题,如下图
加入哑元变量使得3SAT的公式变成EXACT 4SAT的方法显然是多项式时间的。 同时,哑变量不影响整个语句的结果,因此两个式子是等价的。
综上,3SAT能归约到EXACT 4SAT问题,所以EXACT 4SAT问题是NPC问题。
8.8 在EXACT 4SAT问题中,输入为一组字句,每个子句都是恰好4个文字的析取,且每个变量最多在子句中出现一次。目标是求他的满足赋值,如果该赋值存在,证明精确的4SAT问题是NP完全问题。
【证明】
如果想要证明 EXACT 4SAT问题是NPC问题,只需把目前已知的NPC问题归约到EXACT 4SAT问题。3SAT问题是和4SAT问题形式最接近的已知NPC问题。因此,我们证明3SAT问题可以归约到EXACT
4SAT问题。
3SAT问题的基本形式如下:
我们只需添加哑变量,便能讲3SAT问题扩展成一个EXACT 4SAT 问题,如下图
加入哑元变量使得3SAT的公式变成EXACT 4SAT的方法显然是多项式时间的。 同时,哑变量不影响整个语句的结果,因此两个式子是等价的。
综上,3SAT能归约到EXACT 4SAT问题,所以EXACT 4SAT问题是NPC问题。
相关文章推荐
- [NPC] 证明EXACT 4SAT问题是NPC问题
- EXACT 4SAT问题是NP完全问题的证明
- 证明EXACT 4SAT问题是NP完全问题-[算法概论8.8]
- NP问题——证明EXACT 4SAT问题是NP完全问题(算法概论习题8.8)
- 证明精确4SAT问题是NPC问题
- Exact 4SAT问题是NP完全的证明
- 证明EXACT 4SAT问题为NP-complete
- [算法概论习题] 证明 EXACT 4SAT 是 NP-complete 问题
- P问题、NP问题、NPC问题的概念及实例证明
- 证明:寝室分配问题是NPC问题
- EXACT 4SAT问题
- 第八章8.8证明EXACT 4ST问题为NP-complete
- 证明 EXACT 4SAT是NP完全问题
- 算法概论习题8.8——证明精确的4SAT是NP-完全问题
- 《算法设计》第8.8题 证明4SAT是NP-C问题
- NPC问题证明
- 证明精确4SAT问题为NP完全问题
- 【NPC】17、限制法证明NPC问题
- 证明精确的4SAT是NP_完全问题
- 证明精确的4SAT是NP-完全问题