algorithm chapter8 8.15

题8 .15

容易想到将最大独立集问题规约到此题即可，以下证明：

1、证明此题为NP问题

  给定一组解，即两个节点集合，我们可以在多项式时间内验证该解

2、证明此题为NP难问题

  这里假设求任意图G(V,E)大小为d的独立集，我们令G1=G(V,E)，G2=(V,∅)，此时G2只有点无边

这样将问题进行规约

  若G存在大小为d的独立集，那么G中存在d个节点为独立不相连的，容易得G1和G2存在节点数为d的公共子图

  再若G1和G2存在节点数为d的公共子图，由于G2为零图，则G1中必存在d个节点两两不互连，则G存在大小为d的独立集

  综上G1,G2存在大小为d的公共子图当且仅当G中存在大小为b的独立集。

证毕。