主要还是参考周伟同学写的状态压缩思想: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
#include
#include
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<