POJ - 1185 炮兵阵地 （状压DP）

炮兵阵地

司令部的将军们打算在N*M的网格地图上部署他们的炮兵部队。一个N*M的地图由N行M列组成，地图的每一格可能是山地（用"H" 表示），也可能是平原（用"P"表示），如下图。在每一格平原地形上最多可以布置一支炮兵部队（山地上不能够部署炮兵部队）；一支炮兵部队在地图上的攻击范围如图中黑色区域所示： 

如果在地图中的灰色所标识的平原上部署一支炮兵部队，则图中的黑色的网格表示它能够攻击到的区域：沿横向左右各两格，沿纵向上下各两格。图上其它白色网格均攻击不到。从图上可见炮兵的攻击范围不受地形的影响。 
现在，将军们规划如何部署炮兵部队，在防止误伤的前提下（保证任何两支炮兵部队之间不能互相攻击，即任何一支炮兵部队都不在其他支炮兵部队的攻击范围内），在整个地图区域内最多能够摆放多少我军的炮兵部队。 

Input

第一行包含两个由空格分割开的正整数，分别表示N和M； 
接下来的N行，每一行含有连续的M个字符('P'或者'H')，中间没有空格。按顺序表示地图中每一行的数据。N <= 100；M <= 10。

Output

仅一行，包含一个整数K，表示最多能摆放的炮兵部队的数量。

Sample Input

5 4
PHPP
PPHH
PPPP
PHPP
PHHP

Sample Output

6

思路：这道题和POJ - 3254 Corn Fields这道题相似，不过从相邻的一个不能同时有，变成相邻的两个不能同时有，所以我们可以用三维数组记录状态，状态由上一行转移过来，上两行都满足约束条件，用dp[ i ] [ j ]  [ k ]表示前i行，第i行状态为k，上一行状态为 j 的最大摆放数量

代码：

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
#define mod 100000000
int st[70],a[105],dp[105][70][70],num[105];
int n,m,top;
char mp[15];
int f(int x)
{ //判断相邻位是否为1
    if(x&x<<1) return 0;
    if(x&x<<2) return 0;
    return 1;
}
void init()
{
    top=0;
    int tot=1<<m;
    for(int i=0;i<tot;i++) //找出m位二进制中所有满足没有相邻1的状态
        if(f(i)) st[++top]=i;
}
int fun(int x,int k)
{//判断第k行是否存在状态x
    if(x&a[k]) return 0;
    return 1;
}
int fcount(int x)
{
    int cnt=0;
    while(x)
    {
        cnt++;
        x&=(x-1);
    }
    return cnt;
}
int main()
{
    while(~scanf("%d%d",&n,&m)&&(n+m))
    {
        init();
        for(int i=1;i<=n;i++)
        {
            scanf("%s",mp+1);
            a[i]=0;
            for(int j=1;j<=m;j++)
            {
                if(mp[j]=='H') a[i]+=(1<<(m-j));
            }
        }
        int ans=0;
        memset(dp,-1,sizeof(dp));
        for(int i=1;i<=top;i++)
        {
            num[i]=fcount(st[i]);
            if(fun(st[i],1))dp[1][1][i]=num[i],ans=max(ans,num[i]);
        }
        for(int i=2;i<=n;i++)
            for(int j=1;j<=top;j++)
            {
                if(!fun(st[j],i)) continue;
                for(int k=1;k<=top;k++)
                {
                    if(st[j]&st[k]) continue; //和上一行的状态有相邻1
                    for(int kk=1;kk<=top;kk++)
                    {
                        if(st[kk]&st[j]) continue;
                        if(dp[i-1][k][kk]==-1) continue;
                        dp[i][kk][j]=max(dp[i][kk][j],dp[i-1][k][kk]+num[j]);
                        ans=max(ans,dp[i][kk][j]);
                    }
                }
            }
        printf("%d\n",ans);
    }
    return 0;
}