Hall 定理
之前只记了 hall 定理的结论，这里来做一下证明
结论
左部点大小 (|X|) 右部点大小 (|Y|)，满足 (|X| le |Y|)
最大匹配即为 (|X|-max_{s subseteq X}{(|S|-|to_s|, 0)})
有最大匹配时即为任意一个子集出发的邻点个数大于等于本身
证明
必要性显然，来证充分性
如果没有完美匹配，找到左部点里一个没有匹配的点 x，它一定可以找到一条出边，如果右部图的那个点 y 没有匹配，显然答案加一。否则 y 找到和它匹配的那个点 tx，断掉匹配，重新和 x 匹配。根据 Hall 定理，两点对一点是不存在的，所以 tx 还可以找到另外一个出边。一直找下去，直到这个集合里有了 n 个点，第 n 个点一定能找到另外一个没有匹配的点。证毕。