タットの定理
数学の分科、グラフ理論におけるタットの定理(タットのていり、英: Tutte theorem)とは、完全マッチングを持つグラフの特徴付けを与える定理である。名称はウィリアム・トーマス・タット(英語版)にちなむ。この定理はホールの定理を2部グラフから任意のグラフへと一般化したものであり、またタット-ベルジュの公式(英語版)の特殊な場合である。