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