算法设计练习题.docVIP

算法设计练习题 计算复杂性 P184 10.3 设计一个多项式时间的算法判断一个无向图G是否是2可着色的 算法：2-COLORING 输入：无向图G(V, E) 输出：该图是2可着色的，则输出yes；否则，输出no. 取任一节点，标记为白色 所有与它邻接的节点标记为黑色 对任意已标记的节点v，将所有与v邻接且未标记的节点标记为与v相反的颜色 重复步骤3，直到不存在与已标记节点邻接且还未标记的节点 如果图中还有未标记的节点，那么这些节点一定在一个新的连通分量中，再选 择其中一个节点标记为白色，转到步骤3 如果得到的图中，所有邻接的节点都标记为不同的颜色，则输出yes；否则，输出no. 2-COLORING 时间复杂度分析：在n个顶点和m条边的图上进行分析，算法的运行时间是 P185-186 10.16 团集问题的NP完全性是由可满足性问题归约到它证明的，给出一个从顶点覆盖到团集的较简单的归约 法1：规约方法：设G=（V，E）是连通无向图，SV是一个团集当且仅当是中的一个顶点覆盖。 证明：设e=(u,v)是G中的任意边，SV是一个团集当且仅当u和v都在S中，即是中的一个顶点覆盖。 法2：证明：设G=（V，E）是连通无向图，SV是G中的一个独立集，则S是的一个团集，独立集∝poly团集。因为顶点覆盖∝poly独立集，根据定理10.3，顶点覆盖∝poly团集。 证明：第