图搜索技术汇编.ppt

图搜索技术 4.1 状态图搜索 4.2 状态图问题求解 4.3 与或图搜索 4.4 与或图问题求解 4.5 博弈树搜索 图搜索是人工智能的核心技术之一，人工智能的许多分支领域都涉及到图搜索。 这里的图是指节点和有向边组成的网络。按连接同一节点的各边间的逻辑关系，图可分为或图（直接图）和与或图两类。 4.1 状态图搜索 4.1.1 状态图 我们通过例子引入状态图的概念。 例4.1 走迷宫是人们熟悉的一种游戏，如图4—1就是一个迷宫。如果我们把该迷宫的每一个格子以及入口和出口都作为节点，把通道作为边，则该迷宫可以由一个有向图表示(如图4—2所示)。那么，走迷宫其实就是从该有向图的初始节点(入口)出发，寻找目标节点(出口)的问题，或者是寻找通向目标节点(出口)的路径的问题。 例4.2 在一个3×3的方格棋盘上放置着1,2,3,4,5,6,7,8八个数码，每个数码占一格，且有一个空格。这些数码可在棋盘上移动，其移动规则是：与空格相邻的数码方可移入空格。现在的问题是：对于指定的初始棋局和目标棋局(如图4—3所示)，给出数码的移动序列。该问题称为八数码难题或重排九宫问题。 可以看出，我们把一个棋局作为一个节点，相邻的节点就可以通过移动数码产生出来。这样，所有节点就可由他们的相邻关系连接成一个有向图。可以看出，图中的一条边（即相邻两个节点的连线）就是对应一次数码移动，反之，一次数码移动也对应图中的一条边。而数码移动是按数码的移动规则进行的。所以，图中的一条边也就代表一个移动规则或移动规则的一次执行。于是，这个把数码问题就是要在该有向图中寻找目标节点，或找一条从初试节点到目标节点的路径问题。 以上两个问题都是在某个有向图中寻找目标或路径问题，这种问题图搜索问题。把描述问题的有向图称为状态空间图，简称状态图。图中的节点代表问题中的一种格局，一般称为问题的一个状态，边表示两个状态之间的联系。在状态图中，从初始节点到目标节点的一条路径或者所找到的目标节点，就是问题的解（路径解）。 状态图实际上是一类问题的抽象表示。事实上，有许多智力问题(如梵塔问题、旅行商问题、八皇后问题、农夫过河问题等)和实际问题（如路径规划、定理证明、演绎推理、机器人行动规划等）都可以归结为在某一状态图中寻找目标或路径的问题。因此，研究状态图搜索具有普遍意义。 4.1.2 状态图搜索 在状态图中寻找目标或路径的基本方法就是搜索。所谓搜索，顾名思义，就是从初始节点出发，沿着与之相连的边试探地前进，寻找目标节点的过程(也可以反向进行)。 搜索过程中经过的节点和边，按原图的连接关系，形成树型的有向图，称为搜索树。搜索过程应当随时记录搜索痕迹。 1.搜索方式 用计算机来实现状态图的搜索，有两种最基本的方式：树式搜索和线式搜索。 所谓树式搜索，形象地讲就是以“画树”的方式进行搜索。 即从树根（初始节点）出发一笔一笔地描出来的。 准确地讲，树式搜索就是在搜索过程中记录所经过的所有节点和边。所以，树式搜索所记录的轨迹始终是一棵“树”，这棵树也就是搜索过程中产生的搜索树。 线式搜索，形象地讲就是以“画线”的方式进行搜索。准确地讲，线式搜索就是在搜索过程中只记录那些当前认为是处在所找路径上的节点和边。所以，线式搜索所记录的轨迹始终是一条“线”（折线）。线式搜索的基本方式可以分为不回溯和可回溯两种。 怎样从搜索树中找出所求路径呢？这只需要在扩展节点时记住节点间的父子关系。当搜索成功后从目标节点反向沿搜索树所作标记追溯回去一直到初始节点，便可得到一条从初始节点到目标节点的路径，即问题的一个解。 2.搜索策略 由于搜索具有探索性，所以要提高搜索效率(尽快地找到目标节点)，或要找最佳路径(最佳解)就必须注意搜索策略。对于状态图搜索，已经提出了许多策略，它们大体可分为盲目搜索和启发式（heuristic）搜索两大类。 盲目搜索就是无“向导”搜索。树式盲目搜索就是穷举搜索，线式盲目搜索对不可回溯的是随机碰撞搜索，对可回溯的穷举搜索。 启发式搜索是有“向导”搜索，利用启发性信息引导的搜索。 按搜索范围的扩展顺序不同，搜索又可分为广度优先和深度优先两种搜索。对于树式搜索，既可深度优先进行，也可广度优