霍尔婚配定理二部圖中,一側頂點可全部匹配另一側的充要條件 / 维基百科,自由的 encyclopedia 数学上,霍尔婚配定理[注 1](英语:Hall's marriage theorem)是菲利浦·霍尔最先证明[3]的图论定理,又称霍尔定理[4],描述二分图中,能将一侧全部顶点牵线匹配到另一侧的充要条件。定理另有一个等价的组合叙述,确定一族有限集合在何种充要条件下,可自每个集合各拣选一个元素,而使所选元素两两互异(即没有元素是重复的)。
数学上,霍尔婚配定理[注 1](英语:Hall's marriage theorem)是菲利浦·霍尔最先证明[3]的图论定理,又称霍尔定理[4],描述二分图中,能将一侧全部顶点牵线匹配到另一侧的充要条件。定理另有一个等价的组合叙述,确定一族有限集合在何种充要条件下,可自每个集合各拣选一个元素,而使所选元素两两互异(即没有元素是重复的)。