证明NP-Completeness clique +独立集图

时间:2010-11-12 01:54:32

标签: algorithm computer-science np-complete clique-problem

“证明确定给定输入G和k是NP-Complete是否G同时具有大小为k的clique和大小为k的独立集合。注意这是1个问题,而不是2;答案是肯定的< strong>当且仅当 G具有这两个子集时。“

我的算法课程中遇到了这个问题,一大群学生无法弄明白。这是我们到目前为止所拥有的......

我们知道集团和独立集合问题本身就是NP-Complete。我们也知道,鉴于某些“证书”是在NP中验证这个问题。

问题是以某种方式将上述问题(包含独立集和集团)的问题简化为完全由派系或独立集组成的问题(至少我们认为我们需要这样做)。我们不知道如何在不丢失将减少量恢复到原始形式所需的信息的情况下执行此减少。

2 个答案:

答案 0 :(得分:5)

提示:通过添加一些顶点来减少CLIQUE以解决这个问题。

答案 1 :(得分:3)

感谢“Moron”和“Rafal Dowgird”的提示!基于此我认为我有一个解决方案。如果我不对,请纠正我:

由于我们已经知道集团和独立集合问题是NP-Complete,我们可以将其作为证明我们问题的基础。让我们把问题称为组合集团独立集问题(CCIS)。

假设我们给出了一个图表G,其中有一个大小为k的集团C.我们可以通过将k个顶点附加到C中的每个顶点,将该图缩小为图G'(读:G prime),其具有大小为k'的clique C'和大小为k'的独立集合I.这种减少发生在自添加顶点以来的多项式时间需要O(n * k)时间(图中的n个顶点和附加到每个节点的k个顶点)。

注意C = C'且k = k'。

现在假设我们给出了一个图G',它具有一个大小为k'的clique C'和一个大小为k'的独立集合I,它被确定为真。减少集团问题是微不足道的,因为我们根本不需要修改图表来找到一个集团。