局所整合と局所探索-kussharo.complex.eng.hokudai.ac.jp.pptVIP

局所整合と局所探索(Local Consistency and Local Search) 制約充足問題(CSP)とは（復習） 変数(variable)の集合　X　 各変数の領域(domain)　D 変数間の制約(constraint)の集合　C 制約充足問題の例（復習） n クイーン問題 (n queens problem) クロスワードパズル(crossword puzzles) グラフ彩色問題 (graph coloring) 線画解釈 (interpretation of line drawings) レイアウト (layout) スケジューリング (scheduling) 局所整合と局所探索 局所整合アルゴリズム(Local Consistency Algorithms) 制約ネットワークと制約グラフ １．アーク整合(1) アーク整合(2) アーク(x, y)の整合アルゴリズム アーク整合(3) アーク整合アルゴリズムの動作例 アーク整合アルゴリズム　AC-1 アーク整合アルゴリズム　AC-3 アーク整合の利用法 前処理 局所探索アルゴリズム(Local Search Algorithms) 反復改良の考え方 評価関数 z=f(x,y) の山を登る 1. 山登り法 山登り法の欠点 2. ヒューリスティック修復法 制約違反最小化ヒューリスティック 制約違反最小化の