证明题-算法概论8.3证明吝啬SAT问题

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

解题思路
1.什么是SAT问题
假设我们有这样一组子句:
(a⋃b⋃c)⋂(a⋃b¯)⋂(b⋃c¯)(a¯⋂c)⋂(a¯⋃b¯⋃c¯)
我们需要做的就是找到a,b,c的取值（true or false）使得该表达式的结果是true,假设a,b,c都是true的话，那么整个表达式的取值就是false,不难发现，这个表达式不存在一个合适的abc的取值使得整个式子为true，对于这个问题而言，我们需要搜索所有取值组合才能确定是否能确定是否存在一个组合可以使得该式子为true，如果不存在我们就返回不存在，如果存在我们就返回这个组合，用穷举搜索的方法复杂度是O(2n)，如果我们能找到一个简单的算法能够使得该算法的复杂度降到多项式时间的话，那么我们就认为该问题是p问题，但我们暂且认为该问题是个np问题，因为np问题至今无法把其复杂度降下来，其变种倒是有多项式的解法。、

2.吝啬SAT问题的理解
吝啬SAT问题其实就是SAT问题的一个变种，就比如仍然是上一个问题，现在多了一个变量，这个变量就是k,我
们需要确定的是我们不能多于k个true个变量。

3.基本步骤
要证明吝啬SAT是NP-完全问题，首先证明吝啬SAT是NP问题，然后证明SAT是NP-完全问题，再将SAT归约成吝啬SAT。

4.证明过程
（1）前提条件