《離散凸解析》 - 版の履歴

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

2007-08-06T17:07:16Z

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

2007-08-06T15:36:44Z

Orsjwiki: "《離散凸解析》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T13:17:20Z

"《離散凸解析》" を保護しました。 [edit=sysop:move=sysop]

2007年7月16日 (月) 12:00に220.104.197.230による

2007-07-16T12:00:49Z

2007年7月6日 (金) 09:52に122.26.167.76による

2007-07-06T09:52:21Z

差分を表示

2007年7月6日 (金) 09:37に122.26.167.76による

2007-07-06T09:37:10Z

差分を表示

122.26.167.76: 新しいページ: ''''【りさんとつかいせき (discrete convex analysis) 】''' 　離散的な集合(例えば整数格子点の集合)の上で定義された関数の構造を，凸解...'

2007-07-04T08:42:35Z

新しいページ: ''''【りさんとつかいせき (discrete convex analysis) 】''' 　離散的な集合(例えば整数格子点の集合)の上で定義された関数の構造を，凸解...'

新規ページ

'''【りさんとつかいせき (discrete convex analysis) 】'''

　離散的な集合(例えば整数格子点の集合)の上で定義された関数の構造を，凸解析 ([6]) とマトロイド理論 ([1, 7, 8]) の両方の視点から考察する方法論を，[[離散凸解析]] (discrete convex analysis) ([4, 5])と呼ぶ．より一般的には，解析的な視点と組合せ論的な視点の両方から「組合せ論的な凸性」という構造を考察する方法論を指す．離散最適化 ([2])，システム解析 ([3])，数理経済学などへの応用がある．

　整数格子点上で定義され整数値をとる関数$f: {\bf Z}\sp{V} \to {\bf Z} \cup \{ \pm\infty \}$を考える($V$は有限集合である)．${{\rm dom\,}} f = \{ x \in {\bf Z}\sp{V} \mid -\infty < f(x) < +\infty \}$を$f$の実効定義域と呼び，以下では，${{\rm dom\,}} f \not= \emptyset$であるような関数だけを考える．$i \in V$に対してその特性ベクトルを$\chi_{i} \ (\in \{ 0,1 \}\sp{V})$ と表わす．ベクトル$x \in {\bf Z}\sp{V}$に対して，${{\rm supp}\sp{+}}(x) = \{ i \in V \mid x_{i} > 0 \}$, ${{\rm supp}\sp{-}}(x) = \{ i \in V \mid x_{i} < 0 \}$とおく．関数$f: {\bf Z}\sp{V} \to {\bf Z} \cup \{ +\infty \}$が交換公理:

\begin{quote}
　任意の $x, y \in {{\rm dom\,}} f$ と任意の $i \in {{\rm supp}\sp{+}}(x-y)$ に対して, ある $j \in {{\rm supp}\sp{-}}(x-y)$ が存在して

f(x)+f(y) \geq f(x-\chi_{i}+\chi_{j}) + f(y+\chi_{i}-\chi_{j})

を満たすとき，[[M凸関数]] (M-convex function) という．M凸関数$f$の実効定義域${{\rm dom\,}} f$は整基多面体(に含まれる整数格子点)である．

　関数$g: {\bf Z}\sp{V} \to {\bf Z} \cup \{ +\infty \}$が2条件:
　
\begin{eqnarray*}
& & g(p) + g(q) \geq g(p \vee q) + g(p \wedge q)
\qquad ( p, q \in {\bf Z}\sp{V}) ,
\\
& & \exists r \in {\bf Z}, \forall p \in {\bf Z}\sp{V}: \
g(p+{\bf 1}) = g(p) + r ,

を満たすとき，[[L凸関数]] (L-convex function) という．ここで，$p \vee q$, $p \wedge q$は，それぞれ，成分毎に最大値, 最小値をとって得られるベクトル(すなわち，$(p \vee q)_{i} = \max(p_{i}, q_{i})$, $(p \wedge q)_{i} = \min(p_{i}, q_{i})$)を表し，${\bf 1}=(1,1,\ldots,1) \in {\bf Z}\sp{V}$である．L凸関数$g$の実効定義域${{\rm dom\,}} g$は$\vee$, $\wedge$に関して${\bf Z}\sp{V}$の部分束を成す．また，正斉次L凸関数は，劣モジュラ集合関数と同一視することができる．

