习题8.3--证明吝啬SAT是NP-完全问题
1. 题目描述吝啬SAT问题是这样描述的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT问题为NP完全问题。2. 问题背景为了帮助理解这个问题,我们先解释下什么是SAT问题假设我们有这样一组子句: (a⋃b⋃c)⋂(a⋃b¯)⋂(b⋃c¯)(a¯⋂c)⋂(a¯⋃b¯⋃c¯) 我们需要做的就是找到a,b,c的取值(tru
原创
2017-07-05 16:46:16 ·
468 阅读 ·
0 评论