才不过几天,初出茅庐的米尔诺就给出了自己的解答。匈牙利数学家伊斯特凡·法利(英语:István Fáry)差不多同时发现了类似的解法。这就是后来的法利-米尔诺定理(英语:Fary–Milnor theorem)。 Milnor, John W. Morse theory. Annals of Mathematics
数学上,霍爾婚配定理(英語:Hall's marriage theorem)是菲利浦·霍爾最先證明的圖論定理,又稱霍爾定理,描述二分图中,能將一側全部頂點牽線匹配到另一側的充要條件。定理另有一個等價的組合敍述,確定一族有限集合在何種充要條件下,可自每個集合各揀選一個元素,而使所選元素兩兩互異(即沒有元素是重復的)。 設 S {\displaystyle