基本分割

【きほんぶんかつ (principal partition)】

有限集合 $N\,$ の部分集合族 ${\mathcal {D}}\,$ が分配束をなすとき, ${\mathcal {D}}\,$ 上の劣モジュラ関数 $f\,$ の最小値を達成する $X\in {\mathcal {D}}\,$ の全体は, ${\mathcal {D}}\,$ の部分分配束をなす. バーコフ(G. Birkhoff)の表現定理より, この部分分配束は $N\,$ の適当な部分集合への分割と各成分間の半順序関係によって表現される. この原理に基づいて, 劣モジュラ関数で記述された離散システムを分解する手法を総称して基本分割と呼ぶ.