一个二分图有完美匹配，当且仅当，对于左部点的任意一个子集（设其大小为 \(x\)），右部点有和此点集直接连边的点的集合大小（设为 \(y\)），满足 \(x\le y\) 的关系 证明： 必要性显然，充分性可以使用数学归纳法 某道相关题目本栏目推荐文章多面体欧拉定理的证明Dilworth定理 转载莱斯定理【算法设计与分析】(二)分治_更新中①：二分搜索、计数、选择、最近点对、凸包、多项式乘法、矩阵乘法、主定理&递归树、傅里叶。苏大计科院研一期末复习笔记主定理裴蜀定理霍尔定理欧拉定理欧拉定理 & 扩展欧拉定理 笔记扩展中国剩余定理（Excrt）笔记定理定理 笔记 勾股定理 定理cap 定理amp 定理crt 定理lucas 定理230527 定理taylor 定理excrt 定理bsgs