AcWing 291. 蒙德里安的梦想

f[i][j]，表示第i-1列已经摆好，j表示从i-1列伸向i列的状态的方案之和
j 10010表示i-1列中第1行和第4行有小方块伸向第i列
判断第i列是否合法 （1）i-2列伸向i-1列的方块与i-1列伸向i列的状态不冲突
(2) 一列有连续的偶数的空格来放小方块

#include<bitsdc++.h>
using namespace std;

typedef long long LL;
const int N = 12, M = 1<<N;
//M=2的N次方
LL f[N][N];
vector<int>state[M];//所有合法的状态
bool st[M];//判断列状态是否合法
int n,m;

int main()
{
    while(cin>>n>>m,n||m)
    {
        //初始化
        //所有st数组中合法的序列 自身合法
        for(int i=0;i<1<<n;i++)
        {
            int cnt=0;
            bool flag=true;
            for(int j=0;j<n;j++)
            {
                if(i>>j&1)//第j行为1，判断前面的0是否为偶数个
                {
                    if(cnt&1)
                    {
                        flag=false;
                        break;
                    }
                    cnt=0;//重置cnt;
                }
                else cnt++;
            }
            //判断是否有多出来一个0
            if(cnt&1)flag=false;
            st[i]=flag;
        }
        //枚举所有状态的前一个合法状态并加入state 
        for(int i=0;i<1<<n;i++)
        {
            state[i].clear();
            for(int j=0;j<1<<n;j++)
            {
                //i和j不能冲突并且i与j后还能满足有连续偶数个空余的位置
                //i 00100和j 10100同时占用了第3行的格子所以不行
                //i 00100和j 01000不冲突但是01100使得第一个空落单所以也不行
                if((i&j)==0&&st[i|j]==true)
                state[i].push_back(j);
            }
        }
        memset(f,0,sizeof f);
        f[0][0]=1;//不可能有-1列的方块伸向第1列(空棋盘)
        //状态转移方程
        for(int i=1;i<=m;i++)
        {
            for(int j=0;j<1<<n;j++)
            {
                for(auto k:state[j])
                f[i][j]+=f[i-1][k];
            }
        }
        //输出结果
        cout<<f[m][0]<<endl;//整个棋盘已经摆好且没有棋盘中溢出的格子
    }
    return 0;
}