状态压缩·二

时间限制: 10000ms

单点时限: 1000ms

内存限制: 256MB

描述

历经千辛万苦，小Hi和小Ho终于到达了举办美食节的城市！虽然人山人海，但小Hi和小Ho仍然抑制不住兴奋之情，他们放下行李便投入到了美食节的活动当中。美食节的各个摊位上各自有着非常多的有意思的小游戏，其中一个便是这样子的：

小Hi和小Ho领到了一个大小为N*M的长方形盘子，他们可以用这个盒子来装一些大小为2*1的蛋糕。但是根据要求，他们一定要将这个盘子装的满满的，一点缝隙也不能留下来，才能够将这些蛋糕带走。

这么简单的问题自然难不倒小Hi和小Ho，于是他们很快的就拿着蛋糕离开了~

但小Ho却不只满足于此，于是他提出了一个问题——他们有多少种方案来装满这个N*M的盘子呢？

值得注意的是，这个长方形盘子的上下左右是有区别的，如在N=4, M=3的时候，下面的两种方案被视为不同的两种方案哦！

提示：我们来玩拼图吧！不过不同的枚举方式会导致不同的结果哦！

输入

每个测试点（输入文件）有且仅有一组测试数据。

每组测试数据的第一行为两个正整数N、M，表示小Hi和小Ho拿到的盘子的大小。

对于100%的数据，满足2<=N<=1000, 3<=m<=5。<>

输出

考虑到总的方案数可能非常大，只需要输出方案数除以1000000007的余数。

样例输入

2 4

样例输出

5

状态压缩问题关键是就是思路，这里完全按照提示的思路 ，其实发现如果开四维数组会方便计算。还有就是初始化的问题，这个是dp中最容易忽略的。

#include <iostream>
#include <string.h>
#include <cstdio>
#include <string>
#include <map>
#include <vector>
#include <queue>
#include <algorithm>
#include <set>
#include <math.h>
using namespace std;
#define pow2(x) ((1<<(x)))
long long sum[1005][10][1100];
const int mod = 1000000007;
int n,m;
int check(int num,int qj )//检测num第qj位是0还是1
{
	int bit=m-qj;
	int temp=1<<bit;
	if((num&bit)!=0)
		return 1;
	else
		return 0;
}
int check2(int num,int pj )//检测num第pj位是0还是1
{
	int bit=2*m-pj;
	int temp=1<<bit;
	if((num&temp)!=0)
		return 1;
	else
		return 0;
}
int main()
{
	while(~scanf("%d%d",&n,&m))
	{
		memset(sum,0,sizeof(sum));
		 for(int s2 = (1 << m) - 1; s2 >= 0; s2--) 
			 sum[n][m][pow2(2*m) - 1-s2]=1;
		int kk=pow2(2*m)-1;
		for(int i=n;i>=1;i--)
		{
			for(int j=m;j>=1;j--)
			{
				for(int k=kk;k>=0;k--)
				{
					int tk=0;
					if(check2(k,j)==1&&j<m)//i,j位置被占且该位置不是第m列
					{
						tk+=sum[i][j+1][k];
					}
					else if(check2(k,j)==1&&j==m&&i<n)//i,j位置被占且该位置是第m列
					{
						int t=1<<m;
						t-=1;
						int tt=t&k;
						tt=tt<<m;
						tk+=sum[i+1][1][tt];
					}
					else if(check2(k,j)==0)//i,j位置为空
					{
						 if((j<m&&check2(k,j+1)==0))//横着放
							tk+=sum[i][j][k+(3<<(2*m-j-1))];
						 tk%=mod;
						 if((i<n&&(check(k,j)==0)))//竖着放
							tk+=sum[i][j][(1<<(2*m-j))|k|(1<<(m-j))];
						 tk%=mod;
					}
					sum[i][j][k]+=tk%mod;
				}
			}
		}
		cout<<sum[1][1][0]<<endl;
	}
}