算法作业15.证明最大公共子图问题是NP问题

最大公共子图问题是给定两个图，要求去掉一些点后，两个图都得到一个节点数至少为b的子图，且两个子图完全相同。 
首先假设最大公共子图存在且给出了子图的顶点是哪几个，那么可以在多项式时间内检验出这个解是否正确，所以最大公共子图问题是NP问题，接下来只需要证明它是NP难的，就可以证明它是NP完全问题。 
我们已经知道求图的具有b个顶点的独立集的问题是一个NP完全问题，只要我们可以从求独立集的问题规约到求最大公共子图的问题，就可以证明最大公共子图问题也是NP难的。 
首先在求G1的顶点数至少为b的独立集的问题可以规约到上述的最大公共子图问题，具体证明如下： 
首先我们给定两个图G1=（V，E），G2=（V，∅），其中两个图的顶点集是相同的，但是第二个图的边集为空，我们求这两