制約プログラミング

アーク整合性

制約グラフの性質であり、ある変数の各値に対して、隣接する変数の定義域内に少なくとも1つの互換性のある値が存在すること。制約プログラミングにおける基本的なフィルタリング手法である。

← 戻る