Mondriaan‘s Dream(状压dp)

最新推荐文章于 2023-05-15 20:57:37 发布

原创

最新推荐文章于 2023-05-15 20:57:37 发布 · 731 阅读

本文探讨了如何通过状态压缩动态规划（状压DP）解决一个经典的数学问题：使用2x1的小矩形填充不同尺寸的大矩形。文章提供了两种实现方法——枚举法和生成法，并详细解释了其背后的原理和技术细节。

题目描述

正方形和长方形着迷荷兰著名画家彼得·蒙德里安。一天晚上，他做了个梦，想在厕纸上画出来，他梦中用小长方形以不同的方式填充一个大长方形，而每个小长方形的大小是2x1。

他是在这个材料中的专家，他一眼就看出他需要一台计算机来计算填充长方形的方法，这些长方形的尺寸也是整数值。帮助他，使他的梦不会变成一场噩梦！

输入

输入包含多个测试案例。每个测试案例是由两个整数：高度H和W的大矩形的宽度，且1 <= h,w <=11。当输入H = W = 0时表示终止

输出

对于每个测试用例，输出不同的填充方法数量

样本输入

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的模板题，本题明显每一行可选的排列组合仅与上一行的状态有关，考虑用二进制数表示每一个状态，最大为 1 << 11; 对于每一个数字1表示竖着放置。0表示横放置，但横着有要占连续的两格，故在0 ~ （1<<11)中有许多不合法的状态，经过打表可选出合法状态。第二点就是如果上一行某一列为1，那么这一一行这一列只能为0而如果上一行某一列为0，那么这一行可能为0，也可能为1。设x 为第i - 1行， y为第i 行，那么必须满足 x & y == 0. 而且 x | y 中的0都为连续的偶数个。细节见代码
枚举法

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N = 1e5 + 10;
#define ll long long
int n, m;
ll f[12][1<<11];
bool in_s[1<<11];

int main()
{
   
   
    while(cin >> n >> m && n)
    {
   
   
        memset(in_s, 1, sizeof in_s);
        for(int i = 0; i < (1<<m); i++)
        <