poj 2411 状态压缩dp

来源：互联网发布：finale 2016 mac 编辑：程序博客网时间：2024/05/21 19:39

横的看成11，竖的看成0/1，

1.相邻2行之间是否冲突就是看a|b是否全是1。

2.同一行是否冲突就是看横着的1的个数是否是奇数。

#include<cstdio>#include<cstring>#include<algorithm>#include<vector>#include<iostream>using namespace std;long long dp[15][1<<12];int ok[1<<12];bool isok(int sta){    int tot=0;    while(sta)    {        if(sta&1)        {            tot++;            sta>>=1;            if(sta&1) {sta>>=1;tot++;}            else return false;        }        else sta>>=1;    }    return !(tot&1);}int main(){    int n,m;    int top=(1<<11)-1;    for(int i=0;i<=top;i++) ok[i]=isok(i);    while(~scanf("%d%d",&n,&m)&&(n||m))    {        top=(1<<m)-1;        memset(dp,0,sizeof(dp));        for(int i=0;i<=top;i++) if(ok[i]) dp[1][i]=1;        for(int i=2;i<=n;i++)        {            for(int j=0;j<=top;j++)            {                for(int k=0;k<=top;k++)                {                    if((k|j)==top&&ok[k&j]) dp[i][j]+=dp[i-1][k];                }            }        }        cout<<dp[n][top]<<endl;    }    return 0;}

4 0