【题解】Luogu [USACO NOV] 玉米田 Corn Fields 状压dp

位运算一定要加括号！！！

我因为这个调了40分钟

嗯？01网格图，再看看数据范围，$n,m≤12$，嗯，状压没跑了

$F[i]$表示第$i$行的状态

$f[i][j]$表示前$i$行状态为$j$的合法方案数

$g[i]$表示状态是否合法

左右都是0的状态才合法，当且仅当$i<<1$和$i>>1$都为0的时候合法

当$j==j&F[i]$时，即在肥沃的土地上可以种草时满足题意

且当$j&k==0$时，即上一行与这一行的这个格子没有公共边时，满足题意

code

#include <bits/stdc++.h>
using namespace std;
namespace gengyf{
#define ll long long
//const int maxn=5e4+10;
const int mod=1e9;
inline int read(){
    int f=1,x=0;char s=getchar();
    while(s<'0'||s>'9'){if(s=='-')f=-1;s=getchar();}
    while(s>='0'&&s<='9'){x=x*10+s-'0';s=getchar();}
    return f*x;
}
int n,m,a[15][15],f[15][(1<<15)+10];
int F[15],g[(1<<15)+10],ans;
int main(){
    m=read();n=read();
    for(int i=1;i<=m;i++)
        for(int j=1;j<=n;j++){
            a[i][j]=read();
            F[i]=(F[i]<<1)+a[i][j];
        }
    for(int i=0;i<(1<<n);i++){
        g[i]=(!(i&(i<<1))&&(!(i&(i>>1))));
    }
    f[0][0]=1;
    for(int i=1;i<=m;i++)
        for(int j=0;j<(1<<n);j++){
            if(g[j]&&(F[i]&j)==j){
                for(int k=0;k<(1<<n);k++){
                    if((k&j)==0){
                        f[i][j]=(f[i][j]+f[i-1][k])%mod;
//                        cout<<f[i][j]<<" ";
                    }
                }
            }
        }
    for(int i=0;i<(1<<n);i++){
        ans+=f[m][i];ans%=mod;
//        cout<<f[m][i]<<" ";
    }
    printf("%d",ans);
    return 0;
}
}
signed main(){
  gengyf::main();
  return 0;
}