盲目搜索启发式搜.ppt

《盲目搜索启发式搜.ppt》由会员分享，可在线阅读，更多相关《盲目搜索启发式搜.ppt（60页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、盲目搜索 按预定的控制策略进行搜索，在搜索过程中获得的中间信息不用来改进控制策略。效率低、主要用于简单问题求解。启发式搜索 在搜索中加入了与问题有关的启发性信息，用以指导搜索朝着最有希望的方向前进，加速问题的求解过程并找到最优解。搜索原理什么是搜索？什么是搜索？根据问题的实际情况不断寻找可利用的知识，从而构造根据问题的实际情况不断寻找可利用的知识，从而构造一条代价较少的推理路线，使问题得到圆满解决的过程。一条代价较少的推理路线，使问题得到圆满解决的过程。1与图有关的术语v状态空间图由节点(不一定是有限的节点)及连接节点的分枝的集合构成。v有限节点图节点数目有限的图称为有限节点图。v有向图一对节

2、点用分枝线连接起来，从一个节点指向另一个节点。这种图叫做有向图。始节点叫父节点或双亲节点，终节点叫子节点。扩展求解父节点的所有子节点，叫做扩展。路径在一系列节点n1,n2,nm中，从n1开始，ni总有分枝连接ni+1，称从n1到nm之间的分枝集合是路径。路径中不包含两个及以上相同的分枝，如果n1和nm是同一个节点，则称这种路径为闭路。不构成闭路的称为树。在用状态空间图来表示问题时，对问题的求解就是求出从初始节点到目标节点的路径。图搜索策略1.图搜索的定义一种计算机在状态图中寻找路径的方法。2.CLOSED表的引入编号节点号父节点号CLOSED表(记录扩展过的节点)3.OPEN表的引入节点号父节

3、点号OPEN表(记录待扩展的节点)举例：八数码魔方例子中OPEN表变化过程节点号节点号父节点号父节点号S0空AS0BS0CS0DS0EAFACLOSED表变化过程编号编号节点号节点号父节点号父节点号0S0空1AS02BS0图搜索的一般搜索的一般过程程(1)建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN表的未扩展节点表中。(2)建立一个叫做CLOSED的已扩展节点表，其初始为空表。(3)LOOP：若OPEN表是空表，则失败退出。(4)选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n。(5)若n为一目标节点，则有解并成功退出，此解是追踪图G中

4、沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。图搜索的一般搜索的一般过程程(6)扩展节点n，同时生成不是n的祖先的那些后继节点的集合M。把M的这些成员作为n的后继节点添入图G中。(7)对那些未曾在G中出现过的(既未曾在OPEN表上或CLOSED表上出现过的)M成员设置一个通向n的指针。把M的这些成员加进OPEN表。对已经在OPEN或CLOSED表上的每一个M成员，确定是否需要更改通到n的指针方向。对已在CLOSED表上的每个M成员，确定是否需要更改图G中通向它的每个后裔节点的指针方向。(8)按某一任意方式或按某个探试值，重排OPEN表。(9)GO LOOP。开始开始把把S放入放入O

5、PEN表表OPEN表为空表？表为空表？把第一个节点把第一个节点(n)从从OPEN表移至表移至CLOSED表表n为目标节点吗？为目标节点吗？把把n的后继节点放入的后继节点放入OPEN表的表的末端，提供返回节点末端，提供返回节点n的指针的指针修改指针方向修改指针方向重排重排OPEN表表失败失败成功成功图搜索一般过程的框图图搜索一般过程的框图是是是是否否否否一、盲目搜索 盲目搜索又叫做无信息搜索，一般只适用于求解比较简单的问题。主要包括宽度优先搜索、等深度优先搜索等。q特点：1）搜索按规定的路线进行，不使用与问题有关的启发性信息。2）适用于其状态空间图是树状结构的一类问题。131、宽度优先搜索 定义

