分散制约最适化问题における 局所负荷轻减のための非同期分散探索手法.pptVIP

分散制約最適化問題における　　局所負荷を考慮した探索アルゴリズム 神奈川大学大学院　　橋本大樹　能登正人 * * 背景 ?制約充足問題(Constraint Satisfaction Problem) 　人工知能分野における様々な問題を定式化する枠組 ?制約最適化問題(Constraint Optimization Problem) 　CSPでは定式化することが困難なものを扱う問題 実際には… 過制約である問題が多い 制約最適化問題 制約充足問題(CSP) 制約最適化問題(COP) ?解は充足可能か充足不可能の２通り ?解は解の質，またはコストによって表される 過制約問題 ?組み合わせの中で最も最適な解を探索できる 既存の探索手法 非同期分散最適化手法(Adopt) ?DCOPの解法 ?深さ優先探索を基にした非同期分散探索手法 ?既存のアルゴリズムより効率，記憶量等の改善が証明されている CSPの解法を制約緩和し，制約違反を最小にするなどしてCOPに適応させたアルゴリズムが多い Adoptのアルゴリズム 前処理 ?深さ優先探索木の形成 x1 x2 x3 x4 x1 x2 x3 x4 制約グラフ 深さ優先探索木 parent child Adoptのメッセージ通信 メッセージの役割 THRESHOLD COST VALUE TERMINATE 値の変更を下位近傍エージェントに伝える 下界値，上界値，値の変更等を親エージェントに伝える 閾値を調整，振り分け子エージェントに伝える 実行終了を子エージェントに伝える x1 x2 x3 x4 THRESHOLD messages VALUE messages COST messages メッセージの相互関係 処理概要 x1 x2 x3 x4 下位エージェントに値の送信 情報からコストを算出，値の決定 親エージェントに情報の送信 情報から値の決定 X３までの合計コスト X４までの合計コスト X２までの合計コスト 全体の最適化 本研究では ?全体の総コストを最適化 ?上位エージェントは下位エージェントとの間のコストを知らない ?全体の総コストは最適でも局所的に負荷がかかる可能性がある 新たなメッセージの追加を行い局所負荷を考慮する Adoptの特徴 グラフ色塗り問題 制約違反領域 制約充足領域 全体の最適化の場合 局所を考慮した最適化の場合 x1 x2 x3 x4 下位エージェント間とのコストは考慮しない 局所的な負荷がかかる可能性 問題によっては一点に負荷が集中しないような処理が必要 メッセージの提案 提案概要 メッセージ相互関係 x1 x2 x3 x4 THRESHOLD messages VALUE messages COST messages ADDITIONAL　messages 値を上位エージェントに知らせるメッセージ 評価方法 グラフ色塗り問題における既存の手法と局所制約違反数を比較する エージェント数が多くリンク密度が大きい場合違いが現れる 制約違反の分布を比較 Ｘ＜Ｙ＜Ｚ 制約違反コスト Ｘ Y Ｚ 今後の課題 ?密な問題でシミュレーション評価を行う ?実際の重みをどのようにすればよいか ?効率にはどの程度の影響がでるか ?ある程度の距離までメッセージを送信できるようにする まず背景として、人工知能分野における様々な問題を定式化する枠組として制約充足問題というものがあります.これは与えられた制約構造をすべて満たす解の組み合わせを求める問題のことをいいます.しかし現実的な問題では過制約であることが多く，解決することが困難であることがあります. そこでCSPでは定式化することが困難なものを扱う問題の枠組として制約最適化問題があります. 制約最適化問題とは先程