盲目搜索与探索
人工智能[第五章状态空间搜索策略]山东大学期末考试知识点复习
![人工智能[第五章状态空间搜索策略]山东大学期末考试知识点复习](https://img.taocdn.com/s3/m/90a7eb54dd36a32d73758188.png)
第五章状态空间搜索策略搜索是人工智能的一个基本问题,是推理不可分割的一部分。
搜索是求解问题的一种方法,是根据问题的实际情况,按照一定的策略或规则,从知识库中寻找可利用的知识,从而构造出一条使问题获得解决的推理路线的过程。
搜索包含两层含义:一层含义是要找到从初始事实到问题最终答案的一条推理路线;另一层含义是找到的这条路线是时间和空间复杂度最小的求解路线。
搜索可分为盲目搜索和启发式搜索两种。
1.1 盲目搜索策略1.状态空间图的搜索策略为了利用搜索的方法求解问题,首先必须将被求解的问题用某种形式表示出来。
一般情况下,不同的知识表示对应着不同的求解方法。
状态空间表示法是一种用“状态”和“算符”表示问题的方法。
状态空间可由一个三元组表示(S,F,Sg)。
利用搜索方法求解问题的基本思想是:首先将问题的初始状态(即状态空间图中的初始节点)当作当前状态,选择一适当的算符作用于当前状态,生成一组后继状态(或称后继节点),然后检查这组后继状态中有没有目标状态。
如果有,则说明搜索成功,从初始状态到目标状态的一系列算符即是问题的解;若没有,则按照某种控制策略从已生成的状态中再选一个状态作为当前状态,重复上述过程,直到目标状态出现或不再有可供操作的状态及算符时为止。
算法5.1 状态空间图的一般搜索算法①建立一个只含有初始节点S0的搜索图G,把S放入OPEN表中。
②建立CLOSED表,且置为空表。
③判断OPEN表是否为空表,若为空,则问题无解,退出。
④选择OPEN表中的第一个节点,把它从OPEN表移出,并放入CLOSED表中,将此节点记为节点n。
⑤考察节点n是否为目标节点,若是,则问题有解,并成功退出。
问题的解的这条路径得到。
即可从图G中沿着指针从n到S⑥扩展节点n生成一组不是n的祖先的后继节点,并将它们记作集合M,将M中的这些节点作为n的后继节点加入图G中。
⑦对那些未曾在G中出现过的(即未曾在OPEN表上或CLOSED表上出现过的)M中的节点,设置一个指向父节点(即节点n)的指针,并把这些节点加入OPEN 表中;对于已在G中出现过的M中的那些节点,确定是否需要修改指向父节点(n 节点)的指针;对于那些先前已在G中出现并且已在COLSED表中的M中的节点,确定是否需要修改通向它们后继节点的指针。
盲目搜索

盲目搜索搜索的含义依问题的实际情况寻找可利用的知识,构造代价较少的推理路径从而解决问题的过程离散的问题通常没有统一的求解方法搜索策略的优劣涉及能否找到最好的解、计算时间、存储空间等搜索分为盲目搜索和启发式搜索盲目搜索:按预定的策略进行搜索,未用问题相关的或中间信息改进搜索。
效率不高,难求解复杂问题,但不失可用性启发式搜索:搜索中加入问题相关的信息加速问题求解,效率较高,但启发式函数不易构造盲目搜索也叫无信息搜索,只适合用于求解比较简单的问题。
我们没有指定问题的任何推理信息,例如要搜索这一部分而不是另一部分,就像到目前为止的只要发现一条到目标的路径即可。
这种过程被称为是盲目的。
盲目搜索过程只把算子应用到节点,它没有使用问题领域的任何特殊知识(除了关于什么动作是合法的知识外)。
最简单的盲目搜索过程就是广度优先搜索。
该过程把所有的算子应用到开始节点以产生一个显式的状态空间图,再把所有可能的算子应用到开始节点的所有直接后继,再到后继的后继,等等。
搜索过程一律从开始节点向外扩展。
由于每一步将所有可能的算子应用到一个节点,因此可把它们组成一个叫后继函数的函数。
当把后继函数应用到一个节点时,产生一个节点集,该节点集就是把所有能应用到那个节点的算子应用到该节点而产生的。
一个节点的后继函数的每一次应用称为节点的扩展相同代价搜索是广度优先搜索的一种变体,在该方法中,节点从开始节点顺着代价等高点向外扩展,而不是顺着相同深度等高线。
如果图中所有弧的代价相同,那么相同代价搜索就和广度优先搜索一致。
反过来,相同代价搜索可以看作是下一章要讲的启发式搜索的一个特殊情况。
广度优先和相同代价搜索方法的简要描述只给出了它们的主要思想,但是要解决其他复杂的情况则需要技术改进深度优先搜索一次对节点应用一个算子以产生该节点的一个后继。
每一个节点都留下一个标记,用来指示如果需要时所必需的附加算子。
对每一个节点,必须有一个决策来决定哪个算子先用,哪个次之等等。
3搜索问题-盲目搜索

◦ 以上问题等价于在图中寻找从根节点到某个(或某些)
目标节点的一条(或一组)路径。
1 问题状态空间的构成
状态空间表示法是以“状态空间”的形式对问题 进行表示。 1)状态:是描述问题求解过程中不同时刻状况的 数据结构。一般用一组变量的有序集合表示:Q=(q1, q2,…,qn) 其中每个元素qi为集合的分量,称为状态 变量,当给每个分量以确定的值时,就得到了一个具体的 状态。
2
3 1 3
2 1
3
2 1 3 1 1
2 3 2 3
2
1
初始棋局
17
目标棋局
产生式系统(production system)
◦ 一个总数据库:它含有与具体任务有关的信息。随着应 用情况的不同,这些数据库可能简单,或许复杂。 ◦ 一套规则:它对数据库进行操作运算。每条规则由左部
鉴别规则的适用性或先决条件以及右部描述规则应用时所 完成的动作。 ◦ 一个控制策略:它确定应该采用哪一条适用规则,而且 当数据库的终止条件满足时,就停止计算。
Q () Q Q
((1,1))
((1,1) (2,3))
((1,1) (2,4))
((1,1) (2,4) (3,2))
Q () Q
((1,1))
((1,1) (2,3))
((1,1) (2,4))
((1,1) (2,4) (3,2))
Q ()
((1,1))
((1,1) (2,3))
((1,1) (2,4))
◦ 系统状态的描述 四个皇后 ((i1,j1), (i2,j2), (i3,j3), (i4,j4))
()
Q ()
((1,1))
Q ()
实验二 盲目搜索

