问题描述
吝啬SAT问题:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT问题为NP完全问题。
思路
证明的方法是用归约的方法:由已知的NP完全问题归约到该问题,并证明归约的过程的时间复杂度为多项式时间复杂度即可。选取的已知的NP完全问题为SAT问题,因为这两个问题十分相似,差别在于SAT并没有“最多K个变量”这样的限制。
SAT例子
(a⋃b⋃c)⋂(a⋃b¯)⋂(b⋃c¯)(a¯⋂c)⋂(a¯⋃b¯⋃c¯)
我们需要做的就是找到a,b,c的取值(true or false)使得该表达式的结果是true过程
归约的过程简单,假设SAT问题有n个变量,则该SAT问题等价于k = n的吝啬SAT问题。这样的归约过程的时间复杂度为O(1),是多项式时间复杂度。
如果说吝啬SAT问题有多项式时间算法,那么SAT问题也有多项式时间算法。然而SAT问题本身就是NP完全问题,所以吝啬SAT也是NP完全问题。
这样就证明了吝啬SAT问题为NP完全问题。
8.3 证明吝啬SAT是NP-完全问题
最新推荐文章于 2024-07-18 11:40:57 发布