算法概论8.15 最大公共子图

题目：

证明如下问题是NP-完全的：

输入：两个图G1 = （V1，E1），G2 = （V2，E2）；预算b。

输出：两个节点集合V1‘⊆V1，V2’⊆V2，将它们移除后，将在两图中分别留下至少b个结点，且图的剩余部分完全相同。

解答：

我们已知求给定图的最大独立集问题是NP完全问题，由此可以将最大独立集问题归约到此问题。假设给定的G1 = （V，E），G2 = （V，∅），其中两个图的顶点集是相同的，但是第二个图的