6、：如果搜索是以接近起始节点的程度依次扩展节点的，那么这种搜索就叫做宽度优先搜索(breadth-first search)。基本思想：从初始节点S开始，逐层地对节点进行扩展并考察它是否为目标节点，在第n层的节点没有全部扩展并考察之前，不对第n1层的节点进行扩展。OPEN表中的节点总是按进入的先后顺序排列，先进入的节点排在前面，后进入的排在后面。14宽度优先搜索示意图15宽度优先搜索算法：(1)把起始节点放到OPEN表中(如果该起始节点为一目标节点，则求得一个解答)。(2)如果OPEN是个空表，则没有解，失败退出；否则继续。(3)把第一个节点(节点n)从OPEN表移出，并把它放入CLOSED扩展

7、节点表中。(4)扩展节点n。如果没有后继节点，则转向上述第(2)步。(5)把n的所有后继节点放到OPEN表的末端，并提供从这些后继节点回到n的指针。(6)如果n的任一个后继节点是个目标节点，则找到一个解答，成功退出；否则转向第(2)步。2022/12/1416宽度度优先搜索算法框先搜索算法框图17宽度优先搜索方法分析：宽度优先搜索是图搜索一般过程的特殊情况，将图搜索一般过程中的第8步具体化为本算法中的第6步，这实际是将OPEN表作为“先进先出”的队列进行操作。宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的最短途径；这棵搜索树提供了所有存在的路径(如果没有路径存在，那么对有限图来说，就

8、说该法失败退出；对于无限图来说，则永远不会终止)。18 例如：宽度优先搜索用于八数码难题。这个问题就是要把初始棋局变为如下目标棋局的问题：搜搜索索树树上上的的所所有有节节点点都都标标记记它它们们所所对对应应的的状状态态描描述述，每每个个节节点点旁旁边边的的数数字字表表示示节节点点扩扩展展的的顺顺序序(按按顺顺时时针针方方向向移移动动空空格格)。图图中中最最后后一一个个节节点点是是目标节点。目标节点。19八数码难题的宽度优先搜索树 2620对应动态演示图212、深度优先搜索基本思想：基本思想：从从初初始始节节点点S S开开始始，在在其其子子节节点点中中选选择择一一个个节节点点进进行行考考察察，若

9、若不不是是目目标标节节点点，则则再再在在该该子子节节点点中中选选择择一一个个节节点点进进行行考考察察，一一直直如如此此向向下下搜搜索索。当当到到达达某某个个子子节节点点，且且该该子子节节点点既既不不是是目目标标节节点点又又不不能能继继续续扩扩展展时时，才才选选择择其兄弟节点进行考察。其兄弟节点进行考察。2022/12/1422 深度优先搜索示意图 2022/12/1423 在深度优先搜索中，首先扩展最新产生的(即最深的)节点（深度相等的节点可以任意排列）。其结果是搜索沿着状态空间某条单一的路径从起始节点向下进行下去；只有当搜索到达一个没有后裔的状态时，它才考虑另一条替代的路径。替代路径与前面已

10、经试过的路径不同之处仅仅在于改变最后n步，而且保持n尽可能小。3、深度优先搜索2022/12/14243.1.3 深度优先搜索2022/12/1425对于许多问题，其状态空间搜索树的深度可能为无限深，或者可能至少要比某个可接受的解答序列的已知深度上限还要深。为了避免考虑太长的路径(防止搜索过程沿着无益的路径扩展下去)，往往给出一个节点扩展的最大深度深度界限。任何节点如果达到了深度界限，那么都将把它们作为没有后继节点处理。值得说明的是，即使应用了深度界限的规定，所求得的解答路径并不一定就是最短的路径。有界深度优先搜索 定义节点的深度如下：定义节点的深度如下：(1)(1)起始节点起始节点(即根节点

11、即根节点)的深度为的深度为0 0。(2)(2)任何其它节点的深度等于其父辈节点深度加上任何其它节点的深度等于其父辈节点深度加上1 1。2022/12/1426含有深度界限的深度优先搜索算法：(1)把起始节点S放到未扩展节点OPEN表中。如果此节点为一目标节点，则得到一个解。(2)如果OPEN为一空表，则失败退出。(3)把第一个节点(节点n)从OPEN表移到CLOSED表。(4)如果节点n的深度等于最大深度，则转向(2)。(5)扩展节点n，产生其全部后裔，并把它们放入OPEN表的前头。如果没有后裔，则转向(2)。(6)如果后继节点中有任一个为目标节点，则求得一个解，成功退出；否则，转向(2)。有

