证明题8.3

习题8.3：

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

证明：

我们考虑将SAT规约至吝啬SAT：

对于任意一个SAT问题，设其有n个变量，则该SAT问题的满足赋值中最多有n个变量赋值为true，这相当于一个输入为（S,n）的吝啬SAT问题，所以一个SAT实例可用上述方法映射到一个吝啬SAT问题。而对于任意一个吝啬SAT问题，它是SAT问题的一种特殊情况。综上，我们成功将SAT问题规约至吝啬SAT问题，所以吝啬SAT是NP-完全问题