八数码问题

状态空间法表示

①建立一个只含有初始节点s0的搜索图g，把s0放入open表中                                                               

    ②建立closed表，且置为空表                                                               

    ③判断open表是否为空表，若为空，则问题无解，退出                                                               

    ④选择open表中的第一个节点，把它从open表移出，并放入closed表中，将此节点记为节点n                                                                

    ⑤考察节点n是否为目标节点，若是，则问题有解，成功退出。问题的解就是沿着n到s0的路径得到。若不是转⑥                                                               

    ⑥扩展节点n生成一组不是n的祖先的后继节点，并将它们记为集合m，将m中的这些节点作为n的后继节点加入图g中                                                                

    ⑦对未在g中出现过的（open和closed表中未出现过的）集合m中的节点, 设置一个指向父节点n的指针，并把这些节点放入open表中；对于已在g中出现过的m中的节点，确定是否需要修改指向父节点的指针；对于已在g中出现过并已在closed表中的m中的节点，确定是否需要修改通向他们后继节点的指针。                                                               

    ⑧ 按某一任意方式或某种策略重排open表中节点的顺序                                                               

    ⑨ 转③  

宽度优先搜索算法                                                               

    (1) 把起始节点放到open表中(如果该起始节点为一目标节点，则求得一个解答)。                                                                

    (2) 如果open是个空表，则没有解，失败退出；否则继续。                                                               

    (3) 把第一个节点(节点n)从open表移出，并把它放入closed的扩展节点表中。                                                               

    (4) 扩展节点n。如果没有后继节点，则转向上述第(2)步。                                                               

    (5) 把n的所有后继节点放到open表末端，并提供从这些后继节点回到n的指针。