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

第三章 匹配理论 § 3.1 匹配与最大匹配 定义 3.1.1 设 G 是一个图 , M ? E(G) ，满足 : 对 ? ei , ej ∈M ， ei 与 ej 在 G 中不相邻，则称 M 是 G 的一个 匹配 。对匹配 M 中每条边 e = uv ，其两端点 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 ). 显然 , 完美匹配必是最大匹配。 例如，在下图 G1中，边集 { e1} 、{ e1,e2} 、{ e1,e2,e3} 都构成匹配， { e1,e2 ,e3 } 是 G1 的一个最大匹 配。在 G2 中，边集 { e1,e2 ,e3,e4} 是一个完美匹配，也是一个最大匹配。 e1 e3 e2 e1 e2 e3 e4 G1 G2 定义 3.1.3 设 M 是 G 的一个匹配 , G 的 M 交错路 是指其边 M 和 E(G) M 中交替出现的 路。如果 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∪M -M∩M ′称为对称差 ) 。 ，( ′ ′ 则 H 中每个顶点的度非 1即2( 这是因为一个顶点最多只与 M 的一条边及 M ′的一条边相关 联) 。故 H 的每个连通分支要么是 M 的边与 M ′的边交替出现的一个偶长度圈，要么是 M 的 边与 M ′的边交替出现的一条路。 由于 |M ||M | ， H 的边中 M ′的边多于 M 的边，故必有 H ′ 的某个连通分支是一条路，且始于 M ′的边又终止于 M ′的边。这条路是一条 M 可扩展路。这 与条件矛盾。 证毕。 1 § 3.2 完美匹配 定义 3.2.1 图 G 的奇分支 ：G 的含有奇数个顶点的连通分支。 用 O(G) 表示 G 的奇分支的个数。 定理 3.2.1 (Tutte,1947) 图 G 有完美匹配的充分必要条件是对 ? S ? V (G) ， O(G S) ≤|S | 。 证明 （ Lovász,1973）必要性 ：设图 G 有完美匹配 M。对 ? S ? V (G) ，若 G S 无奇分支，则 O(G S) = 0 ；否则，设 G1 ,G2 , , Gk 是 G S 的所有奇分支。注意每个 Gi 中至少有一个顶点 ui 在 M 下与 S 中的某个顶点 vi 配对（ i = 1,2, , k ），（因 Gi 是奇分支， M 是完美匹配） 。 故 O (G S) = k =|{ v1 , v2 , , vk } |≤ S 。 奇分支 偶分支 u1 u2 uk G1 G2 Gk v1 v2vk S 充分性 （反证法）：设 G 满足：对 ? S ? V(G) ， O(G S) ≤S ，但 G 没有完美匹配。首先， 取 S = φ O G ) = 0 ，故 V G ) 是偶数。现在，给 G 添加边以获得一个没有完美匹配而有尽 ，知 ( ( 可能多的边的图 G * 。因 G 是 G* 的生成子图，故对 ?S? V(G)，G S 是 G* S 的生成子图， 从而 O(G* S) ≤O(G S) ≤S . （ * ） 令 U = { u u ∈V (G* ), dG * (u) = ν- 1} . 若U =V(G*) ，则 G* 是偶数阶完全图，有完美匹配。这与 G* 的性质矛盾。因此， U ≠V (G* ) ，可以证明，此时 G* U 的每个连通分支都是完全图（记为命题Ａ，另证） 。 由（ * ）式， O(G* U)≤U ，即 G * - U 的奇分支个数最多是 U 。但这样一来， G