poj 2411 Mondriaan's Dream 骨牌铺放 状压dp

题目链接

题意

用(1 imes 2)的骨牌铺满(H imes W(H,Wleq 11))的网格，问方案数。

思路

参考focus_best.

竖着的骨牌用(egin{pmatrix}0\1end{pmatrix})表示，横着的骨牌用(egin{pmatrix}1&1end{pmatrix})表示。

则对于第(i)行，与之相容的第(i-1)行的状态需满足：

1. 第(i)行是0的位置，第(i-1)行必须是1；
2. 第(i)行是1的位置，第(i-1)行可为1可为0；如果是1则需满足，这样的连续的1的个数必为偶数（因为为横放）。

此外，
最后一行必为全1状态，
第一行需满足可以作为第一行的条件：这等价于，第一行的上一行可以表示为全1状态。

Code

#include <cstdio>
#include <cstring>
#include <iostream>
#define F(i, a, b) for (int i = (a); i < (b); ++i)
#define F2(i, a, b) for (int i = (a); i <= (b); ++i)
#define dF(i, a, b) for (int i = (a); i > (b); --i)
#define dF2(i, a, b) for (int i = (a); i >= (b); --i)
#define maxn 13
#define maxs 2100
using namespace std;
typedef long long LL;
int h, w; LL dp[maxs][maxn];
bool vis[maxs][maxn], hori[maxn];
bool check(int s1, int s2) {
    memset(hori, 0, sizeof hori);
    F(i, 0, w) {
        if (!(s2&(1<<i))) {
            if (!(s1&(1<<i))) return false;
        }
        else {
            if (s1&(1<<i)) hori[i] = true;
        }
    }
    int cont = 0; bool flag = false;
    F(i, 0, w+1) {
        if (!hori[i]) {
            if (cont&1) return false;
            cont = 0;
        }
        else ++cont;
    }
    return true;
}
LL dfs(int state, int row) {
    if (!row) {
        if (state==(1<<w)-1) return 1;
        else return 0;
    }
    if (vis[state][row]) return dp[state][row];
    vis[state][row] = true;
    LL temp=0;
    F(i, 0, 1<<w) {
        if (check(i, state)) temp += dfs(i, row-1);
    }
    return dp[state][row] = temp;
}
void work() {
    memset(vis, 0, sizeof vis);
    memset(dp, 0, sizeof dp);
    if (h<w) swap(h,w);
    printf("%lld
", dfs((1<<w)-1, h));
}
int main() {
    while (scanf("%d%d", &h, &w) != EOF && h && w) work();
    return 0;
}