我们来看一看一道比较难的问题(十分十分的巧妙):
显然我们应该一行一行放,又竖的会对下一行产生影响,我们令横着放为0,竖着放的上方为1.
对于下一行,前一行放1的下面为0,但是会出现这么个情况:
10001,这3个0可能是竖着放的下方,也可以是一个横放+1个竖着放的下方,而对于000下面的一定不能是3个0,只可以是100或001或111.
综上,我们可以得到如下规则:
1.st&st'!=0是不可能的。
2.我们在忽略竖的0下不能有连续奇数的0.
显然,对于一个01矩阵,它与1种方案是一一映射的。
有了这两个规则,我们求的就是最后一行全为0的方案数。
但是,对于验证第二个规则比较麻烦,我们如何用二进制的性质来化简呢?
我们假设上一行为st1,本行为st2,我们取反st1,让他-st2,这样子我们就把竖的0忽略了。
我们只要计算是否有奇数的连续的1即可。
下面是AC代码:
#include<bits/stdc++.h>
using namespace std;
int n,m;
long long dp[15][3000];
bool lian(int x){int cnt=0;int q=m;while(q--){if(x&1) cnt++;else{if(cnt%2==1) return 1;cnt=0;}x>>=1;}return cnt%2;
}
int main(){while(cin>>n>>m){if(n==0&&m==0) break;if(n*m%2) {printf("0\n");continue;}memset(dp,0,sizeof(dp));for(int i=0;i<=(1<<m)-1;i++){if(lian((~0)-i)==1) continue;dp[1][i]=1;}for(int i=2;i<=n;i++){for(int j=0;j<=(1<<m)-1;j++){for(int k=0;k<=(1<<m)-1;k++){if(k&j) continue;if(lian((~k)-j)==1) continue;dp[i][j]+=dp[i-1][k];}}}cout<<dp[n][0]<<endl;}
}