タット行列

グラフ理論において、グラフ"G" = ("V", "E") のタット行列（タットぎょうれつ、）"A"は、完全マッチング、すなわち、それぞれの頂点と厳密に一度接続する辺の集合の存在を決定するために使われる行列である。
頂点の集合をformula_1とすると、タット行列は成分
を持つ"n" × "n"行列"A"である。上式において"x""ij"は不定元である。この歪対称行列の行列式は多項式である（"xij"、"i < j"において）: これは行列"A"のパフィアンの二乗と一致し、完全マッチングが存在する時かつその時に限り（多項式として）非ゼロである（この多項式は"G"のではない）。
タット行列はに因んで命名され、釣り合い型2部グラフについてのの一般化である。