poj 2411 Mondriaan's Dream （状态压缩dp）

题目大意：有一个高为h，宽为w的大矩形区域，给你无数个长为2宽为1的小矩形，问你用这些小矩形填满整个大矩形有多少种方案，小矩形可以横着放，也可以竖着放。

我们可以将大矩形分成h行，对于每行，用1表示竖着放置的小矩形，用0表示横着放置的小矩形，但如果该位置的上一行是1，该位置为0。比如下图。

可以表示为

0011

0000

然后枚举每一行的所有状态和上一行的所有状态，判断该行的状态和上一行的状态是否合法，即判断两个状态是否会互相冲突。

当满足以下两个条件中的一个时即为不合法：

1、当前行与上一行的相同位置都有1，即为当前行的状态异或上一行的状态不等于0。

2、当前行与上一行的状态进行按位或运算后，0没有连续出现两次。

#include <iostream>
#include<cstdio>
#include<cstring>
#define ll long long
#define M(a,b) memset(a,b,sizeof(a))
using namespace std;

ll dp[15][(1<<11)+5];//会超int
int w;

bool f(int down,int up)//判断当前行与上一行是否合法
{
    if(down&up) return 0;
    int tmp=(down|up),i=0;
    for(i=0;i<w;i++)
    {
        if( ((tmp>>i)&1) ==0)
        {
            if( ((tmp>>(i+1))&1)!=0 || i+1==w) return 0;
            else i++;
        }
    }
    return 1;
}

int main()
{
    int h;
    while(scanf("%d%d",&h,&w))
    {
        if(!h && !w) break;
        if( (h&1) && (w&1) ) {printf("0\n");continue;}//如果h和w都是奇数，则必然不能
        M(dp,0);
        int i,j,k;
        for(j=0;j<(1<<w);j++) if(f(j,0)) dp[1][j]=1;//第一行特殊处理
        for(i=2;i<h;i++)
        {
            for(j=0;j<(1<<w);j++)
            {
                for(k=0;k<(1<<w);k++)
                {
                    if(f(j,k)) dp[i][j]+=dp[i-1][k];
                }
            }
        }
        for(k=0;k<(1<<w);k++) if(f(0,k)) dp[h][0]+=dp[h-1][k];//最后一行特殊处理，最后一行的状态肯定全是0
        printf("%I64d\n",dp[h][0]);
    }
    return 0;
}