制約想定

【せいやくそうてい (constraint qualification)】

(1) 非線形計画問題の実行可能解 ${\bar {x}}\,$ について, 実行可能領域 構文解析に失敗 (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)\} \,} の, 点 ${\bar {x}}\,$ における線形化錐 $\{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 )\}\,$ が, 実行可能領域の十分よい近似になっていることを保証する条件. ただし, $I({\bar {x}})=\{j:\,g_{j}({\bar {x}})=0\}\,$.

(2) 非線形計画問題に対する最適性必要条件を導く際, 目的関数のラグランジュ乗数がゼロにならないことを保証する条件.