![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
习题解答
Vent_NCS
菜鸟也要高飞
展开
-
证明精确的4SAT是NP-完全问题
题目在精确的4SAT(EXACT 4SAT)问题中,输入为一组字句,每个字句都是恰好4个文字的析取,且每个变量最多在每个字句中出现一次。目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP完全问题。证明由于3SAT问题是NP-完全问题,若能将3SAT问题归约到精确的4SAT问题,则可证明精确的4SAT问题也是NP-完全问题。以下是将3SAT问题归约到精确的4SAT问题:3SAT:I=(a原创 2017-07-06 11:01:08 · 927 阅读 · 0 评论 -
吝啬SAT是NP-complete
吝啬SAT的定义给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。显然,解决这个问题最直观最简单的就是使用归约。 这里可由SAT问题归约得来。SAT问题简介: 布尔逻辑的可满足性问题(SATISFIABLITY problem),简称为SAT。我们知道,布尔表达式是由布尔变量和运算符(NOT , AND , OR)所构成的表达式。如果对原创 2017-07-06 10:24:34 · 509 阅读 · 0 评论 -
利用推广的方法证明NP-完全性
对于以下每个问题,请通过证明它是本章某个NP-complete的推广说明它是NP-complete(a)子图同构:给定两个作为输入的无向图G和H,判断G是否与H的某个子图同构,且如果是,返回由V(G)到V(H)的相关映射。 (b)最长路径:给定图G和整数g,求G中一条长为g的简单路径。 (c)最大SAT:给定一个CNF公式和整数g,求满足其中至少g个子句的真赋值。 (d)稠密子图:给定一个图和原创 2017-07-06 10:37:28 · 410 阅读 · 0 评论