作业：8.15 最大公共子图

8.15 最大公共子图

题目
证明如下问题是NP-完全的：
输入：两个图$G_1=G(V_1,E_1)$ 和 $G_2=G(V_2,E_2)$；
输出：两个结点集合$V{_1}'\subseteq V_1$ 和 $V{_2}'\subseteq V_2$，他们被移除后，将在两图中分别留下至少 $b$ 个结点，且图的剩余部分完全一样。

解析

• 设$G_1$的最大独立集点数为n1，$G_2$的最大独立集点数为n2。
  • 令$n=min(n1,n2)$，我们可以知道一定能在两图中都留下n个点，这n个点构成的集合为两图最大独立集的子集。因此这n个点之间没有边相连，所以图的剩余部分（每个图的n个点）一定是相同的。
  • 综上，一个最大独立集问题可以归约为上述问题（取b<=n）。
  • 故原问题是NP-完全的。