一般に関数$h: {\bf Z}\sp{V} \to {\bf Z} \cup \{ \pm\infty \}$ の凸共役$h\sp{\bullet}$，凹共役$h\sp{\circ}$を

\begin{eqnarray*}
h\sp{\bullet}(p)
&=& \sup\{ \langle p, x \rangle - h(x) \mid x \in {\bf Z}\sp{V} \}
\qquad ( p \in {\bf Z}\sp{V}) ,
\\
h\sp{\circ}(p)
&=& \inf\{ \langle p, x \rangle - h(x) \mid x \in {\bf Z}\sp{V} \}
\qquad ( p \in {\bf Z}\sp{V})
\end{eqnarray*}

と定義する．ここで，$\langle p, x \rangle = \sum_{i \in V} p_{i}x_{i}$である．この対応$h \mapsto h\sp{\bullet}$, $h \mapsto h\sp{\circ}$ を(凸，凹)離散フェンシェル・ルジャンドル(Fenchel--Legendre)変換と呼ぶ．M凸関数とL凸関数は離散フェンシェル・ルジャンドル変換に関して共役関係にあり，対応$f \mapsto f\sp{\bullet}$, $g \mapsto g\sp{\bullet}$はM凸関数$f$とL凸関数$g$の間の１対１対応を与える．すなわち，M凸関数$f$とL凸関数$g$に対して，$f\sp{\bullet}$はL凸関数, $g\sp{\bullet}$はM凸関数で，$(f\sp{\bullet})\sp{\bullet}=f$, $(g\sp{\bullet})\sp{\bullet}=g$が成り立つ(共役性定理)．

　M凸関数やL凸関数に対して，[[離散分離定理]] (discrete separation theorem) や[[フェンシェル型双対定理]] (Fenchel-type duality theorem) に象徴されるような離散双対性が成り立つ．

　M凸関数に関する離散分離定理(M分離定理)を述べる:

\begin{quote}[M分離定理] \ $f: {\bf Z}\sp{V} \to {\bf Z} \cup \{ +\infty \}$ をM凸関数，$g: {\bf Z}\sp{V} \to {\bf Z} \cup \{ -\infty \}$をM凹関数とし, ${{\rm dom\,}} f \cap {{\rm dom\,}} g \not= \emptyset$または${{\rm dom\,}} f\sp{\bullet} \cap {{\rm dom\,}} g\sp{\circ} \not= \emptyset$であると仮定する．このとき, $f(x) \geq g(x)$ $(\forall \ x \in {\bf Z}\sp{V})$ならば, ある$\alpha \in {\bf Z}$, $p \in {\bf Z}\sp{V}$が存在して

f(x) \geq \alpha + \langle p, x \rangle \geq g(x) \qquad (\forall \ x \in {\bf Z}\sp{V})

　が成り立つ($g$がM凹関数とは$-g$がM凸関数のことである)．

ここで，$p$が整数ベクトルに選べることが離散性の反映である．上の主張で，$f$をL凸関数，$g$をL凹関数に置き換えたものも成立する(L分離定理)．L分離定理は，その特殊ケースとして，劣モジュラ集合関数に関するA. Frankの離散分離定理 ([1] 参照) を含んでいる．

　M分離定理とL分離定理は互いに共役の関係にあるが，次に述べるフェンシェル(フェンケル)型双対定理は自己共役の形になっている．

[フェンシェル型双対定理] \ $f: {\bf Z}\sp{V} \to {\bf Z} \cup \{ +\infty \}$ をM凸関数，$g: {\bf Z}\sp{V} \to {\bf Z} \cup \{ -\infty \}$をM凹関数とし, ${{\rm dom\,}} f \cap {{\rm dom\,}} g \not= \emptyset$または${{\rm dom\,}} f\sp{\bullet} \cap {{\rm dom\,}} g\sp{\circ} \not= \emptyset$であると仮定する．このとき,

\inf\{ f(x) - g(x) \mid x \in {\bf Z}\sp{V} \}
= \sup\{ g\sp{\circ}(p) - f\sp{\bullet}(p) \mid p \in {\bf Z}\sp{V} \}

