ZOJ 3466 The Hive II(插头DP)

题目链接：http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=4231

题意：如下图。围住一个黑色的才能吃掉它。问有多少种方式？

思路：首先将长宽交换，这样比较整齐一点。然后与一般的不同的是，每个有两个插头。通过这个题我发现，我之前都是为每个插头编一个号，然后合并时判断两个端点是不是一样，一样则成为一个圈，否则就是两个连通块的合并。其实对于不要求几个回路的不必要一定这样，都设为1就可以。因为首先不交叉；所以合并后是一个圈跟原来一样；否则另外两端还是两个1。

#include <iostream>
#include <cstdio>
#include <string.h>
#include <algorithm>
#include <cmath>
#include <vector>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <map>


#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)<(y)?(x):(y))
#define abs(x) ((x)>=0?(x):-(x))
#define i64 long long
#define u32 unsigned int
#define u64 unsigned long long
#define clr(x,y) memset(x,y,sizeof(x))
#define CLR(x) x.clear()
#define ph(x) push(x)
#define pb(x) push_back(x)
#define Len(x) x.length()
#define SZ(x) x.size()
#define PI acos(-1.0)
#define sqr(x) ((x)*(x))
#define MP(x,y) make_pair(x,y)

#define FOR0(i,x) for(i=0;i<x;i++)
#define FOR1(i,x) for(i=1;i<=x;i++)
#define FOR(i,a,b) for(i=a;i<=b;i++)
#define FORL0(i,a) for(i=a;i>=0;i--)
#define FORL1(i,a) for(i=a;i>=1;i--)
#define FORL(i,a,b)for(i=a;i>=b;i--)


#define rush() int C; for(scanf("%d",&C);C--;)
#define Rush(n)  while(scanf("%d",&n)!=-1)
using namespace std;


void RD(int &x){scanf("%d",&x);}
void RD(i64 &x){scanf("%lld",&x);}
void RD(u32 &x){scanf("%u",&x);}
void RD(double &x){scanf("%lf",&x);}
void RD(int &x,int &y){scanf("%d%d",&x,&y);}
void RD(i64 &x,i64 &y){scanf("%lld%lld",&x,&y);}
void RD(u32 &x,u32 &y){scanf("%u%u",&x,&y);}
void RD(double &x,double &y){scanf("%lf%lf",&x,&y);}
void RD(int &x,int &y,int &z){scanf("%d%d%d",&x,&y,&z);}
void RD(u32 &x,u32 &y,u32 &z){scanf("%u%u%u",&x,&y,&z);}
void RD(double &x,double &y,double &z){scanf("%lf%lf%lf",&x,&y,&z);}
void RD(char &x){x=getchar();}
void RD(char *s){scanf("%s",s);}
void RD(string &s){cin>>s;}

void PR(int x) {printf("%d\n",x);}
void PR(int x,int y) {printf("%d %d\n",x,y);}
void PR(i64 x) {printf("%lld\n",x);}
void PR(u32 x) {printf("%u\n",x);}
void PR(double x) {printf("%.4lf\n",x);}
void PR(char x) {printf("%c\n",x);}
void PR(char *x) {printf("%s\n",x);}
void PR(string x) {cout<<x<<endl;}


const int HASHSIZE=100007;
const int N=1000005;

int n,m,code[25],cur,pre,sx,sy;
int s[15][15];
i64 ans;

struct node
{
    int e,next[N],head[HASHSIZE],state[N];
    i64 cnt[N];

    void init()
    {
        clr(head,-1);
        e=0;
    }

    void push(int s,i64 val)
    {
        int i,x=s%HASHSIZE;
        for(i=head[x];i!=-1;i=next[i])
        {
            if(state[i]==s)
            {
                cnt[i]+=val;
                return;
            }
        }
        state[e]=s;
        cnt[e]=val;
        next[e]=head[x];
        head[x]=e++;
    }
};


node dp[2];

void decode(int code[],int m,int st)
{
    int i;
    FORL0(i,m) code[i]=st&1,st>>=1;
}

int encode(int code[],int m)
{
    int ans=0,i;
    FOR0(i,m+1) ans=(ans<<1)|code[i];
    return ans;
}


void update1(int i,int j)
{
    int x,y,z,k,t,r=2*(j-1),q=j==m&&i%2==0?(m-1)*2:m*2;;
    int Ld=(i&1)?j-1:j;
    int Rd=(i&1)?j:j+1;
    i64 c;
    FOR0(k,dp[pre].e)
    {
        decode(code,m*2,dp[pre].state[k]);
        c=dp[pre].cnt[k];
        x=code[r];
        y=code[r+1];
        z=code[r+2];
        if(x&&y&&z) continue;
        if(x+y+z==2)
        {
            code[r]=code[r+1]=code[r+2]=0;
            dp[cur].push(encode(code,q),c);
        }
        else if(x||y||z)
        {
            if(i<n&&s[i+1][Ld])
            {
                code[r]=1; code[r+1]=code[r+2]=0;
                dp[cur].push(encode(code,q),c);
            }
            if(i<n&&s[i+1][Rd])
            {
                code[r+1]=1; code[r]=code[r+2]=0;
                dp[cur].push(encode(code,q),c);
            }
            if(j<m&&s[i][j+1])
            {
                code[r+2]=1; code[r]=code[r+1]=0;
                dp[cur].push(encode(code,q),c);
            }
        }
        else
        {
            if(i<n&&s[i+1][Ld]&&s[i+1][Rd])
            {
                code[r]=code[r+1]=1; code[r+2]=0;
                dp[cur].push(encode(code,q),c);
            }
            if(i<n&&j<m&&s[i+1][Ld]&&s[i][j+1])
            {
                code[r]=code[r+2]=1; code[r+1]=0;
                dp[cur].push(encode(code,q),c);
            }
            if(i<n&&j<m&&s[i+1][Rd]&&s[i][j+1])
            {
                code[r+1]=code[r+2]=1; code[r]=0;
                dp[cur].push(encode(code,q),c);
            }
        }
    }
}

void update2(int i,int j)
{
    int k,t,q=j==m&&i%2==0?(m-1)*2:m*2;
    FOR0(k,dp[pre].e)
    {
        decode(code,m*2,dp[pre].state[k]);
        t=(j-1)*2;
        if(code[t]||code[t+1]||code[t+2]) continue;
        dp[cur].push(encode(code,q),dp[pre].cnt[k]);
    }
}


i64 DP()
{
    ans=0; pre=0,cur=1;
    dp[0].init(); dp[0].push(0,1);
    int i,j;
    FOR1(i,n) FOR1(j,m)
    {
        dp[cur].init();
        if(s[i][j]) update1(i,j);
        else update2(i,j);
        pre^=1;
        cur^=1;
    }
    FOR0(i,dp[pre].e) if(dp[pre].state[i]==0) ans+=dp[pre].cnt[i];
    return ans;
}

int main()
{
    Rush(m)
    {
        n=8;
        int x,i,j;
        RD(x);
        clr(s,0);
        FOR1(i,n) FOR1(j,m) s[i][j]=1;
        char s1[5];
        while(x--)
        {
            RD(s1);
            s[s1[1]-'A'+1][m-(s1[0]-'A')]=0;
        }
        PR(DP());
    }
    return 0;
}