炮兵阵地 （AcWing292）（状压DP）

题目地址
配套地址

以行为突破口，1表示放置炮兵，先预处理每行的合法状态（每两个1之间必须大于等于两个0），然后将图中的每一行状态表示出来，用于判断这个状态是否能放置到当前行。
转移必须与前两行有关。设$dp(i,j,k)$表示当前行的状态为j,上一行的状态为k,那必须k与j = 0 并且 i与j = 0 并且 i与k == 0才能转移，并且当前行选的状态能够放到当前行（因为有H），注意空间，可以用滚动数组优化。

代码

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
#include<bits/stdc++.h>
using namespace std;
const int N = 110,M = 10;

int dp[2][1 << M][1 << M];
string s[N];
vector<int> st;
int n,m,cnt[1 << M],g[1 << M];

int cost(int x){
	int res = 0;
	while(x) res += x & 1,x >>= 1;
	return res;
}

bool check(int x){
	for(int i=0;i<m;i++)
		if((x >> i) & 1 && ((x >> (i + 1)) & 1 || (x >> (i + 2)) & 1))
			return false;
	return true;
}

signed main(){
	IOS
    cin>>n>>m;
    for(int i=0;i<n;i++) cin>>s[i];
    for(int i=0;i<n;i++)
    	for(int j=0;j<(int)s[i].size();j++)
    		if(s[i][j] == 'H') g[i] |= (1 << j);
    
    for(int i=0;i<(1 << m);i++) if(check(i)) st.push_back(i),cnt[i] = cost(i);
	int len = (int)st.size();
	
	// 初始化第一行，有滚动数组就可以不用初始化第一行，
	//下面从i等于0开始就行
	for(int i=0;i<len;i++) 
		for(int j=0;j<len;j++){
			int a = st[i],b = st[j];
			if((a & b) || (a & g[0])) continue;
			dp[0][a][b] =  cnt[a];
		}
	
    for(int i=1;i<n;i++)
    	for(int j=0;j<len;j++)
		    for(int k=0;k<len;k++)
				for(int z=0;z<len;z++){
					int a = st[j],b = st[k],c = st[z];
					if((a & b) || (a & c) || (b & c)) continue;
					if(g[i] & a) continue;
					dp[i&1][a][b] = max(dp[i&1][a][b],dp[(i-1)&1][b][c] + cnt[a]);
				}
	int ans = 0;
	for(int i=0;i<len;i++)
		for(int j=0;j<len;j++){
			int a = st[i],b = st[j];
			if((a & b) || (a & g[n-1])) continue;
			ans = max(dp[(n-1)&1][a][b],ans);
		}
	cout<<ans<<endl;
	return 0;
}