「ラグランジュの双対性」の版間の差分
| 15行目: | 15行目: | ||
| − | <math>L\,</math> の鞍点 <math>(\bar{x},\bar{\lambda},\bar{\mu})\,</math> が存在すれば, <math>\bar{x}\,</math> と <math>(\bar{\lambda},\bar{\mu})\,</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>)の最適解となり最適値が一致する. |
2007年7月11日 (水) 13:19時点における版
【らぐらんじゅのそうついせい (Lagrange duality)】
ラグランジュ関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L\,} に対して定義された以下の主問題とその双対問題の間に成立する双対性のこと.
\[
\begin{array}{cll}
\mbox{(P}_{L}\mbox{)} & \mbox{min.} & \displaystyle\sup_{\lambda\ge{0},\mu}L(x,\lambda,\mu) \\
& \mbox{s.t.} & \displaystyle{x\in{{\bf R}^n}} \\
\mbox{(D}_{L}\mbox{)} & \mbox{max.} & \displaystyle\inf_{x}L(x,\lambda,\mu) \\
& \mbox{s.t.} & \displaystyle{0\le\lambda\in{{\bf R}^{k}}}, \:
\displaystyle\mu\in{{\bf R}^{l}}
\end{array} \]
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L\,}
の鞍点 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\bar{x},\bar{\lambda},\bar{\mu})\,}
が存在すれば, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \bar{x}\,}
と 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\bar{\lambda},\bar{\mu})\,}
はそれぞれ問題(構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_{L}\,}
)と()の最適解となり最適値が一致する.