证明吝啬SAT问题为NP完全问题(算法分析week18)
证明吝啬AT问题为NP完全问题-问题描述-
-证明过程-问题描述吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。证明过程证明吝啬SAT是NP-完全问题可以通过将SAT问题归约为吝啬SAT问题得到。SAT问题等价于k=n的吝啬SAT问题,那么吝啬SAT问题有解时SAT问题一定有解,
原创
2018-01-03 21:19:56 ·
230 阅读 ·
0 评论