人工智能 第二章 搜索技术.ppt

第二章 搜索技术 状态空间法 问题归约法 博弈树搜索 局部搜索 迷宫问题 搜索的挑战—组合爆炸 魔方问题 博弈问题 皇后问题 行商问题 排课问题（调度问题） 背包问题 ………… 数码问题 2.1 状态图概念 状态图的概念 状态图(状态空间图)实际上是一类问题的抽象表示。 许多智力问题(八数码问题、梵塔问题、旅行商问题、八皇后问题、农夫过河问题等)。 实际问题（如路径规划、定理证明、演绎推理、机器人行动规划等）都可以归结为在某一状态图中寻找目标或路径的问题。 农夫过河问题 有一个农夫带一条狼、一只羊和一棵白菜过河。如果没有农夫看管，则狼要吃羊，羊要吃白菜。但是船很小，只够农夫带一样东西过河。问农夫该如何解此难题？ 农夫过河问题状态空间法表示 以向量（人，狼，羊，菜）表示状态，其中每个变元可取0或1，取0表示在左岸（出发点），取1表示在右岸 初态是：（0，0，0，0） 终态是：（1，1，1，1） 非法中间状态有： （0，0，1，1），（0，1，1，0），（0，1，1，1）， （1，1，0，0），（1，0，0，1），（1，0，0，0）。  2.2 状态空间法 问题的状态空间表示(状态图表示) 状态空间的三元组(S, O, G)表示. S:初始状态集合; O: 操作集合; G:目标状态集合 状态空间的搜索策略(状态图搜索) 广度优先搜索, 深度优先搜索, 启发式搜索 状态空间表示的概念 例如下棋、迷宫及各种游戏。 三数码难题 图搜索策略 图搜索控制策略一种在状态图中寻找路径的方法。图中每个节点对应一个状态，每条连线对应一个操作符。 图搜索涉及两个主要数据结构： open表 closed表 OPEN 表 OPEN表是一种动态数据结构，专门登记当前待考查（待访问）的节点，也叫未扩展节点表 。 CLOSED 表 Closed表是一种动态数据结构，记录访问过的节点，也叫已扩展节点表 ，其初始为空表。 按搜索轨迹分类 图式搜索：搜索过程中，搜索路径允许形成回路。 树式搜索：搜索过程中，搜索路径不允许形成回路。 搜索树 线式搜索：扩展节点每次只扩展一个节点。 搜索树的概念 一个可以搜索出某个可行解的问题，如“农夫、白菜、羊、狼”和“八数码难题”等，虽然从表面上看上去和“树”这种结构无关，但是整个搜索过程中的可能试探点所行成的搜索空间总可以对应到一颗搜索树上去。 将各类形式上不同的搜索问题抽象并统一成为搜索树的形式，为算法的设计与分析带来巨大的方便。 搜索策略：确定搜索路线的策略。关键是确定有效的状态评价函数。 状态评价函数：评价当前状态节点的重要程度 有关因素： 当前节点离初始节点的远近 当前节点离目标节点的远近 通过当前节点到达目标节点的路径长 当前节点在最优解路径上的可能性 以及任何与解有关的信息 搜索具有探索性，要提高搜索效率(尽快地找到目标节点)，或要找最佳路径(最佳解)就必须注意搜索策略。 对于状态图搜索，已经提出了许多策略，它们大体可分为盲目搜索（bland search)和启发式搜索（heuristic search）两大类。 盲目搜索是无向导搜索。 启发式搜索是有向导搜索，即利用启发信息（函数）引导去寻找问题解。 盲目搜索 盲目搜索又叫做无信息搜索，一般只适用于求解比较简单的问题。 种类： 宽度优先搜索 深度优先搜索 等代价搜索 图搜索策略 宽度优先搜索策略 优先搜索状态空间中离初始状态近的节点(状态 特点:具有完备性, 占用空间 搜索算法 数据结构: OPEN表 : 先进先出队列,存放待扩展的节点. 节点(状态) 父节点编号(返回指针) CLOSED表 : 存放已被扩展过的节点. 编号 节点 父节点编号 宽度优先搜索算法 Step1: 把初始节点S0放入OPEN表中; Step2: 若OPEN表为空,则搜索失败,退出. Step3: 移出OPEN表中第一个节点N放入CLOSED表 中, 并标以顺序号n; Step4: 若目标节点Sg=N, 则搜索成功,结束. Step5: 若N不可扩展, 则转Step2; Step6: 扩展N, 将生成的一组子节点配上指向N的指针后, 放入OPEN表尾部, 转 Step2; 例子八数码难题（8-puzzle problem） 深度优先搜索策略 新节点优先扩展, 直到达到一定的深度限制.若找不到目标或无法在扩展时,回溯到另一节点继续扩展. 特点: 需要深度限制