证明NP问题(算法概论8.8)

Description 在精确的4SAT(EXACT 4SAT)问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次。 目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP完全问题。 Proof: 不难得到,书本中给出证明:3SAT问题是NP-完全的。 可知,对于问题A,B。若A是NP-完全的,则当我们将A归约到B时就可以证明得到B也是NP-完全的
相关文章
相关标签/搜索