12、界深度优先搜索2022/12/1427算法动态演示图 2022/12/1428 例如：按深度优先搜索生成八数码难题搜索树，设置深度界限为5。下图绘出了搜索树，粗线条的路径表明含有5条应用规则的一个解。从图可见，深度优先搜索过程是沿着一条路径进行下去，直到深度界限为止，然后再考虑只有最后一步有差别的相同深度或较浅深度可供选择的路径，接着再考虑最后两步有差别的那些路径，等等。2022/12/1429八数码难题的深度优先搜索树 2022/12/1430二、启发式搜索 盲目搜索的不足：效率低，耗费过多的计算空间与时间。宽度优先搜索、深度优先搜索，或等代价搜索算法,是按事先规定的路线进行搜索，或按已经付

13、出的代价决定下一步要搜索的节点，其主要差别是OPEN表中待扩展节点的顺序问题。如果找到一种方法用于排列待扩展节点的顺序，即选择最有希望的节点加以扩展，那么，搜索效率将会大为提高。2022/12/1431二、启发式搜索 盲目搜索的共同特点：没有利用问题本身的特性信息，在决定要被扩展的节点时，都没有考虑该节点在解的路径上的可能性有多大，它是否有利于问题求解以及求出的解是否为最优解等。2022/12/1432二、启发式搜索 启发信息 进行搜索技术一般需要某些有关具体问题领域特性的、与具体问题求解过程有关的、并可指导搜索过程朝着最有希望方向前进的控制信息，把此种信息叫做启发信息。把利用启发信息的搜索方

14、法叫做启发性搜索方法。特点：重排OPEN表，选择最有希望的节点加以扩展 种类：最佳优先搜索、A*算法等2022/12/14331、启发式搜索策略 启发信息按其用途可分为3种：(1)用于决定要扩展的下一个节点，以免像在宽度优先或深度优先搜索中那样盲目地扩展。(2)在扩展一个节点的过程中，用于决定要生成哪一个或哪几个后继节点，以免盲目地同时生成所有可能的节点。(3)用于决定某些应该从搜索树中抛弃或修剪的节点。2022/12/14342、估价函数用 来 估 算 节 点 希 望 程 度 的 量 度，叫 做 估 价 函 数(evaluation function)。估价函数的任务就是估计OPEN表中各节

15、点的重要程度。一个节点的“希望”(promise)有几种不同的定义方法:1)估算目标节点到此节点的距离；2)解答路径包括被估价过的节点，并计算全条路径的长度或难度。2022/12/14352、估价函数用符号f来标记估价函数，用f(n)表示节点n的估价函数值。暂时令f为任意函数，以后将会提出f是从起始节点约束地通过节点n而到达目标节点的最小代价路径上的一个估算代价。一般形式：f(n)=g(n)+h(n)g(n)是从s0到n的实际代价。h(n)是从节点n到目标节点sg的估计代价。2022/12/14363、有序搜索 用估价函数f来排列GRAPHSEARCH第8步中OPEN表上的节点。根据习惯，OP

16、EN表上的节点按照它们f函数值的递增顺序排列。根据推测，某个具有低估价值的节点较有可能处在最佳路径上。应用某个算法(例如等代价算法)选择OPEN表上具有最小f值的节点作为下一个要扩展的节点。这种搜索方法叫做有序搜索或最佳优先搜索，而其算法就叫做有序搜索算法或最佳优先算法。可见它总是选择最有希望的节点作为下一个要扩展的节点。有序搜索(ordered search)又称为最好优先搜索(best-first search)。2022/12/14373、有序搜索 尼尔逊（Nilsson）曾提出一个有序搜索的基本算法。估价函数f按照如下方法确定：一个节点希望程度越大，其f值就越小。被选为扩展的节点，是估

