大域的最適化 - 版の履歴

Imahori: 基礎編と用語編のマージ

2008-03-13T13:46:40Z

基礎編と用語編のマージ

2007年8月8日 (水) 11:30にKanda.kによる

2007-08-08T11:30:58Z

Orsjwiki: "大域的最適化" を保護しました。 [edit=sysop:move=sysop]

2007-07-20T02:10:45Z

"大域的最適化" を保護しました。 [edit=sysop:move=sysop]

2007年7月17日 (火) 06:04に122.17.2.240による

2007-07-17T06:04:50Z

2007年7月13日 (金) 16:19に124.144.188.143による

2007-07-13T16:19:56Z

122.17.2.240: ページの置換: ''''【たいいきてきさいてきか (global optimization)】''' 最適化問題: \[ \mbox{min.\ } f(\x) \quad \mbox{s.t.\ } \x \in D \] において$f$か$D$の一方, 縺...'

2007-07-13T04:41:55Z

ページの置換: ''''【たいいきてきさいてきか (global optimization)】''' 最適化問題: \[ \mbox{min.\ } f(\x) \quad \mbox{s.t.\ } \x \in D \] において$f$か$D$の一方, 縺...'

2007年7月3日 (火) 07:13にOrsjwikiによる

2007-07-03T07:13:06Z

2007年7月3日 (火) 05:24にOrsjwikiによる

2007-07-03T05:24:35Z

2007年7月3日 (火) 04:51にOrsjwikiによる

2007-07-03T04:51:36Z

差分を表示

Orsjwiki: 新しいページ: ''''【たいいきてきさいてきか (global optimization)】''' 　ユークリッド空間$\R^n$上で定義された連続な実数値関数$f$を目的関数とし...'

2007-06-29T05:54:42Z

新しいページ: ''''【たいいきてきさいてきか (global optimization)】''' 　ユークリッド空間$\R^n$上で定義された連続な実数値関数$f$を目的関数とし...'

新規ページ

'''【たいいきてきさいてきか (global optimization)】'''

　ユークリッド空間$\R^n$上で定義された連続な実数値関数$f$を[[目的関数]]とし，$\R^n$の閉部分集合$D$を[[実行可能集合]]とする[[最適化問題]]:

\begin{array}{ll}
\mbox{min.} & f(\x) \\
\mbox{s. t.} & \x := (x_1, \ldots, x_n) \in D,
\end{array}

の[[大域的最適解]]，つまり

f(\x^*) \leq f(\x), \quad \forall\, \x \in D,

を満足する$\x^* \in D$を求める方法を[[大域的最適化]]という．目的関数$f$と実行可能集合$D$が共に凸性を満たす[[凸計画問題]]であれば，局所的な最適化によって$\x^*$を求めることができる．また，凸性を満たさなくとも，[[分数計画問題]](fractional programming problem)や[[幾何計画問題]](geometric programming problem)の一部は任意の[[局所的最適解]]で大域的にも最適となる．したがって，大域的最適化が本質的な意味をもつのは，値が異なる複数の局所的最適解をもつ[[非凸計画問題]]に対してであり，これを多極値大域的最適化問題(multiextremal global optimization problem)と呼ぶ．例えば，$f$が凹関数で$D$が凸多面体の凹最小化問題(concave minimization problem)の場合，局所的最適解は一般に$D$の複数の端点に現われる．しかし，端点の数は膨大であり，その中から大域的に最適なものを見つけだすのは容易な作業でない．実際，この単純な例でさえ最悪計算量の上では[[NP困難]]であることが知られている．そのため，現段階で一般の多極値大域的最適化問題を解決する有効な手段はなく，[[モンテカルロ法]](Monte Carlo method)などのヒューリスティクスが唯一現実的なアプローチとなっている [2]．

　このように困難な問題クラスではあるが，個々の問題の中には，その構造を利用することで現実的な計算時間のうちに大域的最適解の求められるものも少なくない [1]．その代表例が，実は上にも述べた凹最小化問題である:

\begin{array}{ll}
\mbox{min.} & f(\x) \\
\mbox{s. t.} & \x \in D := \{\x \in \R^n \mid \A \x \geq \b\}.
\end{array}

