蒙德里安的梦想状压 DP

窦尊

已于 2022-11-22 08:47:16 修改

阅读量891

点赞数

分类专栏：状压dp 算法文章标签：蓝桥杯职场和发展

于 2022-09-09 19:56:13 首次发布

本文链接：https://blog.csdn.net/m0_56511205/article/details/126788408

版权

算法同时被 2 个专栏收录

21 篇文章 0 订阅

订阅专栏

状压dp

5 篇文章 0 订阅

订阅专栏

这篇博客介绍了如何使用动态规划的子集构造（状压DP）方法解决将N×M的棋盘分割成1×2长方形的问题。通过压缩状态并优化转移，可以高效地计算出不同尺寸棋盘的分割方案数。例如，对于N=2，M=4的棋盘，有5种分割方案。代码中展示了如何实现这一算法，并给出了样例输入和输出。

摘要由CSDN通过智能技术生成

定义

状压 DP 是动态规划的一种，通过将状态压缩为整数来达到优化转移的目的。

例题：蒙德里安的梦想

求把 N×M 的棋盘分割成若干个 1×2 的长方形，有多少种方案。

例如当 N=2，M=4 时，共有 5 种方案。当 N=2，M=3时，共有 3 种方案。

如下图所示：

输入格式

输入包含多组测试用例。

每组测试用例占一行，包含两个整数 N 和 M。

当输入用例 N=0，M=0 时，表示输入终止，且该用例无需处理。

输出格式

每个测试用例输出一个结果，每个结果占一行。

数据范围

1≤N,M≤11

输入样例：

输出样例：

解决思路+代码：

#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 12, M = 1 << N;

int n, m;
long long f[N][M];
bool st[M];

/*
        f[i][j]   : 表示当前 前i列已经解决好了，并且第i+1列多出来的方格用j来表示的状态，有多少少方案数
        
*/


int main()
{
    while (cin >> n >> m, n || m)
    {
        for (int i = 0; i < 1 << n; i ++ )
        {
            int cnt = 0;
            st[i] = true;
            for (int j = 0; j < n; j ++ )
                if (i >> j & 1)
                {
                    if (cnt & 1) st[i] = false;
                    cnt = 0;
                }
                else cnt ++ ;
            if (cnt & 1) st[i] = false;
        }

        memset(f, 0, sizeof f);
        f[0][0] = 1;
        for (int i = 1; i <= m; i ++ )
            for (int j = 0; j < 1 << n; j ++ )
                for (int k = 0; k < 1 << n; k ++ )
                    if ((j & k) == 0 && st[j | k])
                        f[i][j] += f[i - 1][k];

        cout << f[m][0] << endl;
    }
    return 0;
}