实验二搜索问题形式化和无信息搜索(2学时)一实验目的熟悉和掌握搜索问题形式化方法与步骤,使用Python语言实现搜索问题形式化;掌握基本无信息搜索算法,实现算法并验证。
二实验原理搜索问题形式化即把要解决的问题描述为搜索问题,主要包括确定状态空间,初始状态,后继函数,目标测试及耗散等5方面内容;对于搜索问题可以应用通用的搜索算法求解,主要包括无信息(盲目)搜索和有信息搜索两大类,基本的无信息搜索有广度优先搜索和深度优先搜索。
三实验条件1 Python解释器,及IDLE等程序开发调试环境。
2 本实验所提供的几个Python文件,包括:mazeworld.py 用于构造、编辑、显示迷宫问题,以及对迷宫进行简单搜索;search.py 编写搜索算法代码。
实验要求的所有搜索Agent将通过改写本文件中类SearchAgent的solve方法来实现;util.py 实现搜索算法可能使用到的一些数据结构;eightpuzzle.py 用于构造、编辑、显示8数码问题;maze1.txt maze2.txt maze3.txt 迷宫文本文件。
四实验内容1 搜索问题形式化2 广度优先搜索3 深度优先搜索五实验步骤1 建立文件夹,将实验提供的4个Python文件和3个文本文件拷到文件夹中,注意整个文件夹路径不能有中文字符2 构造、编辑、显示迷宫问题运行Python IDLE,在>>>提示符下输入import mazeworld此时会出现错误提示,分析为什么出错#之所以会出现错误,是因为在sys的导入路径(path)中没有mazeworld.py文件的路径,这是用户自定#义的的路径,需要手工导入,即使用下面的方法import syssys.path['D:\\Python27\\Lib\\idlelib', 'C:\\WINDOWS\\SYSTEM32\\python27.zip','D:\\Python27\\DLLs', 'D:\\Python27\\lib', 'D:\\Python27\\lib\\plat-win','D:\\Python27\\lib\\lib-tk','D:\\Python27','D:\\Python27\\lib\\site-packages']#这里是你sys初始导入路径>>> sys.path.append('D:\QQPCmgr\Desktop\BlindSearchProject')#这里是你sys新增的导入路径>>> sys.path['D:\\Python27\\Lib\\idlelib', 'C:\\WINDOWS\\SYSTEM32\\python27.zip','D:\\Python27\\DLLs', 'D:\\Python27\\lib', 'D:\\Python27\\lib\\plat-win','D:\\Python27\\lib\\lib-tk', 'D:\\Python27','D:\\Python27\\lib\\site-packages', 'D:\\QQPCmgr\\Desktop\\BlindSearchProject']#新增导入路径后确认路径导入成功>>> import mazeworld此时,不再有出错提示,成功,分析成功原因#由于此时系统具有了mazeworld.py文件所在文件夹的路径,故当使用import命令时,系统会自动来到#这个文件夹进查找,当然就可找到而不会出错了#同时还有可能是因为版本问题出现报错,因为python2和python3要求的输出语言的代码不同#python2系列可以支持 print “xxxx”,python系列需要使用print("xxx") simpleMaze = mazeworld.Maze([['#', ' ', ' ', ' '], ['~', 'S', ' ', 'E']])print simpleMaze理解迷宫的表现形式#输出的迷宫为- - - -|# ||~ S E|- - - -#迷宫最典型的表现形式便是矩阵,而此处的迷宫也同样如此。
6第六讲 第三章(盲目、启发搜索)

