算法概论（注释版）课后习题8.15

Description

8.15 Show that the following problem is NP-complete.
MAXIMUM COMMON SUBGRAPH
Input: Two graphes G₁=(V₁,E₁) and G₂=(V₂,E₂); a budget b.
Output: Two set of nodes V₁‘⊆V₁ and V₂‘⊆V₂ whose deletion leaves at least b nodes in each graph, makes the graphs identical.

Analyse

这个问题的本意就是在两个图里面找一个公共子图，题目对公共子图的描述是，我们对两个图G₁和G₂，他们分别去掉点集V₁‘和V₂‘之后，两个图都得到结点数至少为b的子图，且两个子图完全相同。
我们先证明它是个NP问题，因为有最大公共子图，并且已经知道他们的顶点，可在多项式时间内检验是否正确，故是NP 问题。
我们再证明它是个NP完全问题，我们可以设G₁=(V,E)，G₂=(V,Φ)，也就是说G₁和G₂的点集相同，但G₂没有边集。若当我们在G₁上找到一个大小至少为b的独立子集的时候，那么G₁和G₂就存在大小至少为b的公共子图了。所以它属于一个NP完全问题。