「《マトロイド》」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
4行目: 4行目:
  
  
'''(I0)''' <math>\emptyset \in \mathcal I., </math>
+
<math>\mathbf{(I0)} \quad \emptyset \in \mathcal I., </math>
  
'''(I1)''' <math>I\subseteq J \in \mathcal I\Rightarrow I \in \mathcal I.\, </math>
+
<math>\mathbf{(I1)} \quad I\subseteq J \in \mathcal I\Rightarrow I \in \mathcal I.\, </math>
  
'''(I2)''' <math>I,J \in \mathcal I, |I|<|J|\Rightarrow\exists j \in  J \setminus I: I\cup\{j\} \in \mathcal I.\, </math>  
+
<math>\mathbf{(I2)} \quad I,J \in \mathcal I, |I|<|J|\Rightarrow\exists j \in  J \setminus I: I\cup\{j\} \in \mathcal I.\, </math>  
  
  
16行目: 16行目:
  
  
'''(B0)''' <math>\mathcal{B}\neq\emptyset.\, </math>  
+
<math>\mathbf{(B0)} \quad \mathcal{B}\neq\emptyset.\, </math>  
  
'''(B1)''' <math>B,F \in \mathcal{B}, i \in  B\setminus F\Rightarrow\exists j \in  F\setminus B: (B\setminus\{i\})\cup\{j\} \in \mathcal{B}.\, </math>  
+
<math>\mathbf{(B1)} \quad B,F \in \mathcal{B}, i \in  B\setminus F\Rightarrow\exists j \in  F\setminus B: (B\setminus\{i\})\cup\{j\} \in \mathcal{B}.\, </math>  
  
  
24行目: 24行目:
  
  
:<math>\rho(X)=\max\{|I|\mid I\subseteq X,\, I  \in \mathcal I\}  
+
<center><math>\rho(X)=\max\{|I|\mid I\subseteq X,\, I  \in \mathcal I\}  
\quad\quad\quad(X\subseteq N)\, </math>  
+
\quad\quad\quad(X\subseteq N)\, </math>
 +
</center>  
  
  
31行目: 32行目:
  
  
'''(R0)''' <math>\rho(\emptyset)=0\, </math>.  
+
<math>\mathbf{(R0)} \quad \rho(\emptyset)=0\, </math>.  
  
'''(R1)''' <math>\forall X\subseteq N: \rho(X)\leq |X|\, </math>.   
+
<math>\mathbf{(R1)} \quad \forall X\subseteq N: \rho(X)\leq |X|\, </math>.   
  
'''(R2)''' <math>X\subseteq Y \Rightarrow \rho(X)\leq\rho(Y)\, </math>.
+
<math>\mathbf{(R2)} \quad X\subseteq Y \Rightarrow \rho(X)\leq\rho(Y)\, </math>.
  
'''(R3)''' <math>\forall X,Y\subseteq N: \rho(X)+\rho(Y)\geq\rho(X\cap Y)+\rho(X\cup Y)\, </math>.   
+
<math>\mathbf{(R3)} \quad \forall X,Y\subseteq N: \rho(X)+\rho(Y)\geq\rho(X\cap Y)+\rho(X\cup Y)\, </math>.   
  
  
50行目: 51行目:
 
'''横断マトロイド''' 点集合 <math>U\, </math>, <math>V\, </math>, 枝集合 <math>E\, </math> からなる2部グラフ <math>H=(U,V;E)\, </math> を考える. 枝部分集合 <math>M\subseteq E\, </math> で端点を共有しないものを <math>H\, </math> のマッチングという. 点集合 <math>U\, </math> の部分集合で, <math>H\, </math> のマッチングの <math>U\, </math> における端点集合となり得るものの全体を <math>\mathcal I\, </math> とする. このとき, <math>(U,\mathcal I)\, </math> は (I0)-(I2) を満たし, マトロイドになる. このようにして得られるマトロイド <math>(U,\mathcal I)\, </math> を横断マトロイドと呼ぶ.   
 
'''横断マトロイド''' 点集合 <math>U\, </math>, <math>V\, </math>, 枝集合 <math>E\, </math> からなる2部グラフ <math>H=(U,V;E)\, </math> を考える. 枝部分集合 <math>M\subseteq E\, </math> で端点を共有しないものを <math>H\, </math> のマッチングという. 点集合 <math>U\, </math> の部分集合で, <math>H\, </math> のマッチングの <math>U\, </math> における端点集合となり得るものの全体を <math>\mathcal I\, </math> とする. このとき, <math>(U,\mathcal I)\, </math> は (I0)-(I2) を満たし, マトロイドになる. このようにして得られるマトロイド <math>(U,\mathcal I)\, </math> を横断マトロイドと呼ぶ.   
  
 マトロイド <math>\mathbf{M}=(N,\mathcal I)\, </math> の各要素 <math>i \in  N\, </math> に重み <math>w(i)\, </math> が与えられたとき, 以下の様な[[貪欲アルゴリズム]] (greedy algorithm) を適用して最終的に得られる <math>I\, </math> が, 重み最小の基, すなわち, <math>w(B)=\sum\{w(i)\mid i \in  B\}\, </math> を最小にする基 <math>B \in \mathcal{B}\, </math> となる.
