蒙德里安的梦想

蒙德里安的梦想

题目描述

求把$N\times M$的棋盘分割成若干个$1\times 2$的的长方形，有多少种方案。

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

如下图所示：

输入格式

输入包含多组测试用例。

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

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

输出格式

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

数据范围

$1\le N,M\le 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

设$f[i][j]$为成横着的小方块放在第i列，小方块放在第i列的第j行（注意这里的小方块的摆放形式是尾放在第i列，头放在i-1列上）。

如果有n行，那么便有$2^n$中摆放状态。比如j=(10010)2,就意味着我想将将小方块放在第i列的第1、4两行，
看看这种状态有几种方案。

$f[i][j]$要想从$f[i-1][k]$中转移过来，就必须满足以下两个条件：

1. j这种摆放位置是否与前一列中的k这种摆放位置重叠，如果 $!(j$ & $k)$ ，说明摆放位置不重叠。
2. j这种摆放是不是会使得前一列中出现了奇数的连续的空格，如果出现，不合理。

还有一个很重要的点，就是$(0,0)$这个地方也可以放小方格，$f[0][0]=1$

时间复杂度大约为$11\times 2^{11}\times 2^{11}\approx 40000000$
过得了

#include <cstdio>
#include <cstring>
using namespace std;
#define LL long long
const int N = 12, M = 1 << N;
int n, m;
LL f[N][M];
bool st[M];
int main()
{
    memset(st, 0, sizeof(st));
    while(scanf("%d %d", &n, &m) && n || m)
    {
        for(int i = 0; i < 1 << n; i ++ )
        {
            int cnt = 0;
            st[i] = 1;
            for(int j = 0; j < n; j ++ )
                if(i >> j & 1)
                {
                    if(cnt & 1)
                        st[i] = 0;
                    cnt = 0;
                }
                else
                {
                    cnt++;
                }
            if(cnt & 1)
                st[i] = 0;
        }
        memset(f, 0, sizeof(f));
        f[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 && st[j | k])
                        f[i][j] += f[i - 1][k];
        printf("%lld\n", f[m][0]);
    }
    return 0;
}