Acw状态压缩

蒙德里安的梦想​​​​​

求把 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>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
const int N = 12,M = 1<<N;//2的N次方 
typedef long long ll;
ll f[N][M];//前i-1列摆好 并且从i-1列伸到i列的数目为j的所有方案
int m,n;//m是列 n是行 
bool st[M];
vector<int> state[M];//记录所有合法状态
int main(){
	while(cin>>n>>m,n||m){//预处理 
		for(int i = 0;i<1<<n;i++){// 
			int cnt = 0;//这一列0的数量
			bool is_valid = true;
			for(int j = 0;j<n;j++)//遍历每一行
				if(i>>j&1){//这一 位 是1 
					if(cnt&1){//0的数量为奇数，非法
						is_valid = false; 
						break;
					}
						
					cnt = 0;		
			}
			
			else cnt++;
			if(cnt&1) is_valid = false;
			st[i] = is_valid;
		}
		
		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])//i和j不在同一列并且可以塞满整个方格（即合法）
					state[i].push_back(j); 
		}
		
		memset(f,0,sizeof f);
		
		f[0][0] = 1;//本来就是空的也算一种状态
		for(int i = 1;i<=m;i++)//遍历每一列 
			for(int j = 0;j<1<<n;j++)//j = 0开始
				for(auto k : state[j])//遍历所有合法状态
					f[i][j]+=f[i-1][k];//每种状态数目相加
		cout<<f[m][0]<<endl;//m-1列都摆好 下标是从0开始 m-1就是 所有都放好
	}
	
	return 0; 
}