ここで，$\A$は$m \times n$行列で$\b$は$m$次ベクトル，$f$は凹関数(concave function)，つまり$-f$が[[凸関数]]である．この非凸計画問題を大域的に最適化するアルゴリズムとして，凹性カット法(concavity-cut method)，外部近似法(outer approximation method)，[[分枝限定法]](branch-and-bound method)などがある [3]．

　凹性カット法は，以下の操作を繰り返し，$D$から大域的最適解以外の実行可能解をすべて除去しようとする方法である．局所的最適解を与える$D$の端点$\x'$を見つけ，$\x'$から出る$n$本の稜線ベクトル$\u^1$, \ldots, $\u^n$と，それまでに得られた最も小さな目的関数値$f^\circ$によって集合

V := \{\x' + \theta_i \u^i \mid \theta_i \geq 0,\; i = 1, \ldots, n\} \cap
\{\x \in \R^n \mid f(\x) = f^\circ\}

を定義する．端点$\x'$における$f$の値が$f^\circ$よりも悪ければ，$V$は丁度$n$個の点から構成されるが，それらを通る$n$次元超平面によって$\x'$と一緒に見込のない実行可能解も$D$から切除する．目的関数$f$が2次の凹関数である[[双線形計画問題]] (bilinear programming problem)に対しては，より大きな領域を切除する方法も考案されている．

　外部近似法も超平面による切除を行うが，凹性カット法と違って1つの実行可能解も失わない．まず，$D$を$n$次元単体や矩形などの単純な凸多面体$S \supseteq D$で近似し，$f$を$S$上で最小化する．これも凹最小化問題であるが，$S$は端点の数が少ないので，それらの列挙で最小点$\x'$は比較的容易に求められる．この$\x'$が満たさない$D$の制約式の1つ$\a_i^{\T} \x \geq b_i$を選び，$S$を

S' := S \cap \{\x \in \R^n \mid \a_i^{\T} \x \geq b_i\}

に更新して$\x'$と共に実行不可能な領域を切除する．実行可能集合$D$が$S$の部分集合なので$f(\x')$は大域的最適値の下界値を与えるが，以上の操作を繰り返して $\x' \in D$となれば，$\x'$が大域的最適解である．

　分枝限定法には多くのバリエーションが存在するが，最も効力を発揮するのは目的関数$f$が分離可能な場合である:

f(\x) := \sum_{j=1}^n f_j(x_j).

ただし，$f_j$はすべて凹関数である．実行可能集合$D$を含む矩形$M := \{\x \in \R^n \mid l_j \leq x_j \leq u_j,\; j = 1, \ldots, n\}$を定義し，これを複数の小さな矩形

M^k := \{\x \in \R^n \mid l_j^k \leq x_j \leq u_j^k\}, \quad
k = 1, \ldots, K,

に分割していく．基本となる操作は，[[組合せ最適化問題]]に使われる分枝限定法と同様で，まず $M^k$ を選んで

\begin{description}
\item[限定操作\ ] $D \cap M^k$上における$f$の下界値$f'$を計算し，その値がそれまでに得られた最も
小さな目的関数値$f^\circ$以上ならば$M^k$を考察の対象から外す;
\item[分枝操作\ ] $f' < f^\circ$ならば，$M^k$を2つの矩形 $M^{k_1}$,
$M^{k_2}$に分割する
\end{description}

を繰り返す．効率の鍵を握る下界値$f'$には，通常$(l_j^k, f_j(l_j^k))$と$(u_j^k, f_j(u_j^k))$を通るアフィン関数

g_j(x_j) := \frac{f(u_j^k) - f(l_j^k)}{u_j^k - l_j^k} x_j +
\frac{u_j^k f(l_j^k) - l_j^k f(u_j^k)}{u_j^k - l_j^k},
\quad j = 1, \ldots, n,

を定義し，その和$g(\x) := \sum_{j=1}^n g_j(x_j)$の$D \cap M^k$上における最小値が用いられる．関数$g$は$M^k$上における$f$の最も大きな下界値を与える凸関数で，凸包絡関数 (convex envelope function)と呼ばれる．しかし，アフィン関数であるので[[単体法]]や[[内点法]]を使って容易に最小値$f'$を計算することができる．

　[[DC計画問題]](d.c. programming problem)や[[逆凸計画問題]](reverse convex programming problem)などのより一般的な多極値大域的最適化問題も，凹最小化問題を逐次解くことで処理することができる [2, 3]．

----
'''参考文献'''

