当前位置:文档之家› 图论讲义第3章-匹配问题

图论讲义第3章-匹配问题

第三章 匹配理论§3.1 匹配与最大匹配定义3.1.1 设G 是一个图, )(G E M ⊆,满足:对i e ∀,M e j ∈,i e 与j e 在G 中不相邻,则称M 是G 的一个匹配。

对匹配M 中每条边uv e =,其两端点 u 和 v 称为被匹配M 所匹配,而 u 和 v 都称为是M 饱和的(saturated vertex )。

注:每个顶点要么未被M 饱和, 要么仅被M 中一条边饱和。

定义3.1.2 设M 是G 的一个匹配, 若G 中无匹配M ′, 使得||||M M >′, 则称M 是G 的一个最大匹配;如果G 中每个点都是M 饱和的, 则称M 是G 的完美匹配(Perfect matching ).显然, 完美匹配必是最大匹配。

例如,在下图G 1中,边集{e 1}、{e 1,e 2}、{e 1,e 2,e 3}都构成匹配,{e 1,e 2,e 3}是G 1的一个最大匹配。

在 G 2中,边集{e 1,e 2,e 3,e 4}是一个完美匹配,也是一个最大匹配。

定义3.1.3 设M 是G 的一个匹配, G 的M 交错路是指其边M 和M G E \)(中交替出现的路。

如果G 的一条M 交错路(alternating path)的起点和终点都是M 非饱和的,则称其为一条M 可扩展路或M 增广路(augmenting path)。

定理 3.1.1(Berge,1957) 图G 的匹配M 是最大匹配的充要条件是G 中不存在M 可扩展路。

证明:必要性:设M 是G 的一个最大匹配。

如果G 中存在一个M 可扩展路P ,则将P 上所有不属于M 的边构成集合M ′。

显然M ′也是G 的一个匹配且比M 多一条边。

这与M 是最大匹配相矛盾。

充分性:设G 中不存在M 可扩展路。

若匹配M 不是最大匹配,则存在另一匹配M ′,使||||M M >′. 令][M M G H ′⊕=,(M M M M M M ′−′=′⊕∩∪称为对称差)。

则H 中每个顶点的度非1即2(这是因为一个顶点最多只与M 的一条边及M ′的一条边相关联)。

故H 的每个连通分支要么是M 的边与M ′的边交替出现的一个偶长度圈,要么是M 的边与M ′的边交替出现的一条路。

由于||||M M >′,H 的边中M ′的边多于M 的边,故必有H 的某个连通分支是一条路,且始于M ′的边又终止于M ′的边。

这条路是一条M 可扩展路。

这与条件矛盾。

证毕。

§3.2 完美匹配定义3.2.1 图G 的奇分支:G 的含有奇数个顶点的连通分支。

用)(G O 表示G 的奇分支的个数。

定理3.2.1 (Tutte,1947) 图G 有完美匹配的充分必要条件是对)(G V S ⊂∀,||)\(S S G O ≤。

证明(Lovász,1973)必要性:设图G 有完美匹配M 。

对)(G V S ⊂∀,若S G \无奇分支,则0)\(=S G O ;否则,设k G G G ,,,21 是S G \的所有奇分支。

注意每个i G 中至少有一个顶点i u 在M 下与S 中的某个顶点i v 配对(k i ,,2,1 =),(因i G 是奇分支,M 是完美匹配)。

故S v v v k S G O k ≤==|},,,{|)\(21 。

充分性(反证法):设G 满足:对)(G V S ⊂∀,S S G O ≤)\(,但G 没有完美匹配。

首先,取φ=S ,知0)(=G O ,故)(G V 是偶数。

现在,给G 添加边以获得一个没有完美匹配而有尽可能多的边的图*G 。

因G 是*G 的生成子图,故对)(G V S ⊂∀,S G \是S G \*的生成子图,从而S S G O S G O ≤≤)\()\(*. (*)令 }1)(),({**−=∈=νu d G V u u U G .若)(*G V U =,则*G 是偶数阶完全图,有完美匹配。

这与*G 的性质矛盾。

因此,)(*G V U ≠,可以证明,此时U G \*的每个连通分支都是完全图(记为命题A,另证)。

由(*)式,U U G O ≤)\(*,即U G −*的奇分支个数最多是U 。

但这样一来,*G 就有一个完美匹配:U G \*的各奇分支中的一个顶点和U 的一个顶点配对;U 中余下的顶点以及U G \*的各分支中余下的顶点在本分支内配对(由于各分支及U 都是完全图)。

这与*G 无完美匹配矛盾。

证毕.命题A的证明:在上述充分性证明的条件下,当)(*G V U ≠时,U G \*的每个连通分支都是完全图。

用反证法证明:若不然,设U G \*中某个连通分支i G 不是完全图,则3)(≥i G V 。

必存在)(,,i G V z y x ∈,使得)(,i G E yz xy ∈,且)(i G E xz ∉。

由于U y ∉,故必有与y 不相邻的顶点,即必存在),\(*U G V w ∈ 使得)(*G E yw ∉。

由于*G 是不含完美匹配的极大图,所以xz G +*和yw G +*都含有完美匹配,分别设为1M 和2M 。

用H 表示{}yw xz G ,*∪中由21M M ⊕导出的子图。

由于对)(H V u ∈∀,2)(=u d H 或0(由1M 和2M 都是完美匹配知),故H 的每个非平凡连通分支都是其边在1M 和2M 中交替出现的偶长度圈。

下分两种情形:(1)xz 和yw 分别在H 的不同分支中。

设yw 在H 的某个圈C 上,则1M 在C 上的边连同2M 不在C 上的边构成*G 的一个完美匹配。

这与*G 的选择矛盾。

情形(1)(2)xz 和yw 在H 的同一分支C中,由x 和z 的对称性,不妨设z w y x ,,,在C 中依次出现,并设1M 在C 的z yw 段中的边集为1M ′,2M 在C 的z yw 段中的边集为2M ′,于是 )\(}{221M M yz M ′′∪∪ 是*G 的完美匹配,又与*G 的选择矛盾。

综合(1)、(2)两种情形,便证明了U G \*的每个连通分支都是完全图。

证毕。

推论3.2.1 (1−k )边连通偶数阶k 正则图有完美匹配 证明:设G 是命题中所述的k 正则图。

当1=k 时,结论显然。

以下假定2≥k 。

设S 是G 的任一个非空顶点集,n G G G ,,,21 是S G \的奇分支。

令),(i i G V =ν e e m i |{|=是i G 与S 之间的连边|}。

由于1−≥′k κ,故1−≥k m i ,),,2,1(m i =。

若存在i从而)(G V v i dm i =∑∈。

但因1−i ν是偶这个矛盾说明k m i ≥ (),,2,1n i =故有 由Tutte 定理,G 推论 证明:设G 是2由推论3.2.1,G 有完美匹配。

证毕注:有割边的3()3O G v −=,故无完美匹配。

推论3.2.3 偶数阶完全图n K 2有12−n 个边不重的完美匹配。

证明:用平面上正12−n 边形的点代表1221,,,−n v v v ,而用其中心点代表n v 2点。

用直线段连接每个顶点对,即得n K 2。

构作匹配i M 为边n i v v 2和所有与n i v v 2垂直的边之集。

易检验每个i M 都是G 的完美匹配,且不同的i M 无公共边。

例如,按这种方法构作出K 6的两个完美匹配如下图(b)、(c)所示。

显然,n v 2关联的每条边对应这样一个完美匹配,故共有12−n 个边不重的完§3.3 二部图的匹配定理3.3.1 (Hall, 1935) 设G 是具有二划分),(Y X 的二部图,则G 有饱和X 的匹配当且仅当对X S ⊆∀,S S N ≥)(,其中)(S N 表示S 的所有邻点之集。

证明:必要性。

设G 有饱和X 的匹配M ,则对XS ⊆∀,因S 的顶点在M 下和)(S N 中顶点配对,故S S N ≥)(。

充分性:设),(Y X G =是二部图,且对X S ⊆∀,S S N ≥)(。

下用反证法。

假如G 没有饱和X 的匹配,则G 的最大匹配*M 不能饱和X 的所有顶点。

设u 是X 的一个*M 不饱和点,并设|{v A =u 到v 有*M 交错路}。

由于*M 是最大匹配,故由Berge 定理,u 是A 中唯一的*M 非饱和点。

令X A S ∩=,Y A T ∩=。

注意}{u S −中的顶点在*M 下与T 中的顶点一一配对(因S u ∈,且对T t ∈∀,u 与t 有*M交错路t P 相连,而且t 是*M 饱和的,故交错路t P 上最后一条边必是*M 的边,它将S 中一个顶点与t 配对。

而且不同的t 会有S 中不同的顶点相配,否则会有两条*M 的边关联到S 中同一顶点)。

因此1−=S T 。

(1)u(a)此外,T S N ⊇)((因T 中顶点通过S 中顶点与u 连*M 交错路),且T S N ⊆)((对)(S N 中每个顶点t ,设它是S 中顶点s 的邻点,从u 到s 的*M 交错路必可延伸为u 到t 的*M 交错路)。

故T S N =)( (2)由(1)、(2)知:()||1N S T S S ==−<,这与定理条件矛盾。

证毕。

推论 3.3.1 设),(Y X G =是二部图,若X 中每个顶点至少关联k 条边()1≥k 而Y 中每个顶点至多关联k 条边,则G 中存在饱和X 的匹配。

证明:由条件知,对X S ⊆∀,S 至少关联||S k 条边。

这||S k 条边至少关联Y 中||S 个顶点。

即S S N ≥)(,由Hall 定理,G 有饱和X 的匹配。

证毕。

推论 3.3.2.(Frobenius,1917) 具有二划分),(Y X 的二部图G 有完美匹配的充分必要条件是Y X =且对X S ⊆∀(或Y ),均有|||)(|S S N ≥。

证明:显然。

推论3.3.3 (König,1916) 设G 是k 正则二部图)0(>k ,则G 有k 个边不重的完美匹配。

证明:(1)先证G 有完美匹配。

证法1:设),(Y X G =是k 正则二部图,则Y k G E X k ==)(,因0>k ,故Y X =,任取X S ⊆,令=1E {G 中与S 关联的边},=2E {G 中与N (S )关联的边}。

则21E E ⊆。

因而S k E E S N k =≥=12)(,即S S N ≥)(。

由推论3.3.2,G 有完美匹配。

证法2: 由推论3.3.1,G 中有饱和X 的匹配。

因Y X =(如前所证),故这个匹配就是完美匹配。

(2)再证G 中有k 个边不重的完美匹配(用归纳法)。

当1=k 时,显然。

设对所有k 正则二部图,结论成立。

下证对)1(+k 正则二部图G ,结论也成立。

相关主题