8.3吝啬SAT问题
来源:互联网 发布:sql函数的种类 编辑:程序博客网 时间:2024/05/20 05:47
吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬问题是NP-完全问题。
已知SAT是NP完全问题,因此,只要能把SAT归约到吝啬SAT问题,即可证明。
假设SAT问题有n个变量,则该SAT问题等价于k = n的吝啬SAT问题。这样的归约过程的时间复杂度为O(1),是多项式时间复杂度,命题得证。
阅读全文
0 0
- 8.3吝啬SAT问题
- 8.3 吝啬SAT问题
- 吝啬SAT问题
- 吝啬SAT问题
- 课本8.3证明 吝啬SAT问题是NP完全问题
- 证明题-算法概论8.3吝啬SAT问题证明
- 证明题-算法概论8.3证明吝啬SAT问题
- 习题8.3--证明吝啬SAT是NP-完全问题
- 8.3 证明吝啬SAT是NP-完全问题。
- 吝啬SAT是NP-完全问题
- 吝啬SAT是NP-完全问题
- 《算法概论》习题8.3 吝啬SAT
- 【算法概论习题解答】8.3证明吝啬SAT问题是NP-完全问题
- 证明吝啬SAT问题为NP完全问题。
- 吝啬SAT是NP-complete
- SAT问题
- 【2-SAT】2sat问题小结
- 2-SAT问题
- centos7下编译安装nginx
- 【2017.7.9】CSS ID和类名
- java8新特性--概览
- HDU 1175 连连看
- 【Unity学习笔记】——基础篇:小地图制作③
- 8.3吝啬SAT问题
- Linux常用命令(2)-
- 633. Sum of Square Numbers
- LeetCode.14. Longest Common Prefix(最长公共前缀)
- Html、CSS、JavaScript三个都是什么【2017.7.9】
- 从权限到shiro框架
- 单片机实验五
- java学习笔记:Java语法基础2(循环,函数,重载,数组,方法)
- dump 源码