Acwing P291.蒙德里安的梦想

这是一道状压dp经典例题,由题意可知每个1x2的长方形只有两种方法(横放或者竖放),并且我们要把这个N*M的棋盘放满

如图,我们将横放的长方形全部放好后,竖放的长方形就只有一种方式了,我们再去判断能否将这个棋盘全部占满即可;

那么如何才能判断能否将这个棋盘全部占满,我们只需要考虑竖放的长方形放完后,有没有一列里面出现有奇数个空位即可.

那么这道题我们去实现呢,首先需要去确定横放的长方形的放法,那么我们如何来表示这个方法呢,我们定义f[i,k],其中的i转化为二进制即为第k列从上往下的方法的最大数,1代表以那个位置为起点有一个长方形,0代表没有.那么我们在第k列,有哪些方法呢,这个取决k-1行的方法,如果第k列和第k-1列在同一行都放长方形,这种方法不可行,那么如何表示呢,其实转化两个二进制数就是两个&是否等于0,那么除此之外还有哪些条件呢,由于我们最后的格子全部要用1*2的竖向长方形塞满,那么就得保证,放好之后,不存在连续奇数行没有被占,这个我们同样可以用 | 加上预处理来做,并且对于f[i,k]我们要去尝试f[j,k-1](j代表所有方法)能否与之配对,能的话f[i][k] += f[j ][k-1].按照这种推导方式,我们最后一列的方法肯定是0,最后我们只需输出f[0][n]即可

代码附下

//
// Created by 12150 on 2023/11/23.
//

#include <bits/stdc++.h>

using namespace std;
const int N = 12;
const int M = 1 << N;
long long f[N][M];
bool st[M];
int n, m;

int main() {


    while (cin >> n >> m, n || m) {
        for (int i = 0; i < 1 << n; i++) {
            st[i] = true;
            int cnt = 0;
            for (int j = 0; j < n; j++) {
                if ((i >> j) & 1) {
                    if (cnt & 1) {
                        st[i] = false;
                        break;
                    }
                } 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) && st[j | k]) f[i][k] += f[i - 1][j];
        cout << f[m][0] << '\n';
    }
    return 0;
}

最后再补充一下,这里st数组需要每次处理,或者分n的奇偶情况,举个例子000111和00111的数值一样大,但对于这个st处理时,结果就不一样,这个具体还是要根据n来判断,进一步说应该是根据n的奇偶来看,例如0011和000011处理结果是一样,奇偶性只会影响前缀零带来的差异,而若前缀0为偶数个,并且整体长度为偶数个,那么只要长度为偶数个的二进制串的前缀0都为偶数个,就是说同一个数值,用长度为n(n为偶数)的二进制串表示,他的前缀0的奇偶性不变

这里还有一点判断数据的奇偶性用x&1比x%2更快