USACO-Section3.2 Magic Squares【宽度优先搜索】

题目描述：

在成功地发明了魔方之后，鲁比克先生发明了它的二维版本，称作魔板。这是一张有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 FORMAT:

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

OUTPUT FORMAT:

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

---

SAMPLE INPUT

2 6 8 4 5 7 3 1

---

SAMPLE OUTPUT

7
BCABCCB

---

解题思路：

这道题是典型宽度优先搜索题，主要难点在于保存hash表。有两种方法来处理，一种是用一个7维数组来保存（确定了前7位，第8位也确定了），另一种是用康托展开来保存。输出不用判断60个字符一行，因为BFS到22层就已经有了40316左右中情况，接近全部的40320。

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<math.h>
#include<algorithm>
using namespace std;
FILE *fin,*fout;
bool hash[40321];
int s[150000][9],flag=0;//ans[i][0]记录前一次的位置和变换方式。 
int factorial[8]={0,1,2,6,24,120,720,5040};
int Anscantor=0;//目标Cantor位置
int ans[100],ccount=0;
int Cantor(int a[]){//康托展开 
    int sum=0;
    bool v[9];
    memset(v,0,sizeof(v));
    for(int i=8;i>1;i--){
        int temp=0;
        for(int j=1;j<a[i];j++){
            if(!v[j])temp++;
        }
        sum+=temp*factorial[i-1];
        v[a[i]]=true;
    }
    return sum;
}
void test(int road){//获取路径 
    while(s[road][0]){
        ans[ccount++]=s[road][0]%10;
        road=s[road][0]/10;
    }
}
void A(int a[]){
    int temp;
    for(int i=1;i<=4;i++){
        temp=a[i];
        a[i]=a[4+i];
        a[4+i]=temp;
    }
} 
void B(int a[]){
    int temp;
    temp=a[1];a[1]=a[4];a[4]=a[3];a[3]=a[2];a[2]=temp;
    temp=a[5];a[5]=a[8];a[8]=a[7];a[7]=a[6];a[6]=temp;
} 
void BT(int a[]){
    int temp;
    temp=a[1];a[1]=a[2];a[2]=a[3];a[3]=a[4];a[4]=temp;
    temp=a[5];a[5]=a[6];a[6]=a[7];a[7]=a[8];a[8]=temp;
} 
void CT(int a[]){
    int temp;
    temp=a[2];a[2]=a[3];a[3]=a[7];a[7]=a[6];a[6]=temp;
}
void C(int a[]){
    int temp;
    temp=a[2];a[2]=a[6];a[6]=a[7];a[7]=a[3];a[3]=temp;
}
void copy(int pre,int t,int a[],int b[]){ 
    for(int i=1;i<=8;i++)
    b[i]=a[i];
    b[0]=pre*10+t;
}
int bfs(){
    int l=0,r=1;
    while(l<r){ 
        int temp=Cantor(s[l]);
        if(temp==Anscantor){
            test(l);break;
        }
        if(!hash[temp]){
            A(s[l]);copy(l,1,s[l],s[r++]);A(s[l]);
            B(s[l]);copy(l,2,s[l],s[r++]);BT(s[l]);
            C(s[l]);copy(l,3,s[l],s[r++]);CT(s[l]);
            hash[temp]=true;
        }
        l++;        
    }
}
void printAns(){
    fprintf(fout,"%d\n",ccount);
    for(int i=ccount-1;i>=0;i--){
        if(ans[i]==1)fprintf(fout,"A");
        if(ans[i]==2)fprintf(fout,"B");
        if(ans[i]==3)fprintf(fout,"C");
    }
    fprintf(fout,"\n");
}
int main(){
    fin  = fopen ("msquare.in", "r");
    fout = fopen ("msquare.out", "w");
    int temp[9];
    for(int i=1;i<=4;i++){
        fscanf(fin,"%d",&temp[i]);
        s[0][i]=i;
    }   
    for(int i=8;i>=5;i--){
        fscanf(fin,"%d",&temp[i]);
        s[0][i]=13-i;
    }   
    Anscantor=Cantor(temp);
    bfs();
    printAns();
    exit(0);
}