　が成り立つ．さらに，この両辺が有限値なら，$\inf$を達成する$x \in {{\rm dom\,}} f \cap {{\rm dom\,}} g$と$\sup$を達成する$p \in {{\rm dom\,}} f\sp{\bullet} \cap {{\rm dom\,}} g\sp{\circ}$が存在する．
\end{quote}

上の定理は，非線形整数計画に関する強双対性を主張しており，その本質的な部分は，$\inf$と$\sup$をとる範囲をそれぞれ整数ベクトルに限ってよいという主張にある．

　M凸関数，L凸関数に関する種々の問題に対して効率的なアルゴリズムが開発されている．これに関しては [5] の参考文献を参照されたい．

----

'''参考文献'''

[1] S. Fujishige, ''Submodular Functions and Optimization'', North-Holland, 1991.

[2] N. Katoh and T. Ibaraki, "Resource allocation problems," in ''Handbook of Combinatorial Optimization, Vol.2'', D. -Z. Du and P. M. Pardalos, eds., Kluwer, 159-260, 1998.

[3] 室田一雄, 「離散凸解析」, 『応用数理』，'''6''' (1996), 259-269.

[4] K. Murota, Discrete convex analysis, ''Mathematical Programming'', '''83''' (1998), 313-371.

[5] 室田一雄,「離散凸解析」, 藤重悟編『離散構造とアルゴリズムV』, 近代科学社, 第2章，51-100, 1998.

[6] R. T. Rockafellar, ''Convex Analysis'', Princeton University Press, 1970.

[7] D. J. A. Welsh, ''Matroid Theory''，Academic Press, 1976.

[8] N. White, ed., ''Theory of Matroids'', Cambridge University Press, 1986.

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

	[9] N. White, ed., ''Theory of Matroids'', Cambridge University Press, 1986.		[9] N. White, ed., ''Theory of Matroids'', Cambridge University Press, 1986.
		+
		+
		+	[[Category:グラフ･ネットワーク\|りさんとつかいせき]]

@@ 1行目: / 1行目: @@
 '''【りさんとつかいせき (discrete convex analysis) 】'''
-　離散的な集合(例えば整数格子点の集合)の上で定義された関数の構造を，凸解析 ([6]) とマトロイド理論 ([1, 7, 8]) の両方の視点から考察する方法論を，[[離散凸解析]] (discrete convex analysis) ([4, 5])と呼ぶ．より一般的には，解析的な視点と組合せ論的な視点の両方から「組合せ論的な凸性」という構造を考察する方法論を指す．離散最適化 ([2])，システム解析 ([3])，数理経済学などへの応用がある．
+　離散的な集合(例えば整数格子点の集合)の上で定義された関数の構造を，凸解析 ([6]) とマトロイド理論 ([1, 7, 8]) の両方の視点から考察する方法論を，[[離散凸解析]] (discrete convex analysis) ([1, 3, 4, 5])と呼ぶ．より一般的には，解析的な視点と組合せ論的な視点の両方から「組合せ論的な凸性」という構造を考察する方法論を指す．離散最適化 ([2])，システム解析 ([5])，数理経済学 ([5, 7]) などへの応用がある．
 　整数格子点上で定義され整数値をとる関数<math>f: {\mathbf Z}^{V} \to {\mathbf Z} \cup \{ \pm\infty \}\, </math>を考える(<math>V\, </math>は有限集合である)．<math>{{\rm dom\,}} f = \{ x \in {\mathbf Z}^{V} \mid -\infty < f(x) < +\infty \}\, </math>を<math>f\, </math>の実効定義域と呼び，以下では，<math>{{\rm dom\,}} f \not= \emptyset\, </math>であるような関数だけを考える．<math>i \in V\, </math>に対してその特性ベクトルを<math>\chi_{i} \ (\in \{ 0,1 \}^{V})\, </math> と表わす．ベクトル<math>x \in {\mathbf Z}^{V}\, </math>に対して，<math>{{\rm supp}^{+}}(x) = \{ i \in V \mid x_{i} > 0 \}\, </math>, <math>{{\rm supp}^{-}}(x) = \{ i \in V \mid x_{i} < 0 \}\, </math>とおく．関数<math>f: {\mathbf Z}^{V} \to {\mathbf Z} \cup \{ +\infty \}\, </math>が交換公理:
