图论与网络流理论 3. 匹配理论 2：二部图的匹配

设$M$是二部图$G=(X,Y)$的一个匹配，如果$M$饱和$X$中的每一个顶点，则称$M$饱和$X$。

Hall定理

$G=(X,Y)$。$G$有饱和$X$的匹配，当且仅当对$\forall S\subset X$，有$|N(S)|\ge S$。其中$N(S)$表示$S$的所有邻点之集。

证明

必要性：

如果$G$有饱和$X$的匹配$M$，那么对于$\forall S\subset X$，因为$S$的顶点在$M$下与$N(S)$中的某些（可能不是全部）顶点一一配对，因此就有$|N(S)|\ge |S|$。（$N(S)$的顶点数至少也要和$S$中的一样多）

---

充分性：

设$G=(X,Y)$，且有对$\forall S\subset X$，有$|N(S)|\ge |S|$。使用反证法证明。

假设不存在饱和$X$的匹配，那么$G$的最大匹配$M^{\ast }$都无法饱和$XX$中的全部顶点。设$u$是$X$中的一个$M^{\ast }$非饱和点，并定义：

A = { v ∣ v ∈ V ( G ) 且 u 到 v 有 M ∗ 交 错 路 } A=\{v\mid v\in V(G)且u到v有M^*交错路\} A={v∣v∈V(G)且u到v有M∗交错路}

由于$M^{\ast }$是最大匹配，因此不能有增广路。由于以$u$为起点的交错路已经有了一个非饱和顶点，因此$u$是$A$中唯一的$M^{\ast }$非饱和点。

定义：
$$\begin{array}{rl}S& =A\cap X\\ T& =A\cap Y\end{array}$$

由于 S − { u } S-\{u\} S−{u}中的每一个顶点，都会与$T$中的某一个顶点一一配对（由于$T$就是根据存在交错路来的，因此$T$中的顶点一定有点与之相连；而且$T$中的每一个顶点只会一个$S$中的顶点配对，否则就有两条$M^{\ast }$中的边关联到了同一个顶点），因此可以得到：
$$|T|=|S|-1(\ast )$$

接下来要证明$N(S)=T$：

• $T\subset N(S)$：【已知：$u$到$t$有交错路；要证明：$t$和$S$中的某一个顶点相邻】 对于$T$中的每一个顶点$t$，从$u$到$t$都有一条交错路，而在交错路中，$t$的前一个顶点必定属于$S$，且与顶点$t$相邻，因此就有$t\in N(S)$
• $N(S)\subset T$：【已知：$t$和$s$中的某一顶点相邻；要证明：$u$到$t$有有交错路】 对于$N(S)$中的每一个顶点$t$，不妨设其是$S$中顶点$s$的邻点。
  • 如果$u$到$s$的交错路经过了$t$，那么该交错路的$(u,t)$一定也是交错路（交错路的一部分一定也是交错路），因此$t\in T$
  • 如果$u$到$s$的交错路没有经过$t$，那么$u$到$s$的最后一条边一定属于$M^{\ast }$。由于$t\in N(S)$，因此$s$一定可达$t$，所以这一条$(u,s)$的交错路一定可以继续延伸变成$(u,t)$。

所以就有：
$$N(S)=T(\ast \ast )$$

最后有：
$$|N(S)|=|T|=|S-1|<|S|$$

与$|N(S)|\ge |S|$矛盾。

推论

$G=(X,Y)$，如果$X$每一个顶点至少关联$k$条边，$Y$中的每一个顶点至多关联$k$条边，则$G$中存在饱和$X$的匹配。

$\forall S\subset X$，$S$至少关联$k|S|$条边（直接乘），而这$k|S|$条边又至少关联$Y$中的$|S|$个顶点（直接除），因此根据Hall定理即可证明。

---

$G=(X,Y)$具有完美匹配的充分必要条件是：$|X|=|Y|$且对$\forall S\subset X$（或者$Y$），均有$|N(S)|\ge |S|$

挺显然的。

---

设$G$是$k$-正则二部图，则$G$有$k$个边不重的完美匹配

1. 证明$G$有完美匹配
   由于$G$是$k$-正则二部图，因此有$k|X|=E(G)=k|Y|$，即$|X|=|Y|$。
   任取$S\subset X$，令$E_1$为$G$中与$S$关联的边，$E_2$为$G$中与$N(S)$关联的边。根据定义很容易看出，$E_1\subset E_2$（$N(S)$中的顶点一定会与$S$中的顶点有关联边，而$N(S)$同时还有可能与其他的非$S$顶点有关联边）。
   根据正则性，$k|N(S)|=|E_2|\ge |E_1|=k|S|$，因此就有$|N(S)|\ge |S|$，根据之前的推论，存在完美匹配

2. 证明有$k$个边不重的完美匹配（归纳）
   $k=1$显然
   假设对于所有$k$正则二部图都成立，则对于$(k+1)$正则二部图，根据第一部的证明，一定可以找出一个完美匹配$M$，那么$G^{\prime }=G-M$依然是一个正则二部图（减去$M$对于每一个顶点的度都同时减少$1$），而且是$k$正则。根据归纳假设证毕。

---

完全二部图$K_{n,n}$有$n$个边不重的完美匹配

显然。

---

$G=(X,Y)$，而且$|X|=|Y|=n$，如果有最小度$\delta (G)\ge \frac{n}{2}$，那么$G$有完美匹配。

反证法。如果$G$没有完美匹配，那么一定存在一个$S\subset X$，使得$|N(S)|<|S|$。

考虑$|N(S)|\ge \delta (G)$，其实是很显然的。只有当$S$只有一个顶点而且该顶点在$G$中度最小的时候，才会有$|N(S)|=\delta (G)$，其他情况显然是要大于的。因此就有$|S|>|N(S)|\ge \delta (G)\ge \frac{n}{2}$

考虑$Y$的那一边。由于$|Y|=|X|\ge |S|>|N(S)|$，因此$Y-N(S)\ne \varnothing$。令$u\in Y-N(S)$，一定有$N(u)\subset X-S$（如果有每一个点$v\in N(u)$同时$\in S$，那么$u$就是在$N(S)$里的了）。因此可以得到：

$$\delta (G)\le d_G(u)=|N(u)|\le |X|-|S|<n-\frac{n}{2}=\frac{n}{2}$$

和条件$\delta (G)\ge \frac{n}{2}$矛盾。