习题8.3

8.3 吝啬 SAT 问题是这样的：给一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为 true 的满足赋值——如过该赋值存在。证明吝啬 SAT是NP-完全问题。

证明：

      吝啬 SAT 的解是可在多项式时间内验证的，故属于 NP。

     可以将 SAT 归约到 吝啬 SAT（将k 设为所有变量的总个数即可），

    所以，可知 吝啬 SAT 为 NP 完全问题。