@@ 75行目: / 75行目: @@
 ここで，<math>p\, </math>が整数ベクトルに選べることが離散性の反映である．上の主張で，<math>f\, </math>をL凸関数，<math>g\, </math>をL凹関数に置き換えたものも成立する(L分離定理)．L分離定理は，その特殊ケースとして，劣モジュラ集合関数に関するA. Frankの離散分離定理 ([1] 参照) を含んでいる．
-　M分離定理とL分離定理は互いに共役の関係にあるが，次に述べるフェンシェル(フェンケル)型双対定理は自己共役の形になっている．
+　M分離定理とL分離定理は互いに共役の関係にあるが，次に述べるフェンシェル型双対定理は自己共役の形になっている．
@@ 91行目: / 91行目: @@
 上の定理は，非線形整数計画に関する強双対性を主張しており，その本質的な部分は，<math>\inf\, </math>と<math>\sup\, </math>をとる範囲をそれぞれ整数ベクトルに限ってよいという主張にある．
-　M凸関数，L凸関数に関する種々の問題に対して効率的なアルゴリズムが開発されている．これに関しては [5] の参考文献を参照されたい．
+　M凸関数，L凸関数に関する種々の問題に対して効率的なアルゴリズムが開発されている．これに関しては [4, 5] を参照されたい．
@@ 98行目: / 98行目: @@
 '''参考文献'''
-[1] S. Fujishige, ''Submodular Functions and Optimization'', North-Holland, 1991.
+[1] S. Fujishige, ''Submodular Functions and Optimization'',2nd ed.,  Elsevier, 2005.
 [2] N. Katoh and T. Ibaraki, "Resource allocation problems," in ''Handbook of Combinatorial Optimization, Vol.2'', D. -Z. Du and P. M. Pardalos, eds., Kluwer, 159-260, 1998.
-[3] 室田一雄, 「離散凸解析」, 『応用数理』，'''6''' (1996), 259-269.
+[3] K. Murota, "Discrete convex analysis", ''Mathematical Programming'', '''83''' (1998), 313-371.
-[4] K. Murota, Discrete convex analysis, ''Mathematical Programming'', '''83''' (1998), 313-371.
+[4] 室田一雄, 「離散凸解析」, 『共立出版』，2001.
-[5] 室田一雄,「離散凸解析」, 藤重 悟 編『離散構造とアルゴリズムV』, 近代科学社, 第2章，51-100, 1998.
+[5] K.Murota, ''Discrete Convex Analysis'', SIAM, 2003.
 [6] R. T. Rockafellar, ''Convex Analysis'', Princeton University Press, 1970.
-[7] D. J. A. Welsh, ''Matroid Theory''，Academic Press, 1976.
+[7] A.Tamura, "Applications of discrete convex analysis to mathmatical economics", ''Publ. RIMS'', '''40''' (2004) , 1015-1037.
-[8] N. White, ed., ''Theory of Matroids'', Cambridge University Press, 1986.
+[8] D. J. A. Welsh, ''Matroid Theory''，Academic Press, 1976.

@@ 5行目: / 5行目: @@
 　整数格子点上で定義され整数値をとる関数<math>f: {\mathbf Z}^{V} \to {\mathbf Z} \cup \{ \pm\infty \}\, </math>を考える(<math>V\, </math>は有限集合である)．<math>{{\rm dom\,}} f = \{ x \in {\mathbf Z}^{V} \mid -\infty < f(x) < +\infty \}\, </math>を<math>f\, </math>の実効定義域と呼び，以下では，<math>{{\rm dom\,}} f \not= \emptyset\, </math>であるような関数だけを考える．<math>i \in V\, </math>に対してその特性ベクトルを<math>\chi_{i} \ (\in \{ 0,1 \}^{V})\, </math> と表わす．ベクトル<math>x \in {\mathbf Z}^{V}\, </math>に対して，<math>{{\rm supp}^{+}}(x) = \{ i \in V \mid x_{i} > 0 \}\, </math>, <math>{{\rm supp}^{-}}(x) = \{ i \in V \mid x_{i} < 0 \}\, </math>とおく．関数<math>f: {\mathbf Z}^{V} \to {\mathbf Z} \cup \{ +\infty \}\, </math>が交換公理:
