蒙德里安的梦想

本人刚入门dp，水平较菜，因此记录自己对于此题的代码思路，为确保自己能看懂，代码进行了一定简化，并且进行了连我都能看懂的备注，希望能帮到刚入门的同学，也为自己复习留一份记录。

原题：

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

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

代码以及注释：

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

const int N = 12, M = 1 << N;
long long f[N][M];//列与状态存储
bool st[M];//存储是否有奇数0
int m, n;

int main()
{
    while(cin >> n >> m, n || m)//判断输入是否合法（即边长不能为0）
    {
        //首先预处理每列不能有奇数个0，使长方形可以纵向放置
        for(int i = 0; i < (1 << n); i ++ )//左移n位意味着1最终位于n + 1的位置
                                            //即可模拟出n位中每一位为0或1的情况
        {
            int cnt = 0;
            bool isValid = true;
            for(int j = 0; j < n; j ++ )
            {
                if((i >> j) & 1)//用于判断第j位是否为1，若是则停止cnt计数，检查上方0是否为偶数
                {
                    if(cnt & 1)//奇偶检查
                    {
                        isValid = false;//状态不可行
                        break;
                    }
                    cnt = 0;//计数器清零
                }
                else
                {
                    cnt ++;//计数器加一
                }
            }
            if(cnt & 1)
            {
                isValid = false;//用于判断最下面0段的奇偶
            }
            st[i] = isValid;//记录此种排列组合的状态
        }
        
        //dp部分
        memset(f, 0, sizeof f);
        //清空f数组
        f[0][0] = 1;//第一个参数为从-1伸到0列的状态为0（即没有方块伸过来）的方案个数
        //没有方块伸过来，即代表只能竖着摆放，方案仅有一种，因此初始化为1
        for (int i = 1; i <= m; i ++)//遍历m列(其中i列范围为0到m-1，此处i从1开始是方便计算前一列i-1)
        {
            for(int j = 0; j < (1 << n); j ++)//遍历当前列的所有方案
            {
                for(int k = 0; k < (1 << n); k ++)//遍历i-1列的所有方案
                {
                    if((j & k) == 0 && st[j | k])//当横置方块同行不冲突
                    //并且前一列伸过来的与本列形成的连续0不存在奇数个时
                    {
                        f[i][j] += f[i-1][k];//当前列为前一列所有情况的累加
                    }

                }
            }
        }
        cout << f[m][0] << endl;//最终方案为前m - 1列处理完后，伸出的块数量为0的方案数
    }
}