算法概论第8章课后习题 8.3

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

证明：要想证明吝啬SAT是NP-完全的，可以证明SAT问题可以归约到吝啬SAT问题，因为SAT也是一个NP-完全问题。设g是一个SAT问题的实例，当SAT中的变量数目为k时，则该问题就是一个吝啬SAT实例。如果实例g的解存在的话，那么最多有k个变量为true的变量，所以该解也是吝啬SAT的解。如果吝啬SAT的解存在，则最多有k个变量为true，说明SAT也存在解。所以，SAT可以归约到吝啬SAT问题。

综上所述，吝啬SAT是NP-完全问题。