acwing 291. 蒙德里安的梦想

求把 N×M�×� 的棋盘分割成若干个 1×21×2 的长方形，有多少种方案。

例如当 N=2，M=4�=2，�=4 时，共有 55 种方案。当 N=2，M=3�=2，�=3 时，共有 33 种方案。

如下图所示：

输入格式

输入包含多组测试用例。

每组测试用例占一行，包含两个整数 N� 和 M�。

当输入用例 N=0，M=0�=0，�=0 时，表示输入终止，且该用例无需处理。

输出格式

每个测试用例输出一个结果，每个结果占一行。

数据范围

1≤N,M≤111≤�,�≤11

输入样例：

1 2
1 3
1 4
2 2
2 3
2 4
2 11
4 11
0 0

输出样例：

1
0
1
2
3
5
144
51205

  只预处理第一步 判断合并后的0~m-1那些是合法的 ，没有预处理第二步 ，差点超时

#include<bits/stdc++.h>
using namespace std;

const int N=12,M=1<<N;//1的N次方

int n,m;
long long f[N][M];//i代表完成第i列时  j二进制代表此列的情况
bool st[M];//二进制中最多0~2^m次方 判断方案数是否合法(判断是否存在重合情况都是1) 1为出头 0为列的趋势或者向右的趋势 二选一

int main()
{
    while(cin>>n>>m,n||m)//n,m同时为0的时候 退出循环
    {
        for(int i=0;i<1<<n;i++)//枚举多0~2^n每一列的每一种情况 (合并后的每一种情况)
        {
            int cnt=0;
            st[i]=true;
            
            for(int j=0;j<n;j++)//一列上的每一行 不能出现奇数0的情况 
            {
                if(i>>j&1)
                {
                    if(cnt & 1) st[i] = false;//出现奇数0的情况
                    cnt=0;
                }
                else cnt++;
            }
            
            if(cnt & 1) st[i] =false; //0100后面还有0
            
            
        }
        
        
        memset(f,0,sizeof f);//初始化都是0
        
        f[0][0] = 1;//第0行的情况不能出现1 因为不存在-1列 
        
        for(int i=1;i<=m;i++)
        {
            for(int j=0;j<1<<n;j++)//枚举第i列的情况
            {
                for(int k=0;k<1<<n;k++)//枚举i-1的情况
                {
                    if((j & k)==0  && st[j|k])//j & k 不能出现1 出现1表示着同时有两个1冒头
                    {
                        f[i][j] += f[i-1][k];
                    }
                }
            }
 
        }
        
        cout<<f[m][0]<<endl;
        
    }
    
    
    
    return 0;
}

预处理第二部

#include<bits/stdc++.h>
using namespace std;

const int N=12,M=1<<N;//1的N次方

int n,m;
long long f[N][M];//i代表完成第i列时  j二进制代表此列的情况
bool st[M];//二进制中最多0~2^m次方 判断方案数是否合法(判断是否存在重合情况都是1) 1为出头 0为列的趋势或者向右的趋势 二选一
vector<int> state[M];//不能j与k重和 和同一列不会出现奇数0的情况



int main()
{
    while(cin>>n>>m,n||m)//n,m同时为0的时候 退出循环
    {
        for(int i=0;i<1<<n;i++)//枚举多0~2^n每一列的每一种情况 (合并后的每一种情况)
        {
            int cnt=0;
            st[i]=true;
            
            for(int j=0;j<n;j++)//一列上的每一行 不能出现奇数0的情况 
            {
                if(i>>j&1)
                {
                    if(cnt & 1) st[i] = false;//出现奇数0的情况
                    cnt=0;
                }
                else cnt++;
            }
            
            if(cnt & 1) st[i] =false; //0100后面还有0
            
            
        }
        
        for(int i=0;i<1<<n;i++)//枚举第i列的情况
        {
            state[i].clear();
            
            for(int j=0;j<1<<n;j++)//枚举第i-1的所有情况
            {
                if((i&j)==0 && st[i|j])//i&j 不会出1的情况 st[i|j]合并后的每一种情况
                {
                    state[i].push_back(j);
                }
            }
            
            
        }
        
        
        
        
        memset(f,0,sizeof f);//初始化都是0
        
        f[0][0] = 1;//第0行的情况不能出现1 因为不存在-1列 
        
        for(int i=1;i<=m;i++)
        {
            for(int j=0;j<1<<n;j++)//枚举第i列的情况
            {
               for(auto k : state[j])//枚举j的情况 预处理过了 已经可以和j配对的情况
               {
                   f[i][j] += f[i-1][k];
               }
            }
 
        }
        
        cout<<f[m][0]<<endl;//0~m-1 已经遍历出所有答案 只需要 往后推一列 这一列全是0的情况不能有1 这就是m-1列所有合法的方案
        
    }
    
    
    
    return 0;
}