UVa OJ 12112

1、这是06年ACM区域赛（西安赛区）刘汝佳出的一道BT题目。改编自FC游戏《所罗门之匙II》。终于见识了“启发函数"，我的理解是，设计启发函数就是为了剪枝。还有用到BFS，这次保存的不是结点了，而是状态。抛开这些，本题就是一道比较麻烦的模拟题。

2、这么厉害的代码当然不是我写的啦~把书上的代码理解后敲上去的，这道题UVa上算上我才11个人过。。。真的很BT。。。

#include<cstdio>
#include<string>
#include<cstring>
#include<map>
#include<queue>
using namespace std;
int n,m,target;
map<string,string> sol;
queue<string> q;
bool icy[256];
char link_l[256], link_r[256], clear_l[256], clear_r[256];
void init(){
  memset(icy,false,sizeof(icy));
  icy['O']=icy['[']=icy[']']=icy['=']=true;
  memset(link_l,' ',sizeof(link_l));
  link_l['O']=']';link_l['[']='=';
  memset(link_r,' ',sizeof(link_r));
  link_r['O']='[';link_r[']']='=';
  memset(clear_l,' ',sizeof(clear_l));
  clear_l[']']='O';clear_l['=']='[';clear_l['O']='O';clear_l['[']='[';
  memset(clear_r,' ',sizeof(clear_r));
  clear_r['[']='O';clear_r['=']=']';clear_r['O']='O';clear_r[']']=']';
}
string fall(string s){
    int k,r,p;
    for(int i=n-1;i>=0;i--)
       for(int j=0;j<m;j++){
          char ch=s[i*m+j];
          if(ch=='O'||ch=='@'){
             for(k=i+1;k<n;k++) if(s[k*m+j]!='.') break;
             s[i*m+j]='.';s[(k-1)*m+j]=ch;
          }else if(ch=='['){
             for(r=j+1;r<m;r++) if(s[i*m+r]=='X'||s[i*m+r]==']') break;
             if(s[i*m+r]==']'){
                for(k=i+1;k<n;k++){
                   bool found=false;
                   for(p=j;p<=r;p++) if(s[k*m+p]!='.'){found=true;break;}
                   if(found) break;
                }
                for(p=j;p<=r;p++) s[i*m+p]='.';
                for(p=j+1;p<r;p++) s[(k-1)*m+p]='=';
                s[(k-1)*m+j]='[';s[(k-1)*m+r]=']';
             }
             j=r;
          }
       }
     return s;
}
int h(string s){
    int a,b,x=s.find('@');
    a=x%m-target%m;if(a<0) a=-a;
    if(x/m>target/m) b=x/m-target/m;
    else b=(x/m<target/m?1:0);
    return a>b?a:b;
}
bool expand(string s,char cmd){
    string seq=sol[s]+cmd;
    int x=s.find('@');
    s[x]='.';
    if(cmd=='<'||cmd=='>'){
        s[x]='@';
        int p=(cmd=='<'?x+m-1:x+m+1);
        if(s[p]=='X') return false;
        else if(s[p]=='.'){
            s[p]='O';
            if(icy[s[p-1]]) s[p-1]=link_r[s[p-1]];
            if(s[p-1]!='.') s[p]=link_l[s[p]];
            if(icy[s[p+1]]) s[p+1]=link_l[s[p+1]];
            if(s[p+1]!='.') s[p]=link_r[s[p]];
        }else{
            s[p]='.';
            if(icy[s[p-1]]) s[p-1]=clear_r[s[p-1]];
            if(icy[s[p+1]]) s[p+1]=clear_l[s[p+1]];
        }
    }else{
        int p=(cmd=='L'?x-1:x+1);
        if(s[p]=='.') s[p]='@';
        else{
           if(s[p]=='O'){
               int k;
               if(cmd=='L'&&s[p-1]=='.'){
                   for(k=p-1;k>0;k--) if(s[k-1]!='.'||s[k+m]=='.') break;
                   s[p]='.';s[k]='O';s[x]='@';
               }
               if(cmd=='R'&&s[p+1]=='.'){
                   for(k=p+1;k<n*m;k++) if(s[k+1]!='.'||s[k+m]=='.') break;
                   s[p]='.';s[k]='O';s[x]='@';
               }
           }
           if(s[p]!='.'){
               if(s[p-m]=='.'&&s[x-m]=='.') s[p-m]='@';else s[x]='@';
           }
        }
    }
    s=fall(s);
    if(h(s)+seq.length()>15) return false;
    if(s.find('@')==target){printf("%s\n",seq.c_str());return true;}
    if(!sol.count(s)){sol[s]=seq;q.push(s);}
    return false;
}
int main(){
    int caseno=0;
    init();
    while(scanf("%d",&n)==1&&n){
        scanf("%d",&m);
        char map[20][20];
        for(int i=0;i<n;i++) scanf("%s",map[i]);
        string s="";
        for(int i=0;i<n;i++)
           for(int j=0;j<m;j++){
              if(map[i][j]=='#'){target=i*m+j;map[i][j]='.';}
              s+=map[i][j];
           }
        q.push(s);
        sol.clear();
        sol[s]="";
        printf("Case %d: ",++caseno);
        while(!q.empty()){
            string s=q.front();
            q.pop();
            if(expand(s,'<')) break;if(expand(s,'>')) break;
            if(expand(s,'L')) break;if(expand(s,'R')) break;
        }
        while(!q.empty()) q.pop();
    }
}