poj 2411 Mondriaan's Dream 状态压缩DP

思路：1表示竖着的下半部分，0表示其他情况。

dp[i][j]表示第i行第j种状态满足的数目。

代码如下：

#include<iostream>
#include<stdio.h>
#include<algorithm>
#include<iomanip>
#include<cmath>
#include<cstring>
#include<vector>
#define ll __int64
#define pi acos(-1.0)
#define MAX 12
using namespace std;
ll dp[MAX][(1<<MAX)];
int n,m;
bool OK(int t)
{
    t+=(1<<m);
    int c=0;//记录位数
    while(c<m){
        int bit=t&-t;//记录最低位的1，如t=110，则bit=10
        int w=0;//记录bit有多少位
        while(bit){
            w++;
            c++;
            bit>>=1;//右移
        }
        if(w%2==0) return 0;//如果是偶数，表示不满足
        t>>=w;
    }
    return 1;
}
void solve()
{
    if((n*m)%2){
        cout<<0<<endl;
        return;
    }
    dp[0][0]=1;
    for(int i=1;i<=n;i++)
    for(int j=0;j<(1<<m);j++){
        dp[i][j]=0;
        for(int k=0;k<(1<<m);k++){
            if(!(j&k)&&OK(j|k))
                dp[i][j]+=dp[i-1][k];
        }
    }
    cout<<dp[n][0]<<endl;
}
int main(){
    while(cin>>n>>m){
        if(n==0&&m==0) break;
        if(n<m) swap(n,m);
        memset(dp,0,sizeof(dp));
        solve();
    }
    return 0;
}