二、有序搜索
用估价函数 f 来排列OPEN表上的节点。
应用某个算法选择OPEN表上具有最小f 值的节点作为
二、宽度优先搜索
例3.2 八数码问题 操作规定: 允许空格四周上、下、左、右的数码 块移入空格中,不许斜方向移动,不许返回先辈 结点。
1 2 3 8 5 7 4 6
1
4
1 3 8 2 5 7 4 6
2
1 2 3 8 4 5 7 6
3
1 2 3 8 5 7 4 6
5
1 2 3 8 5 7 4 6
深度优先搜索的特点
OPEN表为堆栈,操作是后进先出(LIFO) 深度优先又称纵向搜索。 一般不容易保证找到最优解(如下图所示) 防止搜索过程沿着无益的路径扩展下去,往往 给出一个节点扩展的最大深度——深度界限。
2、有界深度优先搜索
引入搜索深度限制值d,使深度优先搜索具有完备性 。 (1)深度界限的选择很重要 d若太小,则达不到解的深度,得不到解;若太大,既 浪费了计算机的存储空间与时间,降低了搜索效率。由于 解的路径长度事先难以预料,要恰当地给出d的值是比较 困难的。 (2)即使能求出解,它也不一定是最优解。 例3.3:设定搜索深度限制d=5的八数码问题。
4. 搜索过程框图
S0放入OPEN表 是 OPEN表空? 否 将OPEN表中第一个节点(n) 移至CLOSE表 否 n是目标节点? 扩展节点n,把n的后继节点放入 OPEN表末端,提供指向 节点n的指针 修改指针方针,重排OPEN表
失败
是
成功
一、图搜索策略(Graph Search) 5.图搜索方法分析:
3.2 启发式搜索
盲目搜索的不足:效率低,耗费空间与时间。 启发式搜索:利用问题本身特性信息(启发信息) 指导搜索过程。是有序搜索。 一、启发式搜索策略 启发式信息主要用途:
人工智能搜索

