状态压缩：蒙德里安的梦想

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

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

如下图所示：

输入格式

输入包含多组测试用例。

每组测试用例占一行，包含两个整数 NN 和 MM。

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

输出格式

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

数据范围

1≤N,M≤111≤N,M≤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

代码如下：

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

const int N=12, M = 1<< N;

long long dp[N][M] ;// 第一维表示列， 第二维表示所有可能的状态  此刻的方案数

bool st[M];  //存储每种状态是否有奇数个连续的0，如果奇数个0是无效状态，如果是偶数个零置为true。

vector<int> state[M];  //二维数组记录合法的状态
int n,m;

int main(){

   while(cin>>n>>m,m||n)
   {
     //记录一下不同状态下是否符合题意，即该列在一些格子因横着放被占的情况下，剩下的格子能否竖着放。
     for(int i=0;i<1<<n;i++)
     {
         int cnt=0;
         st[i]=true;
         for(int j=0;j<n;j++)
         {
             if(i&1<<j)
             {
                 if(cnt&1)
                 {
                     st[i]=false;
                     break;
                 }
             }
             else
                cnt++;
         }
         if (cnt&1) st[i] = false;
        // cout<<"  st ["<<i<<"]:"<<st[i]<<"  // ";

     }
     //state[i]表示在本列为i的情况下，下一列可以存在的状态

     for(int i=0;i<1<<n;i++)//本列
     {
         state[i].clear();
         for(int j=0;j<1<<n;j++)//上一列
         {
             if((i&j)==0&&st[i|j])
                state[i].push_back(j);

         }
        // cout<<"  state ["<<i<<"]:"<<state[i][0]<<"  // ";
     }
     //更新DP数组
     memset(dp,0,sizeof dp);
     dp[0][0]=1;
     for(int i=1;i<=m;i++)//第i列
     {

         for(int j=0;j<1<<n;j++)//第i列的状态
         {
            if((i==m)&&(j>0)) break;

             for(int k=0;k<state[j].size();k++)
            {
                int temp=state[j][k];
                dp[i][j]+=dp[i-1][temp];
            }
            //cout<<"  dp ["<<i<<"]"<<"["<<j<<"]:"<<dp[i][j]<<"  // ";

         }
     }
    // cout<<endl;
     cout<<dp[m][0]<<endl;

   }



}