[1] H. Konno, P.T. Thach and H. Tuy, ''Optimization on Low Rank Nonconvex Structures'', Kluwer Academic Publishers, 1997.

[2] R. Horst and P.M. Pardalos (eds.), ''Handbook of Global Optimization'', Kluwer Academic Publishers, 1995.

[3] R. Horst and H. Tuy, ''Global Optimization - Deterministic Approaches,'' 3rd ed., Springer-Verlag, 1996.

@@ 1行目: / 1行目: @@
 '''【たいいきてきさいてきか (global optimization)】'''
 最適化問題:
@@ 22行目: / 23行目: @@
 を満たす実行可能解 <math>\boldsymbol{x}^* \,</math>を求めることをいう.
-詳しくは[[《大域的最適化》|基礎編：大域的最適化]]を参照.
+=== 詳説 ===

← 古い版		2007年8月8日 (水) 11:30時点における版
21行目:		21行目:

	を満たす実行可能解 <math>\boldsymbol{x}^* \,</math>を求めることをいう.		を満たす実行可能解 <math>\boldsymbol{x}^* \,</math>を求めることをいう.
		+
		+	詳しくは[[《大域的最適化》\|基礎編：大域的最適化]]を参照.

@@ 3行目: / 3行目: @@
 最適化問題:
 <math>
-	\mbox{min.}\ f(\mathbf{x}) \quad \mbox{s.t.}\ \mathbf{x} \in D
+\mbox{min.}\ f(\boldsymbol{x}) \quad \mbox{s.t.}\ \boldsymbol{x} \in D
 \,</math>
 において <math>f \,</math>か <math>D \,</math>の一方, あるいは両方が凸でなければ, 一般に値の異なる複数の局所的最適解が存在する. その中から大域的最適解, つまり
 <math>
-	f(\mathbf{x}^*) \leq f(\mathbf{x}), \quad \mathbf{x} \in D
+f(\boldsymbol{x}^*) \leq f(\boldsymbol{x}), \quad \boldsymbol{x} \in D
 \,</math>
-を満たす実行可能解 <math>\mathbf{x}^* \,</math>を求めることをいう.
+を満たす実行可能解 <math>\boldsymbol{x}^* \,</math>を求めることをいう.

@@ 2行目: / 2行目: @@
 最適化問題:
-\[
-	\mbox{min.\ } f(\x) \quad \mbox{s.t.\ } \x \in D
+<math>
-\]
+	\mbox{min.}\ f(\mathbf{x}) \quad \mbox{s.t.}\ \mathbf{x} \in D
-において$f$か$D$の一方, あるいは両方が凸でなければ, 一般に値の異なる複数の局所的最適解が存在する. その中から大域的最適解, つまり
+\,</math>
-\[
-	f(\x^*) \leq f(\x), \quad \x \in D
+において <math>f \,</math>か <math>D \,</math>の一方, あるいは両方が凸でなければ, 一般に値の異なる複数の局所的最適解が存在する. その中から大域的最適解, つまり
-\]
-を満たす実行可能解$\x^*$を求めることをいう.
+<math>

@@ 1行目: / 1行目: @@
 '''【たいいきてきさいてきか (global optimization)】'''
-　ユークリッド空間<math>\mathbf{R}^n\, </math>上で定義された連続な実数値関数<math>f\, </math>を[[目的関数]]とし，<math>\mathbf{R}^n\, </math>の閉部分集合<math>D\, </math>を[[実行可能集合]]とする[[最適化問題]]:
+最適化問題:
+\[
+	\mbox{min.\ } f(\x) \quad \mbox{s.t.\ } \x \in D
-:<math>\begin{array}{ll}
+\]
-\mbox{min.} & f (\boldsymbol{x})\\
+において$f$か$D$の一方, あるいは両方が凸でなければ, 一般に値の異なる複数の局所的最適解が存在する. その中から大域的最適解, つまり
-\mbox{s. t.} & \boldsymbol{x} := (x_1, \ldots, x_n) \in D,
+\[
-\end{array}\, </math>
+	f(\x^*) \leq f(\x), \quad \x \in D
 \]
+を満たす実行可能解$\x^*$を求めることをいう.

← 古い版	2007年7月20日 (金) 02:10時点における版
(相違点なし)

@@ 5行目: / 5行目: @@
 :<math>\begin{array}{ll}
