证明精确4SAT问题是NPC问题
2017-06-26 12:14
393 查看
证明精确4SAT问题是NPC问题
问题:
在精确的4SAT(EaACT 4SAT)问题中,输入为一组子句,每个子句都是4个文字的析取,且每个变量最多在每个子句中出现一次。目标是求它的满足赋值—-如果该赋值存在。证明精确的4SAT是NP-完全问题。分析:
证明某个问题是NPC问题,一般思路是找一个已知的NPC问题来归约带该问题。其中3SAT问题是已知的NPC问题,所以接下来只要证明3SAT问题可以归约到精确的4SAT问题即可。证明过程:
3SAT问题:A = (a1 ∨ a2 ∨ a3) ∧ (a4 ∨ a5 ∨ a6) ∧ ….∧(a ∨ a ∨ a)精确4SAT问题: A = (a1 ∨ a2 ∨ a3 ∨ a4) ∧ (a5 ∨ a6 ∨ a7 ∨ a8) ∧…. ∧(a ∨ a ∨ a ∨ a)
容易证明(a1 ∨ a2 ∨ a3) 等价于 (a1 ∨ a2 ∨ a3 ∨ y) ∧ (a1 ∨ a2 ∨ a3 ∨ !y)
这样可以通过如下形式把3SAT问题形式变成精确4SAT问题形式
即A = (a1 ∨ a2 ∨ a3 ∨ y1) ∧ (a1 ∨ a2 ∨ a3 ∨ !y1) ∧(a4 ∨ a5 ∨ a6 ∨ y2) ∧ (a4 ∨ a5 ∨ a6 ∨ !y2) ∧ ….∧(a ∨ a ∨ a ∨ y)∧(a ∨ a ∨ a ∨ !y)
由此证明3SAT问题可以归约到精确的4SAT问题,从而证明精确4SAT问题是NPC问题
相关文章推荐
- 算法概论习题8.8——证明精确的4SAT是NP-完全问题
- 证明精确的4SAT是NP-完全问题
- 8.8 精确4SAT问题证明
- 证明精确4SAT问题为NP完全问题
- 【NPC问题】证明EXACT 4SAT问题是NPC问题
- 证明精确的4SAT是NP_完全问题
- [NPC] 证明EXACT 4SAT问题是NPC问题
- P问题、NP问题、NPC问题的概念及实例证明
- 证精确的4SAT是NP-完全问题
- 8.8 证明精确4SAT是NP完全问题
- 证明EXACT 4SAT问题为NP-complete
- 8.8 精确4SAT问题
- Exact 4SAT问题是NP完全的证明
- 《算法设计》第8.8题 证明4SAT是NP-C问题
- 精确4SAT问题np完全性证明
- 算法证明题8.12 k生成树问题为搜索问题和NPC问题
- 证明EXACT 4SAT问题是NP完全问题-[算法概论8.8]
- EXACT 4SAT问题是NP完全问题的证明
- 8.8 精确的4SAT问题的NP-完全性证明
- NP问题——证明EXACT 4SAT问题是NP完全问题(算法概论习题8.8)