[FZU1977] Pandora adventure

　　来学插头DP了= =

　　GDKOI前觉得不会考数位DP，GDOI前觉得插头DP用不上。。

　　结果令人伤感>_<

　　这题并不用增加状态。。

　　只要在形成环的时候，让形成环的位置在最后一个必走点之后，并且此时只有一个联通分量。

　　因为必走点处肯定有插头。。所以只有一个联通分量就意味着所有必走点都连在一起了。

　　选择经过的点就在转移的时候多一种方法。。。

 

学的是最小表示法。。又长又慢TAT。。跳错坑了= =

#include<cstdio>
#include<iostream>
#include<cstring>
#define ull unsigned long long
using namespace std;
const int modd=2333,maxzt=123333;
struct zs{
    struct hash{
        ull too;int pre;
    }e[maxzt];int tot,last[modd];
    ull f[maxzt],zt[maxzt];
    
    inline int get(ull v){
        int i,x=v%modd;
        for(i=last[x];i&&e[i].too!=v;i=e[i].pre);
        if(i&&e[i].too==v)return i;
        e[++tot].too=v,e[tot].pre=last[x],last[x]=tot;
        zt[tot]=v;f[tot]=0;
        return tot;
    }
}hm[2];
int i,j,k,n,m,tx,ty;
int can[14][14];
ull ans;
char s[23];
int v[2333];

inline void clr(bool now){
    memset(hm[now].last,0,modd<<2),
    hm[now].tot=0;
}

bool u[8];int id[8],mp[13];
inline ull encode(){
    memset(u,0,8);
    ull x=0;int tt=0;
    for(int i=0;i<=m;mp[i]=id[mp[i]],x=x<<3|mp[i],i++)
        if(mp[i]&&!u[mp[i]])u[mp[i]]=1,id[mp[i]]=++tt;
    return x;
}
inline void decode(ull x){
    for(int i=m;i>=0;i--)mp[i]=x&7,x>>=3;
}
inline void shift(){
    for(int i=m;i;i--)mp[i]=mp[i-1];
    mp[0]=0;
}

inline void dp_blank(int x,int y,bool pre){
    int i,left,up,j;bool now=pre^1;ull zt,f;
    clr(now);
    for(i=1;i<=hm[pre].tot;i++){
        zt=hm[pre].zt[i],f=hm[pre].f[i],
        decode(zt);
        left=mp[y-1],up=mp[y];
        if(!left&&!up){
            if(can[x+1][y]&&can[x][y+1]){
                mp[y-1]=mp[y]=7;
                if(y==m)shift();
                hm[now].f[ hm[now].get(encode()) ]+=f;
            }
            if(can[x][y]==2){
                mp[y-1]=mp[y]=0;
                if(y==m)shift();
                hm[now].f[ hm[now].get(encode()) ]+=f;
            }
        }
        if((!left)^(!up)){
            j=left|up;
            if(can[x+1][y]){
                mp[y-1]=j,mp[y]=0;
                if(y==m)shift();
                hm[now].f[ hm[now].get(encode()) ]+=f;
            }
            if(can[x][y+1]){
                mp[y-1]=0,mp[y]=j;
                if(y==m)shift();
                hm[now].f[ hm[now].get(encode()) ]+=f;
            }
        }
        if(left&&up){
            if(left==up)
                if(x>tx||(x==tx&&y>=ty)){
                    mp[y-1]=mp[y]=0;
                    if(encode()==0)ans+=f;
                }else;
            else{
                mp[y-1]=mp[y]=0;
                for(j=0;j<=m;j++)if(mp[j]==up)mp[j]=left;
                if(y==m)shift();
                hm[now].f[ hm[now].get(encode()) ]+=f;
            }
        }
    }
}
inline void dp_bar(int x,int y,bool pre){
    int i,left,up;bool now=pre^1;ull f,zt;
    clr(now);
    for(i=1;i<=hm[pre].tot;i++){
        zt=hm[pre].zt[i],f=hm[pre].f[i];
        decode(zt);
        left=mp[y-1],up=mp[y];
        if(!left&&!up){
            if(y==m)shift();
            hm[now].f[ hm[now].get(encode()) ]+=f;
        }
    }
}

int main(){
    int TT;
    scanf("%d",&TT);v['X']=0,v['O']=1,v['*']=2;
    for(int TTT=1;TTT<=TT;TTT++){
        scanf("%d%d",&n,&m);
        memset(can,0,sizeof(can));
        for(i=1;i<=n;i++)
            for(scanf("%s",s+1),j=1;j<=m;j++){
                can[i][j]=v[s[j]];
                if(s[j]=='O')tx=i,ty=j;
            }
        
        for(i=n,j=0;i;i--){
            for(j=m;j;j--)if(can[i][j]==1)break;
            if(j>0)break;
        }
        tx=i,ty=j;
        
        bool now=1,pre=0;ans=0;
        clr(0),hm[pre].f[ hm[pre].get(0) ]=1;
        for(i=1;i<=n;i++)for(j=1;j<=m;j++,swap(now,pre))
            if(can[i][j])dp_blank(i,j,pre);else dp_bar(i,j,pre);
        printf("Case %d: %I64u\n",TTT,ans);
    }
    return 0;
}