《マトロイド》 - 版の履歴

2007年8月6日 (月) 17:06にKuwashimaによる

2007-08-06T17:06:12Z

2007年8月6日 (月) 15:19にTetsuyatominagaによる

2007-08-06T15:19:55Z

Orsjwiki: "《マトロイド》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T13:16:41Z

"《マトロイド》" を保護しました。 [edit=sysop:move=sysop]

2007年7月16日 (月) 11:30に220.104.197.230による

2007-07-16T11:30:48Z

2007年7月6日 (金) 08:26に122.26.167.76による

2007-07-06T08:26:31Z

差分を表示

2007年7月6日 (金) 07:48に122.26.167.76による

2007-07-06T07:48:15Z

差分を表示

2007年7月4日 (水) 07:56に122.26.167.76による

2007-07-04T07:56:55Z

122.26.167.76: 新しいページ: ''''【まとろいど (matroid) 】''' 　マトロイド}{マトロイド}(matroid)は, 線型空間内のベクトル集合の一次独立・従属といった概念の組...'

2007-07-04T07:55:44Z

新しいページ: ''''【まとろいど (matroid) 】''' 　マトロイド}{マトロイド}(matroid)は, 線型空間内のベクトル集合の一次独立・従属といった概念の組...'

新規ページ

'''【まとろいど (matroid) 】'''

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

\item[(I0)] $\emptyset\in\I$.
\item[(I1)] $I\subseteq J\in\I\Rightarrow I\in\I$.
\item[(I2)] $I,J\in\I$, $|I|<|J|\Rightarrow\exists j\in J\del I$: $I\cup\{j\}\in\I$.

マトロイド $\M=(N,\I)$ において, $N$ を $\M$ の台集合, $\I$ を[[独立集合族]] (independent set family) という.部分集合 $I\in\I$ は, $\M$ の独立集合と呼ばれる.
　マトロイド $\M$ の基とは, 極大な独立集合のことである. 公理 (I2) から明らかなように, 基の要素数は全て等しい. この数をマトロイド $\M$ の階数という. 基の全体を$\B$ と書き, $\M$ の[[基族]] (base family) と呼ぶ. 基族 $\B$ は以下の (B0)-(B1) を満たす.

\item[(B0)] $\B\neq\emptyset$.
\item[(B1)] $B,F\in\B$, $i\in B\del F\Rightarrow\exists j\in F\del B$: $(B\del\{i\})\cup\{j\}\in\B$.

　マトロイド $\M$ の[[階数関数]] (rank function) $\rho$ は,

\rho(X)=\max\{|I|\mid I\subseteq X,\, I \in\I\}
\quad\quad\quad(X\subseteq N)

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

\item[(R0)] $\rho(\emptyset)=0$.
\item[(R1)] $\forall X\subseteq N$: $\rho(X)\leq |X|$.
\item[(R2)] $X\subseteq Y \Rightarrow \rho(X)\leq\rho(Y)$.
\item[(R3)] $\forall X,Y\subseteq N$: $\rho(X)+\rho(Y)\geq\rho(X\cap Y)+\rho(X\cup Y)$.

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

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

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

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

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

　マトロイド $\M=(N,\I)$ の各要素 $i\in N$ に重み $w(i)$ が与えられたとき, 以下の様な[[貪欲アルゴリズム]]　(greedy algorithm)　を適用して最終的に得られる $I$ が, 重み最小の基, すなわち, $w(B)=\sum\{w(i)\mid i\in B\}$ を最小にする基 $B\in\B$ となる.

\begin{itemize}
\item $I\leftarrow\emptyset$; $S\leftarrow N$;
\item $S=\emptyset$ となるまで, 以下を繰り返す.
\begin{itemize}
\item $S$ の中で, 重み最小の要素を $j$ とする; $S\leftarrow S-\{j\}$;
\item もし $I\cup\{j\}\in\I$ であれば, $I\leftarrow I\cup \{j\}$.

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

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

$$\max\{|I|\mid I\in\I^+\cap\I^-\}=\min\{\rho^+(X)+\rho^-(N-X)\mid X\subseteq N\}$$

と特徴付けられる [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.

← 古い版		2007年8月6日 (月) 17:06時点における版
95行目:		95行目:

	[7] N.White (ed.) , ''Matroid Applications'', Cambridge University Press, 1992.		[7] N.White (ed.) , ''Matroid Applications'', Cambridge University Press, 1992.
		+
		+
		+	[[Category:グラフ･ネットワーク\|まとろいど]]

← 古い版		2007年8月6日 (月) 15:19時点における版
93行目:		93行目:

	[6] D. J. A. Welsh, ''Matroid Theory'', Academic Press, 1976.		[6] D. J. A. Welsh, ''Matroid Theory'', Academic Press, 1976.
		+
		+	[7] N.White (ed.) , ''Matroid Applications'', Cambridge University Press, 1992.

@@ 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>
@@ 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>\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>

← 古い版		2007年7月4日 (水) 07:56時点における版
1行目:		1行目:
	'''【まとろいど (matroid) 】'''		'''【まとろいど (matroid) 】'''

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

← 古い版	2007年7月19日 (木) 13:16時点における版
(相違点なし)