-\mbox{min.} & f({x}) \\
+\mbox{min.} & f (\boldsymbol{x})\\
-\mbox{s. t.} & x := (x_1, \ldots, x_n) \in D,
+\mbox{s. t.} & \boldsymbol{x} := (x_1, \ldots, x_n) \in D,
 \end{array}\, </math>
@@ 13行目: / 13行目: @@
-:<math>f(x^*) \leq f(x), \quad \forall\, x \in D,\, </math>
+:<math>f(\boldsymbol{x}^*) \leq f(\boldsymbol{x}), \quad \forall\, \boldsymbol{x} \in D,\, </math>
-を満足する<math>x^* \in D\, </math>を求める方法を[[大域的最適化]]という．目的関数<math>f\, </math>と実行可能集合<math>D\, </math>が共に凸性を満たす[[凸計画問題]]であれば，局所的な最適化によって<math>x^*\, </math>を求めることができる．また，凸性を満たさなくとも，[[分数計画問題]](fractional programming problem)や[[幾何計画問題]](geometric programming problem)の一部は任意の[[局所的最適解]]で大域的にも最適となる．したがって，大域的最適化が本質的な意味をもつのは，値が異なる複数の局所的最適解をもつ[[非凸計画問題]]に対してであり，これを多極値大域的最適化問題(multiextremal global optimization problem)と呼ぶ．例えば，<math>f\, </math>が凹関数で<math>D\, </math>が凸多面体の凹最小化問題(concave minimization problem)の場合，局所的最適解は一般に<math>D\, </math>の複数の端点に現われる．しかし，端点の数は膨大であり，その中から大域的に最適なものを見つけだすのは容易な作業でない．実際，この単純な例でさえ最悪計算量の上では[[NP困難]]であることが知られている．そのため，現段階で一般の多極値大域的最適化問題を解決する有効な手段はなく，[[モンテカルロ法]](Monte Carlo method)などのヒューリスティクスが唯一現実的なアプローチとなっている [2]．
+を満足する<math>\boldsymbol{x}^* \in D\, </math>を求める方法を[[大域的最適化]]という．目的関数<math>f\, </math>と実行可能集合<math>D\, </math>が共に凸性を満たす[[凸計画問題]]であれば，局所的な最適化によって<math>\boldsymbol{x}^*\, </math>を求めることができる．また，凸性を満たさなくとも，[[分数計画問題]](fractional programming problem)や[[幾何計画問題]](geometric programming problem)の一部は任意の[[局所的最適解]]で大域的にも最適となる．したがって，大域的最適化が本質的な意味をもつのは，値が異なる複数の局所的最適解をもつ[[非凸計画問題]]に対してであり，これを多極値大域的最適化問題(multiextremal global optimization problem)と呼ぶ．例えば，<math>f\, </math>が凹関数で<math>D\, </math>が凸多面体の凹最小化問題(concave minimization problem)の場合，局所的最適解は一般に<math>D\, </math>の複数の端点に現われる．しかし，端点の数は膨大であり，その中から大域的に最適なものを見つけだすのは容易な作業でない．実際，この単純な例でさえ最悪計算量の上では[[NP困難]]であることが知られている．そのため，現段階で一般の多極値大域的最適化問題を解決する有効な手段はなく，[[モンテカルロ法]](Monte Carlo method)などのヒューリスティクスが唯一現実的なアプローチとなっている [2]．
 　このように困難な問題クラスではあるが，個々の問題の中には，その構造を利用することで現実的な計算時間のうちに大域的最適解の求められるものも少なくない [1]．その代表例が，実は上にも述べた凹最小化問題である:
@@ 22行目: / 22行目: @@
 :<math>\begin{array}{ll}
-\mbox{min.} & f(x) \\
+\mbox{min.} & f(\boldsymbol{x}) \\
-\mbox{s. t.} & x \in D := \{x \in \mathbf{R}^n \mid \mbox{A} x \geq b\}.
+\mbox{s. t.} & \boldsymbol{x} \in D := \{\boldsymbol{x} \in \mathbf{R}^n \mid \mbox{A} \boldsymbol{x} \geq \boldsymbol{b}\}.
 \end{array}\, </math>
