タットの定理
数学の分科、グラフ理論におけるタットの定理（タットのていり、英: Tutte theorem）とは、完全マッチングを持つグラフの特徴付けを与える定理である。名称はウィリアム・トーマス・タットにちなむ。この定理はホールの定理を2部グラフから任意のグラフへと一般化したものであり、またタット-ベルジュの公式の特殊な場合である。
定理
グラフ G = (V, E) が完全マッチングを持つのは、頂点集合 V の任意の部分集合 U に対し、V − U から誘導される部分グラフの、奇数個の頂点を持つ連結成分の個数が高々 |U| 個であるとき、かつそのときに限る。