BZOJ3336: Uva10572 Black and White(插头Dp)

解题思路：

分类讨论即可。

代码（懒得删Debug了）：

 #include<map>
 #include<cstdio>
 #include<vector>
 #include<cstring>
 #include<algorithm>
 #define black '#'
 #define white 'o'
 #define BLACK_AND_WHITE int main(){/*freopen("a.in","r",stdin);*/scanf("%d",&T);while(T--)Black_and_White();return 0;}
 typedef long long lnt;
 typedef unsigned int uit;
 typedef unsigned long long unt;
 int T;
 int n,m;
 int p,q;
 unt ans=;
 int mp[][];
 char cmd[];
 uit code[];
 uit tod[];
 int clor[];
 bool col[];
 std::map<unt,unt>dp[],ooo;
 void minpress(uit *cd)
 {
     int cnt=;
     memset(clor,,sizeof(clor));
     for(int i=;i<=m;i++)
     {
         if(!clor[cd[i]])
             clor[cd[i]]=++cnt;
         cd[i]=clor[cd[i]];
     }
     return ;
 }
 unt compress(uit *cd,int hc)
 {
     unt ret=hc;
     minpress(cd);
     for(int i=;i<=m;i++)
         ret=ret*10ull+cd[i];
     return ret;
 }
 void decompress(uit *cd,bool *cl,unt sit)
 {
     for(int i=m;i>=;i--)
     {
         cd[i]=sit%10ull;
         sit/=10ull;
     }
     cl[]=sit;
     for(int i=;i<=m;i++)
         if(cd[i]!=cd[i-])
             cl[i]=-cl[i-];
         else
             cl[i]=cl[i-];
     return ;
 }
 bool banned(int l,int r,int pos,uit *cd)
 {
     for(int i=;i<l;i++)
         if(cd[i]==cd[pos-])
             return false;
     for(int i=r-;i<=m;i++)
         if(cd[i]==cd[pos-])
             return false;
     return true;
 }
 void update(int cmd,unt tmp,unt v)
 {
     if(dp[cmd].find(tmp)==dp[cmd].end())
         dp[cmd][tmp]=v;
     else
         dp[cmd][tmp]+=v;
     return ;
 }
 void Insert(int ii,int jj,unt s,unt v,bool b)
 {
     decompress(code,col,s);
     int lu,uu,ll,hc=col[];
 /*    printf("%d ",hc);
     for(int k=0;k<=m;k++)
         printf("%d ",code[k]);
     printf("%d",v);
 /*    puts("");/*
     for(int i=0;i<=m;i++)
     printf("%d ",col[i]);*/
     uu=col[jj]^b;
     lu=col[jj-]^b;
     ll=col[jj-]^b;
 /*    printf(uu?"b":"w");
     printf(lu?"b":"w");
     printf(ll?"b":"w");*/
 //    puts("");
     uit maxs=;
     for(int i=;i<=m;i++)
         maxs=std::max(maxs,code[i]);
     for(int i=;i<=m;i++)
         tod[i]=code[i];
     if(ll)
     {
         if(lu)
         {
             if(uu)
                 tod[jj-]=maxs+;
             else
                 tod[jj-]=tod[jj];
         }else{
             if(uu)
             {
                 if(ii==n&&jj==m)
                     return ;
                 if(banned(jj-,jj+,jj+,tod))
                     return ;
                 //printf("+1\n");
                 tod[jj-]=maxs+;
             }else
                 tod[jj-]=tod[jj];
         }
     }else{
         if(lu)
         {
             if(uu)
             {
                 if(banned(jj-,jj+,jj+,tod))
                 {
                     if(ii!=n||(jj!=m&&jj!=m-))return ;
                     for(int i=;i<jj-;i++)
                         if(col[i]==col[jj])
                             return ;
                     for(int i=jj+;i<=m;i++)
                         if(col[i]==col[jj])
                             return ;
                 }
                 tod[jj-]=tod[jj-];
             }else{
                 tod[jj]=tod[jj-]=tod[jj-];
                 for(int i=;i<=m;i++)
                 {
                     if(code[i]==code[jj]||code[i]==code[jj-])
                         tod[i]=tod[jj-];
                 }
             }
         }else{
             if(uu)
             {
                 if(banned(jj-,jj+,jj+,tod))
                 {
                     if(ii!=n||(jj!=m&&jj!=m-))return ;
                     for(int i=;i<jj-;i++)
                         if(col[i]==col[jj])
                             return ;
                     for(int i=jj+;i<=m;i++)
                         if(col[i]==col[jj])
                             return ;
                 }
                 tod[jj-]=tod[jj-];
             }else return ;
         }
     }
     unt tmp=compress(tod,hc);
     if(ii==n&&jj==m)
     {
         int cnt=;
         decompress(code,col,tmp);
         memset(clor,,sizeof(clor));
         for(int i=;i<=m;i++)
             if(!clor[code[i]])
                 clor[code[i]]=++cnt;
         if(cnt<=)
             ans+=v;
         return ;
     }
     update(p,tmp,v);
     return ;
 }
 void Insert(int i,unt s,unt v,bool b)
 {
     decompress(code,col,s);
     int uu,hc=col[];
 /*    printf("%d ",hc);
     for(int k=0;k<=m;k++)
         printf("%d ",code[k]);
     printf("%d ",v);
     puts("");*/
     for(int i=;i<=m;i++)
         tod[i]=code[i];
     uu=col[]^b;
     if(uu)
     {
         if(banned(,,,tod))
             return ;
         code[]=;
         hc=b;
     }else
         code[]=code[];
     unt tmp=compress(code,hc);
     if(i==n&&m==)
     {
         int cnt=;
         decompress(code,col,tmp);
         memset(clor,,sizeof(clor));
         for(int ii=;ii<=m;ii++)
             if(!clor[code[ii]])
                 clor[code[ii]]=++cnt;
         if(cnt<=)
             ans+=v;
     }
     update(p,tmp,v);
     return ;
 }
 unt move(unt x)
 {
     decompress(code,col,x);
     int hc=col[];
     for(int i=m;i;i--)
         code[i]=code[i-];
     return compress(code,hc);
 }
 void Move(void)
 {
     ooo.clear();
     for(std::map<unt,unt>::iterator i=dp[p].begin();i!=dp[p].end();i++)
         ooo[i->first]=i->second;
     dp[p].clear();
     for(std::map<unt,unt>::iterator i=ooo.begin();i!=ooo.end();i++)
     {
         update(p,move(i->first),i->second);
 //        printf("%I64u %I64u\n",move(i->first),i->second);
     }
     return ;
 }
 void Black_and_White(void)
 {
     dp[].clear();
     dp[].clear();
     ans=;
     p=,q=;
     memset(mp,,sizeof(mp));
     memset(code,,sizeof(code));
     memset(clor,,sizeof(clor));
     scanf("%d%d",&n,&m);
     for(int i=;i<=n;i++)
     {
         scanf("%s",cmd+);
         for(int j=;j<=m;j++)
         {
             if(cmd[j]==white)
                 mp[i][j]=-;
             else if(cmd[j]==black)
                 mp[i][j]=;
             else
                 mp[i][j]=;
         }
     }
     if(n==&&m==)
     {
         if(mp[][])
             puts("");
         else
             puts("");
         return ;
     }
     for(int i=;i<(<<m);i++)
     {
         int cnt=;
         code[]=code[]=;
         bool ban=false;
         for(int j=;j<=m;j++)
         {
             if(mp[][j]==&&((i&(<<(j-)))==))ban=true;
             if(mp[][j]==-&&(i&(<<(j-))))    ban=true;
             if(ban)break;
         }
         if(ban)
             continue;
         for(int j=;j<=m;j++)
         {
             if((bool)(i&(<<(j-)))^(bool)(i&(<<(j-))))
                 cnt++;
             code[j]=cnt;
         }
         int co=i&;
 //        printf("%d ",co);
 //        puts("");
         unt s=compress(code,co);
 //        printf("%d\n",s);
         update(p,s,);
     }
     for(int i=;i<=n;i++)
     {
 //        puts("\n~~~~~~~~~~~~~~~~~~~~~~");
         std::swap(p,q);
         dp[p].clear();
         for(std::map<unt,unt>::iterator k=dp[q].begin();k!=dp[q].end();k++)
         {
             unt s=k->first;
             unt v=k->second;
             if(mp[i][]!=)
                 Insert(i,s,v,);
             if(mp[i][]!=-)
                 Insert(i,s,v,);
         }
 //        puts("_________________________");
         for(int j=;j<=m;j++)
         {
 //            puts("\n~~~~~~~~~~~~~~~~~~~~~~");
             std::swap(p,q);
             dp[p].clear();
             for(std::map<unt,unt>::iterator k=dp[q].begin();k!=dp[q].end();k++)
             {
                 unt s=k->first;
                 unt v=k->second;
                 if(mp[i][j]!=)
                     Insert(i,j,s,v,);
                 if(mp[i][j]!=-)
                     Insert(i,j,s,v,);
             }
 //            puts("_________________________");
         }
     //    puts("%d");
         Move();
     }
     printf("%llu\n",ans);
     return ;
 }BLACK_AND_WHITE