算法概论8.14 最大团问题归约

算法概论8.14. 证明NP完全问题

题目

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.

解题分析

这道题我们应该怎样解决呢？我们可以这样想，要想证明求G中一个规模为K的团以及一个规模为K的独立集是一个NP完全问题，我们只需将最大团问题归约到此问题即可。因为NP->SAT->3SAT->INDEPENDENT SET->CLIQUE，因此很明显可以得到最大团问题就是NP完全问题。
现在我们要求任意图G(V,E) 中大小为k的团，可以在图G中添加k个相互独立的顶点，得到新图G’。这新加的k个顶点保证了图G’存在大小为k的独立集，同时又不影响到原图的团。这样归约就完成了，此问题即为NP完全问题。

以上是我对这道问题的一些想法，有问题还请在评论区讨论留言~