「制約伝播」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: ''''【せいやくでんぱ (constraint propagation)】''' 一般に, 変数間に制約を伴う問題に対して,制約に矛盾する値を変数の値域から削除し...') |
細 ("制約伝播" を保護しました。 [edit=sysop:move=sysop]) |
(相違点なし)
| |
2007年7月20日 (金) 11:57時点における最新版
【せいやくでんぱ (constraint propagation)】
一般に, 変数間に制約を伴う問題に対して,制約に矛盾する値を変数の値域から削除していくこと.ある変数の値域が縮小することにより,他の変数の値域も連鎖的に縮小する可能性がある.制約伝搬とも訳される.制約充足問題に対して使われることが多く,問題縮小のための前処理や, バックトラック法の効率化のために用いられる.