算法课习题证明

题目：

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

SAT问题：

假设有子句: (a⋃b⋃c)⋂(a⋃b¯)⋂(b⋃c¯)(a¯⋂c)⋂(a¯⋃b¯⋃c¯)
求a,b,c的取值（true or false）使得该表达式的结果是true。不难发现，这个表达式不存在一个合适的abc的取值使得子句为true，对于这个问题需要搜索所有取值组合才能确定是否能确定是否存在一个组合可以使得该式子为true，如果存在我们就返回这个组合，如果不存在就返回不存在，用穷举搜索的方法复杂度是O(2^n)。

吝啬SAT问题：

吝啬SAT问题可以看做SAT问题的变形，多一个变量k，要求不能多于k个变量值为true。

证明：

已知NP完全问题为SAT问题，易知吝啬SAT问题的解是可在多项式时间内验证的，因此属于NP。

归约，证明SAT问题 -> 吝啬SAT 问题：
假设SAT问题有n个变量，则该SAT问题等价于k=n的吝啬SAT问题，因此归约过程的时间复杂度为多项式时间复杂度O（1）。
若吝啬SAT问题有多项式时间算法，则SAT问题也有多项式时间算法。因为因为SAT问题为已知的NP-完全问题，则吝啬SAT问题亦为NP-完全问题。

证毕。