《算法概论》 习题8.8

题目：

在精确的4SAT问题中，输入为一组子句，每个子句都是恰好4个文字的析取，且每个变量最多在每个子句中出现一次。

目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP-完全问题。