数学 › グラフ理論 › マッチング

二重確率行列・置換行列

定義 6.1(「マッチング」§6)

成分がすべて非負の実数で、各行の和と各列の和がすべて 1 である nn 次正方行列を二重確率行列という。{1,…,n}\{1,\dots,n\} の置換 σ\sigma に対し、(i,σ(i))(i,\sigma(i)) 成分が 1 でほかの成分が 0 の行列 PσP_\sigma を置換行列という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。