17、价函数最小的节点。2022/12/1438有序状态空间搜索算法(1)把起始节点S放到OPEN表中，计算f(S)并把其值与节点S联系起来。(2)如果OPEN是个空表，则失败退出，无解。(3)从OPEN表中选择一个f值最小的节点i。结果有几个节点合格，当其中有一个为目标节点时，则选择此目标节点，否则就选择其中任一个节点作为节点i。(4)把节点i从OPEN表中移出，并把它放入CLOSED的扩展节点表中。(5)如果i是个目标节点，则成功退出，求得一个解。2022/12/1439(6)扩展节点i生成其全部后继节点。对于i的每一个后继节点j：(a)计算f(j)。(b)如果j既不在OPEN表中，又不在CLO

18、SED表中，则用估价函数f把它添入OPEN表。从j加一指向其父辈节点i的指针，以便一旦找到目标节点时记住一个解答路径。(c)如果j已在OPEN表上或CLOSED表上，则比较刚刚对j计算过的f值和前面计算过的该节点在表中的f值。如果新的f值较小，则(i)以此新值取代旧值。(ii)从j指向i，而不是指向它的父辈节点。(iii)如果节点j在CLOSED表中，则把它移回OPEN表(7)转向(2)，即GO TO(2)。有序状态空间搜索算法2022/12/1440注释：步骤（6.c）是一般搜索图所需要的，该图中可能有一个以上的父辈节点。具有最小估价函数f（j）的节点被选作父辈节点。但是，由于搜索树，它最多

19、只有一个父辈节点，所以步骤（6.c）可以略去。有序状态空间搜索算法2022/12/1441 有序搜索算法框图 2022/12/1442有序搜索的有效性直接取决于f的选择，如果选择的f不合适，有序搜索就可能失去一个最好的解甚至全部的解。如果没有适用的准确的希望量度，那么f的选择将涉及两个方面的内容：一方面是时间和空间之间的折衷方案；另一方面是保证有一个最优的解或任意解。有序状态空间搜索算法2022/12/1443有序搜索例子使用八数码难题例子说明过程GRAPHSEARCH是如何应用估价函数排列节点的。采用简单的估价函数 f(n)=d(n)+W(n)其中：d(n)是搜索树中节点n的深度；W(n)用

20、来计算对应于节点n的数据库中错放的棋子个数。2022/12/1444起始节点棋局2 8 31 6 47 5的f值等于1+4=5。有序搜索例子2022/12/1445八数码难题的有序搜索树2022/12/14462022/12/1447从图可见，这里所求得的解答路径和用其它搜索方法找到的解答路径相同。不过，估价函数的应用显著地减少了被扩展的节点数(如果我们只用估价函数f(n)=d(n)，那么我们就得到宽度优先搜索过程)。八数码难题的有序搜索树2022/12/1448正确地选择估价函数对确定搜索结果具有决定性的作用。使用不能识别某些节点真实希望的估价函数会形成非最小代价路径；而使用一个过多地估计了

21、全部节点希望的估价函数(就像宽度优先搜索方法得到的估价函数一样)又会扩展过多的节点。八数码难题的有序搜索树2022/12/14494、A*算法A*算法的估价函数：令估价函数f使得在任意节点上其函数值f(n)能估算出从节点S到节点n的最小代价路径的代价与从节点n到某一目标节点的最小代价路径的代价之总和，也就是说f(n)是约束通过节点n的一条最小代价路径的代价的一个估计。因此，OPEN表上具有最小f值的那个节点就是所估计的加有最少严格约束条件的节点，而且下一步要扩展这个节点是合适的。2022/12/1450 A*算法中几个有用的记号：令k(ni，nj)表示任意两个节点ni和nj之间最小代价路径的实

