USACO Magic Squares 魔板 【BFS-HASH】

Description
　　在成功地发明了魔方之后，拉比克先生发明了它的二维版本，称作魔板。这是一张有$8$个大小相同的格子的魔板：
1 2 3 4
8 7 6 5
　　我们知道魔板的每一个方格都有一种颜色。这8种颜色用前8个正整数来表示。可以用颜色的序列来表示一种魔板状态，规定从魔板的左上角开始，沿顺时针方向依次取出整数，构成一个颜色序列。对于上图的魔板状态，我们用序列（$1，2，3，4，5，6，7，8$）来表示。这是基本状态。
　　这里提供三种基本操作，分别用大写字母$“A”，“B”，“C”$来表示（可以通过这些操作改变魔板的状态）：
$“A”$：交换上下两行；
$“B”$：将最右边的一列插入最左边；
$“C”$：魔板中央四格作顺时针旋转。
　　下面是对基本状态进行操作的示范：
A: 8 7 6 5
1 2 3 4
B: 4 1 2 3
5 8 7 6
C: 1 7 2 4
8 6 3 5
　　对于每种可能的状态，这三种基本操作都可以使用。
　　你要编程计算用最少的基本操作完成基本状态到目标状态的转换，输出基本操作序列。

---

Input
只有一行，包括$8$个整数，用空格分开（这些整数在范围 $1——8$ 之间），表示目标状态。

Output
$Line1:$ 包括一个整数，表示最短操作序列的长度。
$Line2:$ 在字典序中最早出现的操作序列，用字符串表示，除最后一行外，每行输出$60$个字符。

---

Sample Input
2 6 8 4 5 7 3 1

Sample Output
7
BCABCCB

---

解题思路
该题目很明显是用搜索做，如果用深度优先搜索，则可能出现死循环，而且时间很长，所以只能用宽度优先搜索。但是如果没有一种好的方法来判断是否已经加入列表，时间可能会超时，所以，我想到了哈希表。按照初始状态标号，则共有$8！=40320$个情况。根据公式：
可以将每一种情况唯一对应到$040319$中的一个数。再用宽度优先搜索可以很轻松的实现这一算法。

---

代码

#include<algorithm>
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int m=100003;
const int rule[3][8]={{8,7,6,5,4,3,2,1},{4,1,2,3,6,7,8,5},{1,7,2,4,5,3,6,8}};
int x,fa[m],num[m],l[m],h,t;
string a,st[m],bsy[m];
bool hash(string x){//判断字状态x是否存在，存在返回True,不存在添加在hash表中
	int k=0;
	for(int i=0;i<8;i++)
		k=(k<<3)+(k<<1)+x[i]-48;//(k<<3)+(k<<1)=k*10
	int i=0;
	k%=m;
	while(i<m&&bsy[(i+k)%m]!=""&&bsy[(i+k)%m]!=x)
		i++;
	if(bsy[(i+k)%m]=="")
	{
		bsy[(i+k)%m]=x;	
		return 0;
	}
	else
		return 1;
}
void bfs()
{
	hash("12345678");
	st[1]="12345678";
	h=0,t=1;
	while(h<t)
	{
		h++;
		for(int i=0;i<3;i++)
		{
			t++;
			st[t]="";
			fa[t]=h;
			num[t]=num[h]+1;
			if(i==0)l[t]='A';
			else if(i==1)l[t]='B';
			else if(i==2)l[t]='C';
			for(int j=0;j<8;j++)
				st[t]+=st[h][rule[i][j]-1];
			if(hash(st[t]))//利用hash表判重
				t--;
			else
				if(st[t]==a)
				return;
		}
	}
}
void write(int x)
{
	if(x==1)return;
	write(fa[x]);
	printf("%c",l[x]);
}
int main(){
	for(int i=0;i<8;i++)
	{
		scanf("%d",&x);
		a+=x+48;
	}
	if(a=="12345678")
		printf("0");
	else
	{
		bfs();
		printf("%d\n",num[t]);
		write(t);
	}
}