P1879 [USACO06NOV] Corn Fields G(状态压缩)

由于我的cnt是从一开始的，我还debug了一会
由于数据是一行一行的输入，我们不能像蒙德里安的梦想那样，按列判断
if((s[a]&g[i])s[a]&&(!(s[a]&s[b])))f[i][a]=(f[i][a]+f[i-1][b])%p;
如果(s[a]&g[i])s[a]说明s[a]在g[i]是一的位置上要么为零要么为1，并且在g[i]为零的的地方不能为一，不然结果不会等于零，
(!(s[a]&s[b]))这个说明s[a],s[b]，对应的位置不能都是一，因为不能相邻

#include<iostream>
#define int long long
using namespace std;
int g[14];
int f[14][1<<14];
int s[1<<14];
const int p=1e8;
signed main(){
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            int x;
            cin>>x;
            g[i]=(g[i]<<1)+x;//储存每行的状态
        }
    }
    f[0][1]=1;
    int cnt=0;
    for(int i=0;i<(1<<m);i++){
        if(!(i&(i>>1)))s[++cnt]=i;//相邻两个位置不能都是一
    }
    for(int i=1;i<=n+1;i++){
        for(int a=1;a<=cnt;a++){
            for(int b=1;b<=cnt;b++){
                if((s[a]&g[i])==s[a]&&(!(s[a]&s[b])))f[i][a]=(f[i][a]+f[i-1][b])%p;
            }
        }
    }
cout<<f[n+1][1];
    return 0;
}