制約伝播

【せいやくでんぱ (constraint propagation)】

一般に, 変数間に制約を伴う問題に対して,制約に矛盾する値を変数の値域から削除していくこと.ある変数の値域が縮小することにより,他の変数の値域も連鎖的に縮小する可能性がある.制約伝搬とも訳される.制約充足問題に対して使われることが多く,問題縮小のための前処理や, バックトラック法の効率化のために用いられる.