状态压缩DP poj2411 矩形填充木块问题

#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;
}