习题8.3
来源:互联网 发布:周星驰 锵锵三人行知乎 编辑:程序博客网 时间:2024/06/06 19:19
8.3 吝啬 SAT 问题是这样的:给一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为 true 的满足赋值——如过该赋值存在。证明吝啬 SAT是NP-完全问题。
证明:
吝啬 SAT 的解是可在多项式时间内验证的,故属于 NP。
可以将 SAT 归约到 吝啬 SAT(将k 设为所有变量的总个数即可),
所以,可知 吝啬 SAT 为 NP 完全问题。
阅读全文
0 0
- 习题8.3
- 习题8.3
- 习题8.3
- 习题8.3
- 习题8.3 & 8.4
- C++ primer 习题8.3
- c++ primer 习题8.3
- 《算法概论》习题8.3
- 《算法导论》习题8.3
- 课后习题8.3-证明
- NP课后习题8.3
- 习题
- 习题
- 习题
- 习题
- 习题
- 习题
- 习题
- PAT 1002 A+B for Polynomials (25) Python
- Codeforces Beta Round #6 (Div. 2 Only) E. Exposition
- 猜数字游戏
- C#反射详解
- iOS
- 习题8.3
- font-size: 0;解决inline元素间的空白间隙
- zookeeper与etcd
- 欢迎使用CSDN-markdown编辑器
- 使用脚本把项目托管到Github上
- android手机安装google play服务
- sublime 多处同时操作和替换
- highcharts(1)------- 通过 Ajax 加载数据
- android获取文本编码