题解:
可以发现,对于每一行放大炮的状态,只与它上面一行和上上一行的状态有关,每一行用状态压缩的表示方法,0表示不放大炮,1表示放大炮,同样的,先要满足硬件条件,即有的地方不能放大炮,然后就是每一行中不能有两个1的距离小于2(保证横着不互相攻击),这些要预先处理一下。然后就是状态表示和转移的问题了,因为是和前两行的状态有关,所以要开个三维的数组来表示状态,当前行的状态可由前两行的状态转移而来。即如果当前行的状态符合前两行的约束条件(不和前两行的大炮互相攻击),则当前行的最大值就是上一个状态的值加上当前状态中1的个数(当前行放大炮的个数)
【状态表示】dp[i][j][k] 表示第i行状态为k,第i-1状态为j时的最大炮兵个数。
【状态转移方程】dp[i][k][t] =max(dp[i][k][t],dp[i-1][j][k]+num[t]); num[t]为t状态中1的个数
【DP边界条件】dp[1][1][i] =num[i] 状态i能够满足第一行的硬件条件(注意:这里的i指的是第i个状态,不是一个二进制数,开一个数组保存二进制状态)
#include <cstdio>
#include <cstring>
using namespace std;
#define max(a,b) (a) > (b) ? (a) : (b)
int N,M;
char map[110][20],num[110],top;
int stk[70],cur[110];
int dp[110][70][70];
inline bool ok(int x){
if(x&(x<<1)) return 0;
if(x&(x<<2)) return 0;
return 1;
}
inline void jinit()
{
top=0;
int i,total=1<<N;
for(i=0;i<total;i++) if(ok(i)) stk[++top]=i;
}
inline bool fit(int x,int k)
{
if(cur[k]&x) return 0;
return 1;
}
inline int jcount(int x)
{
int cnt=0;
while(x)
{
cnt++;
x&=(x-1);
}
return cnt;
}
int main(){
while(scanf("%d%d",&M,&N) != EOF){
if(N == 0 && M == 0)break;
jinit();
for(int i = 1; i <= M; ++i)scanf("%s",map[i]+1);
for(int i = 1; i <= M; ++i)
for(int j = 1; j <= N; ++j){
cur[i]=0;
for(j=1;j<=N;j++){
if(map[i][j]=='H')cur[i]+=(1<<(j-1));
}
}
memset(dp,-1,sizeof(dp));
for(int i = 1;i <= top;i++){
num[i]=jcount(stk[i]);
if(fit(stk[i],1))
dp[1][1][i]=num[i];
}
int i,t,j,k;
for(i = 2;i <= M;i++){
for(t = 1;t <= top;t++){
if(!fit(stk[t],i)) continue;
for(j = 1;j <= top;j++)
{
if(stk[t]&stk[j])continue;
for(k = 1;k <= top;k++)
{
if(stk[t]&stk[k])continue;
if(dp[i-1][j][k]==-1)continue;
dp[i][k][t] =max(dp[i][k][t],dp[i-1][j][k]+num[t]);
}
}
}
}
int ans = 0;
for(i = 1; i <= M; ++i)
for(j = 1; j <= top; ++j)
for(k = 1; k <= top; ++k)
ans = max(ans,dp[i][j][k]);
printf("%d\n",ans);
}
return 0;
}