人工智能搜索技术初探【摘要】本文简要概述了人工智能搜索技术,分别对盲目搜索和启发式搜索做了阐述,并且用深度优先搜索初步分析了野人和牧师过河问题,用A*算法初步分析了九宫图问题。
【关键词】搜索技术;盲目搜索;启发式搜索;宽度优先搜索;深度优先搜索;野人与牧师;A*算法;九宫图;搜索技术是人工智能的基本技术之一,在人工智能各应用领域中被广泛地使用。
早期的人工智能程序与搜索技术联系更为密切,几乎所有早期的人工智能程序都是以搜索技术为基础的。
例如,A.Newell和H.A.Simon等人编写的LT(Logic Theorist)程序。
现在,搜索技术渗透在各种人工智能系统中,可以说没有哪一种人工智能系统应用不到搜索方法。
在专家系统、自然语言理解、自动程序设计、模式识别、机器人学、信息检索和博弈等领域都广泛使用搜索技术。
人工智能问题,广义地说都可以看作是一个问题求解过程,因此问题求解是人工智能的核心问题,通常是通过在某个可能的解答空间中寻找一个解来进行的。
在问题求解过程中,人们所面临的大多数显示问题往往没有确定性的算法,通常需要用搜索算法来解决。
目标和达到目标的一组方法称为问题,搜索就是探究这些方法能够做什么的过程。
问题求解一般需要考虑两个基本问题:首先是使用合适的状态空间表示问题,其次是测试该状态空间中目标状态是否出现。
一般搜索可以根据是否使用启发式信息分为盲目搜索和启发式搜索。
一:盲目搜索盲目搜索又叫非启发式搜索,是一种无信息搜索,一般只使用求解比较简单的问题。
宽度优先搜索、深度优先搜索、分支有限搜索、迭代加深搜索都是盲目搜索。
1.宽度优先搜索宽度优先搜索算法(又称广度优先搜索算法)是最简单的图的搜索算法之一,这一算法也是很多重要的图的算法的原型。
Dijksta单源最短路径算法和Prim 最小生成树算法都采用了与宽度优先搜索类似的思想。
宽度优先搜索的核心思想是:从初始结点开始,应用算符生成第一层结点,检查目标结点是否在这些后继结点中,若没有,再用产生式规则将所有第一层的结点逐一扩展,得到第二层结点,并逐一检查第二层结点中是否包含目标结点。
搜索介绍

状态空间表示法: 状态空间表示法是用“ 状态” 状态空间表示法 : 状态空间表示法是用 “ 状态 ” 和 算符”来表示问题的一种方法。 “算符”来表示问题的一种方法。 状态: ● 状态:状态是描述问题求解过程中任一时刻状 况的数据结构。 况的数据结构。 算符:引起状态的某些分量变化, ● 算符:引起状态的某些分量变化,从而使问题 从一个状态变为另一个状态的操作称为算符。 从一个状态变为另一个状态的操作称为算符。 状态空间: ● 状态空间:问题的全部状态和一切算符所构成 的集合成为状态空间。 的集合成为状态空间。
struct tnode{ .... }state[maxn]; void init(); bool extend(); bool repeat(); bool find() void outs(); void printpath(); //定义一个结点数据类型 定义一个结点数据类型 //根据具体问题确定所需的数据类型 根据具体问题确定所需的数据类型 //定义 定义tnode类型的数组作为存储结点的队列 定义 类型的数组作为存储结点的队列 //初始化函数 初始化函数 //判断结点是否能扩展,如果能则产生新结点 判断结点是否能扩展, 判断结点是否能扩展 //检查新结点是否在队列中已经出现 检查新结点是否在队列中已经出现 //检查新结点是否目标结点 检查新结点是否目标结点 //输出结点状态 输出结点状态 //输出路径 输出路径
搜索技术
要解决的问题大多数是结构不良或者非结构的问题, 要解决的问题大多数是结构不良或者非结构的问题, 对这样的问题一般不存在成熟的求解算法, 对这样的问题一般不存在成熟的求解算法,而只能利 用已有的知识一步步地摸索着前进。在这个过程中, 用已有的知识一步步地摸索着前进。在这个过程中, 存在着如何寻找一条推理路线, 存在着如何寻找一条推理路线,使得付出的代价尽可 能地少,而问题又能够得到解决。 能地少,而问题又能够得到解决。我们称寻找这样路 线的过程为搜索。 线的过程为搜索。
盲目搜索启发式搜索

