制約想定

出典: ORWiki

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

(1) 非線形計画問題の実行可能解 $\bar{x} \,$ について, 実行可能領域 $\{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 \} \,$ .