八数码第三境界——暴力反向BFS+康托展开判重+打表

（在看了第1、2境界后，再看本文）

这里唯一新增的操作就是打表，所以需要理解打表这个概念。这里就是bfs找出所有的可能，并且都记录下来。

记录的方式。

1. vector<int>res[N];  

1. while(!q.empty())  
2.     {  
3.         g=q.front();q.pop();  
4.         int t = KT(g.str);  
5.         res[t] = g.res;  
6.         g.num++;  
7.         h=g;  
8.         if((h.index+1)%3!=0)  
9.         {  
10.             c=h.str[h.index];h.str[h.index]=h.str[h.index+1];h.str[h.index+1]=c;  
11.             h.index++;  
12.             h.res.push_back(4);  
13.             int t=KT(h.str);  
14.             if(!vis[t])  
15.             {  
16.                 vis[t]=true;  
17.                 q.push(h);  
18.             }  
19.         }  

第3行取得当前队首元素。

第4行取得这个队首元素对应的康托位置。

第5行通过这个位置，在res中记录下这个它走到这一步的操作。

bfs跑完后的比对操作

1.         t = KT(ss);  
2.         if(res[t].size()!=0||t==46234)  
3.             for(i=res[t].size()-1;i>=0;i--)  
4.             {  
5.                 if(res[t][i]==1)printf("d");  
6.                 if(res[t][i]==2)printf("u");  
7.                 if(res[t][i]==3)printf("r");  
8.                 if(res[t][i]==4)printf("l");  
9.             }  
10.         else  
11.             printf("unsolvable");  

通过你所要求的康托位置，找找看有没有这种可能，有的话就输出他，很简单。

全部代码

1. #define N 512345  
2.   
3. char ss[10];  
4. struct node  
5. {  
6.     char str[10];  
7.     vector<int>res;  
8.     int index,num;  
9. };  
10. vector<int>res[N];  
11. bool vis[N];  
12. int  fac[] = {1,1,2,6,24,120,720,5040,40320};  
13. int over;  
14. int ans[N];  
15. int KT(char ss[])  
16. {  
17.     int i, j, t, sum;  
18.     int s[10];  
19.     for(i=0;i<9;i++)  
20.     {  
21.         if(ss[i]=='x')  
22.             s[i]=0;  
23.         else  
24.             s[i]=ss[i]-'0';  
25.     }  
26.     sum = 0;  
27.     for (i=0; i<9; i++)  
28.     {  
29.         t = 0;  
30.         for (j=i+1; j<9; j++)  
31.             if (s[j] < s[i])  
32.                 t++;  
33.         sum += t*fac[9-i-1];  
34.     }  
35.     return sum+1;  
36. }  
37. bool bfs()  
38. {  
39.     char c;  
40.     queue<node> q;  
41.     while(!q.empty())q.pop();  
42.     over = KT(ss);  
43.     node g,h;  
44.     for(int i=0;i<8;i++)  
45.         g.str[i]=i+1+'0';  
46.     g.str[8]='x';g.str[9]='\0';  
47.     g.res.clear();g.index=8;g.num=0;  
48.     int t=KT(g.str);  
49.     vis[t] = true;  
50.     q.push(g);  
51.     while(!q.empty())  
52.     {  
53.         g=q.front();q.pop();  
54.         int t = KT(g.str);  
55.         res[t] = g.res;  
56.         g.num++;  
57.         h=g;  
58.         if((h.index+1)%3!=0)  
59.         {  
60.             c=h.str[h.index];h.str[h.index]=h.str[h.index+1];h.str[h.index+1]=c;  
61.             h.index++;  
62.             h.res.push_back(4);  
63.             int t=KT(h.str);  
64.             if(!vis[t])  
65.             {  
66.                 vis[t]=true;  
67.                 q.push(h);  
68.             }  
69.         }  
70.         h=g;  
71.         if(h.index%3!=0)  
72.         {  
73.             c=h.str[h.index];h.str[h.index]=h.str[h.index-1];h.str[h.index-1]=c;  
74.             h.index--;  
75.             h.res.push_back(3);  
76.             int t=KT(h.str);  
77.             if(!vis[t])  
78.             {  
79.                 vis[t]=true;  
80.                 q.push(h);  
81.             }  
82.         }  
83.         h=g;  
84.         if(h.index<6)  
85.         {  
86.             c=h.str[h.index];h.str[h.index]=h.str[h.index+3];h.str[h.index+3]=c;  
87.             h.index+=3;  
88.             h.res.push_back(2);  
89.             int t=KT(h.str);  
90.             if(!vis[t])  
91.             {  
92.                 vis[t]=true;  
93.                 q.push(h);  
94.             }  
95.         }  
96.         h=g;  
97.         if(h.index>2)  
98.         {  
99.             c=h.str[h.index];h.str[h.index]=h.str[h.index-3];h.str[h.index-3]=c;  
100.             h.index-=3;  
101.             h.res.push_back(1);  
102.             int t=KT(h.str);  
103.             if(!vis[t])  
104.             {  
105.                 vis[t]=true;  
106.                 q.push(h);  
107.             }  
108.         }  
109.     }  
110.     return false;  
111. }  
112. int main()  
113. {  
114.     int i,j,k,kk,t,x,y,z;  
115.     for(i=0;i<N;i++)  
116.         res[i].clear();  
117.     bfs();  
118.     while(scanf("%s",ss)!=EOF)  
119.     {  
120.         memset(vis,false,sizeof(vis));  
121.         for(i=1;i<9;i++)  
122.             scanf("%s",ss+i);  
123.         t = KT(ss);  
124.         if(res[t].size()!=0||t==46234)  
125.             for(i=res[t].size()-1;i>=0;i--)  
126.             {  
127.                 if(res[t][i]==1)printf("d");  
128.                 if(res[t][i]==2)printf("u");  
129.                 if(res[t][i]==3)printf("r");  
130.                 if(res[t][i]==4)printf("l");  
131.             }  
132.         else  
133.             printf("unsolvable");  
134.         printf("\n");  
135.     }  
136.     return 0;  
137. }