HDU 3900 Unblock Me

题目：Unblock Me

链接：Here

题意：一个游戏，看图就基本知道题意了，特殊的是：1. 方块长度为3或2，宽度固定是1。2. 地图大小固定是6*6，从0开始。 3. 出口固定在（6，2）。4. 每一步只能移动一个方块，但可以移动多个单位。5. 必定有解。求红色方块从出口离开的最小步骤数。

思路：

　　刚开始老老实实的用IDA*做，毫不犹豫的超时，样例都跑不动，剪枝也剪不了，大概知道要状态压缩，具体点就实在想不出来了，百度的题解，感觉刷新了我对状压的认识，用3位二进制表示一个方块的可变信息，然后组成一个LL型数。我写的IDA*，当时想加一个判断当前局面是否遇到过的剪枝，发现要想存状态并且快速找到很困难，现在如果用一个LL型数就可以表示局面，那就简单多了，set就可以解决。

　　可变信息是指在一个局面开始后会发生变化的信息，相对的不可变信息就比如某个竖立方块的列（在游戏过程中不会发生改变）、长度，因此用二维数组表示状态有很大的冗余，其实在游戏过程中竖立方块会发生变化的就只有行，而地图大小6，所以用3位二进制可以完整地保存，题目最多36/2=18个方块，所以一个LL型可以存下所有方块的信息。

　　接下来通过简单的位运算可以分离信息，剩下的就是bfs了，难点就在状态压缩，想到以后位置处理就简单了。

AC代码：

 #include<stdio.h>
 #include<string.h>
 #include<stdlib.h>
 #include<math.h>
 #include<set>
 #include<map>
 #include<list>
 #include<stack>
 #include<queue>
 #include<vector>
 #include<string>
 #include<iostream>
 #include<algorithm>
 using namespace std;
 #define lson rt<<1
 #define rson rt<<1|1
 #define N 20020
 #define M 100010
 #define Mod 1000000007
 #define LL long long
 #define INF 0x7fffffff
 #define FOR(i,f_start,f_end) for(int i=f_start;i<=f_end;i++)
 #define For(i,f_start,f_end) for(int i=f_start;i<f_end;i++)
 #define REP(i,f_end,f_start) for(int i=f_end;i>=f_start;i--)
 #define Rep(i,f_end,f_start) for(int i=f_end;i>f_start;i--)
 #define MT(x,i) memset(x,i,sizeof(x))
 #define gcd(x,y) __gcd(x,y)
 const double PI = acos(-);

 struct Node
 {
   bool type;  //竖的 1 ，横的 0
   int pos;    //竖的记录行，横的记录列
   int len;    //长度
 }v[];

 int cal(LL s,int pos)
 {
   return (int)( ( s & (7LL << (pos * )) ) >> (pos * ) );
 }

 int n,red;

 bool ok(LL s)
 {
   int rl = cal(s,red), rr = rl + v[red].len;
   for(int i=;i<n;i++)
   {
     if(v[i].type) continue;
     if(v[i].pos <= rr) continue;
     int il = cal(s,i), ir = il + v[i].len;
     if(ir <  || il > ) continue;
     return false;
   }
   return true;
 }

 bool check(LL s,int pre)
 {
   int pl = cal(s,pre), pr = pl + v[pre].len;
   for(int i=;i<n;i++)
   {
     if(i == pre) continue;
     if(v[i].type == v[pre].type)
     {
       if(v[i].pos!=v[pre].pos) continue;
       int il = cal(s,i), ir = il + v[i].len;
       if(ir<pl || pr<il) continue;
     }
     else
     {
       int il = cal(s,i), ir = il + v[i].len;
       if( pr < v[i].pos || pl > v[i].pos || il > v[pre].pos || ir < v[pre].pos) continue;
     }
     return false;
   }
   return true;
 }

 void mov(LL &s,int pos,int x)
 {
   s &= ( ~( 7LL << (*pos) ) );
   s |= ( (LL)x << (*pos) );
 }

 set<LL> mp;
 queue<pair<LL,int> > q;
 int bfs(LL s)
 {
   if(ok(s)) return ;
   while(q.size()) q.pop();
   mp.clear();
   q.push(make_pair(s,) );
   while(q.size())
   {
     s = q.front().first;
     int d = q.front().second + ;
     q.pop();
     for(int i=;i<n;i++)
     {
       int p = cal(s,i);
       for(int j=;p-j>=;j++)
       {
         LL u = s;
         mov(u,i,p-j);
         if(check(u,i)==false) break;
         if(mp.find(u)!=mp.end()) continue;
         if(ok(u)) return d+;
         mp.insert(u);
         q.push(make_pair(u,d));
       }
       for(int j=;p+v[i].len+j<=;j++)
       {
         LL u = s;
         mov(u,i,p+j);
         if(check(u,i) == false) break;
         if(mp.find(u)!=mp.end()) continue;
         if(ok(u)) return d+;
         mp.insert(u);
         q.push(make_pair(u,d));
       }
     }
   }
   return -;
 }

 int main()
 {
   while(~scanf("%d",&n))
   {
     LL s = ;
     int x,y,x1,y1;
     For(i,,n){
       scanf("%*d%d%d%d%d",&x,&y,&x1,&y1);
       if(x==x1){ // su
         v[i].type = ;
         v[i].pos = x;
         v[i].len = y1-y;
         s |= ( (LL)y << (i*) );
       }
       else
       {
         v[i].type = ;
         v[i].pos = y;
         v[i].len = x1-x;
         s |= ( (LL)x << (i*) );
       }
     }
     scanf("%d",&red);
     printf("%d\n",bfs(s));
   }
   return ;
 }