证明题-8.12
来源:互联网 发布:限制上网软件 编辑:程序博客网 时间:2024/04/29 13:32
8.12 The k-SPANNING TREE problem is the following.
Input: An undirected graph G = (V,E)
Output: Aspanningtreeof G in which each node has degree≤ k, if such a tree exists.
Show that fo rany k ≥2:
(a) k-SPANNING TREE is a search problem.
(b) k-SPANNING TREE is NP-complete. (Hint: Start with k = 2 and consider the relation between this problem and RUDRATA PATH.)
证明:
首先,验证任意给定解t是否是k生成树,也就是确定G中的所有顶点是否都能在t中找到,t中是否有环,以及t中每个顶点度数是否小于等于k。这些都可以通过对G或t实施搜索算法(例如DFS,BFS等),而这些是可以在多项式时间内解决的,所以是搜索问题,也是NP问题。
从上面的描述中可以看出k生成树问题是NP问题。
目标:Rudrata Path规约到k生成树,即某个k生成树算法可以As解决Rudrata Path问题
做法: 令G每条边权为1,k=2,则每个顶点度数小于等于2 的树实际上为一条路径。对G实施As算法,若As表示2生成树存在,则在G中存在一条
包含所有顶点的无环无圈路径,也即G中存在Rudrata Path。若As表示2生成树不存在,也即G中没有Rudrata Path。可以看出,求解是否存在
Rudrata Path的问题实际上可以用k生成树存在算法解决,即前者可以规约到后者。
结论:k生成树问题是一个NPC问题
阅读全文
0 0
- 证明题8.3,8.12
- 证明题-8.12
- 8.12证明
- 证明题
- 证明题
- 证明题
- 【算法概论】习题8.12证明题
- 算法作业:证明题(4)-- 8.12
- 算法作业:证明题(5)-- 8.12
- 一道证明题
- 数论证明题(1)
- HDU5584 证明题..
- 软导证明题
- 证明题 8.10
- 证明题8.3
- NPC问题证明题
- 算法证明题
- 证明题 8.20
- 将控制台输入的文字流存入本地文件夹
- [Hadoop]
- Android项目笔记
- php 构造函数支持不同个数参数的方法
- 字符集深入浅出
- 证明题-8.12
- Java实现带有滚动效果的标签
- 动画
- MySQL缓存命中率概述及如何提高缓存命中率
- 剑指offer | 训练题64:矩阵中的路径
- 关于ListView和ViewPager的一个Bug
- 导入数据库
- 自定义布局弹框
- iOS判断一些权限是否被禁止