制约充足と反复改良.pptVIP

  1. 1、本文档共40页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
制充足反改良制充足制充足状数定制制充足例地分制充足数集合各数域数制集合制充足易度制充足他例覆面算世界画解覆面算画解画解分付空表画解全画解制充足解生成二制他制理的二制考制後探索法法再版例解前向前向前向矛盾性矛盾性制播反改良反改良考方数山登山登法山登法欠点法的冷却法最性反改良制充足修制反最小化制反最小化近傍状最大状下坂降近傍局所的最大高原局所最解停止高原方向判断近傍状次状少必加温度率最解局所最解局所解率脱出最小化数呼大率率率大温度小加分温度温度下形冷却指数冷却数冷却温度十分下率大域的最解数冷却条件束

制約充足と反復改良 (Constraint Satisfaction and Iterative Improvement) 制約充足(Constraint Satisfaction) 制約充足問題 (CSP: Constraint Satisfaction Problem) 状態:変数 x1,x2,…,xnの値で定義 ゴール検査:制約をすべて満たすかどうか 制約充足の例:地図の塗り分け 制約充足問題 変数(variable)の集合  各変数の領域(domain) 変数間の制約(constraint)の集合 制約充足問題の難易度 制約充足問題のその他の例 おもちゃの問題(toy problem) 8クイーン問題 覆面算 クロスワードパズル 現実世界の問題(real-world problem) 線画解釈 VLSIレイアウト スケジューリング 8クイーン問題 覆面算 クロスワードパズル 線画解釈(1) 線画解釈(2) 線分のラベル付けによる空間表現 線画解釈(3) ジャンクションに許される全パターン 線画解釈(4) 制約充足による解釈の生成 二項制約と他項制約 理論的には二項制約のみ考える 制約ネットワーク 後戻り探索(backtracking search) バックトラック法のアルゴリズム バックトラック法(再帰版) 例:4クイーンをバックトラックで解く 前向きチェックの動機 前向きチェック(forward checking) 前向きチェックでうまくいく アーク無矛盾性:サポーター アーク無矛盾性(arc consistency) 制約伝播(constraint propagation) 反復改良(Iterative Improvement) 反復改良の考え方 評価関数 z=f(x,y) の山を登る 山登り法(Hill-Climbing) 山登り法の欠点 焼きなまし法(Simulated Annealing) 熱的なノイズによるランダムな揺れ 冷却スケジュール 焼きなまし法の最適性 反復改良による制約充足: ヒューリスティック修復(heuristic repair) 制約違反最小化(min-conflict) 制約違反最小化の実績 まとめ 近傍の状態のうち評価値が最大の状態に進む. 決して下り坂を降りない. 近傍 neighborhood 局所的最大 高原 局所最適解で停止する. 高原では進むべき方向を判断できない. エネルギ 近傍の状態から次の状態をランダムに選ぶ. エネルギが減少するなら,必ずそこに進む. エネルギが増加するなら,温度に応じた確率でそこに進む. 最適解 局所最適解 局所解を ある確率で 脱出できる 最小化すべき関数をエネルギと呼ぶ 大 確率 エネルギ 確率=1 ΔE 確率= 大 温度 T 小 エネルギ 増加分ΔE 温度 温度はじょじょに 下げていく 1 T = schedule (k), k=1,2,… T k 線形冷却 指数冷却 対数冷却 温度T を十分ゆっくり下げるならば, 確率1で大域的最適解を見つける. 対数冷却 Tk=c/log(k+1) はこの条件を満たすが,収束時間はO(n!)より長い. 温度はすごくゆっくり 下げていく x y w z 現在の状態 許される値の組 * * 人工知能の探索アルゴリズム(5) 先を読んで知的な行動を選択するエージェント  制約充足  後戻り法  前向きチェック  制約伝播  反復改良  山登り法  焼きなまし法  制約違反最小化 http://aibm4.main.eng.hokudai.ac.jp 配布資料 pp.81-83, 110-113 別紙資料 pp.41-51 探索問題 制約充足問題  隣り合う地域の色が異なるように3色で塗り分けよ  各地域が変数 変数の取りうる値が 領域 ◆ ◆ ◆ 隣り合う変数の値が異なるというのが 制約 隣り合う変数の値が異なるというのが 制約 すべての制約を満たす色の配置が解 問題 すべての制約を満たすような変数への値の割当て 解 x1 x2 … xn D1 D2 … Dn Cxy ={(a,b),(c,d),…} 許される値の組 a1 a2 … an 難易度=NP完全 (NP-complete) 解が与えられれば,それが確かに解であるかどうかは線形オーダーの時間で容易に判定できる. しかし,解を自力で見つけるのは,最悪のケースで指数オーダーとなり,非常に難しい. ヒューリスティックで 平均的には実用的な時間で解く Q Q Q Q Q Q Q Q アタック! 互いにアタックしないように8個のQを置く x1=6 x2=8 x3=1 x4=4 x5=2 x6=5 x7=7 x8=3 制約 FORTY + T

文档评论(0)

wangsux + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档