POJ3254 状态压缩+dp

#include <iostream>
#include <stdio.h>
#include <algorithm>
#include <string.h>
///我不懂，你为什么老是把数组啊下标啊什么的写错？for(i<cur),你用cur去判断？无语，脑子呢
///因为地图的行数和列数都小于30（int最大是2^31-1，所以每一行或者每一列能压缩到一个int数即可），且每个点只有两个选择（要么为0要么为1），所以每行或者每列可以压缩成一个状态（这里选择行），一行之中可以选择的方法是有限的，行与行之间可以枚举所有方法，对每一行可以使用的方法做一下记忆，然后继续遍历
const int mod =100000000;
int n,m;
int dp[15][1<<15];//dp[i][j] 是 当第i行为第j种状态时，第一行到第i行到目前为止共有多少种放置方法；最后结果及，遍历第m（最后一行）行的每一种状态，连续相加得到总方法数。
int type[1<<15];//
int line[15];//用一个十进制数，存储当前地图中，各行的状态
int Judge1(int x){
    return x&(x<<1);
}
int Judge2(int x,int row){
    return type[x]&(~line[row]);///注意，用type[x]，而非x
}
int main(){
    while(~scanf("%d%d",&m,&n)&&m+n){
        int number;
        for(int i=1;i<=m;i++){
            line[i]=0;
            for(int j=1;j<=n;j++){
                scanf("%d",&number);
                if(number){
                    line[i]+=(1<<(n-j));
                }
            }
        }
        int total=1<<n;
        int cur=0;
        for(int i=0;i<total;i++){
            if(!Judge1(i)){
                type[cur++]=i;///第一次剪枝，去掉一行之中相邻是1的方法
                //cout<<type[cur-1]<<endl;
            }
        }
        memset(dp,0,sizeof(dp));
        for(int i=0;i<cur;i++){
            if(!Judge2(i,1)){
                dp[1][i]=1;///去掉与地图不符的方法
            }
        }
        for(int i=2;i<=m;i++){
            for(int j=0;j<cur;j++){//当前行的放置状态
                if(Judge2(j,i)) continue;///（当前行的放置状态是否和地图冲突）
                for(int k=0;k<cur;k++){//上一行的放置状态
                    if(Judge2(k,i-1)) continue;///（判断枚举的上一行状态与地图是否冲突！！之前这个忘掉了）（另外，不用担心需不需要判断上上行与地图冲突，因为如果上上行冲突，那么上行dp就是0，那么这里加上也没事。）
                    if(type[j]&type[k]) continue;///(上一行的放置状态是否和当前行的放置状态是否冲突)
                    dp[i][j]+=dp[i-1][k];
                    //cout<<dp[i][j]<<endl;
                    //dp[i][j]=dp[i][j]%mod;
                }
            }
        }
        int ans=0;
        for(int i=0;i<cur;i++){
            //cout<<dp[m][cur]<<endl;
            ans+=dp[m][i];
            ans%=mod;
        }
        cout<<ans<<endl;
    }
}