电子科技大学《图论及其应用》复习总结--第五章 匹配与因子分解

第五章 匹配与因子分解

一、偶图的匹配问题

(一)、图的匹配与贝尔热定理

1、图的匹配相关概念

(1)、匹配 M— 如果M是图G的边子集(不含环），且M中的任意两条边没有共同顶点，则称M是G的一个匹配或对集或边独立集。

如果G中顶点v是G的匹配 M中某条边的端点，称它为M饱和点，否则为M非饱和点。

(2)、最大匹配 M— 如果M是图G的包含边数最多的匹配，称M是G的一个最大匹配。特别是，若最大匹配饱和了G的所有顶点，称它为G的一个完美匹配。

注：1、一个图G不一定存在完美匹配；
2、一个图G的完美匹配若存在，不一定唯一；
3、一个图G的最大匹配不一定唯一。

(3)、M交错路— 如果M是图G的匹配，G中一条由M中的边和非M中的边交错形成的路，称为G中的一条M交错路。特别地，若M交错路的起点与终点是M非饱和点，称这种M交错路为M可扩路。

2、贝尔热定理

定理1 (贝尔热，1957) G的匹配M是最大匹配，当且仅当G不包含M可扩路。

注：贝尔热定理给我们提供了扩充G的匹配的思路。

(二)、偶图的匹配与覆盖

1、问题的提出

2、偶图匹配存在性判定----Hall定理

**定理2 (Hall定理）**设G=(X, Y)是偶图，则G存在饱和X每个顶点的匹配的充要条件是：对$\forall S\subseteq X$,有$|N(S)|\ge |S|...(\ast )$

​ 其中，$N(S)$表示S的邻点集

注: (1) G=(X,Y) “饱和X每个顶点的匹配”也常说成“存在由X到Y的匹配”。

​ (2) Hall定理也可表述为：设G=(X,Y)是偶图，如果存在X的一个子集S,使得|N(S)| < |S| ，那么G中不存在由X到Y的匹配。

​ (3) Hall定理也称为“婚姻定理”，表述如下：
​ “婚姻定理” ：在一个由r个女人和s个男人构成的人群中，1≦r≦s。在熟识的男女之间可能出现r对婚姻的充分必要条件是，对每个整数k(1≦k≦r),任意k个女人共认识至少k个男人。
​ (4) Hall定理是在偶图中求最大匹配算法的理论基础，即匈牙利算法基础。

推论：若G是k (k>0)正则偶图，则G存在完美匹配。

​ (1) 证明：每个k方体都有完美匹配(k大于等于2)

k方体是k正则偶图，故存在完美匹配

​ (2) 求K2n和Kn,n中不同的完美匹配的个数。

$K_{2n}$不同的完美匹配的个数为$(2n-1)!!$，$K_{n,n}$不同的完美匹配的个数为$n!$

(3)证明树至多存在一个完美匹配。

证明：若不然，设M1与M2是树T的两个不同的完美匹配，那么$M_1\Delta M_2\ne \varphi$，且$T[M_1\Delta M_2]$每个顶点度数为2，即它存在圈，于是推出T中有圈，矛盾。

3、点覆盖与哥尼定理

(1)、图的点覆盖概念与性质

定义1：图的点覆盖 —G的一个顶点子集K称为G的一个点覆盖，如果G的每条边都至少有一个端点在K中。G的一个包含点数最少的点覆盖称为G的最小点覆盖，其包含的点数称为G的覆盖数，记为α(G).

定理2 设M是G的匹配，K是G的覆盖，若|M|=|K|,则M是最大匹配，而G是最小覆盖。

(2)、偶图的点覆盖与偶图匹配间的关系----哥尼定理

定理2 (哥尼，1931) 在偶图中，最大匹配的边数等于最小覆盖的顶点数。

二、图的因子分解

研究图的因子分解主要是两个方面：一是能否进行分解(因子分解的存在性),二是如何分解(分解算法).

(一)、托特定理

定理 (托特定理，1947) 图G有完美匹配当且仅当对V的任意非空真子集S, 有：
$$o(G-S)\le |S|$$
​ 其中，$o(G-s)$表示奇分支数目,（奇分支是阶数为奇的连通分支）

​ 推论 (彼得森定理) 没有割边的3正则图存在完美匹配。

注：推论中的条件是G存在完美匹配的充分条件而不是必要条件

(二)、图的一因子分解

所谓一个图G的因子$G_i$，是指至少包含G的一条边的生成子图。

所谓一个图G的因子分解，是指把图G分解为若干个边不重的因子之并。

所谓一个图G的n因子，是指图G的n度正则因子。

如果一个图G能够分解为若干n因子之并，称G是可n因子分解的。

图的一个一因子实际上就是图的一个完美匹配的导出子图。一个图能够作一因子分解，也就是它能够分解为若干边不重的完美匹配的导出子图之并。

定理1 $K_{2n}$可一因子分解。