poj3254 - Corn Fields(状态压缩dp)

所谓的状态压缩就是把庞大的状态家族精简化。大多数都是用二进制表示状态的。

状态：dp[i][j]表示第i行第j个状态所能达到的最大方案数目。

状态转移：dp[i][j] += dp[i-1][k]

代码如下：

#include <cstdio>
#include <cstring>
#define M 1000
#define N 15
#define MOD 100000000
bool a[N][N];
int m, n, dp[N][M], v[M];
void init()
{
    int MAX = 1<<12, c = 0;
    for(int i = 0; i < MAX; i++)
    {
        if((i&i<<1)==0) v[c++] = i;
    }
}
int is(int x, int val)
{
    for(int i = 1; i <= n; i++)
        if((val&1<<(i-1))&&a[x][i]==0) return 1;
    return 0;
}

int main ()
{
    init();
    while(~scanf("%d %d",&m,&n))
    {
        for(int i = 1; i <= m; i++)
        for(int j = 1; j <= n; j++)
        scanf("%d",&a[i][j]);
        memset(dp,0,sizeof(dp));
        int lenth = 1<<n;
        for(int i = 1; i <= m; i++)
        for(int j = 0; v[j] < lenth; j++)
        {
            if(is(i,v[j])) continue;
            if(i==1) {dp[i][j] = 1; continue; }
            for(int k = 0; v[k] < lenth; k++)
            {
                if((v[j]&v[k])==0) dp[i][j]+=dp[i-1][k];
            }
        }
        long long ans = 0;
        for(int i = 0; v[i] < lenth; i++)
        {
            ans = (ans+dp[m][i])%MOD;
        }
        printf("%I64d\n",ans);
    }
    return 0;
}