蒙德里安的梦想（状态压缩）

1.首先就是每列状态的表示，如果该列有横着的方块就用1，表示否则就用零，一共n行最多有n个一就是2^n-1最少0个一就是0，所以0<=i<n;j表示i位移的个数，i最多n位所以最多位移n-1位来检验i每一位，如果是1就检验cnt来检验是否有连续奇数个0，最后还要再检验一次来检验高位零

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=1e5;
long long int f[20][N];
bool st[N];
int main(){
    int n,m;
    while(cin>>n>>m,n||m){
        memset(f,0,sizeof(f));
        f[0][0]=1;
        
        for(int i=0;i<(1<<n);i++){
            st[i]=true;
            int cnt=0;
            for(int j=0;j<n;j++){
                if((i>>j)&1){
                    if(cnt&1){
                        st[i]=false;
                        break;
                    }
                }
                else cnt++;
            }
            if(cnt&1)st[i]=false;
        }
        for(int i=1;i<=m;i++){
            for(int j=0;j<(1<<n);j++){
                for(int k=0;k<(1<<n);k++){
                    if((j&k)==0&&st[k|j])f[i][j]+=f[i-1][k];j,k不能有重叠的一并且还要检验重叠后的情况合理就是st[k|j];
                }
            }
        }
        cout<<f[m][0]<<endl;
    }
    return 0;
}