默默

8.3 证明吝啬SAT是NP-完全问题吝啬SAT问题给定一组字句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值–如果该赋值存在。SAT问题（可满足性问题）SAT的一个实例：(x⋁y⋁z)(x⋁y¯)(y⋁z¯)(z⋁x¯)(x¯⋁y¯⋁z¯)(x \bigvee y \bigvee z )(x\bigvee \overline{y})(y\bigvee \ove