状压dp，预处理出： line[i]:第i行状态是否合法 ok[i][j]，表示第i行的状态到第j行的状态是否能转移。 situ[i][j]，表示i状态转到j状态是否可行。 设f[i][j]表示第i行状态为j时的答案，那么我们枚举一个k，对于所有合法的，能够转移到j的k，加上去。最后答案就是sigma（f[n][i]）。
#include<cstdio> #include<cstring> #include<algorithm> #include<iostream> #define fo(i,a,b) for(int i=a;i<=b;i++) #define fd(i,a,b) for(int i=a;i>=b;i--) using namespace std; int n,m,k; const int N=1<<12; const int mo=1e8; bool situ[13][1<<12],line[1<<12],ok[1<<12][1<<12]; int f[14][1<<12]; int tot,state[13],mi[13],s[13]; int main() { scanf("%d%d",&n,&m); mi[0]=1; tot=(1<<m)-1; fo(i,1,13)mi[i]=(mi[i-1]*2)%mo; fo(i,1,n) { int x; fd(j,m,1)scanf("%d",&s[j]); x=0; fo(j,1,m)x+=mi[j-1]*s[j]; state[i]=x; } fo(i,0,tot) if (((i>>1)&i)==0)line[i]=1; fo(i,0,tot)if(line[i]) fo(j,0,tot)if(line[j]) if ((i&j)==0)ok[i][j]=1; fo(i,1,n) fo(j,0,tot) if ((state[i]|j)==state[i])situ[i][j]=1; fo(i,0,tot) if (situ[1][i]&&line[i])f[1][i]=1; fo(i,2,n) fo(j,0,tot) if (line[j]&&situ[i][j]) fo(k,0,tot) if (line[k]&&situ[i-1][k]) if (ok[j][k]) f[i][j]=(f[i][j]+f[i-1][k])%mo; int ans=0; fo(i,0,tot)ans=(ans+f[n][i])%mo; printf("%d\n",ans); return 0; }