瓷砖覆盖问题

原文转载自：http://hongqiang.iteye.com/blog/1625215

题目

这个题目的题意很容易理解，在一个N*M的格子里，我们现在有两种类型的 砖块，1 * 2 和 2 * 1，问一共有多少种方案，可以将整个N*M的空间都填满。

最简单的例子就是下面的了：

编程之美中题目：

某年夏天,位于希格玛大厦四层的微软亚洲研究院对办公楼的天井进行了一次大 规模的装修.原来的地板铺有 N×M 块正方形瓷砖,这些瓷砖都已经破损老化了,需要予以 更新.装修工人们在前往商店选购新的瓷砖时,发现商店目前只供应长方形的瓷砖,现在的 一块长方形瓷砖相当于原来的两块正方形瓷砖, 工人们拿不定主意该买多少了, 读者朋友们 请帮忙分析一下:能否用 1×2 的瓷砖去覆盖 N×M 的地板呢?

我们在这里指分析第一个陈述，其实第二个陈述是一样的思路：

这个题目类属于状态压缩DP，对于状态压缩DP，其实最简单的理解就是把状态用比特位的形式表示出来，我们会在下面用例子来说明。

假如现在我们在铺砖 位置(i, j), 并且假设之前的位置已经铺设好的了，在这个位置，我们的选择：

1. 不用铺砖了，可能在(i-1, j)的时刻已经被竖着铺上了，然后考虑的是（i， j+1）

