Chapter8 NP-complete problems 课后习题8.3

8.3 证明吝啬SAT是NP-完全问题 吝啬SAT问题 给定一组字句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值–如果该赋值存在。 SAT问题（可满足性问题） SAT的一个实例： (x⋁y⋁z)(x⋁y¯)(y⋁z¯)(z⋁x¯)(x¯⋁y¯⋁z¯) ，是一个采用合取范式的布尔公式。它由一组子句组成，每个子句都是多个文字的析取。SAT问题为，给定一个采取合取范式

>>阅读原文<<