Hall定理及其充要性证明

Hall定理:

若二分图$G$中两部分的点的集合分别为$X,Y$下设$|X|\le |Y|$
则二分图存在完备匹配当且仅当$X$中的任意$k$个点至少与$Y$中的$k$个点相邻

证明

必要性显然.
充分性证明:
反设$G$满足条件且$G$中最大匹配不是完备匹配
则存在$x_1\in X$使得$x_1$未被匹配.
由条件,存在$y_1\in Y$ 使得$x_1,y_1$相邻且$y_1$已被匹配.
所以存在$x_2\in X$ 使得 $x_2$ 与 $y_1$匹配
依此类推 可以找到一条增广路径,矛盾.