Mondriaan's Dream（poj2411 状压+DFS 小块横竖放置问题）

poj2411

题意：现在有一个h*w的矩形，用1*2或2*1的小块去拼这个矩形，总共有多少种拼法。

思路：

参考博客

我们发现，只要确定了一行，那么就可以用此来确定下一行。

考虑3种方法：

1. 横放：那么这行的这列和这行的下一列都是1，然后继续考虑这行的下下列。

2. 竖放：那么把这行的这列标为1，上行的这列标为0。（因为我们是用这行对下一行的影响来解的，所以竖放是这行和上一行构成的，而不是这行和下一行构成）。

3. 不放：这种情况是为竖放的那种情况服务的，上一行的这列置为1，这行这列置为0，表示这行这列不能竖放（那么下一行这列就可以竖放了）。

然后就可以根据得到的状态转化关系来算可能的总情况数。

设d[ i ][ states ]：i表示第几行，states表示状态。

dp[ i+1 ][ path[j][1] ] += dp[ i ][ path[j][0] ];  => 即第i+1行的path[j][1]状态可以由第i行的path[j][0]状态转换而来。

枚举 j 就可求得总共有多少种情况可以得到第i+1行的某种状态。

最后dp[h][(1<<w)-1]即为所求答案。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <cstring>
#include <vector>
#include <queue>
#include <algorithm>
using namespace std;

int h,w;
int cnt;
long long dp[15][1<<12];
int path[(1<<12)*12][2];

void dfs(int d,int now,int pre)
{
    if(d>w)
        return;
    //若可以从pre行变到now行，保存这个路径：即path[cnt][0]可以转换到path[cnt][1]
    if(d==w)
    {
        path[cnt][0]=pre;
        path[cnt++][1]=now;
        return;
    }
    dfs(d+2,(now<<2)|3,(pre<<2)|3);  //横放
    dfs(d+1,(now<<1)|1,pre<<1);  //竖放
    dfs(d+1,now<<1,(pre<<1)|1);  //不放
}

int main()
{
    while(scanf("%d%d",&h,&w),h||w)
    {
        //若总格数为奇数，那么肯定拼不出来
        if((h*w)%2!=0)
        {
            printf("0\n");
            continue;
        }
        //把小的那个当作列，用来加速算法（尽可能使1<<w小）
        if(h<w)
        {
            int temp=h;
            h=w;
            w=temp;
        }
        cnt=0;
        dfs(0,0,0);
        
        //通过相邻两行的转化关系算出经过h次转化有几种方法能拼成h*w的矩阵
        memset(dp,0,sizeof(dp));
        //设第0行（其实这行不存在）一定可以转化到第1行
        dp[0][(1<<w)-1] = 1;
        for(int i=0;i<h;i++)
        {
            for(int j=0;j<cnt;j++)
            {
                dp[i+1][path[j][1]] += dp[i][path[j][0]];
            }
        }
        printf("%lld\n",dp[h][(1<<w)-1]);
    }
    return 0;
}