期末作业:8.3
来源:互联网 发布:大学生网络教育平台 编辑:程序博客网 时间:2024/06/05 06:27
题目:
吝啬SAT问题是这样的:给定一组句子(每个字句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。
解:当变量的总的个数为k个时,这就是一个SAT问题,因此可以把SAT问题归约为吝啬SAT问题,易知,此归约只需要多项式的时间,由课本可知,SAT是NP完全问题,因此,吝啬SAT也是一个NP完全问题。
阅读全文
0 0
- 期末作业8.3
- 期末作业:8.3
- 期末作业
- 期末作业
- 期末作业
- 期末作业
- 期末作业
- 算法设计期末作业01-8.3
- C++期末作业
- 期末作业设计中
- C语言期末作业
- OPNGl期末作业
- C++期末大作业
- 算法期末作业01
- 期末算法作业
- 期末作业8.14
- 期末第八章作业
- 期末作业NP问题
- 基于enc28j60的学习心得
- 源码编译Postgesql 9.6.3 并启用远程连接
- 数值运算
- 二叉树的最小深度
- File文件方法
- 期末作业:8.3
- 运行MIT-GNU Scheme出现“Requested allocation is too large”
- POJ 3128 Leonardo's Notebook 笔记
- 不同的数据类型在32位和64位下所占字节的区别
- android指定数据库的路径
- 华科16_3
- Count and Say
- 转载---23种设计模式(场景需要决定使用模式,非为了用而用)
- GLide加载图片还能这样干——基于Glide4.0完美封装