NP完全问题 课后习题
来源:互联网 发布:改变图片尺寸 mac 编辑:程序博客网 时间:2024/05/17 22:15
8.8 题原文:
In the EXACT 4 SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT 4 SAT is NP-complete.
题意解读:
在真正的4SAT(EXACT 4SAT)问题中,输入一组字句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次。目标是求它的满足赋值,假设该赋值存在。证明精确的4SAT问题是NP完全问题。
证明:
已知EXACT 4SAT属于NP,通过将3SAT归约到EXACT 4SAT可以证明后者是NP完全问题。
并且EXACT 4SAT的解是可以在多项式时间内验证的,属于NP问题。
对于任意一个3SAT 实例,如果其中某个子句中包含了同一个文字多次,那么可以缩减为一次,如果同时包含了某个变量的肯定及否定,那么可以去掉这个变量。
再在每个子句中可以添加一些没用的辅助变量,这样就可以将每个子句所包含的文字数目扩充到四个。最后,该3SAT实例已转化成了一个EXACT 4SAT问题。
阅读全文
0 0
- NP完全问题 课后习题
- 【NP-完全问题】课后习题8.3
- NP完全问题的证明-算法概论课后习题8.15
- NP完全问题课后作业题
- NP完全问题习题证明
- NP课后习题8.3
- 算法:一个NP问题的证明(课后习题)
- 《算法概论》课后习题8.8 证明4SAT是NP完全的
- 算法概论习题:8.14NP-完全问题的证明
- 算法概论习题 8.22 NP-完全问题证明
- 习题8.3--证明吝啬SAT是NP-完全问题
- 算法概论第八章 NP完全问题 习题证明
- 《算法概论》第八章NP完全问题部分习题解
- Chapter8 NP-complete problems 课后习题8.3
- NP、NP-完全、NP-难问题
- NP,NP-heard,P,NP完全问题
- NP完全问题
- 什么是NP完全问题?
- 捡拾日记:令牌机制
- 【简记】Operating System—— file system in Linux
- PHP连接MySQL数据库的三种方式(mysql、mysqli、pdo)
- error LNK2019: 无法解析的外部符号
- Android中com.android.camera.action.CROP(图片裁剪)所有属性
- NP完全问题 课后习题
- SOCK_STREAM和SOCK_DGRAM两种类型的区别
- MySql 里的IFNULL、NULLIF和ISNULL用法
- UE4材质编辑器
- 【HTTP】Fiddler(一)
- Python设置函数调用超时,进程卡住
- 常见mvn命令
- 【HTTP】Fiddler(二)
- centos . mysql 启动失败