Nyoj 435 棋盘分割（二）

主要还是参考周伟同学写的状态压缩思想：http://download.csdn.net/detail/hearthougan/7045453

另外可以参考一下相对简单的同类型题：http://blog.csdn.net/hearthougan/article/details/22077391

首先交代一下所要用得到几个变量：i, j, curstatus, prestatus, b1, b2;i是当前所在的行，j表示当前所在的列，curstatus表示当前行(1)的状态，prestatus表示前一行(i-1)的状态，b1表示第j+1列的第i行和第i-1行是否受到第j列的影响，好好体会这几个变量的含义，要不然向下没法看了！

图片中表示各种放法，以及相应的状态变化，好好体会！

代码中有解释：

 

#include <iostream>
#include <cstdio>
#include <cstring>

using namespace std;

typedef long long LL;


const int MAXN = 1024;

LL dp[15][MAXN];
int num, n, m;

void DFS(int i, int j, int curstatus, int prestatus, int b1, int b2)
{
	if(j > m)
	{
		if(b1 == 0 && b2 == 0)//如果不满足条件，则表明此种铺设方案，越界了，不合法，舍掉！
			dp[i][curstatus] += dp[i-1][prestatus];
		return ;
	}
	//根据客观事实，如果i行的放置影响到(或者说占用了)i-1行的某格子，那么我们就需要保证，占用i-1行的该格子为空
	//注意prestatus的改变，如果i-1行某个位置需要改变，是因为这个位置需要我们单独填补，而不是填补i行时占据i-1行而导致的填补
	//占据而导致的填补，在i行的中已经被表示了，就无需再在i-1行表示了
	if(b1 == 0 && b2 == 0)//都为0，表示j+1列的i-1行,i行都不受到前一列放置的影响，因此对于接下来要处理的j+1列，所有情况都可以出现
	{
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 0, 0);//竖着
		//为什么curstatus<<1|1,而prestatus<<1,这是因为竖着放置,curstatus<<1|1表示j+1列的i行放置了，而prestatus是j列i-1行的状态，
		//但是j+1列i-1行这个位置是空的(如若不然就不能放置，能放就需要保证他是空的，j+1列i行竖着放置的同时，就会把这个空缺给同时填补上)，
		//前一状态无需改变，因此prestatus<<1，表示j+1列i-1行不需要放置
		DFS(i, j+1, curstatus<<1|1, prestatus<<1|1, 1, 0);//横着，为什么横着放prestatus就需要左移1并且加1，
		//就是因为b1 = 0,b2 = 0表示j+1列i行，i-1行放置的方式不受前一列放置的影响，
		//因此如果横着放置，j+1列i-1行位置状态的状态不能空着，因此prestatus<<1|1就保证了这个位置不是空的
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 1, 0);//右上角缺口
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 0, 1);//右下角缺口
		DFS(i, j+1, curstatus<<1, prestatus<<1, 1, 1);//左下角缺口
		DFS(i, j+1, curstatus<<1|1, prestatus<<1|1, 1, 1);//左上角缺口
		DFS(i, j+1, curstatus<<1, prestatus<<1|1, 0, 0);//不放
	}

	if(b1 == 0 && b2 == 1)//表明i行j+1列这个位置已经被占用了
	{
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 1, 0);//横着放，为什么此时的prestatus只左移1？
		//那是因为，我们无需保证i-1行j+1列这个位置是否已经被填上了，b2=1就已经说明，我们无需填补i-1行j+1列这个位置
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 1, 1);//左上角缺口
		DFS(i, j+1, curstatus<<1, prestatus<<1, 0, 0);//不放
	}

	if (b1 == 1 && b2 == 0)
	{
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 1, 1);//左下角,因为我们是以第i行为主线,当j+1列i行这个位置被占上,
		//curstatus状态就要发生改变，此处与之前prestatus的变化有区别，仔细想想！
		DFS(i, j+1, curstatus<<1|1, prestatus<<1|1, 0, 0);//不放
	}

	if (b1 == 1 && b2 == 1)
	{
		DFS(i, j+1, curstatus<<1|1, prestatus<<1, 0, 0);//此处状态名手欠！前一个状态写成了当前状态，害得我一直Wa！却不知道原因！
	}
	return ;
}

int main()
{
	while (~scanf("%d %d", &n, &m))
	{
		if(n < m)
		{
			n ^= m;
			m ^= n;
			n ^= m;
		}
		memset(dp, 0, sizeof(dp));

		dp[0][(1<<m) -1] = 1;
		for (int i = 1; i <= n; ++i)
		{
			DFS(i, 0, 0, 0, 0, 1);
		}
		printf("%lld\n", dp[n][(1<<m)-1]);
	}
	return 0;
}