タットの定理

数学の分科、グラフ理論におけるタットの定理（タットのていり、）とは、完全マッチングを持つグラフの特徴付けを与える定理である。名称はにちなむ。この定理はホールの定理を2部グラフから任意のグラフへと一般化したものであり、またの特殊な場合である。

定理 
グラフ  が完全マッチングを持つのは、頂点集合  の任意の部分集合  に対し、 から誘導される部分グラフの、奇数個の頂点を持つ連結成分の個数が高々  個であるとき、かつそのときに限る。

証明
条件を以下のように書く。

ここで  は  から誘導される部分グラフの、奇数個の頂点を持つ連結成分の個数を表す。

(∗)の必要性： グラフ  に完全マッチングがあるとする。 を  の任意の部分集合として、グラフから  を除く。 を 誘導部分グラフ  の任意の奇頂点連結成分とする。 は完全マッチングを持つから、 にはそのマッチングにおいて  の要素と接続されていた頂点が少なくとも1つは存在する。

この対応付けによって  の奇頂点連結成分全体から  への写像が定まるが、これはマッチングの完全性より単射である。よって 。

(∗)の十分性： 完全マッチングを持たないグラフ  を任意にとる。このとき  を満たす  の部分集合  （以下これを「悪い」頂点部分集合と呼ぶ）が必ず存在する。ここで、

 もし  の頂点数  が奇数であるとすれば、 には少なくとも1個以上の奇頂点連結成分が存在するから、空集合  が悪い頂点部分集合になる。よって以下、頂点は偶数個であると仮定してよい。このとき   と  の偶奇性は常に一致する。
 さらに、 は辺極大（edge-maximal）である、つまり  に存在しないような任意の2頂点間の接続  について、 が完全マッチングを持つようになると仮定してよい。
なぜなら、グラフ  の悪い頂点部分集合  は、 の任意の全域部分グラフ（spanning subgraph, 部分グラフであって元のグラフと頂点集合が一致するもの）の悪い頂点部分集合でもあるからである（奇頂点連結成分から辺を取り去ることでいくつかの連結成分に分裂したとすると、そのうち少なくとも1つの連結成分は頂点が奇数個でなければならない）。

 を、次数が  である頂点の集合（自分自身以外の全ての頂点と接続されているような頂点全体）と定義する。これが悪い頂点部分集合になることを以下場合分けして証明する。

  の全ての連結成分が完全グラフになる場合、 は悪い頂点部分集合である。なぜならもし  だとすると、各奇頂点連結成分と  の頂点とを結ぶ辺の集合と、それ以外の全ての頂点を余さず二人一組にするような辺集合の和集合が完全マッチングになるからである。

 そうでない場合は、実はあり得ない。そのことを背理法で示す。

 のある連結成分  が完全グラフではないとする。このとき  となる2頂点  が選べる。 を、 内で  を結ぶ最短経路の最初の3頂点だとする。すると  かつ  である。 だから、であるような頂点  が存在する。 の辺極大性より  の完全マッチング  、  の完全マッチング  がとれる。 自身は完全マッチングを持たないと仮定しているのだから、 かつ  である。

  を、頂点  から始まり、まず  に属す辺、次は  に属す辺、と交互にたどっていく  の極大経路（この条件を守りながらではそれよりも延ばすことができない経路）とする。この経路の終端の状況について考察する。

経路  は、「特別」な頂点である  のいずれかに到達しない限り、必ずそれより長く延ばすことができる。なぜなら、頂点  がマッチング  では辺  により接続されていることから、  の最初の辺は  に属さない。よって  の次の頂点はマッチング  では  とは異なる頂点と接続されている。この辺はマッチング  には属さないから、第3の頂点は  とも第2の頂点とも異なる。以下、特別な頂点に到達しない限り全く同様の延長を繰り返すことができる。

 を経路  の最後の頂点とする。もし経路  の最後の辺が  に属しているとすると、 は  でなくてはいけない。なぜなら、さもなければ  から辺を選んで経路を延長できるからである（それにより  または  に達するかもしれない）。この場合、 と定義する。

もし経路  の最後の辺が  に属しているとすると、この辺は  と隣接していないから、 でなければならない。この場合、  と定義する。

このとき  は  の偶数長の閉路で、 の元が1本おきに現れる辺集合となっている。よって  （ は対称差）と定義したものは  の完全マッチングになる。これは  は完全マッチングを持たないとしていた仮定に反する。

関連項目 
 ホールの定理
 ピーターセンの定理

脚注

参考文献
 
 

グラフ理論
数学に関する記事