acwing 292 炮兵阵地

题面

题解(状压DP棋盘模型)

1. 状压DP棋盘模型题，对于H 山丘是不能放置意大利炮的，那么我们就可以提前预处理出山丘的位置，把山丘的位置设为二进制中的1，在最后和合法的状态进行&判断，假设01011(山丘的位置) ，然后第i行放置意大利炮的状态是00001，那么显然是不合法的，因为最后一个位置是山丘不能放置炮，所以&结果为1，就是不合法的状态

2. 解决了这个问题，现在我们就可以看作是每一个位置都可以放置意大利炮，然后这个要求是意大利炮的上下左右两个位置不能放炮(我们用2进制的方式表示1就是放置，0就是不放置)，那就要求不能有连续两个/三个相邻的1

3. 这道题第 i 行的状态受到 i-1行 和 i-2 行的影响，所以我们需要开一个三位数组f[i] [j] [k] （表示在前 i 行中摆，第i行的状态是j，第i-1 行的状态是k）来更新状态方程 ，那么f[i][j][k] = max(f[i][j][k], f[i - 1][k][u] + count(a)); f[i-1][k][u]表示在前i-1行中摆放，第i-1行的状态为k，第i-2行的状态为u的最大值,然后加上第i行摆放个数count(a)更新最大值，此题的最后一步的为第i-2行

4. 我们用滚动数组来优化空间，因为第i行只会受前两行的影响，所以只用存前两行的状态即可

代码

#include<iostream>
#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>

using namespace std;
const int N = 110, M = 1 << 10;

int n, m;
int g[N];
vector<int> state;
int f[2][M][M];   //滚动数组优化空间


//判断不能有三个相邻的1
bool check(int x) {
    for (int i = 0; i < m - 1; i++) {
        if ((x >> i & 1) && (x >> (i + 1) & 1 || x >> (i + 2) & 1)) {
            return false;
        }
    }
    return true;
}

//统计每一个状态所放的炮的数量
int count(int x) {
    int res = 0;
    for (int i = 0; i < m; i++) {
        res += x >> i & 1;
    }
    return res;
}

int main() {

    cin >> n >> m;
    for (int i = 1; i <= n; i++) {
        for (int j = 0; j < m; j++) {
            char c;
            cin >> c;
            if (c == 'H') g[i] += 1 << j;
        }
    }

    //预处理合法状态
    for (int i = 0; i < 1 << m; i++) {
        if (check(i)) {
            state.push_back(i);
        }
    }

    for (int i = 1; i <= n; i++) {
        for (int j = 0; j < state.size(); j++) {  //第i行
            if ((state[j] & g[i]) == 0) {  //不能放在山丘上
                for (int k = 0; k < state.size(); k++) {  //第i-1行
                    if ((state[k] & g[i - 1]) == 0) {
                        for (int u = 0; u < state.size(); u++) {  //第i-2行
                            if ((state[u] & g[i - 2]) == 0) {
                                int a = state[j];
                                int b = state[k];
                                int c = state[u];
                                if ((a & b) == 0 && (a & c) == 0 && (b & c) == 0) {
                                    f[i & 1][j][k] = max(f[i & 1][j][k], f[(i - 1) & 1][k][u] + count(a));
                                }
                            }
                        }
                    }
                }
            }
        }
    }


    int res = 0;
    for (int i = 0; i <= state.size(); i++) {
        for (int j = 0; j < state.size(); j++) {
            res = max(res, f[n & 1][i][j]);
        }
    }
    cout << res << endl;

    return 0;
}