Mondriaan's Dream

本文介绍了一种使用状压动态规划方法解决矩形填充问题的经典案例。该问题要求计算不同方式填充给定尺寸的大矩形,利用2x1的小矩形,考虑所有可能的排列组合。通过按列进行递归搜索并采用状态压缩技巧,文章提供了一个高效的解决方案。

这道题堪称经典的状压dp的题目了。


题目:

quares and rectangles fascinated the famous Dutch painter Piet Mondriaan. One night, after producing the drawings in his 'toilet series' (where he had to use his toilet paper to draw on, for all of his paper was filled with squares and rectangles), he dreamt of filling a large rectangle with small rectangles of width 2 and height 1 in varying ways. 

Expert as he was in this material, he saw at a glance that he'll need a computer to calculate the number of ways to fill the large rectangle whose dimensions were integer values, as well. Help him, so that his dream won't turn into a nightmare!
Input
The input contains several test cases. Each test case is made up of two integer numbers: the height h and the width w of the large rectangle. Input is terminated by h=w=0. Otherwise, 1<=h,w<=11.
Output
For each test case, output the number of different ways the given rectangle can be filled with small rectangles of size 2 times 1. Assume the given large rectangle is oriented, i.e. count symmetrical tilings multiple times.
Sample Input
1 2
1 3
1 4
2 2
2 3
2 4
2 11
4 11
0 0
Sample Output
1
0
1
2
3
5
144
51205
题目就像图中的意思一样。就是有多少种方案。

题目分析:每一个位置都与上一个位置有关,而且也有可能影响其他的状态。

其实仔细分析就是三种:

 //如果这个位置被上一列占用,直接跳过
    if(((1<<j)&sta)>0)
    dfs(i,j+1,sta,next);
    //如果这个位置是空的,尝试放一个1*2的
    if(((1<<j)&sta)==0)
    {
        dfs(i,j+1,sta,next|(1<<j));
    }
    //如果这个位置和下个位置都是空的,尝试放一个2*1的
    if(j+1<N&&((1<<j)&sta)==0&&((1<<j+1)&sta)==0)
    {
        dfs(i,j+2,sta,next);
    }
这道题我是按列来做的。实际上按行也可以。
dp[i][j]用来表示第i列的状态为j。用j二进制表示各个位置放与不放

注意数组的大小。刚开始开成了dp[12][1<<12]反正就是小了

状态的储存和转移


#include<iostream>
#include<string.h>
using namespace std;
int N,M;
int i,j;
//long long dp[12][34];
long long dp[13][1<<12];
void dfs(int i,int j,int sta,int next)//第i列。第j行。sta当前列的状态,next对下一列的影响
{
    if(j==N)//j到了最后一行
    {
        dp[i+1][next]+=dp[i][sta];
        return ;
    }
    //如果这个位置被上一列占用,直接跳过
    if(((1<<j)&sta)>0)
    dfs(i,j+1,sta,next);
    //如果这个位置是空的,尝试放一个1*2的
    if(((1<<j)&sta)==0)
    {
        dfs(i,j+1,sta,next|(1<<j));
    }
    //如果这个位置和下个位置都是空的,尝试放一个2*1的
    if(j+1<N&&((1<<j)&sta)==0&&((1<<j+1)&sta)==0)
    {
        dfs(i,j+2,sta,next);
    }
    return;

}
int main()
{
    while(cin>>N>>M)
    {
        memset(dp,0,sizeof(dp));
        if(N==0&&M==0)
            break;
        dp[1][0]=1;//第一列开始不铺
        for(int i=1;i<=M;i++)
        {
            for(j=0;j<(1<<N);j++)
            {
                if(dp[i][j])
                {
                    dfs(i,0,j,0);
                }
            }
        }
        cout<<dp[M+1][0]<<endl;
    }
}









