霍尔定理

二分图 $G=⟨V_1,E,V_2⟩$ 中存在从 $V_1$ 到 $V_2$ 的 完全匹配 的充分必要条件是 $V_1$ 中任意 $k$ 个结点至少与 $V_2$ 中的 $k$ 个结点相邻，$k=1,2,\dots ,|V_1|$

通常称为相异性条件