1.题目分析
八数码问题是一个经典的BFS问题。BFS的从近到远的扩散过程,适合寻找最短路径。通过BFS解决八数码问题得到的距离就是最短路径。在分析题目的时候,可以看出,解决这题的关键在于如何“判重”,当我们在观察棋盘的时候,我们会发现每次上右下左移动的时候,可能会出现重复的棋盘状况,这是我们不希望看到的,复杂度会大大增加。而当我们使用暴力判重的时候,需要对棋盘9! = 362880个状态进行对比,这同样效率不高。通过查阅资料,本题可以使用数学方法“康托展开”(O(n^2))来判重。
2.代码展示
- 编辑器:Xcode Version 13.1
//
// main.cpp
// 八数码问题(康托展开)
//
// Created by Jkchou on 2022/1/22.
//
#include <iostream>
#include <queue>
using namespace std;
const int LEN = 362880;//排列状态最多的数量9!= 362880
struct node{
int state[9];//记录一个八数码排列
int dis;//记录到起点的距离
};
int dir[4][2] = {//左上右下四个方向
{-1, 0},
{0, -1},
{1, 0},
{0, 1}
};
int visited[LEN] = {0};//记录Cantor值,判重
int start[9];//开始状态
int goal[9];//目标状态
long int factory[] = {1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880};//Cantor()用到的常数
bool Cantor(int str[], int n){//Cantor()展开判重
long result = 0;
for (int i=0; i < n; ++i) {
int counted = 0;
for (int j = i + 1; j < n; ++j) {
if (str[i] > str[j]) {
++counted;
}
}
result += counted * factory[n - i - 1];
}
if(!visited[result]){//没有访问过
visited[result] = 1;
return true;
}
else
return false;
}
int BFS(){//深度优先搜索
node head;
memcpy(head.state, start, sizeof(head.state));
head.dis = 0;
queue<node> q;
Cantor(head.state, 9);
q.push(head);
while (!q.empty()) {
head = q.front();
if (memcmp(head.state, goal, sizeof(goal)) == 0) {//找到目标状态,return
return head.dis;
}
q.pop();
int z;
for (z = 0; z < 9; ++z) {//找到排列中0的位置
if (head.state[z] == 0) {
break;
}
}
//转换为二维,左上角是原点(0, 0)
int x = z % 3;//横坐标
int y = z / 3;//纵坐标
for (int i = 0; i < 4; ++i) {
int newx = x + dir[i][0];
int newy = y + dir[i][1];
int nz = newx + 3 * newy;//转换为一维
if (newx >= 0 && newx < 3 && newy >= 0 && newy < 3) {
node newnode;
memcpy(&newnode, &head, sizeof(struct node));//复制这新的排列状态
swap(newnode.state[z], newnode.state[nz]);//把0移动到新位置
newnode.dis++;
if (Cantor(newnode.state, 9)) {
q.push(newnode);
}
}
}
}
return -1;
}
int main(){
for (int i = 0; i < 9; ++i) {
cin>>start[i];
}
for (int i = 0; i < 9; ++i) {
cin>>goal[i];
}
int num = BFS();
if (num != -1) {
cout<<num<<endl;
}else{
cout<<"Impossible"<<endl;
}
return 0;
}
3.备注
- 对于康托展开的原理及应用详解我的上篇博客就是,大家可以去看一下
- 八数码问题只有9!种状态,对于更大的问题,例如4 * 4棋盘的15数码问题,有16!种排列状态,如果仍然用数组存储,远远不够,此时需要更好的算法(例如双向广搜、A*、IDA*等)。
- 希望有一定BFS基础再做这题,会容易些。