-ここで，<math>\mbox{A}\, </math>は<math>m \times n\, </math>行列で<math>b\, </math>は<math>m\, </math>次ベクトル，<math>f\, </math>は凹関数(concave function)，つまり<math>-f\, </math>が[[凸関数]]である．この非凸計画問題を大域的に最適化するアルゴリズムとして，凹性カット法(concavity-cut method)，外部近似法(outer approximation method)，[[分枝限定法]](branch-and-bound method)などがある [3]．
+ここで，<math>\mbox{A}\, </math>は<math>m \times n\, </math>行列で<math>\boldsymbol{b}\, </math>は<math>m\, </math>次ベクトル，<math>f\, </math>は凹関数(concave function)，つまり<math>-f\, </math>が[[凸関数]]である．この非凸計画問題を大域的に最適化するアルゴリズムとして，凹性カット法(concavity-cut method)，外部近似法(outer approximation method)，[[分枝限定法]](branch-and-bound method)などがある [3]．
-　凹性カット法は，以下の操作を繰り返し，<math>D\, </math>から大域的最適解以外の実行可能解をすべて除去しようとする方法である．局所的最適解を与える<math>D\, </math>の端点<math>x'\, </math>を見つけ，<math>x'\, </math>から出る<math>n\, </math>本の稜線ベクトル<math>u^1, \ldots, u^n\, </math>と，それまでに得られた最も小さな目的関数値<math>f^\circ\, </math>によって集合
+　凹性カット法は，以下の操作を繰り返し，<math>D\, </math>から大域的最適解以外の実行可能解をすべて除去しようとする方法である．局所的最適解を与える<math>D\, </math>の端点<math>\boldsymbol{x}'\, </math>を見つけ，<math>\boldsymbol{x}'\, </math>から出る<math>n\, </math>本の稜線ベクトル<math>\boldsymbol{u}^1, \ldots, \boldsymbol{u}^n\, </math>と，それまでに得られた最も小さな目的関数値<math>f^\circ\, </math>によって集合
-:<math>V := \{x' + \theta_i u^i \mid \theta_i \geq 0,\;  i = 1, \ldots, n\} \cap
+:<math>V := \{\boldsymbol{x}' + \theta_i \boldsymbol{u}^i \mid \theta_i \geq 0,\;  i = 1, \ldots, n\} \cap
-\{x \in \mathbf{R}^n \mid f(x) = f^\circ\}\, </math>
+\{\boldsymbol{x} \in \mathbf{R}^n \mid f(\boldsymbol{x}) = f^\circ\}\, </math>
-を定義する．端点<math>x'\, </math>における<math>f\, </math>の値が<math>f^\circ\, </math>よりも悪ければ，<math>V\, </math>は丁度<math>n\, </math>個の点から構成されるが，それらを通る<math>n\, </math>次元超平面によって<math>x'\, </math>と一緒に見込のない実行可能解も<math>D\, </math>から切除する．目的関数<math>f\, </math>が2次の凹関数である[[双線形計画問題]] (bilinear programming problem)に対しては，より大きな領域を切除する方法も考案されている．
+を定義する．端点<math>\boldsymbol{x}'\, </math>における<math>f\, </math>の値が<math>f^\circ\, </math>よりも悪ければ，<math>V\, </math>は丁度<math>n\, </math>個の点から構成されるが，それらを通る<math>n\, </math>次元超平面によって<math>\boldsymbol{x}'\, </math>と一緒に見込のない実行可能解も<math>D\, </math>から切除する．目的関数<math>f\, </math>が2次の凹関数である[[双線形計画問題]] (bilinear programming problem)に対しては，より大きな領域を切除する方法も考案されている．
-　外部近似法も超平面による切除を行うが，凹性カット法と違って1つの実行可能解も失わない．まず，<math>D\, </math>を<math>n\, </math>次元単体や矩形などの単純な凸多面体<math>S \supseteq D\, </math>で近似し，<math>f\, </math>を<math>S\, </math>上で最小化する．これも凹最小化問題であるが，<math>S\, </math>は端点の数が少ないので，それらの列挙で最小点<math>x'\, </math>は比較的容易に求められる．この<math>x'\, </math>が満たさない<math>D\, </math>の制約式の1つ<math>a_i^{\top} x \geq b_i\, </math>を選び，<math>S\, </math>を
+　外部近似法も超平面による切除を行うが，凹性カット法と違って1つの実行可能解も失わない．まず，<math>D\, </math>を<math>n\, </math>次元単体や矩形などの単純な凸多面体<math>S \supseteq D\, </math>で近似し，<math>f\, </math>を<math>S\, </math>上で最小化する．これも凹最小化問題であるが，<math>S\, </math>は端点の数が少ないので，それらの列挙で最小点<math>\boldsymbol{x}'\, </math>は比較的容易に求められる．この<math>\boldsymbol{x}'\, </math>が満たさない<math>D\, </math>の制約式の1つ<math>\boldsymbol{a}_i^{\top} \boldsymbol{x} \geq b_i\, </math>を選び，<math>S\, </math>を
-:<math>S' := S \cap \{x \in \mathbf{R}^n \mid a_i^{\top} x \geq b_i\}\, </math>
+:<math>S' := S \cap \{\boldsymbol{x} \in \mathbf{R}^n \mid \boldsymbol{a}_i^{\top} \boldsymbol{x} \geq b_i\}\, </math>
-に更新して<math>x'\, </math>と共に実行不可能な領域を切除する．実行可能集合<math>D\, </math>が<math>S\, </math>の部分集合なので<math>f(x')\, </math>は大域的最適値の下界値を与えるが，以上の操作を繰り返して <math>x' \in D\, </math>となれば，<math>x'\, </math>が大域的最適解である．
+に更新して<math>\boldsymbol{x}'\, </math>と共に実行不可能な領域を切除する．実行可能集合<math>D\, </math>が<math>S\, </math>の部分集合なので<math>f(\boldsymbol{x}')\, </math>は大域的最適値の下界値を与えるが，以上の操作を繰り返して <math>\boldsymbol{x}' \in D\, </math>となれば，<math>\boldsymbol{x}'\, </math>が大域的最適解である．
 　分枝限定法には多くのバリエーションが存在するが，最も効力を発揮するのは目的関数<math>f\, </math>が分離可能な場合である:
