对于以下每个问题,请通过证明它是本章某个NP-complete的推广说明它是NP-complete
(a)子图同构:给定两个作为输入的无向图G和H,判断G是否与H的某个子图同构,且如果是,返回由V(G)到V(H)的相关映射。
(b)最长路径:给定图G和整数g,求G中一条长为g的简单路径。
(c)最大SAT:给定一个CNF公式和整数g,求满足其中至少g个子句的真赋值。
(d)稠密子图:给定一个图和两个整数a,b,求G中的a个顶点,使得他们之间最少有b条边。
(e)稀疏子图:给定一个图和两个整数a和b,求G中的a个顶点,使得它们之间最多有b条边。
(f)集合覆盖
(g)可靠网络:给定两个n*n矩阵,一个距离矩阵dij,一个连接需求矩阵rij以及预算b。我们要求一个图G={
{1,2,3,….N},E}使得:
(1)其中所有边的总代价不超过b;
(2)在任意两个不同的顶点i和j之间,存在rij条顶点互不相交的路径。
(a)证明&