「ラグランジュの双対性」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
 
(3人の利用者による、間の3版が非表示)
4行目: 4行目:
  
  
\[
+
<center><math>\begin{array}{cll}
\begin{array}{cll}
+
( \mbox{P}_{L} ) & \mbox{min.} & \displaystyle \sup_{\lambda\ge{0},\mu} L(x,\lambda,\mu)  \\
\mbox{(P}_{L}\mbox{)} & \mbox{min.} & \displaystyle\sup_{\lambda\ge{0},\mu}L(x,\lambda,\mu)  \\
+
                       & \mbox{s.t.} & \displaystyle x\in{\mathbf R}^n  \\
                       & \mbox{s.t.} & \displaystyle{x\in{{\bf R}^n}}   \\
+
( \mbox{D}_{L} ) & \mbox{max.} & \displaystyle \inf_{x} L(x,\lambda,\mu)  \\
\mbox{(D}_{L}\mbox{)} & \mbox{max.} & \displaystyle\inf_{x}L(x,\lambda,\mu)  \\
+
                       & \mbox{s.t.} & \displaystyle 0\le\lambda\in {\mathbf R}^{k}, \quad
                       & \mbox{s.t.} & \displaystyle{0\le\lambda\in{{\bf R}^{k}}}, \:
+
                       \mu\in{\mathbf R}^{l}
                       \displaystyle\mu\in{{\bf R}^{l}}
+
\end{array}</math>
\end{array}
+
</center>
\]
 
  
  
<math>L\,</math> の鞍点 <math>(\bar{x},\bar{\lambda},\bar{\mu})\,</math> が存在すれば, <math>\bar{x}\,</math> と <math>(\bar{\lambda},\bar{\mu})\,</math> はそれぞれ問題(P<math>_{L}\,</math>)と(D<math>_{L}\,</math>)の最適解となり最適値が一致する.
+
<math>L\,</math> の鞍点 <math>(\bar{x},\bar{\lambda},\bar{\mu})\,</math> が存在すれば, <math>\bar{x}\,</math> と <math>(\bar{\lambda},\bar{\mu})\,</math> はそれぞれ問題(<math>P_{L}\,</math>)と(<math>D_{L}\,</math>)の最適解となり最適値が一致する.
 +
 
 +
[[Category:非線形計画|らぐらんじゅのそうついせい]]

2008年11月14日 (金) 09:19時点における最新版

【らぐらんじゅのそうついせい (Lagrange duality)】

ラグランジュ関数 に対して定義された以下の主問題とその双対問題の間に成立する双対性のこと.


構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\begin{array}{cll}({\mbox{P}}_{L})&{\mbox{min.}}&\displaystyle \sup _{\lambda \geq {0},\mu }L(x,\lambda ,\mu )\\&{\mbox{s.t.}}&\displaystyle x\in {\mathbf {R} }^{n}\\({\mbox{D}}_{L})&{\mbox{max.}}&\displaystyle \inf _{x}L(x,\lambda ,\mu )\\&{\mbox{s.t.}}&\displaystyle 0\leq \lambda \in {\mathbf {R} }^{k},\quad \mu \in {\mathbf {R} }^{l}\end{array}}}


の鞍点 が存在すれば, 構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle ({\bar {\lambda }},{\bar {\mu }})\,} はそれぞれ問題(構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle P_{L}\,} )と(構文解析に失敗 (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle D_{L}\,} )の最適解となり最適値が一致する.