「付値マトロイド」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: '【ふちまとろいど (valuated matroid)】 マトロイド ${\bf M}$ の基族 ${\cal B}$上で定義された関数 $\omega$ が以下の (V) を満たすとき, $\omega$...')
 
 
(3人の利用者による、間の3版が非表示)
1行目: 1行目:
−
【ふちまとろいど (valuated matroid)】
+
'''【ふちまとろいど (valuated matroid)】'''
  
−
マトロイド ${\bf M}$ の基族 ${\cal B}$上で定義された関数 $\omega$ が以下の (V) を満たすとき, $\omega$ を ${\bf M}$ の付値といい, $({\bf M},\omega)$ を 付値マトロイドという.  
+
マトロイド <math>{\mathbf M}</math> の基族 <math>{\mathcal B}</math>上で定義された関数 <math>\omega</math> が以下の<math>\mbox{(V)}</math>を満たすとき, <math>\omega</math> を <math>{\mathbf M}</math> の付値といい, <math>({\mathbf M},\omega)</math> を 付値マトロイドという. <br><br><center>
  
−
\[
+
 
−
\begin{array}{l}
+
<math>\begin{array}{l}
−
\mbox{(V)} \quad B, F\in {\cal B},  
+
\mbox{(V)} \quad B, F\in {\mathcal B},  
 
i \in B \backslash F \Rightarrow \exists j \in F \backslash B: \\
 
i \in B \backslash F \Rightarrow \exists j \in F \backslash B: \\
−
\hspace*{10mm} \omega((B\backslash\{i\})\cup\{j\})+\omega((F\cup\{i\})\backslash\{j\}) \\  
+
\qquad  \quad \omega((B\backslash\{i\})\cup\{j\})+\omega((F\cup\{i\})\backslash\{j\}) \\
−
\hspace*{20mm} \geq \omega(B)+\omega(F).  
+
\qquad \qquad \qquad \geq \omega(B)+\omega(F).  
−
\end{array}
+
\end{array}</math>
−
\]
+
</center><br><br>
  
 
マトロイドの付値は, 離散凸解析におけるM凹関数の特殊な場合に相当する.
 
マトロイドの付値は, 離散凸解析におけるM凹関数の特殊な場合に相当する.
 +
 +
[[Category:グラフ･ネットワーク|ふちまとろいど]]

2008年11月13日 (木) 15:39時点における最新版

【ふちまとろいど (valuated matroid)】

マトロイド の基族 上で定義された関数 が以下のを満たすとき, を の付値といい, を 付値マトロイドという.




マトロイドの付値は, 離散凸解析におけるM凹関数の特殊な場合に相当する.

「https://orsj-ml.org/orwiki/wiki/index.php?title=付値マトロイド&oldid=10930」から取得