全ユニモジュラ性

出典: ORWiki

【ぜんゆにもじゅらせい (total unimodularity)】

行列 \boldsymbol{A} \, が全ユニモジュラ行列 (totally unimodular matrix) であるとは, \boldsymbol{A} \, の任意の部分正方行列の行列式が 1,-1 \,, または 0 \, となることである. 全ユニモジュラ性とは, 全ユニモジュラ行列により決定される凸多面体を扱った数学的な特徴づけのことをいう. 全ユニモジュラ行列の例として, 2部グラフの接続行列, 有効グラフの接続行列などがある.