acwing 291 蒙德里安的梦想 2022/05/02

 

#include<iostream>
#include<cstring>
#include<vector>

using namespace std ;

const int N = 20 , M = 1 << 11 ;
vector<int> state[M] ;
long long f[N][M] ;
bool st[M];
int m , n ;

int main()
{
    while(cin >> n >> m , n||m)
    {
        for(int i = 0 ; i < 1<< n ; i++)
        {
            int cnt = 0 ;
            bool a = true ;
            for(int j = 0 ; j < n ; j++)
            {
                if(i >>j & 1)
                {
                    if(cnt & 1)
                    {
                        a = false ;
                        break ;
                    }
                    cnt = 0 ;
                }
                else cnt ++ ;
            }
            if(cnt & 1) a = false;
            st[i] = a ;
        }
        for(int j = 0 ; j < 1<< n ; j++)
        {
            state[j].clear();
            for(int k = 0 ; k < 1 << n ; k++)
            {
                if((j & k) == 0 && st[j|k])
                state[j].push_back(k) ;
            }
        }
    
    memset(f , 0 , sizeof f);
    f[0][0]=1 ;// 这里需要回忆状态表示的定义，按定义这里是：前第-1列都摆好，且从-1列到第0列伸出来的状态为0的方案数。
        //首先，这里没有-1列，最少也是0列。其次，没有伸出来，即没有横着摆的。即这里第0列只有竖着摆这1种状态。
        
        for(int i=1;i<= m;i++){ //遍历每一列:第i列合法范围是(0~m-1列)
            for(int j=0; j< 1<<n; j++){  //遍历当前列（第i列）所有状态j
                for( auto k : state[j])    //如果 第i列的状态j“真正”可行，就转移
                    f[i][j] += f[i-1][k];    // 当前列的方案数就等于之前的第i-1列所有状态k的累加。
            }
        }
        
        //最后答案是什么呢？
        //f[m][0]表示 前m-1列都处理完，并且第m-1列没有伸出来的所有方案数。
        //即整个棋盘处理完的方案数
    
        cout<< f[m][0]<<endl;
        
    }
    return 0 ;
}