「ポリマトロイド」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: '【ぽりまとろいど (polymatroid)】 有限集合 $N$ と以下の条件 (P0)--(P2) を満たす関数 $\rho:2^N\to{\bf R}$ の組 $(N,\rho)$ をポリマトロイドと...') |
|||
1行目: | 1行目: | ||
【ぽりまとろいど (polymatroid)】 | 【ぽりまとろいど (polymatroid)】 | ||
− | 有限集合 | + | 有限集合 <math>N\,</math> と以下の条件 (P0)--(P2) を満たす関数 <math>\rho:2^N\to{\mathbf R}\,</math> の組 <math>(N,\rho)\,</math> をポリマトロイドという. <br> |
− | + | (P0) <math>\rho(\emptyset)=0\,</math>. <br> | |
− | + | (P1) <math>X\subseteq Y \Rightarrow \rho(X)\leq\rho(Y)\,</math>. <br> | |
− | + | (P2) <math>\forall X,Y\subseteq N\,</math>: <math>\rho(X)+\rho(Y)\geq\rho(X\cap Y)+\rho(X\cup Y)\,</math>. | |
− |
2007年7月14日 (土) 15:39時点における版
【ぽりまとろいど (polymatroid)】
有限集合 と以下の条件 (P0)--(P2) を満たす関数 の組 をポリマトロイドという.
(P0) .
(P1) .
(P2) : .