#include <iostream>
#include <cstdio>
using namespace std;
__int64 dp[15][2050];//dp[i][j]表示第i行状态为j时的总种数 j中1表示这位置有小木块,0表示这位置没小木块或者说上面的一半放在这里这样0的状态就不会再影响下面的状态了
int row,col;
bool IsCan(int n, int x){//判断x是否为一个合法状态
int i = 0;
while(i < n){
if(x & (1<<i)) i ++;
else{
if(x & (1<<(i+1))) return false;
if(i == n-1) return false;
i += 2;
}
}
return true;
}
void init(){
memset(dp,0,sizeof(dp));
for(int i=0;i<(1<<col);i++){
if(IsCan(col,i)){
dp[1][i]=1;
}
}
}
int main()
{
int i,j,k;
while(scanf("%d%d",&row,&col))
{
if(row==0&&col==0)return 0;
init();
for(i=2;i<=row;i++){
for(j=0;j<(1<<col);j++){ //枚举第r行的状态
for(k=0;k<(1<<col);k++) //枚举第r-1行的状态 看别人的解题报告这个地方是可以优化的,因为第r-1行一定符合IsCan()判断,
//但是我却看不明白,所以这里没用优化而是枚举所有状态,这其中有很多废状态
{
if(j&k)continue; //r-1行竖着放木块时,第r行相应位置如果在放就覆盖了,所以不满足条件
if(IsCan(col,j|k)){ //让r-1行为竖着的木块下部出现在r行看第r行是否符合IsCan() 如r-1行为1001,r行为0110 若一行中用1表示填,0表示不填,则第r行为1001|0110=1111检验即可
dp[i][j]+=dp[i-1][k];
}
}
}
}
printf("%I64d\n",dp[row][0]);
}
return 0;
}
状态压缩DP poj2411 矩形填充木块问题
最新推荐文章于 2019-10-04 11:37:44 发布