[Algorithm] Chapter 8_8.3

[Algorithm] Chapter 8_8.3

• 题目描述
• 解答过程

---

由于该题目为算法课程作业，故将其整理在LeetCode的类别下，方便TA与老师查看。

题目描述

STINGY SAT is th following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assignment in which at most k variables are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.

解答过程

证明：

要证明一个STINGY SAT问题是NP-complete的，只需证明一个特定的SAT问题可以归约为其相应的且与该问题相同的STINGY SAT问题。下面分四步来证明这个命题。

① 如果一个问题是SAT问题，则若该问题中变量总数为k，则可以将该问题转变为STINGY SAT问题；

② 而对于一个STINGY SAT问题来说，只需要验证给出的值是否至多为k个，且将值代入布尔表达式验证，所以STINGY SAT问题在多项式的时间之内是可以验证的；

③ 如果当变量为一个值时，STINGY SAT问题有解，则该变量此时的值也一定可解相对应的SAT问题，因为对于相对应的SAT和STINGY SAT问题来说，其本质上是相同的；

④ 此时只需证明，当STINGY SAT问题无解时，相对应的SAT问题也无解。该命题比较难以证明，不妨从其反面考虑，试证明：当一个SAT问题有解，则其对应的STINGY SAT问题也有解。该命题是显然成立的，因为该SAT问题对应的解一定可以满足对应的STINGY SAT问题。所以该命题的逆否命题：当一个STINGY SAT问题无解时，其相对应的SAT问题也无解也一定是成立的，所以之前的命题得到了证明。

所以，综上所述：STINGY SAT问题是NP-complete的。证毕。