1.题目描述
在精确的4SAT问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次.目标是求它的满足赋值—–如果该赋值存在.证明精确的4SAT问题是NO-完全问题. 在精确的4SAT问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最多
阅读背景：
精确4SAT问题np完全性证明
来源：互联网
分享到：
