/*
题意:给出魔板的起始状态,三种基本操作,步数上限和目标状态,求从起始状态到目标状态的操作序列,长度不得超过上限。
初始状态:
1 2 3 4
8 7 6 5
三种基本操作:
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
*/
#include<iostream>
#include<queue>
#include<string>
#include<cstring>
using namespace std;
bool isvisit[8][8][8][8][8][8][8][8]; //记录这种情况是否出现,8个空位,每个位置都有8个可能的数字
int max_step; //最大步数
int goal_status[2][4]; // 魔块的目标状态
int first_status[2][4]={{1,2,3,4},{8,7,6,5}}; //魔块的初始状态
struct my_status
{
int a[2][4]; //记录魔块的状态
string path; //魔块从初始状态变化到现在的状态需要经过的步骤
//初始化
my_status(){}
my_status(int a[2][4]){
for(int i=0;i<2;i++){
for(int j=0;j<4;j++){
this->a[i][j] = a[i][j];
}
}
path="";
}
//重载运算符=
my_status& operator=(const my_status &item){
for(int i=0;i<2;i++){
for(int j=0;j<4;j++){
a[i][j]=item.a[i][j];
}
}
path = item.path;
return *this;
}
//重载运算符==
bool operator==(const my_status & item){
for(int i=0;i<2;i++){
for(int j=0;j<4;j++){
if(a[i][j]!=item.a[i][j])
return false;
}
}
return true;
}
};
//对魔块的现在状态进行某种操作
my_status do_operator(int op , const my_status &p)
{
my_status temp;
switch(op){
case 0://A操作 ,上下行互换
for(int i=0;i<4;i++){
temp.a[0][i] = p.a[1][i];
temp.a[1][i] = p.a[0][i];
}
break;
case 1: //B操作 ,每次以行循环右移一个
for(int i=1;i<4;i++){
temp.a[0][i] = p.a[0][i-1];
temp.a[1][i] = p.a[1][i-1];
}
temp.a[0][0] = p.a[0][3];
temp.a[1][0] = p.a[1][3];
break;
case 2: //C操作 , 中间四小块顺时针转一格
temp = p;
temp.a[0][1] = p.a[1][1];
temp.a[0][2] = p.a[0][1];
temp.a[1][1] = p.a[1][2];
temp.a[1][2] = p.a[0][2];
}
return temp;
}
void bfs()
{
my_status p , next_status;
queue<my_status> Q;
char road; //记录操作
Q.push(first_status);
while(!Q.empty()){
p = Q.front();
Q.pop();
if(p.path.size() > max_step){
cout << "-1" << endl;
return;
}
if(p==goal_status){
cout << p.path.size() << " " << p.path << endl;
return ;
}
for(int i=0;i<3;i++){
next_status = do_operator(i,p);
road = 'A'+i;
next_status.path = p.path + road;
if(!isvisit[next_status.a[0][0]-1][next_status.a[0][1]-1][next_status.a[0][2]-1][next_status.a[0][3]-1]
[next_status.a[1][0]-1][next_status.a[1][1]-1][next_status.a[1][2]-1][next_status.a[1][2]-1]){
isvisit[next_status.a[0][0]-1][next_status.a[0][1]-1][next_status.a[0][2]-1][next_status.a[0][3]-1]
[next_status.a[1][0]-1][next_status.a[1][1]-1][next_status.a[1][2]-1][next_status.a[1][2]-1] = true;
Q.push(next_status);
}
}
}
}
int main()
{
while(cin>>max_step && max_step!=-1){
memset(isvisit,false,sizeof(isvisit));
for(int i=0;i<2;i++){
for(int j=0;j<4;j++)
cin >> goal_status[i][j];
}
bfs();
}
}
转载自:http://www.cnblogs.com/sysuwhj/archive/2010/11/28/1890634.html