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();
}
}