蒙德里安的梦想【状态压缩DP】

题目链接：291. 蒙德里安的梦想

求把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

程序说明：

核心思想是先放横着的长方形，放好以后再插入竖着的长方形。那么总方案数就等于只放横着的小方块的合法方案数。

f[i][j]表示已经将 i - 1 列摆好，且从第 i - 1 列伸出到第 i 列的所有方案的状态是 j 。其中 j 是二进制数，j 的每一位对应网格中每一列，如果前一列伸出到第 i 列，则 j 为1，反之为0。

状态的转移需要看前一列的情况，即f[i - 1][k]，其中k表示第 i - 2列伸出到第 i - 1 列的情况。只有当 j 和 k 不同时为1，即放横着的长方形不冲突时才能进行下去。

判断当前方案是否合法需要看每一列的空白部分是否为偶数，如果是偶数的话，才能放入竖着的长方形。

放完m - 1列就已经全部放完了，最后的答案是f[m][0]（即前m - 1列已经放完，且没有长方形伸出到外面去）。

代码如下：

#include <iostream>
#include <cstring>
using namespace std;

const int N = 12, M = 1 << N;
long long f[N][M];
int n, m, st[M]; //st[]储存是否能放入竖着的长方形

int main() {
	while(cin>>n>>m && n || m) {
		//预处理出每种情况下是否能放入竖着的长方形
		for(int i = 0; i < 1 << n; i++) {
			st[i] = 1;
			int cnt = 0;
			for(int j = 0; j < n; j++) {
				if(i >> j & 1) { //如果这一位是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; //空白的方案数是1
		for(int i = 1; i <= m; i++)	
			for(int j = 0; j < 1 << n; j++)
				for(int k = 0; k < 1 << n; k++) //k枚举前一列的情况
					if((j & k) == 0 && st[j | k])
						f[i][j] += f[i - 1][k];
						
		cout<<f[m][0]<<endl;
	}
	return 0;
}