学习笔记16||动态规划DP3

291蒙德里安的猜想

状态压缩动态规划
求把NM的棋盘分割成若干个12的的长方形，有多少种方案。
例如当N=2，M=4时，共有5种方案。当N=2，M=3时，共有3种方案。
当横向小矩形的摆放确定之后，整个的方案数就确定了。
1、集合的表示：f[i,j] 第i列，j表示的是每一行的状态。

• j&k==0
• 所有的空白格子必须是偶数，为了竖向拜访小矩形。j|k不存在奇数个0；
  满足上面两个条件，就可以进行转移。
  时间复杂度:4*1e7

#include<iostream>
#include<algorithm>
#include<cstring>

using namespace std;

const int N=12,M=1<<N;
int n,m;
long long f[N][M];
bool st[M];

int main(){
   
    while(cin>>n>>m,n||m){
   
        memset(f,0,sizeof f);
        for(int i=0;i<1<<n;i++){
   
            st[i]=true;
            int cnt=0;//当前连续0的个数
            for(int j=0;j<n;j++)
              if(i>>j&1)
              {
   
                  if(cnt&1) st[i]=false;
                  cnt=0;
              }
              else cnt++;
              if(cnt&1) st[i]=false;
        }
        f[0][0]=1;
        for(int i=1;i<=m;i++)
          for(int j=0;j<1<<n;j++)
             for(int k=0;k<=1<<n;k++)
                if((j&k)==0&&st[j|k])
                  f[i