算法概论 - 8.15

Problem

最大公共子图问题。
证明如下问题是NP完全的：
输入：两个图 $G_1=(V_1,E_1)$ 和 $G_2=(V_2,E_2)$，预算$b$；
输出：两个节点集合$V_1'\subseteq V_1$和$V_2'\subseteq V_2$，它们被移除后，将在两图中分别留下至少$b$个节点，且图的剩余部分完全一样。

Solution

可将最大独立集问题归约到此问题。

设有图$G=(V,E)$，子图$G_1=(V,E)$，子图$G_2=(V,\phi)$，即$G_1$与$G$相同，$G_2$的顶点集与$G$相同但边集为空，故$G2$的顶点相互独立。要使$G_1$与$G_2$存在大小为$b$的公共子图，等价于要求$G_1$存在大小为b的独立集。

于是找到最大公共子图问题的一个特例是最大独立集问题，最大独立集问题归约到最大公共子图问题，故最大公共子图问题也是NP完全问题。证毕。