给出的行列范围小,所以考虑状压。用0表示向下摆(摆到这一行的时候这个位置是空的),1表示这里有东西,可能是上一行放上来的,也可能是横着摆放的。
考虑怎么进行状态转移。对于当前状态,枚举所有的状态,找到符合条件的之前的状态。什么是之前的状态呢,如果当前行,某个位置出现0,那么上一行这个位置就绝对不能是0,如果某个位置是1,那么上一行是0或者1都可以。所以如果now|pre结果都是1111..那么就是符合条件的之前的状态。然后还要检查当前的状态是否是正确的状态,先从状态中去掉从上一行来的砖块,或者是要向下摆放的砖块,然后检查剩下的砖块中是否存在不连续的2个1,如果有,就不是符合条件的状态。
初始状态:dp[第0行][(1<<w)-1]=1; //第一行不能有来自上一行的砖头
结束状态:dp[最后一行][(1<<w)-1];
#include <stdio.h>
#include <iostream>
#include <string.h>
using namespace std;
#define maxn 2048
#define ll long long
ll dp[2][maxn];
int check(int x)
{
int que[12],top=0;
while(x)
{
que[top++]=x&1;
x>>=1;
}
for(int i=0;i<top;i++)
{
if(!que[i]) continue;
if(i+1<top&&que[i+1]) i++;
else return 0;
}
return 1;
}
void work(int h,int w)
{
memset(dp,0,sizeof(dp));
dp[1][(1<<w)-1]=1;
int cmp=(1<<w)-1;
int flag;
for(int i=0;i<h;i++)
{
flag=i&1;
for(int now=0;now<=cmp;now++)
{
for(int pre=0;pre<=cmp;pre++)
{
if((now|pre)==cmp)
{
int tmp=now⪯
if(check(tmp))
dp[flag][now]+=dp[!flag][pre];
}
}
}
memset(dp[!flag],0,sizeof(dp[!flag]));
}
cout<<dp[flag][cmp]<<endl;
}
int main()
{
int n,m;
while(cin>>n>>m)
{
if(!n&&!m) break;
work(n,m);
}
return 0;
}