ICode9

hall 定理：对于任意二分图的一部的子集 \(S\)，这些点在另一部所连的点集并为 \(S'\)，若有 \(|S|\le |S'|\)，那么该二分图有完美匹配。 证明的话考虑归纳喽，对于一个新点，给它分配一个，那么剩下的就是 \(n-1\) 的情况了。 图论的知识要补了。。。。 https://loj.ac/p/6062 回到这题。 考虑