poj2411 状态压缩-铺地板题型

/*
对于每一行，用11表示一个横放的方块，用0表示竖放方块的第一格，1表示竖放方块的第二格 
枚举i-1行的状态，推出i行的状态
如果i-1行的j位置是0，那么第i行的j必须是1，第i行剩下的地方要么填连续两个1要么填0 
第n行的状态必须都是1 
*/
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define ll long long 
ll dp[15][1<<13];
int n,m,w,path[5000000][2];//所有可能的配对方案 
void get(int m){
    for(int i=0;i<=(1<<m)-1;i++)
        for(int j=0;j<=(1<<m)-1;j++){
            int ok=1;
            for(int k=0;k<m;k++) 
                if(ok){
                    if( !(i&(1<<k)) ){//i的第k位是0 
                         if(!(j&(1<<k))){
                             ok=0;break;
                         }
                    }
                    else{//i的第k位是1，其实是在枚举j状态横放的起点位置 
                        if(!(j&(1<<k)))continue;//j的第k位是0
                        ++k;
                        if(k>=m || !(i&(1<<k))){//i没有第k+1位或者i的第k+1位是0，所以j在k位置不可能横放了 
                            ok=0;break;
                        }
                        else if( (j&(1<<(k-1))) && !(j&(1<<k)) ){//j的状态是10，显然不可能 
                                ok=0;break;
                        } 
                    }
                }
            if(ok)path[w][0]=i,path[w++][1]=j; 
        }
}
int main(){
    while(cin>>n>>m,n){
        w=0;
        if(m>n)swap(n,m);
        get(m);
        memset(dp,0,sizeof dp);
        dp[0][(1<<m)-1]=1;
        for(int i=0;i<n;i++)
            for(int j=0;j<w;j++)
                dp[i+1][path[j][1]]+=dp[i][path[j][0]];
        printf("%lld\n",dp[n][(1<<m)-1]);
    } 
}