In the EXACT 4 SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT 4 SAT is NP-complete.
在EXACT 4 SAT问题中，输入是一组子句，每一个子句都是正好四个文字的分离，每个子句中每个变量至多出现一次。 目标是找到一个令人满意的任务，如果有的话。 证明EXACT 4 SAT是NP完整的。
EXACT 4SAT的解是可以在多项式时间内验证的，属于NP问题。
已知3SAT是NP完全问题
对于任意一个3SAT实例，如果其中某个子句中包含了同一个文字多次，那么可以缩减为一次，如果同时包含了某个变量的肯定以及否定，那么可以去掉这个变量。然后，在每个子句中添加一些哑变量(即没有用的辅助变量)，文字数目就扩充到4个
那么就将3SAT规约到EXACT 4 SAT问题
因为3SAT是NP完全问题，而且EXACT 4SAT是NP问题，所以EXACT 4SAT是NP完全问题
7792
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