2015-3-22
39
有序状态空间搜索算法
(6) 扩展节点i生成其全部后继节点。对于i的每一个后继节点j: – (a) 计算f(j)。 – (b) 如果j既不在OPEN表中,又不在CLOSED表中,则用估 价函数 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)。
2015-3-22
24
3.1.3 深度优先搜索
2015-3-22
25
有界深度优先搜索
定义节点的深度如下: (1) 起始节点(即根节点)的深度为0。 (2) 任何其它节点的深度等于其父辈节点深度加上1。 • 对于许多问题,其状态空间搜索树的深度可能为无限深, 或者可能至少要比某个可接受的解答序列的已知深度上限 还要深。为了避免考虑太长的路径(防止搜索过程沿着无 益的路径扩展下去 ) ,往往给出一个节点扩展的最大深 度——深度界限。任何节点如果达到了深度界限,那么都 将把它们作为没有后继节点处理。值得说明的是,即使应 用了深度界限的规定,所求得的解答路径并不一定就是最 短的路径。
CLOSED表变化过程
编号 0 ቤተ መጻሕፍቲ ባይዱ 2 节点号 S0 A B 父节点号 空 S0 S0
图搜索的一般过程
(1) 建立一个只含有起始节点S的搜索图G,把S放到一 个叫做OPEN表的未扩展节点表中。 (2)建立一个叫做CLOSED的已扩展节点表,其初始为 空表。 (3)LOOP:若OPEN表是空表,则失败退出。 (4) 选择OPEN表上的第一个节点,把它从OPEN表移出 并放进CLOSED表中。称此节点为节点n。 (5) 若n为一目标节点,则有解并成功退出,此解是追 踪图G中沿着指针从n到S这条路径而得到的(指针将 在第7步中设置)。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
24
3.1.3 深度优先搜索
2020/6/26
25
有界深度优先搜索
定义节点的深度如下: (1) 起始节点(即根节点)的深度为0。 (2) 任何其它节点的深度等于其父辈节点深度加上1。
• 对于许多问题,其状态空间搜索树的深度可能为无限深, 或者可能至少要比某个可接受的解答序列的已知深度上限 还要深。为了避免考虑太长的路径(防止搜索过程沿着无 益的路径扩展下去),往往给出一个节点扩展的最大深 度——深度界限。任何节点如果达到了深度界限,那么都 将把它们作为没有后继节点处理。值得说明的是,即使应 用了深度界限的规定,所求得的解答路径并不一定就是最 短的路径。
失败 成功
一、盲目搜索
盲目搜索又叫做无信息搜索,一般只适用于求解比较简 单的问题。主要包括宽度优先搜索、等深度优先搜索等。 特点:
1)搜索按规定的路线进行,不使用与问题有关的启发性 信息。
2)适用于其状态空间图是树状结构的一类问题。
13
1、 宽度优先搜索
定义:如果搜索是以接近起始节点的程度依次扩展节点的, 那么这种搜索就叫做宽度优先搜索(breadth-first search)。
2020/6/26
29
八数码难题的深度优先搜索树
2020/6/26
30
二、 启发式搜索
盲目搜索的不足:
效率低,耗费过多的计算空间与时间。 宽度优先搜索、深度优先搜索,或等代价搜索算法,是按事
先规定的路线进行搜索,或按已经付出的代价决定下一步 要搜索的节点,其主要差别是OPEN表中待扩展节点的顺 序问题。如果找到一种方法用于排列待扩展节点的顺序, 即选择最有希望的节点加以扩展,那么,搜索效率将会大 为提高。
基本思想:
从初始节点S开始,在其子节点中选择一个节点进行 考察,若不是目标节点,则再在该子节点中选择一个节 点进行考察,一直如此向下搜索。当到达某个子节点, 且该子节点既不是目标节点又不能继续扩展时,才选择 其兄弟节点进行考察。
2020/6/26
22
深度优先搜索示意图
2020/6/26
23
3、深度优先搜索
(8) 按某一任意方式或按某个探试值,重排OPEN表。 (9) GO LOOP。
开始
把S放入OPEN表
是 OPEN表为空表?
否 把第一个节点(n)从OPEN表移至CLOSED表
n为目标节点吗?
是
否
把n的后继节点放入OPEN表的 末端,提供返回节点n的指针
修改指针方向 重排OPEN表
图搜索一般过程的框图
2020/6/26
31
二、 启发式搜索
盲目搜索的共同特点:
没有利用问题本身的特性信息,在决定要被扩展的节点 时,都没有考虑该节点在解的路径上的可能性有多大,它 是否有利于问题求解以及求出的解是否为最优解等。
2020/6/26
32
二、 启发式搜索
启发信息
进行搜索技术一般需要某些有关具体问题领域特性的、 与具体问题求解过程有关的、并可指导搜索过程朝着最有 希望方向前进的控制信息,把此种信息叫做启发信息。
2 、 估价函数
3、 有序搜索
用估价函数f来排列GRAPHSEARCH第8步中OPEN表上的 节点。根据习惯,OPEN表上的节点按照它们f函数值的递增 顺序排列。根据推测,某个具有低估价值的节点较有可能处 在最佳路径上。应用某个算法(例如等代价算法)选择OPEN 表上具有最小f值的节点作为下一个要扩展的节点。这种搜索 方法叫做有序搜索或最佳优先搜索,而其算法就叫做有序搜 索算法或最佳优先算法。可见它总是选择最有希望的节点作 为下一个要扩展的节点。有序搜索(ordered search)又称为 最好优先搜索(best-first search)。
在深度优先搜索中,首先扩展最新产生的(即最深的)节点 (深度相等的节点可以任意排列)。其结果是搜索沿着状态 空间某条单一的路径从起始节点向下进行下去;只有当搜索 到达一个没有后裔的状态时,它才考虑另一条替代的路径。 替代路径与前面已经试过的路径不同之处仅仅在于改变最后 n步,而且保持n尽可能小。
2020/6/26
搜索原理
什么是搜索? 根据问题的实际情况不断寻找可利用的知识,从而构造一条代价较少 的推理路线,使问题得到圆满解决的过程。
盲目搜索 ○ 按预定的控制策略进行搜索,在搜索过程中获得的中间信息不 用来改进控制策略。效率低、主要用于简单问题求解。
启发式搜索 ○ 在搜索中加入了与问题有关的启发性信息,用以指导搜索朝着 最有希望的方向前进,加速问题的求解过程并找到最优解。
2、估价函数
用来估算节点希望程度的量度,叫做估价函数(evaluation function)。
估价函数的任务就是估计OPEN表中各节点的重要程度。
一个节点的“希望”(promise)有几种不同的定义方法: 1. 估算目标节点到此节点的距离; 2. 解答路径包括被估价过的节点,并计算全条路径的长度或难度。
目标节点,则求得一个解答)。 (2) 如果OPEN是个空表,则没有解,失败退出;否
则继续。 (3) 把第一个节点(节点n)从OPEN表移出,并把它放
入CLOSED扩展节点表中。 (4) 扩展节点n。如果没有后继节点,则转向上述第
(2)步。 (5) 把n的所有后继节点放到OPEN表的末端,并提供
从这些后继节点回到n的指针。 (6) 如果n的任一个后继节点是个目标节点,则找到
2020/6/26
37
3、 有序搜索
尼尔逊(Nilsson)曾提出一个有序搜索的基本算法。 估价函数f按照如下方法确定:
一个节点希望程度越大,其f值就越小。被选为扩展的节 点,是估价函数最小的节点。
2020/6/26
38
有序状态 空间搜索 算法
一.把起始节点S放到OPEN表中,计算f(S)并 把其值与节点S联系起来。
把利用启发信息的搜索方法叫做启发性搜索方法。
特点:重排OPEN表,选择最有希望的节点加以扩展 种类:最佳优先搜索、A*算法等
2020/6/26
33
1、启发式搜索策略
启发信息按其用途可分为3种: 用于决定要扩展的下一个节点,以免 像在宽度优先或深度优先搜索中那样 盲目地扩展。 在扩展一个节点的过程中,用于决定 要生成哪一个或哪几个后继节点,以 免盲目地同时生成所有可能的节点。 用于决定某些应该从搜索树中抛弃或 修剪的节点。
OPEN表的前头。如果没有后裔,则转向(2)。 (6) 如果后继节点中有任一个为目标节点,则求得一
个解,成功退出;否则,转向(2)。
2020/6/26
27
算法动态演示图
2020/6/26
28
例如:按深度优先搜索生成八数码难题搜索树,设置深度 界限为5。 下图绘出了搜索树,粗线条的路径表明含有5条应用 规则的一个解。从图可见,深度优先搜索过程是沿着一条 路径进行下去,直到深度界限为止,然后再考虑只有最后 一步有差别的相同深度或较浅深度可供选择的路径,接着 再考虑最后两步有差别的那些路径,等等。
用符号f来标记估价函数,用f(n)表示节点n 的估价函数值。暂时令f为任意函数,以后 将会提出f是从起始节点约束地通过节点n而 到达目标节点的最小代价路径上的一个估算 代价。 一般形式:
● f(n)=g(n)+h(n) • g(n)是从s0到n的实际代价。 • h(n)是从节点n到目标节点sg的估 计代价。
一个解答,成功退出;否则转向第(2)步。
2020/6/26
16
宽度优先搜索算法框图
17
宽度优先搜索方法分析:
• 宽度优先搜索是图搜索一般过程的特殊情况,将图搜索一 般过程中的第8步具体化为本算法中的第6步,这实际是 将OPEN表作为“先进先出”的队列进行操作。
• 宽度优先搜索方法能够保证在搜索树中找到一条通向目标 节点的最短途径;这棵搜索树提供了所有存在的路径(如 果没有路径存在,那么对有限图来说,就说该法失败退出; 对于无限图来说,则永远不会终止)。
18
例如:宽度优先搜索用于八数码难题。这个问题 就是要把初始棋局变为如下目标棋局的问题:
搜索树上的所有节点都标记它们所对应的状态描 述,每个节点旁边的数字表示节点扩展的顺序(按 顺时针方向移动空格)。图中最后一个节点是目标 节点。ຫໍສະໝຸດ 19八数码难题的宽度优先搜索树
26
20
对应动态演示图
21
2、 深度优先搜索
基本思想:从初始节点S开始,逐层地对节点进行扩展并考 察它是否为目标节点,在第n层的节点没有全部扩展并考 察之前,不对第n+1层的节点进行扩展。OPEN表中的节 点总是按进入的先后顺序排列,先进入的节点排在前面, 后进入的排在后面。
14
宽 度 优 先 搜 索 示 意 图
15
宽度优先搜索算法: (1) 把起始节点放到OPEN表中(如果该起始节点为一
有序状态空间搜索算法
(6) 扩展节点i生成其全部后继节点。对于i的每一个后继节点j:
– (a) 计算f( j)。
– (b) 如果j既不在OPEN表中,又不在CLOSED表中,则用 估价函数f把它添入OPEN表。从j加一指向其父辈节点i的 指针,以便一旦找到目标节点时记住一个解答路径。
– (c) 如果j已在OPEN表上或CLOSED表上,则比较刚刚对j 计算过的f值和前面计算过的该节点在表中的f值。如果新 的f值较小,则
的 术 语
扩展——求解父节点的 所有子节点,叫做扩展。
路径——在一系列节点 n1,n2, ,nm中,从 n1开始,ni总有分枝 连接ni+1,称从n1到 nm之间的分枝集合是 路径。路径中不包含两 个及以上相同的分枝, 如果n1和nm是同一个 节点,则称这种路径为 闭路。不构成闭路的称 为树。
在用状态空间图来表示 问题时,对问题的求解 就是求出从初始节点到 目标节点的路径。