证明 CLIQUE-OR-INDEPENDENT-SET 的 NP-completeness

Prove NP-completeness of CLIQUE-OR-INDEPENDENT-SET

首先,我想提一下,这是我的作业。但是,为了解决我的问题,我可以使用任何我想要的文献。

虽然我觉得这个问题从它的名字就很清楚了,我还是给它描述一下:"For given undirected graph G and given integer k, does G contain totally connected (clique) subgraph of size k or totally disconnected subgraph (independent set) of size k."

我知道从 3-SATCLIQUE 以及从 3-SATINDEPENDENT-SET 的多项式约简。 (http://mlnotes.com/2013/04/29/npc.html) 但是,我对此有疑问,因为我无法将这两种减少结合起来。我也试过从 CLIQUE 减少到 CLIQUE-OR-INDEPENDENT-SET 但没有成功。

所以,如果有任何提示,我将不胜感激!

提前致谢。

我发现问题从 INDEPENDENT-SET 减少到 CLIQUE-OR-INDEPENDENT-SET。您需要做的就是将 n 个孤立的顶点添加到图 G 中(它是 INDEPENDENT-SET 的一个实例并且有 n 个顶点)。我们将这个新创建的图称为 G'CLIQUE-OR-INDEPENDENT-SET 的实例)。那么不难证明 Gk 个独立集当且仅当 G'n+k 个独立的团集(因为根据构造,它不能有 n+k派系).