霍尔定理

一个二分图有完美匹配，当且仅当，对于左部点的任意一个子集（设其大小为 \(x\)），右部点有和此点集直接连边的点的集合大小（设为 \(y\)），满足 \(x\le y\) 的关系

证明： 必要性显然，充分性可以使用数学归纳法