最后的证明：8.15

题目：

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

---

证明：

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

比如若要求任意图 $G_1(V,E)$，再令 $G_2(V,\emptyset)$ 的顶点集与 $G$ 相同，但是边集为空，也即是各个定点相互独立。于是 $G_1$ 与 $G_2$ 存在着大小为d的公共子图——当且仅当图 G <script type="math/tex" id="MathJax-Element-1288">G</script> 存在着大小为d的独立集。