1x2的方块填满hxw大的矩形的最多可能的方案----状态压缩dp

 http://poj.org/problem?id=2411

1.很容易想到先看第一行有多少种结果，针对每一种结果，第二行又有多少相应结果，依次到最后一行，所有叶子结点的和数目就是结果。

2.由于题目的条件限制，第一行有若干种组合，且为数目最多的，接下来的行都是第一行结果的子集。因此可以构造辅助数组status，存放所有的可能结果，构建一个二维数组number，每一格number[i][j]代表第i行可以取结果status[j]的数目。这样只要计算到最后一行，取出所有可能的结果，把数目加起来就是结果。由第一行推到最后一行，可以用动态规划。

3.对于适用于每一行的status，易想到横向取0，竖向取1.根据规律一行必须两个0相连，枚举出所有结果(dfs)。

4.对于具体每一行的值，status并不能确定其图形，因为竖牌可以是开始，也可以是末尾。因此规定如果向下凸为1，否则为0.这样设有规律：若第i行j位置为1，则i+1行j位置必为0，status在j位置必取1；若0，则i+1行在j位置任意，status在j位置也任意；这个规律可以帮助确定：若number[i][j]不为零（代表可取值j），则i+1行可取哪些值。这样就完成了从第i行推到第i+1行。

5.对于最后一行，只有0值有意义，因为不能再有向下凸起。所以返回number[i-1][0]即可。

#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<string.h>
#include<vector>
#include<cmath>
#include<string>
#include<map>
#include<queue>
using namespace std;
typedef long long ll;
ll h,w,cnt;
ll dp[15][3000],flag[3000];

void dfs(ll pos,ll sum,ll n){
	if(pos==w){//填够w个空后判断该状态是不是合法 
		if(n&1)return ;//不合法 
		flag[cnt++]=sum;//合法就保存 
		return ;
	}
	if(n&1){//如果0的个数是奇数，填补一个0 
		dfs(pos+1,sum,n+1);
	}
	else{
		dfs(pos+1,sum,n+1);//填补一个0 
		dfs(pos+1,sum|(1<<pos),n);//填补一个1 
	}
}

int main(){
	while(cin>>h>>w&&(h||w)){
		memset(dp,0,sizeof(dp));
		cnt=0;
		//找合法的可能的左右状态
		dfs(0,0,0);
		//将第1行合法的状态都赋为1 
		for(ll i=0;i<cnt;i++){
			dp[1][flag[i]]=1;
		}
		//从第一行依次往下一行进行状态转移 
		for(ll i=2;i<=h;i++){//遍历每一行 
		    for(ll k=0;k<(1<<w);k++){//枚举上一行所有可能的状态 
			    for(ll j=0;j<cnt;j++){//枚举本行所有可能的合法放置的状态和dp的第二维状态的含义不同 
				if(dp[i-1][k]==0)continue;//如果上一行的状态k没有可能，直接continue； 
					//太坑了，k&(~flag[j])要用括号括起来，，可能是优先级的问题吧 
					//上一行的状态k决定下一行的放置状态flag[j]，决定下一行对应的状态flag[j]-k；
					//上一行的第m个元素是0，下一行对应的放置状态就是0或1；如果是1，下一行对应放置状态的必是1； 
				if((k&(~flag[j]))!=0)continue;
					//解释flag[j]-k：
					//如果对应的上一行的状态是1，本行某一位的放置状态必是1，那么本行此位的状态就是0；
					//而对应的上一行的状态是0，本行此位的状态完全取决于本行的放置状态
					//所以 flag[j]-k就是来计算本行的状态的 
				dp[i][flag[j]-k]+=dp[i-1][k];
				}
			}
		}
		//因为第n行的状态完全是有第n-1行决定的
		//而要将最后一行填充满的话,最后一行的每一位状态全是0； 
		cout<<dp[h][0]<<endl;
	}	
	return 0;
}
//            /\       |  /  |**、
//			 /  \      | /   |   \
//			/    \     |/    |   /  _____                      ____   |  /
//		   /------\    |\    |__/  /     \  \      /\      /  /    \  | /
//		  /        \   | \   |    /       \  \    /  \    /  /______\ |/
//		 /          \  |  \  |    \       /   \  /    \  /   \        |
//      /            \ |   \ |     \_____/     \/      \/     \_____  |
/**
 *　　　　　　　　┏┓　　 　┏┓
 * 　　　　　　　┏┛┗━━━━━━━┛┗━━━┓
 * 　　　　　　　┃　　　　　　　┃ 　
 * 　　　　　　　┃　　　━　　 　┃
 * 　　　　　　　┃　＞　　　＜　┃
 * 　　　　　　　┃　　　　　　　┃
 * 　　　　　　　┃...　⌒　... 　┃
 * 　　　　　　　┃　　　　　　　┃
 * 　　　　　　　┗━┓　　　┏━┛
 * 　　　　　　　　　┃　　　┃　Code is far away from bug with the animal protecting　　　　　　　　　　
 * 　　　　　　　　　┃　　　┃   神兽保佑,代码无bug
 * 　　　　　　　　　┃　　　┃　　　　　　　　　　　
 * 　　　　　　　　　┃　　　┃  　　　　　　
 * 　　　　　　　　　┃　　　┃
 * 　　　　　　　　　┃　　　┃　　　　　　　　　　　
 * 　　　　　　　　　┃　　　┗━━━┓
 * 　　　　　　　　　┃　　　　　　　┣┓
 * 　　　　　　　　　┃　　　　　　　┏┛
 * 　　　　　　　　　┗┓┓┏━┳┓┏┛
 * 　　　　　　　　　　┃┫┫　┃┫┫
 * 　　　　　　　　　　┗┻┛　┗┻┛
 */
// warm heart, wagging tail,and a smile just for you!
//
//                            _ooOoo_
//                           o8888888o
//                           88" . "88
//                           (| -_- |)
//                           O\  =  /O
//                        ____/`---'\____
//                      .'  \|     |//  `.
//                     /  \|||  :  |||//  \
//                    /  _||||| -:- |||||-  \
//                    |   | \\  -  /// |   |
//                    | \_|  ''\---/''  |   |
//                    \  .-\__  `-`  ___/-. /
//                  ___`. .'  /--.--\  `. . __
//               ."" '<  `.___\_<|>_/___.'  >'"".
//              | | :  `- \`.;`\ _ /`;.`/ - ` : | |
//              \  \ `-.   \_ __\ /__ _/   .-` /  /
//         ======`-.____`-.___\_____/___.-`____.-'======
//                            `=---='
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//