课后习题8.8
来源:互联网 发布:阿铭linux 视频 云盘 编辑:程序博客网 时间:2024/06/05 18:13
首先很显然,EXACT 4SAT属于NP。现在通过将3SAT归约到EXACT 4ASAT来证明后者的NP完全性。对于任意一个3SAT实例,如果某个子句中包含了同一个文字多次,那么可以缩减为一次,如果同时包含了某个变量的肯定及否定,那么可以将这个变量去掉,然后可以再在每个子句中添加一些没用的辅助变量,这样就可以将每个子句所包含的文字数目扩充到四个。这样就将3SAT实例转换成一个EXACT 4SAT问题。
阅读全文
0 0
- 课后习题8.8
- 操作系统原理课后习题8.8
- 第十九周:课后习题8.8
- 算法概论课后习题8.8
- 课后习题
- 课后习题
- 课后习题
- 算法概论第八章课后习题8.8
- 计算机基础知识----课后习题
- 网络课后习题
- 课后习题答案
- 计算机网络课后习题
- 课后习题 5_5
- SQL 课后习题数据
- C++课后习题
- APUE课后习题4.6
- 课后习题9--4
- 课后习题9--5
- Oracle中merge into的使用
- 百度员工离职总结:如何做个好员工
- 解密:Linux与Android的关系
- 设计模式概述
- 显示日历
- 课后习题8.8
- 透过认知智能剖析商业本质(iPIN CEO杨洋)丨硬创公开课
- linux命令总结
- 存储过程if,for,while语句,数组和游标使用
- BP神经网络的学习以及实现
- opencv 1.0 与2.0 之间转换
- POJ 2042 Lagrange's Four-Square Theorem 笔记
- ES6初探-let与块级作用域
- ubuntu16.04 配置samba服务器登录home目录