六、状压DP的优化技巧 6.1 预处理合法状态 很多问题中,大部分状态是不合法的,可以预先筛选: cpp vector valid_states; for (int state = 0; state < (1 << n); ++state) { if (check(state)) { // 检查state是否合法 valid_states.push_back(state); } } 6.2 滚动数组优化 当状态只依赖前一个阶段时,可以节省空间: cpp vector<vector> dp(2, vector(size)); // 只保留当前和上一个状态 int now = 0, prev = 1; for (int i = 1; i <= n; ++i) { swap(now, prev); for (auto& state : valid_states) { dp[now][state] = 0; // 清空当前状态 // 状态转移… } } 6.3 记忆化搜索实现 有时递归形式更直观: cpp int memo[1<<20][20]; // 记忆化数组 int dfs(int state, int u) { if (memo[state][u] != -1) return memo[state][u]; // 递归处理… return memo[state][u] = res; } 七、常见问题与调试技巧 7.1 常见错误 位运算优先级:总是加括号,如(state & (1 << i)) 数组越界:状态数是2ⁿ,不是n 初始状态设置错误:比如TSP中dp[1][0] = 0 边界条件处理不当:如全选状态是(1<<n)-1,不是1<<n 7.2 调试建议 打印中间状态:将二进制状态转换为可视化的形式 cpp void printState(int state, int n) { for (int i = n-1; i >= 0; --i) cout << ((state >> i) & 1); cout << endl; } 从小规模测试用例开始(如n=3,4) 使用assert检查关键假设 八、学习路线建议 初级阶段: 练习基本位操作 解决简单状压问题(如LeetCode 464、526题) 中级阶段: 掌握经典模型(TSP、棋盘覆盖) 学习优化技巧(预处理、滚动数组) 高级阶段: 处理高维状压(如需要同时压缩多个状态) 结合其他算法(如BFS、双指针) 九、实战练习题目推荐 入门题: LeetCode 78. Subsets(理解状态表示) LeetCode 464. Can I Win(简单状压DP) 中等题: LeetCode 526. Beautiful Arrangement LeetCode 691. Stickers to Spell Word 经典题: POJ 2411. Mondriaan’s Dream(棋盘覆盖) HDU 3001. Travelling(三进制状压) 挑战题: Codeforces 8C. Looking for Order Topcoder SRM 556 Div1 1000. LeftRightDigitsGame2 记住,掌握状压DP的关键在于: 彻底理解二进制状态表示 熟练运用位运算 通过大量练习培养直觉 希望这份超详细的教程能帮助你彻底掌握状压DP!如果还有任何不明白的地方,可以针对具体问题继续深入探讨。 请帮我转成markdown语法输出,谢谢
最新发布
08-13
```markdown # 状压DP优化与实战指南 ## 六、状压DP优化技巧 ### 6.1 预处理合法状态 ```cpp vector<int> valid_states; for (int state = 0; state < (1 << n); ++state) { if (check(state)) { // 自定义合法性检查函数 valid_states.push_back(state); } } ``` ### 6.2 滚动数组优化 ```cpp vector<vector<int>> dp(2, vector<int>(size)); // 双状态数组 int now = 0, prev = 1; for (int i = 1; i <= n; ++i) { swap(now, prev); for (auto& state : valid_states) { dp[now][state] = 0; // 状态初始化 // 转移逻辑... } } ``` ### 6.3 记忆化搜索实现 ```cpp int memo[1<<20][20]; // 根据问题规模调整 memset(memo, -1, sizeof(memo)); int dfs(int state, int u) { if (memo[state][u] != -1) return memo[state][u]; // 递归处理逻辑... return memo[state][u] = res; } ``` ## 七、调试与常见问题 ### 7.1 调试工具函数 ```cpp // 二进制状态可视化 void printState(int state, int n) { for (int i = n-1; i >= 0; --i) cout << ((state >> i) & 1); cout << endl; } // 断言检查示例 assert((1<<n) - 1 == (1 << n) - 1); // 提醒括号重要性 ``` ### 7.2 高频错误清单 1. 位运算优先级误判(总是加括号) 2. 状态空间计算错误(2^n≠n) 3. 初始状态设置错误(特别是边界情况) 4. 全选状态应该是`(1<<n)-1`而非`1<<n` ## 八、学习路线图 | 阶段 | 推荐内容 | 目标 | |------------|-----------------------------------|--------------------------| | **初级** | 位操作基础/LeetCode 78,464 | 理解状态表示 | | **中级** | TSP模型/POJ 2411 | 掌握经典问题建模 | | **高级** | 多状态压缩/CF 8C | 处理复杂状态转移 | ## 九、精选题库 ### 入门必做 - [x] LeetCode 78. 子集(状态表示练习) - [x] LeetCode 464. 我能赢吗(基础状压) ### 经典题库 - [ ] POJ 2411 骨牌覆盖(棋盘类代表) - [ ] HDU 3001 三进制状压(扩展思路) ### 挑战题目 - [ ] Codeforces 8C 物品收集 - [ ] Topcoder SRM556 数字游戏 > **学习建议**:从n≤10的案例开始手工模拟状态转移,逐步建立直觉 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值