poj 1185 状压dp+优化

http://poj.org/problem?id=1185

炮兵阵地

Time Limit: 2000MS		Memory Limit: 65536K
Total Submissions: 29176		Accepted: 11303

Description

司令部的将军们打算在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

Source

Noi 01

   很有趣的题目，由于炮兵攻击范围达到了两行所以我们枚举当前行状态时肯定需要前两行的状态，有一个显然的方程为 f[i][j][k]=MAX{  f[i-1][v][j] | if(i,j,k对应的三行的状态可以共存 }

每行状态最多2¹⁰，这样算的话肯定会T，但是仔细想想会发现合法的状态最多只有60多个，因为只要存在相邻的1就不合法，所以可以筛去很多的状态，将这些状态离散化，a[i]为第i个合法状态，t[i]为第i个状态中‘1’的个数。接着我们就能用f[i][j][k]表示第i行为第k个合法状态，第i-1行为第j个合法状态时最大炮兵个数，复杂度大大降低。注意每次都要判断三个状态能否放在对应的三行上以及是否可以共存，这些关系的判断使用打表法存下，因为要进行多次判断，第一次直接计算结果T了，打表之后250ms A了，虽然不是很快- -

 #include<iostream>
 #include<cstring>
 #include<cstdio>
 #include<algorithm>
 using namespace std;
 #define LL long long
 int e[][];
 int f[][][];
 int N,M,tot,all;
 int a[],t[];
 int g[][];
 int _g[][];
 int sol(int x)
 {
     int r=;
     for(int j=;j<M;++j)
     {
         if(x&(<<j)) {
             r++;
             for(int i=-;i<=;++i)
             {
                 if(i==||j+i<||j+i>=M) continue;
                 if(x&(<<(j+i))) return -;
             }
         }
     }
     return r;
 }
 void init()
 {
     for(int i=;i<all;++i)
     {
         int x=sol(i);
         if(x!=-){
             a[tot]=i;
             t[tot++]=x;
         }
     }
 }
 bool ok(int _a,int x)
 {
     int A=a[_a];
     for(int i=;i<M;++i)
         if((A&(<<i))&&e[x][M-i]) return ;
     return ;
 }
 bool match(int _a,int _b)
 {
     int A=a[_a],B=a[_b];
     for(int i=;i<M;++i)
         if((A&(<<i))&&(B&(<<i))) return ;
     return ;
 }
 int main()
 {
     int i,j,k=;
     while(scanf("%d%d",&N,&M)==){tot=;
     all=(<<M);memset(e,,sizeof(e));
     memset(f,,sizeof(f));
     memset(g,-,sizeof(g));
     memset(_g,-,sizeof(_g));
         for(i=;i<=N+;++i)
            for(j=;j<=M;++j){
             char c;
             scanf(" %c",&c);
             e[i][j]=c=='P'?:;
         }
         init();
         for(i=;i<tot;++i)
             for(j=;j<=N+;++j)
             _g[i][j]=ok(i,j);
         for(i=;i<tot;++i)
             for(j=;j<tot;j++)
         g[i][j]=match(i,j);
         for(i=;i<=N+;++i)
         {
            for(int t1=;t1<tot;++t1)
            {
                if(!_g[t1][i-]) continue;
                for(int t2=;t2<tot;++t2)
                {
                    if(!_g[t2][i-]||!g[t1][t2]) continue;
                    for(int t3=;t3<tot;++t3)
                    {
                        if(!_g[t3][i]||!g[t2][t3]||!g[t1][t3]) continue;
                        if(f[i][t2][t3]<f[i-][t1][t2]+t[t3])f[i][t2][t3]=f[i-][t1][t2]+t[t3];
                    }
                }
            }
         }
         int ans=;
         for(int t1=;t1<tot;++t1)
             for(int t2=;t2<tot;++t2)
             if(ans<f[N+][t1][t2])ans=f[N+][t1][t2];
         printf("%d\n",ans);
     }
     return ;
 }