poj2411: Mondriaan's Dream

题目链接
插头DP入门题。
$dp[i][j][k]$表示当前决策格子坐标为$(i,j)$轮廓线状态为$k$时的组合数。滚动数组后暴力转移。
其中$k$表示从当前决策坐标前$m$个格子是否覆盖的状态压缩后的二进制数。当前决策坐标前第$i$个格子的状态压入第$i-1$位，记作$k_{i-1}$。（当然还有其他的压缩方式）

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
typedef unsigned long long ULL;
const int N = 12;

int n, m, cur;
ULL dp[2][1<<N];

inline void update(int a, int b) {
	dp[cur][b&((1<<m)-1)] += dp[cur^1][a];
}

inline void work() {
	cur = 0;
	memset(dp, 0, sizeof(dp));
	dp[cur^1][(1<<m)-1] = 1;
	for (int i = 0; i < n; i++)
		for (int j = 0; j < m; j++, cur^=1) {
			memset(dp[cur], 0, sizeof(ULL) * (1<<N));
			for (int k = 0; k < (1<<m); k++) {
				if (k & (1<<(m - 1))) {
					update(k, k<<1);
					if (j && ! (k & 1)) update(k, (k<<1)|3);
				} else {
					if (i) update(k, (k<<1)|1);
				}
			}
		}
	cout << dp[cur^1][(1<<m)-1] << endl;
}

int main() {
	while (cin >> n >> m) {
		if (n == 0 && m == 0) break;
		if (n < m) swap(n, m);
		work();
	}
	return 0;
}