首页 > 代码库 > POJ 2411 Mondriaan's Dream(状态压缩+深搜)

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(状态压缩+深搜)