#10171. 「一本通 5.4 例 2」牧场的安排（状压dp）

libreoj10171:

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL maxn=2e5+10;
const LL mod=1e8;
const double eps=1e-7;
int n,m;
int a[13][13],f[13][1<<13],cnt[13],dp[13][1<<13];//dp[i][j]表示前i行且第i行以j状态为结尾的方案数，j可以用每一行符合状态的序号表示
void init()
{
   int mx=(1<<m)-1;
   for(int i=1;i<=n;i++){
      for(int j=0;j<=mx;j++){
        if(j&(j<<1))continue;
        int ko=0;
        for(int k=0;k<m;k++){
            if(((j>>k)&1)==1&&a[i][m-1-k]==0){
                ko=1;break;//对于每一行去除不符合条件的方案
            }
        }
        if(!ko){
            f[i][++cnt[i]]=j;
        }
      }
   }
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=n;i++){
        for(int j=0;j<m;j++){
            cin>>a[i][j];
        }
    }
    init();
    for(int i=1;i<=cnt[1];i++){
        dp[1][i]=1;
    }
    for(int i=2;i<=n;i++){
        for(int j=1;j<=cnt[i];j++){
            for(int k=1;k<=cnt[i-1];k++){
                if((f[i][j]&f[i-1][k])==0){//对于该行我们只能从上一行的合法情况来推导出来
                     dp[i][j]+=dp[i-1][k];
                     dp[i][j]%=mod;
                }
            }
        }
    }
    LL res=0;
    for(int i=1;i<=cnt[n];i++){
        res+=dp[n][i];
        res%=mod;
    }
    printf("%lld\n",res);
    return 0;
}