Hall's 定理：二分图 \((X,Y,E)\) 有大小为 \(|X|\) 的匹配 $\iff $ 对于 \(\forall A\subseteq X\)，\(|N(A)|\ge |A|\)。(\(N(A)\) 表示 \(A\) 的邻域)
Konig 定理：二分图最小点覆盖 = 最大匹配。
