Hall定理 二分图完美匹配
充分性证明就先咕了,因为楼主太弱了,有一部分没看懂
霍尔定理内容
二分图G中的两部分顶点组成的集合分别为X, Y(假设有\(\lvert X \rvert \leq \lvert Y \rvert\))。G中有一组无公共点的边,一端恰好为组成X的点(也就是存在完美匹配)的充分必要条件是:X中的任意k个点至少与Y中的k个点相邻,即对于X中的一个点集W ,令N(W)为W的所有邻居, 霍尔定理即对于任意W,\(\lvert W\rvert \leq \lvert N(W)\rvert\)
证明
1.必要性显然
2.充分性咕咕咕
但是仅仅是这样Hall定理是没什么用的,有一个NB的推论:
推论
假设两边的点集分别为X,Y,则二分图的最大匹配数为\(\lvert X \rvert - max\{\lvert W\rvert -\lvert N(W)\rvert \}\),其中W是X的子集
这个推论就很厉害啦,对于一些特殊的题目,它可以免去建图而直接求最大匹配