Hallの結婚定理とその証明

Hall(ホール)の結婚定理:頂点集合が U,VU,\:V と分割された二部グラフ GG に対して,以下は同値。

条件1:UU の頂点を全てカバーするマッチングが存在する

条件2(Hallの条件):任意の UU の部分集合 AA に対して,AΓ(A)|A|\leq |\Gamma(A)|

ただし,Γ(A)\Gamma(A)AA と辺でつながっている頂点の集合。

ホールの定理,結婚定理とも。グラフ理論の言葉で書くと一見分かりにくいですが,意味が理解できると非常に面白い定理です。

マッチングとは

まず,条件1を理解するためにマッチングについて説明します。

(追記:二部グラフの最大マッチングと増加道

マッチングとは端点がかぶらないように辺をいくつか取ってきたものです。また,マッチングの端点に属する頂点を「マッチングでカバーされている」と言います。

Hallの定理

例えば,図では緑の辺がマッチングの一例です。頂点集合 UU の中で上三つはカバーされていますが,一番下はカバーされていません。 VV は全てカバーされています。

UU の各頂点を男性,VV の各頂点を女性,男性 aa が女性 bb とお互いに結婚してもよいと思うとき (a,b)(a,b) に辺を引いたグラフを考えてみます。このときマッチングは結婚成立の一例を表しています。

すなわち条件1は, 「うまいマッチングを選べば男がみんな結婚できる」という条件になります。

結婚条件(Hallの条件)について

次は条件2について説明します。 UU の部分集合 AA に対して,Γ(A)\Gamma(A) とは AA と辺でつながっている頂点の集合で,VV の部分集合です。

例えば,図において Γ{2}={7},Γ{1,2,3}={5,7}\Gamma\{2\}=\{7\},\:\Gamma\{1,2,3\}=\{5,7\} などです。

ホールの定理

日本語で言うと,男を適当に何人か選んだとき,その男たちと結婚しうる女性を寄せ集めてきた集合です。

すなわち条件2は 「男を適当に何人か選んでくると,その男たちと結婚しうる女性の人数の方が多い」という条件になります。

例えば,図では A={1,2,3}A=\{1,2,3\} とすると A=3>2=Γ(A)|A| =3 > 2= |\Gamma (A)| となっているのでHallの条件を満たしていません。これでは {1,2,3}\{1,2,3\} の誰かは明らかに結婚できません。

ここまで理解できればHallの定理における「条件1→条件2」は簡単に証明できます。

証明

対偶を示す。条件2が成立しないとき,ある UU の部分集合 AA が存在して,A>Γ(A)|A| > |\Gamma(A)| となる。

よって,AA をカバーするようなマッチングは存在せず,条件1は成り立たない。

つまり,Hallの条件は UU をカバーするマッチングが存在するための必要条件というわけです。実はこれが十分条件にもなっているというのがHallの結婚定理の偉大なところです。驚きですね!

Hallの結婚定理の証明

それではいよいよ難しい方:「条件2→条件1」を帰納法で証明します。少し長いですが見かけほど難しくありません。

証明

U|U| に関する帰納法で証明する。 U=1|U|=1 のときは自明。

Uk|U|\leq k のときにHallの結婚定理が成立すると仮定する。 U=k+1|U|=k+1 でありHallの条件を満たすグラフ GG でを考える。以下二通りに場合分け。

UU の任意の真部分集合 AA に対して A+1Γ(A)|A|+1\leq |\Gamma(A)| となる場合。

このときは余裕があるので,適当に辺 (u,v)(u,v) を一本選べばよい。そして,頂点 uuvv を除いた二部グラフ G(U,V)G'(U',V') を考えると,GG' においてもHallの条件を満たしている。よって,帰納法の仮定により UU' をカバーするマッチング MM が存在する。全体のマッチングとして MM(u,v)(u,v) の和集合を持ってくればよい。

A=Γ(A)|A|=|\Gamma(A)| を満たす UU の真部分集合 AA が存在する場合。

AAΓ(A)\Gamma(A) から構成される二部グラフ」がHallの条件を満たしていることと,帰納法の仮定により,頂点 AA をカバーするマッチング M1M_1 が存在する。そして,そのマッチングは AAΓ(A)\Gamma(A) の間の完全マッチング(全頂点をカバーするマッチング)である。

よって,残ったグラフ G(U,V)G'(U',V')UU' をカバーするマッチング M2M_2 が存在することを証明すればよい。

ホールの結婚定理の証明

ここで,UU' の部分集合 BB を考えてみると,GG がHallの条件を満たしていることから ABΓ(AB)|A\cup B|\leq |\Gamma(A\cup B)| である。よって,ABA\cup B の行き先で Γ(A)\Gamma(A) に属さないものが少なくとも B|B| 個は存在する。それらは AA とはつながっていないので,全て BB とつながっている。すなわち,Γ(B)B|\Gamma (B)|\geq |B| 。よって. GG' もHallの条件を満たすので帰納法の仮定により UU' をカバーするマッチング M2M_2 が存在する。

ちなみに,マッチングは二部グラフ以外の一般のグラフでも考えることができます。一般グラフではHallの定理の拡張としてTutteの定理というものがあります。

マッチングの理論は非常に美しいです。最高です。