作业习题8.3
吝啬sat问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果赋值存在。证明吝啬sat是np完全问题。
solution:
首先要证明吝啬SAT问题是NP问题,然后如果能把SAT问题规约到吝啬SAT问题,即可证明这个问题是NP-完全问题。
吝啬SAT问题肯定是NP问题 ,因为吝啬SAT问题是SAT问题的一个变种,而且任何一个解都可以在多项式的时间内求解。
现在来证明SAT问题可以规约到吝啬SAT问题,如果我们把吝啬SAT问题中的k设置为输入的数目,那么SAT问题就可以规约到吝啬SAT问题,所以吝啬SAT问题是NP-完全问题。