集训队作业sgu286解题报告.pdfVIP

SGU286 解题 题目描述 现有无向图G=(V,E) ，E={v,u | v,u 之间有边}，n=|V| ，m=|E| ，d(v)=|{v,u | v,u ∈E}|。 对于任意的v(v ∈V) ，都有d(v)=2k 。（k 是给定的正整数） 你的任务是选择一个边集S，使得图G’=(V,S) 中每个点的度都为2 。 分析 通俗的说就是有n 个点、m 条边的无向图，该无向图每个顶点的度都为2k；要求你把 一些边染红色，使得对每个顶点而言，有且仅有2 条红边与其相连。 下图是一个例子： n=6, m=12, 2k=4 可以看出：解肯定是若干个不相交的环。 因为与每个点相连的红边数必须等于2 ， 很容易想到匹配算法。二分图GA=(X,Y)， 对于G 中每一条边u,v ，在GA 中： 1. u ∈X 和v ∈Y 之间连边。 2. v ∈X 和u ∈Y 之间连边。 然后求一个完备匹配。匹配边染成红色。对于G 中的任意一个点v ，在GA 中有两个对 应点：v ∈X 和v ∈Y 。设与这两个点相连的匹配边是e 和e ，那么将e , e 对应回G 中之后， 1 2 1 2 顶点v 就有两条与之相连的红边了。 这个算法看似正确，但是有一个很大的缺陷： 如上图，二分图中1,2和2,1代表的实际上是原图G 的同一条边。如果在完备匹配中 这两条边同时被选中，那么对应到原图中，顶点1 和顶点2 就只有一条红边与之相连。 问题出在：原图中的边u,v在二分图中有两 ”；偏偏这两 又都有可能被 匹配选中。 须设法让二分图中的边和原图中的边“一一对应”，而不是“二一对应”。 无向图的有向化 首先介绍图论中著名的Hall 定理： 在二分图G=(X,Y,E) 中，对于X 的一个子集S，如果一个顶点v 与S 中的某一个顶点相 邻，那么就称v 与S 相邻。所有与S 相邻的顶点组成的集合称之为S 的邻集，记为A(S) 。 显然A(S)是Y 的子集。 Hall 定理 二分图G=(X,Y,E)有完备匹配的充要条件是：对于X 的任意一个子集S 都满 足|S|≤|A(S)|。 Hall 定理与 要解决的题目之间 关系呢？ 因为原图中每个点的度都为偶数(2k) ，所以必然存在 回路。 求出 回路，根 据 回路的方向给整个图定向。这一部叫做无向图的有向化。 有向化之后，每个点的出度为k 、入度也为k 。 接着 构造二分图GB=(X,Y) 。对原图G 中的每一条有向边v,u ， 都在v ∈X 和 u ∈Y 之间连一条边。 二分图GA 和GB 之间的最大不同是：在GA 中，原图中的每条边都有两 ；而在 GB 中，原图中的每条边都只有一 。也就是说 实现了“一一对应”。 接下来的任务就是对GB 求完备匹配，将求出来的匹配边反射到原图中即可。 以上的推理过程中有一个 ：把无向图有向化固然可以保证新构造出来的二分图和原 图的边一一对应。但是有向化的方式很多，为什么一定要用 回路来有向化？为什么一定 要保证入度等于出度？ 之所以用 回路有向化原图，是因为：这样有向化后衍生的二分图肯定存在