第五章 匹配与因子分解
一、偶图的匹配问题
(一)、图的匹配与贝尔热定理
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每个顶点的匹配的充要条件是:对 ∀ S ⊆ X \forall S \subseteq X ∀S⊆X,有 ∣ N ( S ) ∣ ≥ ∣ S ∣ . . . ( ∗ ) |N(S)|\geq|S|...(*) ∣N(S)∣≥∣S∣...(∗)
其中, N ( S ) N(S) 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 2 n K_{2n} K2n不同的完美匹配的个数为 ( 2 n − 1 ) ! ! (2n-1)!! (2n−1)!!, K n , n K_{n,n} Kn,n不同的完美匹配的个数为 n ! n! n!
(3)证明树至多存在一个完美匹配。
证明:若不然,设M1与M2是树T的两个不同的完美匹配,那么 M 1 Δ M 2 ≠ ϕ M_1\Delta M_2 \neq \phi M1ΔM2=ϕ,且 T [ M 1 Δ M 2 ] T[M_1\Delta M_2] T[M1ΔM2]每个顶点度数为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 ) ≤ ∣ S ∣ o(G-S) \leq|S| o(G−S)≤∣S∣
其中, o ( G − s ) o(G-s) o(G−s)表示奇分支数目,(奇分支是阶数为奇的连通分支)
推论 (彼得森定理) 没有割边的3正则图存在完美匹配。
注:推论中的条件是G存在完美匹配的充分条件而不是必要条件
(二)、图的一因子分解
所谓一个图G的因子 G i G_i Gi,是指至少包含G的一条边的生成子图。
所谓一个图G的因子分解,是指把图G分解为若干个边不重的因子之并。
所谓一个图G的n因子,是指图G的n度正则因子。
如果一个图G能够分解为若干n因子之并,称G是可n因子分解的。
图的一个一因子实际上就是图的一个完美匹配的导出子图。一个图能够作一因子分解,也就是它能够分解为若干边不重的完美匹配的导出子图之并。
定理1 K 2 n K_{2n} K2n可一因子分解。