bzoj1725: [Usaco2006 Nov]Corn Fields牧场的安排 状压dp

题目大意:没有放置限制和左上,右上,左下,右下限制的bzoj1087 [SCOI2005]互不侵犯King
做法同,
先预处理合法的状态,然后转移
PS:枚举当前这一层和上一层状态的顺序是不重要的(即$j,k$),因为无论什么顺序,上一层的答案都全部被处理出来了

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fod(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
const int N=(1<<12)+10,Mod=1000000000;
typedef long long ll;
ll f[14][N];
int n,m;
int c1[14][N],jd[14][14];
void pre()
{
    for(int i=1;i<=n;i++) 
        for(int j=0;j<(1<<m);j++) 
            if((j&(j>>1))==0)
                for(int k=1;k<=m;k++){
                    if((j&(1<<(k-1)))&&!jd[i][k])break;
                    if(k==m)c1[i][j]=1;
                }
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++) 
        for(int j=1;j<=m;j++)
            scanf("%d",&jd[i][j]);
    pre();
    for(int i=0;i<(1<<m);i++)if(c1[1][i])f[1][i]=1;
    for(int i=1;i<n;i++) 
        for(int k=0;k<(1<<m);k++) if(c1[i+1][k])
            for(int j=0;j<(1<<m);j++) if((k&j)==0)
                f[i+1][k]=(f[i+1][k]+f[i][j])%Mod;
    ll ans=0;
    for(int i=0;i<(1<<m);i++)if(c1[n][i])ans=(ans+f[n][i])%Mod;
    printf("%lld\n",ans);
    return 0;
}