广度优先搜索借鉴.pdfVIP

§12.3 广度优先搜索 从初始状态开始， 应用算符生成第一层状态， 检查目标状态是否在这些后继状态中。若没有，再用 算符将所有第一层的状态逐一扩展， 得到第二层状态， 并逐一检查第二层状态中是否包含目标状态。若 没有， 再用算符逐一扩展第二层的所有状态， ……， 如此依次扩展、 检查下去， 直至发现目标状态为止。 这就是所谓的广度优先搜索。 一、广度优先搜索的基本思路 在广度优先搜索中，解答树上状态的扩展沿状态深度的“断层”进行，也就是说，状态的扩展是按它 们接近起始状态的程度依次进行的。长度为 n+1 的任一状态进行扩展之前，必须先考虑长度为 n 的每种可 能的算符序列。因此，对于同一层状态来说，求解问题的价值是相同的。 我们可以按任意顺序来扩展它 们，这里采用的原则是先生成的状态先扩展。只要目标状态在解答树的有限层上，广度优先搜索第一次扩 展到该状态，便保证找到一条通向它的最佳路径。 为了满足先生成的状态先扩展的原则，我们采用队列的数据结构存贮状态。队列是一种线性表，对于 它所有的插入都在表尾的一端进行，所有的删除都在表首的一端进行。如同现实生活中的等车、买票的排 队，新来的成员总是加入队尾，每次离开的总是队列头上的人，即当前“最老”的成员。因此，队列也被 称为“先进先出表” （FIFO 表）。 在广度优先搜索中， 我们将扩展出的状态存贮在一个称为 list 的数组里， 数组容量为 listmax 。list 数组 采用 “先进先出” 的队列结构， 设两个指针 open、closed，分别是队尾指针和队首指针。 其中 list[1 ‥cloed-1] 存贮已扩展状态（即这些状态的儿子状态已扩展出） ； list[cloed ‥open] 存贮待扩展状态（即这些状态的儿 子状态尚待扩展） 。当 open=closed 时，则表示队列空；当 open=listmax 时， 则表示队列满 (见上图 )。 List 数组的元素为状态。 type node=状态的数据类型 var list ：array[1 ．． listmax]of node ； { 队列} cloed，open：integer ； { 队首指针和队尾指针 } 广度优先搜索的算法流程如下： open← 1；closed← 0； { 初始状态进入队列 } list[open] ←初始状态； while (closedopen)and(open ≤listmax)do begin { 若队列非空且未溢出，则移出队首状态，扩展其子状态 } closed←closed+1 ； expand(list[closed]) ； { 扩展队首状态的所有子状态 } end；{while} if open ≥listmax { 若扩展出的状态数超出 list 表的容量上限 } then 输出内存溢出信息 else 找到了初始状态所能到达的所有状态 list[1] ．．list[open] ； 采用广度优先搜索的试题一般有两种类型： ⑴求初始状态所能到达的所有状态 ⑵求初始状态到某目标状态的最短路径 试题要求不同，扩展子状态的方式 (expand 过程 )也不同： 二、 求初始状态所能到达的所有状态 在求初始状态所能到达的所有状态时，扩展子状态的方式 (expand 过程 )如下 procedure expand(q ：node)；