在此之前介绍过图的遍历,很多问题可以归结为图的遍历,但这些问题中的图却不是事先给定的、从程序读入的,而是由程序动态生成的,称为隐式图。本节和前面介绍的回溯法不同,回溯法一般是要找一个(或者所有)满足约束的解(或者某种意义下的最优解),而状态空间搜索一般是要找到一个从初始状态到终止状态的路径。
八数码问题。编号为1-8的8个正方形滑块被摆成3行3列(有一个格子留空),如图所示。每次可以把与空格相邻的滑块(有公共边才算相邻)移到空格中,而它原来的位置就成为了新的空格。给定初始局面和目标局面(用0表示空格),你的任务是计算出最少的移动步数。如果无法到达目标局面,则输出-1。
样例输入:
2 8 3 1 6 4 7 0 5
1 2 3 8 0 4 7 6 5
样例输出:
5
运行结果:
不难把八数码问题归结为图上的最短路问题,图中的结点就是9个格子中的滑块编号(从上到下,从左到右把它们放到一个包含9个元素的数组中)。无权图上的最短路问题可以用BFS求解。