「劣モジュラシステム」の版間の差分
ナビゲーションに移動
検索に移動
Albeit-Kun (トーク | 投稿記録) |
|||
| (他の1人の利用者による、間の1版が非表示) | |||
| 2行目: | 2行目: | ||
有限集合 <math>N\,</math> の部分集合族 <math>\mathcal{D}\subseteq 2^{N}\,</math> に関して, <math>\emptyset,N\in \mathcal{D}\,</math> かつ <math>X,Y\in\mathcal{D}\Rightarrow X\cup Y, X\cap Y\in{\mathcal D}\,</math> が成り立つものとする. このとき, <math>{\mathcal D}\,</math> は分配束をなす. 劣モジュラ関数 <math>f:{\mathcal D}\to{\mathbf R}\,</math> が <math>f(\emptyset)=0\,</math> を満たすとき, <math>(\mathcal{D},f)\,</math> を劣モジュラシステムという. | 有限集合 <math>N\,</math> の部分集合族 <math>\mathcal{D}\subseteq 2^{N}\,</math> に関して, <math>\emptyset,N\in \mathcal{D}\,</math> かつ <math>X,Y\in\mathcal{D}\Rightarrow X\cup Y, X\cap Y\in{\mathcal D}\,</math> が成り立つものとする. このとき, <math>{\mathcal D}\,</math> は分配束をなす. 劣モジュラ関数 <math>f:{\mathcal D}\to{\mathbf R}\,</math> が <math>f(\emptyset)=0\,</math> を満たすとき, <math>(\mathcal{D},f)\,</math> を劣モジュラシステムという. | ||
| + | |||
| + | [[Category:グラフ･ネットワーク|れつもじゅらしすてむ]] | ||
2008年11月14日 (金) 09:45時点における最新版
【れつもじゅらしすてむ (submodular system)】
有限集合 の部分集合族 に関して, かつ が成り立つものとする. このとき, は分配束をなす. 劣モジュラ関数 が を満たすとき, を劣モジュラシステムという.
