第十九周:课后习题8.8
来源:互联网 发布:cae软件 nvh 编辑:程序博客网 时间:2024/06/14 06:53
解:
对于任意一个3SAT实例:
若其中某个子句中包含了同一个文字多次,则可以将这些相同的文字合并为一次;
若某个变量同时包含了true和false,则该变量可以去掉。
因此,在每个子句中添加一些没用的辅助变量,这样就可以将每个子句中包含的文字数目扩充到四个。
即将3SAT实例转化成了一个EXACT 4SAT问题。
这就通过将3SAT归约到EXACT 4SAT问题来证明了EXACT 4SAT问题的NP完全性,因此EXACT 4SAT属于NP完全问题。
阅读全文
0 0
- 第十九周:课后习题8.8
- 课后习题8.8
- How to think like a Computer Scientist: 课后习题第十九、二十章
- 操作系统原理课后习题8.8
- 算法概论课后习题8.8
- 课后习题
- 课后习题
- 课后习题
- 算法概论第八章课后习题8.8
- 计算机基础知识----课后习题
- 网络课后习题
- 课后习题答案
- 计算机网络课后习题
- 课后习题 5_5
- SQL 课后习题数据
- C++课后习题
- APUE课后习题4.6
- 课后习题9--4
- 一起厌恶学习艳课网(一)
- caffe+VS2013+Windows无GPU快速配置教程
- SQL四种语言:DDL,DML,DCL,TCL
- OLAP引擎——Kylin介绍1
- guava里面如何实现缓存
- 第十九周:课后习题8.8
- 我的第一篇博客--MySQL登录密码修改
- Linux基础—/sbin/nologin与/bin/false的对比
- OLAP引擎——Kylin介绍2
- 常用meta标签整理
- FLV-Script Tag
- 正则表达式
- 2017 计蒜之道 初赛 百度的年会游戏(模拟)
- Docker——第一个docker服务tomcat(五)