洛谷P2704 炮兵阵地【状压DP】

题目链接：P2704 炮兵阵地

题意：炮兵的攻击范围时是十字形，H上不能放炮兵，炮兵的攻击范围内不能放炮兵，问地图上最多放几个炮兵；

分析：能否放置炮兵首先要满足当前行的状态，其次因为攻击范围是十字形，所以与该状态左移一位或左移两位是否有冲突有关，还与上一行和上上一行的状态有关，所以就要在朴素的状压DP上再加一维记录上一行的状态，这样由上一行更新的时候就可以知道上上一行的状态。

#include<bits/stdc++.h>
#define pb push_back
using namespace std;
const int maxn=(1<<10)+10;
int a[110],num[maxn];
char s[15];
vector<int> tag[maxn];
int dp[3][maxn][maxn];//dp[i][j][k] 扫到第i行 当前状态为j 上一行的状态为k
int main()
{
    int n,m,ans=0;scanf("%d%d",&n,&m);
    for(int i=0;i<n;i++)
    {
        scanf("%s",s);a[i]=0;
        for(int j=0;j<m;j++) {a[i]<<=1;if(s[j]=='H')a[i]++;}
    }
    for(int i=0,x=0;i<(1<<m);i++,x=i) while(x) {num[i]+=x%2;x>>=1;}
    for(int i=0;i<n;i++) for(int j=0;j<(1<<m);j++) 
        if(!(j&a[i] || (j<<1)&j || (j<<2)&j)) tag[i].pb(j);
    for(auto i:tag[0]) dp[0][i][0]=num[i];
    for(auto i:tag[0]) for(auto j:tag[1])
        if((i&j)==0) dp[1][j][i]=num[i]+num[j];
    for(int i=2;i<n;i++) 
        for(auto k:tag[i-1]) for(auto j:tag[i])
            if((k&j)==0) 
                for(auto l:tag[i-2]) if(!(l&k || l&j)) dp[i%3][j][k]=max(dp[i%3][j][k],dp[(i-1)%3][k][l]+num[j]);
    for(auto i:tag[n-1]) for(auto j:tag[n-2]) 
        if((i&j)==0) ans=max(dp[(n-1)%3][i][j],ans);
    printf("%d\n",ans);
    return 0;
}