NP-complete
gexlei
这个作者很懒,什么都没留下…
展开
-
《算法概论》习题8.3 吝啬SAT
问题:8.3 吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题解:我们考虑将SAT规约至吝啬SAT:对于任意一个SAT问题,设其有n个变量,则该SAT问题的满足赋值中最多有n个变量赋值为true,这相当于一个输入为(S,n)的吝啬SAT问题,所以一个SAT实原创 2017-01-12 20:13:05 · 557 阅读 · 0 评论 -
《算法概论》习题8.12题解
问题:8.12 k-生成树问题是这样的:输入:无向图G=(V,E)输出:G的一个生成树,其中所有节点度数都不超过k——如果该树存在。请证明对任意k>=2:(a)k-生成树问题是一个搜索问题。(b)k-生成树问题是NP-完全的。证明:(a)对于实例I,其任意一个解S,遍历S的每个结点,检查其度数是否不超过k,这是多项式时间内可做到的;此外检测S是否为一棵树也能在多项式原创 2017-01-12 20:35:57 · 322 阅读 · 0 评论