+<center>
-::<math>f(x)+f(y) \geq f(x-\chi_{i}+\chi_{j}) + f(y+\chi_{i}-\chi_{j})\, </math>
+<math>f(x)+f(y) \geq f(x-\chi_{i}+\chi_{j}) + f(y+\chi_{i}-\chi_{j})\, </math>
@@ 16行目: / 22行目: @@
 　関数g:<math> {\mathbf Z}^{V} \to {\mathbf Z} \cup \{ +\infty \}\, </math>が2条件:
-:<math>g(p) + g(q) \geq g(p \vee q) + g(p \wedge q)
 \qquad ( p, q \in {\mathbf Z}^{V})  ,\, </math>
+</td>
-:<math>\exists r \in {\mathbf Z}, \forall p \in {\mathbf Z}^{V}: \
+</tr>
   g(p+{\mathbf 1}) = g(p) + r  ,\, </math>
@@ 28行目: / 42行目: @@
-:<math>\begin{array}{lll}
+<center>
   h^{\bullet}(p)
   &=& \sup\{  \langle p, x \rangle - h(x) \mid x \in {\mathbf Z}^{V} \}
@@ 38行目: / 53行目: @@
 \end{array}
 \, </math>
-と定義する．ここで，<math>\langle p, x \rangle = \sum_{i \in V} p_{i}x_{i}\, </math>である．この対応<math>h \mapsto h^{\bullet}\, </math>, <math>h \mapsto h^{\circ}\, </math> を(凸，凹)離散フェンシェル・ルジャンドル(Fenchel-Legendre)変換と呼ぶ．M凸関数とL凸関数は離散フェンシェル・ルジャンドル変換に関して共役関係にあり，対応<math>f \mapsto f^{\bullet}\, </math>, <math>g \mapsto g^{\bullet}\, </math>はM凸関数<math>f\, </math>とL凸関数<math>g\, </math>の間の１対１対応を与える．すなわち，M凸関数<math>f\, </math>とL凸関数<math>g\, </math>に対して，<math>f^{\bullet}\, </math>はL凸関数, <math>g^{\bullet}\, </math>はM凸関数で，<math>(f^{\bullet})^{\bullet}=f\, </math>, <math>(g^{\bullet})^{\bullet}=g\, </math>が成り立つ(共役性定理)．
+と定義する．ここで，<math>\textstyle \langle p, x \rangle = \sum_{i \in V} p_{i}x_{i}\, </math>である．この対応<math>h \mapsto h^{\bullet}\, </math>, <math>h \mapsto h^{\circ}\, </math> を(凸，凹)離散フェンシェル・ルジャンドル(Fenchel-Legendre)変換と呼ぶ．M凸関数とL凸関数は離散フェンシェル・ルジャンドル変換に関して共役関係にあり，対応<math>f \mapsto f^{\bullet}\, </math>, <math>g \mapsto g^{\bullet}\, </math>はM凸関数<math>f\, </math>とL凸関数<math>g\, </math>の間の１対１対応を与える．すなわち，M凸関数<math>f\, </math>とL凸関数<math>g\, </math>に対して，<math>f^{\bullet}\, </math>はL凸関数, <math>g^{\bullet}\, </math>はM凸関数で，<math>(f^{\bullet})^{\bullet}=f\, </math>, <math>(g^{\bullet})^{\bullet}=g\, </math>が成り立つ(共役性定理)．
 　M凸関数やL凸関数に対して，[[離散分離定理]] (discrete separation theorem) や[[フェンシェル型双対定理]] (Fenchel-type duality theorem) に象徴されるような離散双対性が成り立つ．
@@ 50行目: / 66行目: @@
-:: <math>f(x) \geq \alpha + \langle p, x \rangle  \geq g(x)   \qquad  (\forall \ x \in {\mathbf Z}^{V})\, </math>
+<center>
@@ 63行目: / 81行目: @@
-::<math>\inf\{ f(x) - g(x) \mid x \in {\mathbf Z}^{V}  \}
+<center>
   = \sup\{ g^{\circ}(p) - f^{\bullet}(p) \mid p \in {\mathbf Z}^{V} \}\, </math>

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