问题:
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-完全问题