hdu 1430 魔板 (预处理+置换+bfs)

魔板

Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)

Total Submission(s): 1401    Accepted Submission(s): 288

Problem Description

在魔方风靡全球之后不久，Rubik先生发明了它的简化版——魔板。魔板由8个同样大小的方块组成，每个方块颜色均不相同，可用数字1-8分别表示。任一时刻魔板的状态可用方块的颜色序列表示：从魔板的左上角开始，按顺时针方向依次写下各方块的颜色代号，所得到的数字序列即可表示此时魔板的状态。例如，序列(1,2,3,4,5,6,7,8)表示魔板状态为：

1 2 3 4
8 7 6 5

对于魔板，可施加三种不同的操作，具体操作方法如下：

A: 上下两行互换,如上图可变换为状态87654321
B: 每行同时循环右移一格,如上图可变换为41236785
C: 中间4个方块顺时针旋转一格,如上图可变换为17245368

给你魔板的初始状态与目标状态，请给出由初态到目态变换数最少的变换步骤，若有多种变换方案则取字典序最小的那种。

 

Input

每组测试数据包括两行，分别代表魔板的初态与目态。

 

Output

对每组测试数据输出满足题意的变换步骤。

 

Sample Input

  
  

   
   12345678
17245368
12345678
82754631
  
  

 

Sample Output

  
  

   
   C
AC
  
  

 

Author

LL

 

Source

ACM暑期集训队练习赛（三）

感想：

拿到这题，果断用单项bfs做了，竟然TLE了。后来发现时多组数据测试，后台case很多的话可以把程序拖到TLE。

如果是单组数据测试，单搜肯定可以过的，因为状态并不是很多。

后来改双向bfs，一直WA，其实双向bfs就是个坑呀，要保证后半段的字典序最小确实挺困难的，不过也并非不能。

觉得自己的双搜不好改了，就参照了一下网上的预处理+置换，感觉蛮经典的，这种方法对多组数据测试挺管用的。

思路：

起始状态s虽然不是12345678，但是可以把它看做12345678（状态ss），因而就有一种对应关系存在，用这种对应关系置换最终状态e得到状态es，那么原来s->e就可以等价为ss->es了。这样就只需要对ss这个状态进行一次bfs预处理，将答案存下来就ok了。

代码：

#include <iostream>
#include <cstdio>
#include <string>
#include <cstring>
#define maxn 50000
using namespace std;

int n,m;
int fac[]={1,1,2,6,24,120,720,5040};  // 康拓展开
char s[10],e[10];
bool vis[maxn];
string anss[maxn]; // 存答案
struct Node
{
    int state;
    char ns[10];
}cur,now,q[maxn];

void getns(int k)  // 获取魔板序列
{
    int i,j;
    if(k==0)
    {
        for(i=0;i<4;i++)
        {
            cur.ns[3-i]=now.ns[4+i];
            cur.ns[4+i]=now.ns[3-i];
        }
    }
    else if(k==1)
    {
        for(i=0;i<3;i++)
        {
            cur.ns[i+1]=now.ns[i];
            cur.ns[i+4]=now.ns[i+5];
        }
        cur.ns[0]=now.ns[3];
        cur.ns[7]=now.ns[4];
    }
    else
    {
        for(i=0;i<8;i++)
        {
            cur.ns[i]=now.ns[i];
        }
        cur.ns[1]=now.ns[6];
        cur.ns[2]=now.ns[1];
        cur.ns[5]=now.ns[2];
        cur.ns[6]=now.ns[5];
    }
}
int getstate(char ss[])  // 获取状态
{
    int i,j,cnt,val=0;
    for(i=0;i<8;i++)
    {
        cnt=0;
        for(j=i+1;j<8;j++)
        {
            if(ss[j]<ss[i]) cnt++;
        }
        val+=cnt*fac[7-i];
    }
    return val;
}
void bfs()
{
    int i,j,nst,tst;
    int head=0,tail=-1;
    char c;
    memset(vis,0,sizeof(vis));
    cur.state=0;
    strcpy(cur.ns,"12345678");
    vis[0]=1;
    anss[0]="";
    q[++tail]=cur;
    while(head<=tail)
    {
        now=q[head];
        nst=now.state;
        for(i=0;i<3;i++)
        {
            getns(i);
            tst=getstate(cur.ns);
            if(!vis[tst])
            {
                vis[tst]=1;
                c='A'+i;
                anss[tst]=anss[nst]+c;
                cur.state=tst;
                q[++tail]=cur;
            }
        }
        head++;
    }
}
int main()
{
    int i,j,est;
    char cs[10];
    bfs();                       // 预处理
    while(~scanf("%s%s",s,e))
    {
        for(i=0;i<8;i++)         // 建立对应关系
        {
            cs[s[i]-'0']=i+1+'0';
        }
        for(i=0;i<8;i++)         // 置换
        {
            e[i]=cs[e[i]-'0'];
        }
        est=getstate(e);
        cout<<anss[est]<<endl;
    }
    return 0;
}