设MMM是二部图G=(X,Y)G=(X,Y)G=(X,Y)的一个匹配，如果MMM饱和XXX中的每一个顶点，则称MMM饱和XXX。
Hall定理
G=(X,Y)G=(X,Y)G=(X,Y)。GGG有饱和XXX的匹配，当且仅当对∀S⊂X\forall S\subset X∀S⊂X，有∣N(S)∣≥S|N(S)|\ge S∣N(S)∣≥S。其中N(S)N(S)N(S)表示SSS的所有邻点之集。
证明
必要性：
如果GGG有饱和XXX的匹配MMM，那么对于∀S⊂X\forall S\subset X∀S⊂X，因为SSS的顶点在MMM下与N(S)N(S)N(S)中的某些（可能不是全部）顶点一一配对，因此就有∣N(S)∣≥∣S∣|N(S)|\ge |S|∣N(S)∣≥∣S∣。（N(S)N(S)N(S)的顶点数至少也要和SSS中的一样多）
充分性：
设G=(X,Y)G=(X,Y)G=(X,Y)，且有对∀S⊂X\forall S\subset X∀S⊂X，有∣N(S)∣≥∣S∣|N(S)|\ge |S|∣N(S)∣≥∣S∣。使用反证法证明。
假设不存在饱和XXX的匹配，那么GGG的最大匹配M∗M^*M∗都无法饱和XXXXXX中的全部顶点。设uuu是XXX中的一个M∗M^*M∗非饱和点，并定义：
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∗M^*M∗是最大匹配，因此不能有增广路。由于以uuu为起点的交错路已经有了一个非饱和顶点，因此uuu是AAA中唯一的M∗M^*M∗非饱和点。
定义：
S=A∩XT=A∩Y
\begin{aligned}
S&=A\cap X\\
T&=A\cap Y
\end{aligned}
ST=A∩X=A∩Y
由于S−{u}S-\{u\}S−{u}中的每一个顶点，都会与TTT中的某一个顶点一一配对（由于TTT就是根据存在交错路来的，因此TTT中的顶点一定有点与之相连；而且TTT中的每一个顶点只会一个SSS中的顶点配对，否则就有两条M∗M^*M∗中的边关联到了同一个顶点），因此可以得到：
∣T∣=∣S∣−1 (∗)
|T|=|S|-1~~~~~~~~~~(*)
∣T∣=∣S∣−1 (∗)
接下来要证明N(S)=TN(S)=TN(S)=T：
- T⊂N(S)T\subset N(S)T⊂N(S)：【已知：uuu到ttt有交错路；要证明：ttt和SSS中的某一个顶点相邻】 对于TTT中的每一个顶点ttt，从uuu到ttt都有一条交错路，而在交错路中，ttt的前一个顶点必定属于SSS，且与顶点ttt相邻，因此就有t∈N(S)t\in N(S)t∈N(S)
- N(S)⊂TN(S)\subset TN(S)⊂T：【已知：ttt和sss中的某一顶点相邻；要证明：uuu到ttt有有交错路】 对于N(S)N(S)N(S)中的每一个顶点ttt，不妨设其是SSS中顶点sss的邻点。
- 如果uuu到sss的交错路经过了ttt，那么该交错路的(u,t)(u,t)(u,t)一定也是交错路（交错路的一部分一定也是交错路），因此t∈Tt\in Tt∈T
- 如果uuu到sss的交错路没有经过ttt，那么uuu到sss的最后一条边一定属于M∗M^*M∗。由于t∈N(S)t\in N(S)t∈N(S)，因此sss一定可达ttt，所以这一条(u,s)(u,s)(u,s)的交错路一定可以继续延伸变成(u,t)(u,t)(u,t)。
所以就有：
N(S)=T (∗∗)N(S)=T~~~~~~~~~~(**)N(S)=T (∗∗)
最后有：
∣N(S)∣=∣T∣=∣S−1∣<∣S∣
|N(S)|=|T|=|S-1|<|S|
∣N(S)∣=∣T∣=∣S−1∣<∣S∣
与∣N(S)∣≥∣S∣|N(S)|\ge |S|∣N(S)∣≥∣S∣矛盾。
推论
G=(X,Y)G=(X,Y)G=(X,Y)，如果XXX每一个顶点至少关联kkk条边，YYY中的每一个顶点至多关联kkk条边，则GGG中存在饱和XXX的匹配。
∀S⊂X\forall S\subset X∀S⊂X，SSS至少关联k∣S∣k|S|k∣S∣条边（直接乘），而这k∣S∣k|S|k∣S∣条边又至少关联YYY中的∣S∣|S|∣S∣个顶点（直接除），因此根据Hall定理即可证明。
G=(X,Y)G=(X,Y)G=(X,Y)具有完美匹配的充分必要条件是：∣X∣=∣Y∣|X|=|Y|∣X∣=∣Y∣且对∀S⊂X\forall S\subset X∀S⊂X（或者YYY），均有∣N(S)∣≥∣S∣|N(S)|\ge |S|∣N(S)∣≥∣S∣
挺显然的。
设GGG是kkk-正则二部图，则GGG有kkk个边不重的完美匹配
-
证明GGG有完美匹配
由于GGG是kkk-正则二部图，因此有k∣X∣=E(G)=k∣Y∣k|X|=E(G)=k|Y|k∣X∣=E(G)=k∣Y∣，即∣X∣=∣Y∣|X|=|Y|∣X∣=∣Y∣。
任取S⊂XS\subset XS⊂X，令E1E_1E1为GGG中与SSS关联的边，E2E_2E2为GGG中与N(S)N(S)N(S)关联的边。根据定义很容易看出，E1⊂E2E_1\subset E_2E1⊂E2（N(S)N(S)N(S)中的顶点一定会与SSS中的顶点有关联边，而N(S)N(S)N(S)同时还有可能与其他的非SSS顶点有关联边）。
根据正则性，k∣N(S)∣=∣E2∣≥∣E1∣=k∣S∣k|N(S)|=|E_2|\ge |E_1|=k|S|k∣N(S)∣=∣E2∣≥∣E1∣=k∣S∣，因此就有∣N(S)∣≥∣S∣|N(S)|\ge |S|∣N(S)∣≥∣S∣，根据之前的推论，存在完美匹配 -
证明有kkk个边不重的完美匹配（归纳）
k=1k=1k=1显然
假设对于所有kkk正则二部图都成立，则对于(k+1)(k+1)(k+1)正则二部图，根据第一部的证明，一定可以找出一个完美匹配MMM，那么G′=G−MG'=G-MG′=G−M依然是一个正则二部图（减去MMM对于每一个顶点的度都同时减少111），而且是kkk正则。根据归纳假设证毕。
完全二部图Kn,nK_{n,n}Kn,n有nnn个边不重的完美匹配
显然。
G=(X,Y)G=(X,Y)G=(X,Y)，而且∣X∣=∣Y∣=n|X|=|Y|=n∣X∣=∣Y∣=n，如果有最小度δ(G)≥n2\delta(G)\ge \frac n2δ(G)≥2n，那么GGG有完美匹配。
反证法。如果GGG没有完美匹配，那么一定存在一个S⊂XS\subset XS⊂X，使得∣N(S)∣<∣S∣|N(S)|<|S|∣N(S)∣<∣S∣。
考虑∣N(S)∣≥δ(G)|N(S)|\ge \delta(G)∣N(S)∣≥δ(G)，其实是很显然的。只有当SSS只有一个顶点而且该顶点在GGG中度最小的时候，才会有∣N(S)∣=δ(G)|N(S)|=\delta(G)∣N(S)∣=δ(G)，其他情况显然是要大于的。因此就有∣S∣>∣N(S)∣≥δ(G)≥n2|S|>|N(S)|\ge \delta(G)\ge \frac n2∣S∣>∣N(S)∣≥δ(G)≥2n
考虑YYY的那一边。由于∣Y∣=∣X∣≥∣S∣>∣N(S)∣|Y|=|X|\ge |S|>|N(S)|∣Y∣=∣X∣≥∣S∣>∣N(S)∣，因此Y−N(S)≠∅Y-N(S)\neq \varnothingY−N(S)=∅。令u∈Y−N(S)u\in Y-N(S)u∈Y−N(S)，一定有N(u)⊂X−SN(u)\subset X-SN(u)⊂X−S（如果有每一个点v∈N(u)v\in N(u)v∈N(u)同时∈S\in S∈S，那么uuu就是在N(S)N(S)N(S)里的了）。因此可以得到：
δ(G)≤dG(u)=∣N(u)∣≤∣X∣−∣S∣<n−n2=n2 \delta(G)\le d_G(u)=|N(u)|\le |X|-|S|<n-\frac n2=\frac n2 δ(G)≤dG(u)=∣N(u)∣≤∣X∣−∣S∣<n−2n=2n
和条件δ(G)≥n2\delta(G)\ge \frac n2δ(G)≥2n矛盾。
1091
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
