poj2411 Mondriaan's Dream 状态压缩dp

         首先来说一下此题的动归思想。可以模拟一下我们手放的过程，刚开始时棋盘为空，所以我们就从第一行开始铺，当第一行铺满后，再从第二行开始铺（注意此时第二行有些方格可能已经被占了），然后一直进去……            对于当前行，每个方格都有两种铺法，因此这就影响到了当前行铺完后下一行的状态。如果我们选取第i行各方格的初始状态作为第i行的状态，那么从第i行到第i+1行的状态转移也就很清楚了。接下来就是考虑这个状态的表示问题了，假设我们用1表示某方格已被占用，0表示未被占用，那么用一个整型数据就可表示一行各方格的状态了，说到这里这道题也就出来了，没错~就是一道状态压缩dp。下面就贴代码了，代码比较乱，这里主要是想说一下这个思想。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
long long dp[11][2050];
int n,m;

void dfs(int i,int j,int k,int p)//第i行，当前行的状态为j，下一行的状态为k,当前列p
{
	if(p==0)//刚进入当前行
	{
		if(dp[i][j]!=-1)
			return ;
		dp[i][j]=0;
	}
	if(p==m)
	{
		if(i==n-1)
			dp[i][j]=1;
		else
		{
			dfs(i+1,k,0,0);
			dp[i][j]+=dp[i+1][k];
		}
		return;
	}
	if(j&(1<<p))
	{
		dfs(i,j,k,p+1);
		return;
	}
	if(i<n-1)
		dfs(i,j,k|(1<<p),p+1);
	if(p<m-1&&!(j&(1<<(p+1))))
		dfs(i,j,k,p+2);
}

int main()
{
	while(scanf("%d%d",&n,&m),n+m)
	{
		if((n&1)&&(m&1))
		{
			printf("0\n");
			continue;
		}
		memset(dp,-1,sizeof(dp));
		dfs(0,0,0,0);
		printf("%I64d\n",dp[0][0]);
	}
	return 0;
}