-:<math>f(x) := \sum_{j=1}^n f_j(x_j).\, </math>
+:<math>f(\boldsymbol{x}) := \sum_{j=1}^n f_j(x_j).\, </math>
-ただし，<math>f_j\, </math>はすべて凹関数である．実行可能集合<math>D\, </math>を含む矩形<math>M := \{x \in \mathbf{R}^n \mid l_j \leq x_j \leq u_j,\; j = 1, \ldots, n\}\, </math>を定義し，これを複数の小さな矩形
+ただし，<math>f_j\, </math>はすべて凹関数である．実行可能集合<math>D\, </math>を含む矩形<math>M := \{\boldsymbol{x} \in \mathbf{R}^n \mid l_j \leq x_j \leq u_j,\; j = 1, \ldots, n\}\, </math>を定義し，これを複数の小さな矩形
-:<math>M^k := \{x \in \mathbf{R}^n \mid l_j^k \leq x_j \leq u_j^k\}, \quad
+:<math>M^k := \{\boldsymbol{x} \in \mathbf{R}^n \mid l_j^k \leq x_j \leq u_j^k\}, \quad
 k = 1, \ldots, K,\, </math>
@@ 75行目: / 75行目: @@
-を定義し，その和<math>g(x) := \sum_{j=1}^n g_j(x_j)\, </math>の<math>D \cap M^k\, </math>上における最小値が用いられる．関数<math>g\, </math>は<math>M^k\, </math>上における<math>f\, </math>の最も大きな下界値を与える凸関数で，凸包絡関数 (convex envelope function)と呼ばれる．しかし，アフィン関数であるので[[単体法]]や[[内点法]]を使って容易に最小値<math>f'\, </math>を計算することができる．
+を定義し，その和<math>g(\boldsymbol{x}) := \sum_{j=1}^n g_j(x_j)\, </math>の<math>D \cap M^k\, </math>上における最小値が用いられる．関数<math>g\, </math>は<math>M^k\, </math>上における<math>f\, </math>の最も大きな下界値を与える凸関数で，凸包絡関数 (convex envelope function)と呼ばれる．しかし，アフィン関数であるので[[単体法]]や[[内点法]]を使って容易に最小値<math>f'\, </math>を計算することができる．
 　[[DC計画問題]](d.c. programming problem)や[[逆凸計画問題]](reverse convex programming problem)などのより一般的な多極値大域的最適化問題も，凹最小化問題を逐次解くことで処理することができる [2, 3]．