ホールの定理
この定理は組合せ数学における非常に強力な一連の定理の1つである。それらの定理は形式的でない意味で互いに関連しており、いずれかの定理に基づいて別の定理を容易に導ける。これには以下のような定理が含まれる。
König's theorem
Konig-Egervary theorem (1931) (Dénes Kőnig, Jenő Egerváry)
メンガーの定理 (1927)
最大フロー最小カット定理
バーコフ・フォン・ノイマンの定理 (1946)
Dilworth's theorem
特に Dilworth's theorem ⇒ ホールの定理 ⇔ Konig-Egervary theorem ⇔ König's theorem という関係を導く単純な証明が存在する。