课后习题8.3-证明

8.3 

吝啬SAT是如下的问题：给定一组子句（每个都是文字的析取）和一个整数k，若存在一个其中最多有k个变量为真的满足赋值式，找出它。证明吝啬SAT是NP-完全问题。

证明：

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

通过将k 设为所有变量的总数，可以将SAT 归约到吝啬SAT，故吝啬SAT是NP 完全问题。