霍爾婚配定理 数学上霍爾婚配定理英語Halls marriage theorem是菲利浦霍爾最先證明的圖論定理又稱霍爾定理描述二分图中能將一側全部頂點牽線匹配到另一側的充要條件定理另有一個等價的組合敍述確定一族有限集合在何種充要條件下可自每個集合各揀選一個元素而使所選元素兩兩互異即沒有元素是重復的