Mondriaan's Dream（状压DP）

参考：http://www.cppblog.com/kill-myself/
对于每一行只考虑横放和竖放填补上一行这两种方式。
以下给出对代码的分析理解

#include<iostream>
#include<algorithm>
#include<string.h>
using namespace std;
long long dp[2][1 << 12];
int flag;
int main()
{
	int h, w;
	while (cin >> h >> w && (h != 0 || w != 0))
	{
		memset(dp, 0, sizeof(dp));
		dp[0][0] = 1,flag = 1;	//滚动数组，这里是先以下标0作为第一行开始转移
		//也可写成dp[1][0]=1,flag=0;
		//状态0作为第一行（因为第一行相当于上一行都放满了，不能放置竖的方块，留到下一行考虑），从第二行开始考虑
		if (h < w)	//选择较短的边作为列宽进行枚举可以减少状态数
			swap(h, w);
		while (h--)	//遍历每一行
		{
			for (int j = 1; j <= w; j++)	//遍历每一列
			{
				for (int k = (1 << w); k >= 0; k--)	//枚举每一个状态
				{
					if (k&(1 << (j - 1)))	//判断当前状态的第j列是否为1
					{	
						dp[flag][k&(~(1 << (j - 1)))] += dp[1 - flag][k];
						//上一行(1-flag)的当前格子已填，对于当前行只能横放或不放
						//所以直接加在第j列为0的状态上，暂不作考虑
					}
					else {
						dp[flag][k | (1 << (j - 1))] += dp[1 - flag][k];
						//上一行的当前格子未填，加在竖放的状态中
						if (j < w && !(k&(1 << j)))
							dp[flag][k | (1 << j)] += dp[1 - flag][k];
						//上一行的当前格子未填，下一个格子不是最后一列且未放，加在横放的状态中
					}
				}
				flag = 1 - flag;
				//h不变时（即还在同一行），代表滚动到j++（即列加一）的下一种状态
				//h变化时（即要找下一行），代表上一行的状态全部放过之后，开始新的一行根据上一行进行转移
				memset(dp[flag], 0, sizeof(dp[flag]));	//同一行各个列的方案数不能相互影响
			}		
		}
		cout << dp[1 - flag][0] << endl;
		//从第二行开始，一共遍历了h次，所以（h+1）行状态0表示前面全放满了
	}
	return 0;
}