K-clique problem

来源:互联网 发布:搜客软件 编辑:程序博客网 时间:2024/05/29 07:25
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个项的3SAT表达式,我们对于每个构造一个三点三边呈现三角形的子图,(共有k个三角形)

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

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

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