「制約想定」の版間の差分
| 1行目: | 1行目: | ||
'''【せいやくそうてい (constraint qualification)】''' | '''【せいやくそうてい (constraint qualification)】''' | ||
| − | (1) 非線形計画問題の実行可能解 | + | (1) 非線形計画問題の実行可能解 <math>\bar{x} \,</math> について, 実行可能領域 <math>\{x:\, g_j(x)\leq 0\ (j=1,\dots,m),\ \ h_k(x)=0\ (k=1,\dots,\ell)\} \,</math> の, 点 <math>\bar{x} \,</math> における線形化錐 <math>\{y:\,\nabla g_j(\bar{x})y\leq 0\ (j\in I(\bar{x})),\ \nabla h_k(\bar{x})y=0\ (k=1,\dots,\ell)\} \,</math> が, 実行可能領域の十分よい近似になっていることを保証する条件. ただし, <math>I(\bar{x})=\{j:\, g_j(\bar{x})=0 \} \,</math>. |
| + | |||
(2) 非線形計画問題に対する最適性必要条件を導く際, | (2) 非線形計画問題に対する最適性必要条件を導く際, | ||
目的関数のラグランジュ乗数がゼロにならないことを保証する条件. | 目的関数のラグランジュ乗数がゼロにならないことを保証する条件. | ||
2007年7月14日 (土) 02:17時点における版
【せいやくそうてい (constraint qualification)】
(1) 非線形計画問題の実行可能解 について, 実行可能領域 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{x:\, g_j(x)\leq 0\ (j=1,\dots,m),\ \ h_k(x)=0\ (k=1,\dots,\ell)\} \,} の, 点 構文解析に失敗 (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 \{y:\,\nabla g_j(\bar{x})y\leq 0\ (j\in I(\bar{x})),\ \nabla h_k(\bar{x})y=0\ (k=1,\dots,\ell)\} \,} が, 実行可能領域の十分よい近似になっていることを保証する条件. ただし, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle I(\bar{x})=\{j:\, g_j(\bar{x})=0 \} \,} .
(2) 非線形計画問題に対する最適性必要条件を導く際, 目的関数のラグランジュ乗数がゼロにならないことを保証する条件.