八数码问题求解--实验报告

实验报告

一、实验问题

八数码问题求解

二、实验软件

编程语言或其它编程语言

三、实验目的

1. 熟悉人工智能系统中的问题求解过程；

2. 熟悉状态空间的盲目搜索和启发式搜索算法的应用；

3. 熟悉对八数码问题的建模、求解及编程语言的应用。

四、实验数据及步骤

（一、）实验内容

八数码问题：在3×3的方格棋盘上，摆放着1到8这八个数码，有1个方格是空的，其初始状态如图1所示，要求对空格执行空格左移、空格右移、空格上移和空格下移这四个操作使得棋盘从初始状态到目标状态。

2 8

3 1 2 3

1 4 8 4

7 6 5 7 6 5

(a) 初始状态 (b) 目标状态

图 1 八数码问题示意图

（二、）基本数据结构分析和实现

1.结点状态

我采用了struct Node数据类型

typedef struct _Node{

int digit[ROW][COL];

int dist; 价函数值

int index; 生器函数

定义的发生器函数由以下的四种操作组成：

(1)将当前状态的空格上移

Node node_up;

Assign(node_up, index);的搜索策略

经过分析，8数码问题中可采用的搜速策略共有：1.广度优先搜索、2.深度优先搜索、2.有界深度优先搜索、4.最好优先搜索、5.局部择优搜索，一共五种。其中，广度优先搜索法是可采纳的，有界深度优先搜索法是不完备的，最好优先和局部择优搜索法是启发式搜索法。

实验时,采用了广度(宽度)优先搜索来实现。

（三、）广度(宽度)优先搜索原理

1. 状态空间盲目搜索——宽度优先搜索

其基本思想是，从初始节点开始，向下逐层对节点进形依次扩展，并考察它是否为目标节点，再对下层节点进行扩展（或搜索）之前，必须完成对当层的所有节点的扩展。再搜索过程中，未扩展节点表OPEN中的节点排序准则是：先

进入的节点排在前面，后进入的节点排在后面。其搜索过程如图（1）所示。

图2、宽度优先搜索示意图

2. 宽度优先算法如下：

步1 把初始结点S0放入OPEN表中

步2 若OPEN表为空，则搜索失败，问题无解

步3 取OPEN表中最前面的结点N放在CLOSE表中，并冠以顺序编号n

步4 若目标结点Sg=N，则搜索成功，问题有解

步5 若N无子结点，则转步2

步6 扩展结点N，将其所有子结点配上指向N的放回指针，依次放入OPEN表的尾部，转步2

3.宽度优先算法流程图

图3、宽度优先算法流程图

4．8数码难题用宽度优先搜索所生成的搜索树如图4。搜索树上的所有节点都标记它们所对应的状态描述，每个节点旁边的数字表示节点扩展的顺序（按顺时针方向移动空格）。图中有26个节点，也就是源程序运行结果。

6 7 8 9 10 11 12 13

14 15 16 17 18 19 20 21 22 23 24 25 26

图4.八数码题宽度优先搜索树

五、实验结果及分析

上机试验时,，经多次程序调试，最后得一下结果。此结果所得节点（状态图）很多，可知宽度优先搜索的盲目性很大，当目标节点距离初始节点较远时，就会产生大量的无用节点，搜索效率低。但是，只要问题有解，用宽度优先搜索总可以找到它的解。

图5.程序运行结果

六、结论

人工智能搜索可分为盲目搜索和启发式搜索。盲目搜索算法有宽度优先算法、深度优先算法（有界深度优先算法），启发式搜索算法有A算法、A*算法。本实验采用的是宽度优先（广度优先）算法，这种算法是按预定的控制策略进行，在搜素的过程中所获得的信息不用来改进控制策略。由于搜索总是按预定的路线进行，没有考虑问题本身的特性，这种缺乏问题求解的针对性，需要进行全方位的搜索，而没有选择最优的搜索路径。所以图4宽度优先搜索树及程序运行结果图5得到的节点（状态图）很多,而解路径为，其它节点是没有用的节点，搜索效率很低。通过这次实验更加熟悉状态空间的宽度优先搜索、深度优先搜索和启发式搜索算法及计算机语言对常用数据结构如链表、队列等的描述应用。学到了不少知识。

七、源程序及注释

#include

#include

#include

using namespace std;

const int ROW = 3;价函数值

int index; ist != MAXNUM)

return false;

}

return true;

}

bool isEqual(int index, int digit[][COL]) igit[i][j] != digit[i][j]) return false;

}

return true;

}

ostream& operator<<(ostream& os, Node& node)

{

for (int i = 0; i < ROW; i++) {

for (int j = 0; j < COL; j++)

os << [i][j] << ' ';

os << endl;

}

return os;

}

void PrintSteps(int index, vector& rstep_v)ndex; while (index != 0)

{

(node_v[index]);

index = node_v[index].index;

}

for (int i = () - 1; i >= 0; i--)igit[i][j];

}

int GetMinNode() ist == MAXNUM)

continue;

else if ((node_v[i].dist + node_v[i].dep) < dist) { loc = i;

dist = node_v[i].dist + node_v[i].dep;

}

}

return loc;

}

bool isExpandable(Node& node)

{

for (int i = 0; i < (); i++) {

if (isEqual(i, )

return false;

}

return true;