2. 横铺砖，将(i, j+1）也铺上了，然后考虑的是(i, j+2)

3. 竖着铺砖，（将i，j）和（i+1，j）铺上一个竖立的转头。

所以我们如下翻译我们的选择，在位置(i, j) 如果我们选择横着贴砖，那么将(i, j), (i, j+1)都填写成1， 如果竖着贴砖，我们将(i,j)填写成0， 将(i+1, j)填写成1.

为什么要这么计数呢，我觉得应该这样理解：

1. 在横着贴砖的时候，(i, j), (i, j+1) 都是1，这个值其实对下一行如何选择没有影响。

2. 竖着贴砖的第二个，我们也选择了1， 因为这个砖头结束了，对下一行如何选择依然没有影响。

3. 而竖着的第一个砖头，这个砖头是对下面有影响的，如果(i,j)是0，那么(i+1, j)只有是1的情况下才能满足条件。

（这涉及到接下来的 状态兼容性问题）

对于竖着贴砖为什么这样选择，这样选择的一个好处是，我们在处理最后一行的时候，可以保证最后一行都是1， 因为最后一行绝对不能成为 竖砖开始，所以很容易取得最后的解。

好了，我们把这样理解的方案画成图：

如果我们将每一行都理解成一个二进制数字，那么

Row1 = 51,  Row2 = 15, Row3 = 48, Row4 = 63, Row5 = 51, Row6 = 63.

最后转头铺满的状态，一定是最后一行全是1。

我们用DP(i,j) 表示如下含义： 当第i行，达到状态j的时候，所能采取的方案数目。 所以明显我们的最后目的是求 DP(N, 2^(M-1)-1);

我们再来简单的分析一下为什么问题可以满足动态规划， 加入现在分析的对象是 DP(i,j)， 那么这一行有多少种铺设办法是和上一行相关的，

如果上一行的某个状态DP(i-1,k) 可以达到 DP(i, j) 我们认为这两个状态是兼容的，如果DP(i-1,k)和DP(i, j)兼容并且 DP(i-1, k)有S中铺设方案，那么DP(i, j)就可以从DP(i-1, k)

这条路径中获得S个方案。 当然这里k的取值可以是 0 ~~~~ 2^(M-1) -1种取值。

现在我们来理解一下，什么叫做 j, k 兼容。

其实我们在上面已经基本给出分析， 如果我们现在铺设 (i,x) x这里表示第i行，第x列

1. 如果值 i  行，j 在x位上的值是0， 那么第 i-1行，j的值在x位上一定是1。因为不可能在同一列相邻的位置铺两个竖着的 第一个，如果满足下一步测试的是(i, x+1), 否则直接返回不兼容。

2. 如果值 i  行，j在x位置的值是1 .

{

            那么有可能有两种情况：

            1. (i-1, x)是0， 这个时候一定是竖着铺设了，下一步检测的是(i, x + 1)

            

            2.  (i-1, x) 是1， 如果是这样的话，那么(i, x)一定是要选择横着铺了，那么(i,x+1)也一定是1，并且(i-1, x + 1)一定是1（如果是0，就是竖着铺了），如果不满足就返回不兼容，满足条件 就测试(i, x + 2)

               

}

对于第一行的兼容性，我们要做一下特别的分析，在第一行中，要么放0， 要么放1。

加入当前测试的是 DP(0, j)的第 x的比特位，即第0行，x列

1. 如果x是1，那么 x + 1 也一定是1，然后测试到 x + 2

2. 如果x是0， 那么直接测试下一个 x + 1

补充说明一点，当测试循环中，我们有时候必须要移动 1 位，有时候移动2位，当需要移动2位并且 x == M - 1(M列数）的时候，说明已经不可能兼容了。

#include <iostream>
using namespace std;

const int N = 11;	//最大行
const int M = 11;	//最大列
long long DP[N][M] = {0};

/*
*测试第一行的兼容性
*/
bool testFirstLine(long state)
{
	int i = 0; 
	while(i < M)
	{
		if(i == M - 1 && (state & (0x1 << i)) return false;	//最后一个位置为1，则其为横铺砖块的起始位置，故不兼容
		if(state & (0x1 << i)) i += 2;
		else i++;
	}//while
	return true;
}//testFirstLine

/*
*测试相邻两行的兼容性
*@param line1 上面一行
*@param line2 下面一行
*/
bool testNeighborTwoLines(long line1, long line2)
{
	int i = 0;
	while(i < M)
	{
		if(line2 & (0x1 << i))
		{
			if((line1 & (0x1 << i)) == 0) i++;
			else
			{
				if(i == M - 1 || !(line1 & (0x1 << (i+1)) && line2 & (0x1 << (i+1))) return false;
				i += 2;
			}//else
		}//if(line2 & (0x1 << i))
		else
		{
			if((line1 & (0x1 << i)) == 0) return false;
			i++;
		}//else
	}//while
	return true;
}//testNeighborTwoLines

int main()
{
	int n, m;
	int i, j, k;
	while(cin >> n >> m && (n > 0 && n <= N) && (m > 0 && m <= M) )
	{
		if((n & 0x1) && (m & 0x1))
		{
			//n和m均为奇数，则不存在覆盖方案
			cout << n << "-" << m << ": 0\n";
			continue;
		}//if((n & 0x1) && (m & 0x1))
		
		if(n < m)
		{
			//算法复杂度为O(n * 4^m),如果n < m,则交换n和m可以降低复杂度
			int t = n;
			n = m;
			m =t;
		}//if(n<m)
		
		//初始化DP数组
		for(i = 0; i < n; i++) memset(DP[i], 0LL, sizeof(long long)*m);
		int max_state = (0x1 << m) -1;
		//初始化DP的第一行
		for(j = 0; j < max_state; j++) 
		{
			if(testFirstLine(i)) DP[0][i] = 1;
		}//for
		
		//逐行逐个状态测试其与前一行的兼容性
		for(i = 1; i < n-1; i++)
		{
			for(j = 0; j < max_state; j++)
			{
				for(k = 0; k < max_state; k++)
				{
					if(testNeighborLines(j, k)) DP[i][j] += DP[i-1][k];
				}//for(k = 0; k < max_state; j++)
			}for(j = 0; j < max_state; j++)
		}//for(i = 1; i < n-1; i++)
		
		//测试求最后一行的最终覆盖结果的与其他的兼容性
		for(k = 0; k < max_state; k++)
		{
			if(testNeighborLines(max_state, k)) DP[n-1][max_state] = DP[n-2][k];
		}//for(k = 0; k < max_state; k++)
		
		//输出最终结果
		cout << n << "-" << m << ": " << DP[n-1][max_state] << endl;
	}//while(cin >> n >> m && (n > 0 && n <= N) && (m > 0 && m <= M) )
}//main