《算法概论》第八章的一些课后题目 关于NP-Complete Problem

Posted 逐雪

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了《算法概论》第八章的一些课后题目 关于NP-Complete Problem相关的知识,希望对你有一定的参考价值。

8.3 STINGY SAT 

STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an

integer k, find a satisfying assignment in which at most k variables are true, if such an assignment

exists. Prove that STINGY SAT is NP-complete.

当我们有多项式时间算法解决SAT问题时,我们可以直接解决STINGY SAT

我们取k为变量的个数,如果我们找到了多项式时间的算法解决它,也就是解决了SAT问题。验证答案是显然快速的。

我们成功将SAT归约到了STINGY SAT 证明了 STINGY SAT 是NP-Complete problem

 

 

8.14  K-clique problem 

Prove that the following problem is NP-complete:given an undirected graph G=(V,E) and an integer k,

return a clique of size k as well as an independent set of size k,provided both exist.

 

首先,团和独立集是两个相对的概念,寻找k个元素的团和寻找k个元素的独立集是等价命题,这里不展开说明了。

 

书中已经给出了由3-SAT归约到k-独立集的证明,这里简单叙述一下

对于任意一个有k个clause的3SAT表达式,我们对于每个clause构造一个三点三边呈现三角形的子图,(共有k个三角形)

对于每个变量,两种相反的形式之间连一条边,如果能够找到k个元素的独立集,必然k个点分布在k个三角形,即选择了k个变量,使得表达式满足。验证满足性显然是快速的。

于是,当我们有多项式时间算法解决k独立集问题时,我们就一定有多项式时间算法解决3SAT问题,所以k独立集问题是NP-complete problem.

同样的,k独立集的等价命题 k-clique问题也是NP-complete的。

 

 

补充一道有趣的题目 ZOJ1492 

该题给定我们一个无向图,求最大团的点数是多少。图的规模小于等于50

这道题我找到了搜索的解法,但是我还没想到办法严格的分析这个dfs的复杂度,但是由于dfs不是记忆化的,所以我猜想它应该是指数复杂度的。

事实上要实现dfs的记忆化,就不得不用指数级的空间来储存数据,这也是无法接受的。

不过这道题的搜索剪枝技巧性还是很强的,毕竟指数级的算法能解决50的规模,已经很不错了。

以上是关于《算法概论》第八章的一些课后题目 关于NP-Complete Problem的主要内容,如果未能解决你的问题,请参考以下文章

关于《大道至简》第八章的收获

《Python从入门到实践》--第八章 函数 课后练习

汇编语言——第八章课后总结

第八章 课后题

Python核心编程第二版 第八章课后答案

数据结构-第八章学习小结