poj 2411 Mondriaan's Dream(学会怎样写状压）

<p></p><pre name="code" class="cpp"><span style="font-family: Arial, Helvetica, sans-serif;">本题是状态压缩里最经典的题，另外就是tsp（推荐2013长沙赛区Hunter，经典tsp）。</span>

解决问题的关键就是如何解决状态。

dp[i][j]表示把在j状态下把i行铺满的方法数。

i可以由i-1转移过来，所以就思考改如何转移？

如果j里面包含0，说明这个地方铺竖的板而且起作用的是i+1行，也就是i+1行的这个位置为1.所以i-1行为1，如果i-1行也为0，那就是竖板，所以i行为1，所以矛盾，也就是说同一个位置不能都为0，如果i有1，i-1有0，说明i-1行放了竖板把i行覆盖了。如果i-1行有1，i行有0，说明就是开头将的情况，i+1的这个位置作用为1.

如果一个位置都为1，说明i行这个位置不可能放竖的板，因为如果i-1放竖板i-1为0，如果i+1放竖板i应该为0，所以只有可能i这个位置放横的板，也就是这个位置的后一个位置为1，也就是后一个位置不可能放竖板，说明i-1行当前位置的后一个位置也不可能向下放竖板所以，这个位置也为1，也就是说两个1同时出现的话，后一个位置两个1也必须同时出现。

所以方程就比较好写了。

下面是代码。

#include<stdio.h>
#include<stdlib.h>
#include<algorithm>
#include<iostream>
#include<string.h>
using namespace std;
long long dp[12][1<<12];
int n,m;
int get(int a,int b){
    for(int i=0;i<m;i++){
        if(!((a>>i)&1)&&!(((b>>i))&1))
            return 0;
        if(((a>>i)&1)&&((b>>i)&1)){
            if(i==m-1)
                return 0;
            i++;
            if(!((a>>i)&1))
                return 0;
            if(!((b>>i)&1))
                return 0;
        }
    }
    return 1;
}
int main()
{
    int i,j;
    while(1){
        cin>>n>>m;
        if(!n&&!m)   break;
        if(n<m)
            swap(n,m);
        memset(dp,0,sizeof(dp));
        int q=(1<<m);
        dp[0][q-1]=1;
        for(i=1;i<=n;i++){
            for(j=0;j<q;j++){
                for(int f=0;f<q;f++){
                    if(get(j,f)){
                        dp[i][j]+=dp[i-1][f];
                    }
                }
            }
        }
        printf("%lld\n",dp[n][q-1]);
    }
}