POJ 1166 The Clocks（状压BFS）

用一个数状压9个表的状态，每个表4种情况，最多才4^9，标记空间开得下。

记录路径时，用pre[i]表示i状态之前的状态是哪个，chs[i]表示这一次用的哪种操作到的i状态。BFS过程中每次第一次到达某状态就确定这两个值，最后递归得到路径，再排个序即可。

代码：

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
#include <queue>
#include <vector>

bool vis[300000];
int pre[300000];
int chs[300000];
int a[10][10];
int ini[10];
int ed;
queue<int> Q;
int stn(int s[]){
	int cur=1;
	int tot=0;
	for(int i=1;i<=9;i++){
		tot+=cur*s[i];
		cur*=4;
	}
	return tot;
}

void nts(int n,int *s){
	for(int i=1;i<=9;i++){
		s[i]=n%4;
		n/=4;
	}
}


void bfs(){
	int n=stn(ini);
	Q.push(n);
	vis[n]=1;
	while(!Q.empty()){
		int n=Q.front();
		Q.pop();
		int s[10];
		nts(n,s);

		for(int i=0;i<9;i++){
			int t[10];
			for(int j=1;j<=9;j++){
				t[j]=s[j]+a[i][j];
				t[j]%=4;
			}
			int k=stn(t);

			if(!vis[k]){
				pre[k]=n;
				chs[k]=i;
				if(k==0) return ;
				Q.push(k);
				vis[k]=1;
			}
		}
	}
	return ;
}

int main(){
	memset(pre,-1,sizeof(pre));
	a[0][1]=a[0][2]=a[0][4]=a[0][5]=1;
	a[1][1]=a[1][2]=a[1][3]=1;
	a[2][2]=a[2][3]=a[2][5]=a[2][6]=1;
	a[3][1]=a[3][4]=a[3][7]=1;
	a[4][2]=a[4][4]=a[4][5]=a[4][6]=a[4][8]=1;
	a[5][3]=a[5][6]=a[5][9]=1;
	a[6][4]=a[6][5]=a[6][7]=a[6][8]=1;
	a[7][7]=a[7][8]=a[7][9]=1;
	a[8][5]=a[8][6]=a[8][8]=a[8][9]=1;
	for(int i=1;i<=9;i++){
		scanf("%d",&ini[i]);
	}
	bfs();
	vector<int> res;
	int cur=0;
	while(pre[cur]!=-1){
		res.push_back(chs[cur]+1);
		cur=pre[cur];
	}
	sort(res.begin(),res.end());
	for(int i=0;i<res.size();i++){
		printf("%d",res[i]);
		if(i==res.size()-1) printf("\n");
		else printf(" ");
	}
	return 0;
}