蒙德里安的梦想

题目

题目链接

题解

动态规划。

---

对于每一种摆放的方式，如果我们将横向（1×2）的小矩形合理地摆放在棋盘中，那么纵向（2×1）的小矩形的摆放方式也就固定了。也就是说，我们只要确定了横向小矩形摆放的位置，只要将剩下位置填上纵向小矩形即可。因此，问题转化为了如何对横向小矩形进行合理地摆放。

定义状态表示：dp[i][j]表示棋盘的第i列的状态为j的方案数。
细细说来，规定横向小矩形的左侧小方格的位置能够代表整个小矩形的位置，举例说明一下，如果说在（1，2）放置了横向小矩形，则该矩形其实覆盖了（1，2）和（1，3）两个方格。
状态表示中的“状态j”是一个二进制表示，1表示该列的此位置（某一行）放置了横向小矩形，0表示未放置横向小矩形。（无论是将10010的最左侧的1理解为第一行，还是将最右侧的0理解为第一行都无所谓，对结果没有影响）
举例：

上面的状态对应的就是dp[1][(1001)]，而对于第二列，我们并没有放置小矩形，也就是说其实还没遍历到第二列。

上面的状态不仅有dp[1][(1001)]，还有dp[2][(0100)]。（不保证合理性，所以也就没法对dp进行赋值，只是单纯讲解dp数组的含义）

---

对于第i列的某一个状态j需要满足两个条件：
① 若第i-1列的状态为k，则由于不能出现横向小矩形覆盖的情况，所以如果第i-1列在第s行放置了小矩形，则第i列就不允许在第s行放置小矩形了，转换为代码：要保证k&j等于0。
② 考虑到放完横向小矩形后还要放置纵向小矩形，所以必须保证每一列纵向连续的空格子数为偶数个（因为纵向小矩形的高度为2，连续空格子数必须为2的倍数）。对于这种情况，我们可以提前预处理，对于全部的情况j（0 ~ 1<<行数），计算不满足连续空格为偶数个的情况，标记这些情况为false。当我们在进行dp递推时，只需要将前一列的状态与当前枚举的状态相或，得到当前列被覆盖的情况，直接以该状态作为索引，访问标记数组是false还是true即可。

代码

#include<bits/stdc++.h>
using namespace std;
const int N = 12;

long long dp[N][1<<N];
bool flag[1<<N];
int n,m;

int main()
{
	while(cin>>n>>m, n||m) {
		
		memset(dp, 0, sizeof dp);
		
		// 预处理，存在连续奇数个零的状态对应的flag为false。 
		for (int i = 0;i < (1 << n);i ++) { // 枚举每一种状态 
			flag[i] = true;
			int cnt_0 = 0; // 连续零的个数 
			for (int j = 0;j < n;j ++) { // 获取每一行为0还是为1 
				if ((i >> j) & 1) {
					if (cnt_0 & 1) flag[i] = false; // 奇数个连续的零 
					cnt_0 = 0;
				} else 
					cnt_0 ++;
			}
			if (cnt_0 & 1) flag[i] = false; // 易漏 
		}
		
		dp[0][0] = 1; // 初始化，第0列的每个位置都不放置横向小矩形时的方案数为1，其他情况均为0 
		for (int i = 1;i <= m;i ++) // 枚举每一列 
			for (int j = 0;j < (1 << n);j ++) // 枚举第i列的状态 
				for (int k = 0;k < (1 << n);k ++) // 枚举第i-1列的状态 
					if ((j & k) == 0 && flag[j | k]) // 满足两个条件 
						dp[i][j] += dp[i-1][k]; // 第i列的j状态可以在第i-1列的k状态的基础上得到 
		
		cout << dp[m][0] << endl; // 第m列不放置小矩形的方案数 
	}	

	return 0;
}