备战蓝桥杯---状态压缩DP进阶题1

我们来看一看一道比较难的问题（十分十分的巧妙）：

显然我们应该一行一行放，又竖的会对下一行产生影响，我们令横着放为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;
    }
}