广度优先.docVIP

§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)； {扩展q状态的所有子状态} var successor：node； begin for i取遍所有的算符 do if open≤listmax then {若队列未满} begin 算符i作用于q状态产生一个子状态successor； if successor满足约束条件 then begin open←open+1；list[open]←succes