2017年6月26日
8.3吝啬SAT问题
摘要： 吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。 1.易知吝啬SAT的解可以在多项式时间内验证，因此属于NP问题。 2.如果我们把吝啬SAT问题中的k设置为输入的数目，那么SAT问 阅读全文
posted @ 2017-06-26 19:39 小谷子的博客园 阅读(116) 评论(0) 推荐(0) 编辑