22、际代价(对于两节点间没有通路的节点，函数k没有定义)。于是，从节点n到某个具体的目标节点ti，某一条最小代价路径的代价可由k(n,ti)给出。令h*(n)表示整个目标节点集合ti上所有k(n,ti)中最小的一个，因此，h*(n)就是从n到目标节点最小代价路径的代价，而且从n到目标节点能够获得h*(n)的任一路径就是一条从n到某个目标节点的最佳路径(对于任何不能到达目标节点的节点n，函数h*没有定义)。2022/12/1451 通常感兴趣的是想知道从已知起始节点S到任意节点n的一条最佳路径的代价k(S,n)。为此，引进一个新函数g*，这将使引入的记号得到某些简化。对所有从S开始可达到n的路径来说

23、，函数g*定义为g*(n)=k(S,n)2022/12/1452 因而f*(n)值就是从S开始约束通过节点n的一条最佳路径的代价，而f*(S)=h*(S)是一条从S到某个目标节点中间无约束的一条最佳路径的代价。其次，定义函数f*，使得在任一节点n上其函数值f*(n)就是从节点S到节点n的一条最佳路径的实际代价加上从节点n到某目标节点的一条最佳路径的代价之和，即 f*(n)=g*(n)+h*(n)2022/12/1453希望估价函数f是f*的一个估计，此估计可由下式给出：f(n)=g(n)+h(n)其中：g是g*的估计；h是h*的估计。对于g(n)来说，一个明显的选择就是搜索树中从S到n这段路径

24、的代价，这一代价可以由从n到S寻找指针时，把所遇到的各段弧线的代价加起来给出(这条路径就是到目前为止用搜索算法找到的从S到n的最小代价路径)。这个定义包含了g(n)g*(n)。对于h*(n)的估计h(n)，它依赖于有关问题的领域的启发信息。h叫做启发函数。2022/12/1454 A算法和A*算法的定义定义1 在GRAPHSEARCH过程中，如果第8步的重排OPEN表是依据f(x)=g(x)+h(x)进行的，则称该过程为A算法。定义2 在A算法中，如果对所有的x，h(x)h*(x)成立,则称h(x)为h*(x)的下界，它表示某种偏于保守的估计。2022/12/1455 定义3 采用h*(x)的

25、下界h(x)为启发函数的A算法，称为A*算法。当h=0时，A*算法就变为有序搜索算法。A*算法是一种有序搜索算法，其特点在于对估价函数的定义上。对于一般的有序搜索，总是选择f值最小的节点作为扩展节点。因此，f是根据需要找到一条最小代价路径的观点来估算节点的，所以，可考虑每个节点n的估价函数值为两个分量：从起始节点到节点n的代价以及从节点n到目标节点的代价。2022/12/1456A*算法(1)把S放入OPEN表，记f=h，令CLOSED为空表。(2)重复下列过程，直至找到目标节点为止。若OPEN为空表，则宣告失败。(3)选取OPEN表中未设置过的具有最小f值的节点为最佳节点BESTNODE，并

26、把它放入CLOSED表。(4)若BESTNODE为一目标节点，则成功求得一解。(5)若BESTNODE不是目标节点，则扩展之，产生后继节点SUCCSSOR。2022/12/1457(6)对每个SUCCSSOR进行下列过程：(a)建立从SUCCSSOR返回BESTNODE的指针。(b)计算g(SUC)=g(BES)+k(BES,SUC)。(c)如果SUCCSSOROPEN，则称此节点为OLD，并把它添至BESTNODE的后继节点表中。(d)比较新旧路径代价。如果g(SUC)g(OLD),则重新确定OLD的父辈节点为BESTNODE，记下较小代价g(OLD),并修正f(OLD)值。(e)若至OLD节点的代价较低或一样，则停止扩展节点。A*算法2022/12/1458(f)若SUCCSSOR不在OPEN表中，则看其是否在CLOSED表中。(g)若SUCCSSOR在CLOSED表中，则转向c。(h)若SUCCSSOR既不在OPEN表中，又不在CLOSED表中，则把它放入OPEN表中，并添入BESTNODE后裔表，然后转向(7)。(7)计算f值。(8)GO LOOP A*算法2022/12/1459A*算算法法框框图2022/12/1460