中山大学算法课程题目详解（第十九周）NP问题

问题描述：

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

解决思路以及方法：

我们很容易知道吝啬SAT的解是可在多项式时间内验证的，因此属于NP问题。

此外，我们可以将SAT规约到吝啬SAT(将k设为所有变量的总个数即可),因为吝啬SAT为NP完全问题。