霍尔婚配定理

数学上，霍尔婚配定理 是菲利浦·霍尔最先证明的图论定理，又称霍尔定理，描述二分图中，能将一侧全部顶点牵线匹配到另一侧的充要条件。定理另有一个等价的组合叙述，确定一族有限集合在何种充要条件下，可自每个集合各拣选一个元素，而使所选元素两两互异（即没有元素是重复的）。