HDU - 4539

纯状压题，dp部分很简单
考虑一行上的限制条件，再去深究列上的限制

#include<iostream>
#include<stdio.h>
#include<string>
#include<cstring>
#include<vector>
#include<stack>
#include<algorithm>
using namespace std;
#define clr(a, x) memset(a, x, sizeof(a))
#define mp(x, y) make_pair(x, y)
#define pb(x) push_back(x)
#define X first
#define Y second
#define fastin                    \
    ios_base::sync_with_stdio(0); \
    cin.tie(0);

typedef long long LL;
typedef pair<int, int> PII;
typedef vector<int> VI;
const int INF=0x3f3f3f3f;
int state[1<<10];
int soldier[1<<10];
int G[110];
LL dp[110][180][180];
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m)){
        clr(G,0);
        clr(dp,0);
        clr(soldier,0);
        clr(state,0);
        for(int i=0;i<n;i++)
            for(int j=0,x;j<m;j++)
            {
                cin>>x;
               if(!x) G[i]|=1<<j;
            }
        int num=0;
        for(int i=0;i<(1<<m);i++)
        {
            if(i & (i<<2)) continue;
            for(int j=0;j<m;j++)
                if(i & (1<<j)) soldier[num]++;
            state[num++] = i;
        }
        LL ans=0;
        for(int i=0;i<num;i++)
        {
            if(G[0]&state[i]) continue;
            dp[0][i][0] = soldier[i];
            ans=max(ans,1LL*soldier[i]);
        }
        if(n==1){
            cout<<ans<<endl;
            continue;
        }
        for(int i=0;i<num;i++)
        {
            if(G[1]&state[i]) continue;
            for(int j=0;j<num;j++)
            {
                if(G[0]&state[j]) continue;
                if((state[j]<<1)&state[i]) continue;
                if((state[i]<<1)&state[j]) continue;
                dp[1][i][j] = max(dp[1][i][j],dp[0][j][0]+soldier[i]);
                ans=max(ans,dp[1][i][j]);
            }
        }
        for(int r=2;r<n;r++)
        {
            for(int i=0;i<num;i++)
            {
                if(state[i]&G[r]) continue;
                for(int j=0;j<num;j++)
                {
                    if(G[r-1]&state[j]) continue;
                    if((state[j]<<1)&state[i]) continue;
                    if((state[i]<<1)&state[j]) continue;
                    for(int k=0;k<num;k++)
                    {
                        if(G[r-2]&state[k]) continue;
                        if(state[k]&state[i]) continue;
                        if((state[k]<<1)&state[j]) continue;
                        if((state[k])&(state[j]<<1)) continue;
                        dp[r][i][j] = max(dp[r][i][j],dp[r-1][j][k]+soldier[i]);
                        ans=max(ans,dp[r][i][j]);
                    }
                }
            }
        }
        cout<<ans<<endl;
    }
    return 0;
}