题目
题解
动态规划。
对于每一种摆放的方式,如果我们将横向(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;
}