NP-完全问题
Juxin_Lin
这个作者很懒,什么都没留下…
展开
-
《算法概论》习题8.8
题目 在精确的4SAT(EXACT 4SAT)问题中,输入为一组子句,每个子句都是恰好4个文字的析取,且每个变量最多在子句中出现一次。目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP-完全问题。 证明 为了证明4-SAT问题是NP-complete,需要证明4-SAT问题是NP的和NP-hard。 先证明4-SAT问题是NP的。我们可以写出一个非原创 2016-11-22 19:30:41 · 778 阅读 · 0 评论 -
《算法概论》习题8.12
k-生成树问题: 给定K大于等于2 输入:无向图G=(V,E), 输出:G的一个生成树,其中保证树上任意点度不超过k,或告知不存在这样的生成树。 a:k-生成树问题是一个搜索问题。 b:k-生成树问题是NP-完全的。(提示:由k=2开始,考虑与Rudrata路径问题的关联) a.显然 k -SPANNING TREE 问题是可在多项式时间内验证的,因此是搜索问题.原创 2017-01-14 20:56:36 · 322 阅读 · 0 评论 -
《算法概论》习题8.19
问题描述 所谓风筝图是这样的,其顶点数为偶数,如2n,且其中的n个顶点构成了一个团,剩余的n个顶点则由一条称为尾巴的路径连接,尾巴的某个端点与团的一个顶点相连。给定一个图和目标g,风筝图问题要求图的一个包含2g个顶点的风筝子图。请证明该问题是NP-完全。 解答 可以将团问题归约到 KITE 问题。 若要求图G(V, E)的最大团,可以在图G 中添加V 个新顶点,原创 2017-01-14 22:55:26 · 388 阅读 · 0 评论 -
《算法概论》习题8.20
问题描述 在一个无向图G=(V,E)中,我们称D⊆V为一个占优集,是指每个v∈V都属于D或与D中一个节点为邻。在占优集问题中,输入为一个图和预算b,目标是求图中的一个规模不超过b的控制集——如果该集存在,证明该问题是NP-完全的。 解答 可以将顶点覆盖问题归约到占优集问题。若要在图G(V, E)中求得不大于b的一个顶点覆盖,可以先对图G 做一个预处理:对每条边(u,v)∈E ,添原创 2017-01-14 23:09:59 · 421 阅读 · 0 评论