局所整合と局所探索.pptVIP

* 　さきほど学んだ「アーク整合する」の主語は「アーク」だったが，こんどは，主語が「制約ネットワーク」のときにも使える言葉として定義する． 　すべてのアーク(x, y) がアーク整合しているとき，「制約ネットワーク はアーク整合 している」という．アークには向きがあるので，制約グラフのそれぞれの無向辺 (x, y) ごとに，(x, y) と (y, x) の両方のアークを考える必要があることに注意しよう． 　アーク整合アルゴリズム は，アーク整合していない制約ネットワークから最小限の要素を削除してアーク整合させる．その結果，空の領域が生じたら，ＣＳＰには解がないことがわかる．すなわち， 　- アーク整合の結果，空の領域が生じたら，そのＣＳＰには解がない． 　- 解があるＣＳＰでは，アーク整合の結果，空の領域が生じることはない． 　この命題の逆，すなわち， 　- アーク整合の結果，空の領域が生じなければ，そのＣＳＰには解がある． 　- 解がないＣＳＰでは，アーク整合の結果，必ず空の領域が生じる． は，一般に成り立たない．ＣＳＰに解がなくても，空の領域が生じないことがあるからである．このスライドの２色のグラフ彩色問題はそのような例である．この問題には解が存在しないにもかかわらず，最初の状態ですでにアーク整合していて，空の領域が生じていない． 　この例では，制約グラフに閉路が