POJ 2411 Mondriaan's Dream(状态压缩+深搜)

每一行的填充仅与上一行有关系，每行的目的都是至少填充满上一行。

当填充到i行的时候，i-1行某列没填充必须用竖直的方格填充，这是固定的，剩下其余的则搜索填充。

用2进制的01表示不放还是放

第i行只和i-1行有关

枚举i-1行的每个状态，推出由此状态能达到的i行状态

如果i-1行的出发状态某处未放，必然要在i行放一个竖的方块，所以我对上一行状态按位取反之后的状态就是放置了竖方块的状态。

然后用搜索扫一道在i行放横着的方块的所有可能，并且把这些状态累加上i-1的出发状态的方法数，如果该方法数为0，直接continue。

举个例子

2 4

1111

1111

状态可以由

1100 0000 0110 0011 1111

0000 0000 0000 0000 0000

这五种i-1的状态达到，故2 4 的答案为5

#include <iostream>
#include <cstring>
#include <cstdio>
using namespace std;
typedef long long ll;
int n,m;
ll add;
ll dp[2][1<<12];
void dfs(int i,int s,int cur)
{
   if(cur==m) {dp[i][s]+=add;return;}
   dfs(i,s,cur+1);
   if(cur<m-1 && !(s&(1<<cur)) && !(s&1<<(cur+1)) )
   dfs(i,s|(1<<cur)|1<<(cur+1),cur+2);
}
int main()
{
    while(scanf("%d%d",&n,&m),n+m)
    {
        if(n*m%2) {printf("0\n");continue;}
        int rt=(1<<m)-1;
        add=1;//这个起先没明白。这样考虑第一行填充的每种方法都是1种，唯一且与上行没关系
        memset(dp,0,sizeof(dp));
        dfs(0,0,0);
        for(int i=1;i<n;i++)
            for(int j=0;j<=rt;j++)if(dp[(i-1)%2][j])
                    add=dp[(i-1)%2][j],dfs(i%2,~j&rt,0);
        printf("%I64d\n",dp[(n-1)%2][rt]);
    }
    return 0;
}

POJ 2411 Mondriaan's Dream(状态压缩+深搜)