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

第五章 匹配与因子分解

一、偶图的匹配问题

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

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可扩路

image-20200808100629360

2、贝尔热定理

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

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

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

1、问题的提出

image-20200808101629586

image-20200808101700955

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

**定理2 (Hall定理)**设G=(X, Y)是偶图,则G存在饱和X每个顶点的匹配的充要条件是:对 ∀ S ⊆ X \forall S \subseteq X SX,有 ∣ 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)!! (2n1)!! 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(GS)S
​ 其中, o ( G − s ) o(G-s) o(Gs)表示奇分支数目,(奇分支是阶数为奇的连通分支)

推论 (彼得森定理) 没有割边的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可一因子分解。

  • 3
    点赞
  • 37
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值