Acwing 291. 蒙德里安的梦想（状压dp）

题目链接：https://www.acwing.com/problem/content/293/

求把NM的棋盘分割成若干个12的的长方形，有多少种方案。

例如当N=2，M=4时，共有5种方案。当N=2，M=3时，共有3种方案。

如下图所示：

输入格式
输入包含多组测试用例。

每组测试用例占一行，包含两个整数N和M。

当输入用例N=0，M=0时，表示输入终止，且该用例无需处理。

输出格式
每个测试用例输出一个结果，每个结果占一行。

数据范围
1≤N,M≤11
输入样例：
1 2
1 3
1 4
2 2
2 3
2 4
2 11
4 11
0 0
输出样例：
1
0
1
2
3
5
144
51205

思路：dp[i][j]表示第i列，分布情况为j（某一位上为1表示这里横向摆放了一块砖）的方案数。
枚举当前列的所有状态和前一列的所有状态，若不冲突（上一列横向摆放了的，这一列不可以在那一行横向摆放），以及上一列的连续0的个数不为奇数（我们要在不横向摆放的地方竖着拜砖，那么空位必须是偶数，这个可以用一个数组预处理出来），就可以加上上一列那个状态的方案数。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
typedef long long ll;
const int N =1<<12;
ll dp[12][N];
bool vis[N];
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m),n||m)
    {
        memset(dp,0,sizeof dp);
        for(int i=0;i<1<<n;i++) //预处理所有状态是否满足第二个条件
        {
            vis[i]=true;
            int cnt=0;
            for(int j=0;j<n;j++) 
            {
                if(i>>j&1)
                {
                    if(cnt&1)
                        vis[i]=false;
                    cnt=0;
                }
                else
                    cnt++;
            }
            if(cnt&1)
                vis[i]=false;
        }
        dp[0][0]=1;
        for(int i=1;i<=m;i++)
        {
            for(int j=0;j<1<<n;j++)
            {
                for(int k=0;k<1<<n;k++)
                {
                    if((j&k)==0 && vis[k|j])  //分别代表满足两个条件
                        dp[i][j]+=dp[i-1][k];
                }
            }
        }
        cout<<dp[m][0]<<endl;  //最后一列没有凸出来的砖的情况，是满足最终条件的。输出方案数即结果
    }
    return 0;
}