+
 マトロイド <math>\mathbf{M}=(N,\mathcal I)\, </math> の各要素 <math>i \in  N\, </math> に重み <math>w(i)\, </math> が与えられたとき, 以下の様な[[貪欲アルゴリズム]] (greedy algorithm) を適用して最終的に得られる <math>I\, </math> が, 重み最小の基, すなわち, <math>\textstyle w(B)=\sum\{w(i)\mid i \in  B\}\, </math> を最小にする基 <math>B \in \mathcal{B}\, </math> となる.
  
  
65行目: 66行目:
  
  
:<math>\max\{|I|\mid I \in \mathcal I^+\cap\mathcal I^-\}=\min\{\rho^+(X)+\rho^-(N-X)\mid X\subseteq N\}\, </math>  
+
<center>
 +
<math>\max\{|I|\mid I \in \mathcal I^+\cap\mathcal I^-\}=\min\{\rho^+(X)+\rho^-(N-X)\mid X\subseteq N\}\, </math>
 +
</center>
  
  

2007年7月16日 (月) 20:30時点における版

【まとろいど (matroid) 】

 マトロイド (matroid) は, 線型空間内のベクトル集合の一次独立・従属といった概念の組合せ論的な側面を抽象化して得られる公理系を満たすものとして定義されている. 有限集合 とその部分集合族 が以下の (I0)-(I2) を満たすとき, はマトロイドと呼ばれる.



マトロイド において, の台集合, 独立集合族 (independent set family) という.部分集合 は, の独立集合と呼ばれる.

 マトロイド の基とは, 極大な独立集合のことである. 公理 (I2) から明らかなように, 基の要素数は全て等しい. この数をマトロイド の階数という. 基の全体を と書き, 基族 (base family) と呼ぶ. 基族 は以下の (B0)-(B1) を満たす.



 マトロイド 階数関数 (rank function) は,



と定義される. 階数関数 は以下の (R0)-(R3) を満たしている.


.

.

.

.


特に, (R3) は 劣モジュラ関数 (submodular function) であることを示している.

 ここでは, (I0)-(I2) によってマトロイドを定義したが, (B0)-(B1) を満たす基族 からマトロイドを定義することもできる. この場合, 独立集合は基の部分集合として定義される. 同様に, (R0)-(R3) を満たす階数関数によってマトロイドを定義することもできる. この場合, 独立集合族は によって定められる.

 離散最適化に現れるマトロイドの代表的な例を以下に挙げる.

グラフ的マトロイド 点集合 , 枝集合 を持つ無向グラフ を考える. 枝集合の部分集合のうち, 閉路を含まないものの全体を とすると, は (I0)-(I2) を満たし, マトロイドになる. このようにして得られるマトロイドをグラフ的マトロイドと呼ぶ.

横断マトロイド 点集合 , , 枝集合 からなる2部グラフ を考える. 枝部分集合 で端点を共有しないものを のマッチングという. 点集合 の部分集合で, のマッチングの における端点集合となり得るものの全体を とする. このとき, は (I0)-(I2) を満たし, マトロイドになる. このようにして得られるマトロイド を横断マトロイドと呼ぶ.

 マトロイド の各要素 に重み が与えられたとき, 以下の様な貪欲アルゴリズム (greedy algorithm) を適用して最終的に得られる が, 重み最小の基, すなわち, を最小にする基 となる.


  • となるまで, 以下を繰り返す.
の中で, 重み最小の要素を とする;
もし であれば,


全く同様のアルゴリズムによって, 重みの最大化も可能である.

 離散最適化におけるマトロイドの重要性は, 貪欲アルゴリズムのみならず, 共通マトロイド問題 (matroid intersection problem) に負うところが大きい. 共通マトロイド問題とは, 台集合を共有するマトロイド における共通独立集合のうちで, 要素数最大のものを求める問題である. この問題の最適値は, の階数関数 の階数関数 を用いて,



と特徴付けられる [1] . 共通マトロイド問題は, 回路理論やシステム解析においても本質的な役割を果たしている [2, 3, 5] .

 マトロイドが, 行列における一次独立性を抽象化して得られたのに対し, 対称行列や歪対称行列の正則主小行列の組合せ的な性質を抽象化したデルタマトロイド (delta-matroid) が提案された. デルタマトロイドは, マトロイドの一般化であり, 貪欲アルゴリズムが適用可能であると同時に, 一般グラフ上のマッチングの端点集合族をも包含する枠組として注目されている.

 また, 多項式行列の小行列式の次数の抽象化として付値マトロイド (valuated matroid) が提案された. 付値マトロイドの研究は, 劣モジュラ関数の凸性に関する理論と結び付いて, 離散凸解析と呼ばれる分野に発展している.



参考文献

[1] J. Edmonds, "Submodular functions, matroids, and certain polyhedra," in Combinatorial Structures and Their Applications, R. Guy, H. Hanani, N. Sauer, and J. Schönheim, eds., Gordon and Breach, 69-87, 1970.

[2] 室田一雄, 「マトロイドとシステム解析」, 藤重悟 編『離散構造とアルゴリズムⅠ』, 近代科学社, 第2章,57-109, 1992.

[3] K. Murota, Matrices and Matroids for Systems Analysis, Springer-Verlag, 1999.

[4] J. G. Oxley, Matroid Theory, Oxford University Press, 1992.

[5] A. Recski, Matroid Theory and Its Applications in Electric Network Theory and in Statics, Springer-Verlag, 1989.

[6] D. J. A. Welsh, Matroid Theory, Academic Press, 1976.