「制約想定」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: ''''【せいやくじゅうそくもんだい (constraint satisfaction problem)】''' 与えられたすべての制約を満たすような各変数への値の割当てを...')
 
("制約想定" を保護しました。 [edit=sysop:move=sysop])
 
(2人の利用者による、間の2版が非表示)
1行目: 1行目:
'''【せいやくじゅうそくもんだい (constraint satisfaction problem)】'''
+
'''【せいやくそうてい (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)  非線形計画問題に対する最適性必要条件を導く際,  
 +
目的関数のラグランジュ乗数がゼロにならないことを保証する条件.

2007年7月20日 (金) 11:54時点における最新版

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

(1) 非線形計画問題の実行可能解 について, 実行可能領域 の, 点 における線形化錐 が, 実行可能領域の十分よい近似になっていることを保証する条件. ただし, .

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