题意：给一块n×m的空地，用1×2的砖铺，有多少种方案。
解法：状压dp。考虑dp[i][j]表示前i - 1行都铺满时第i行的状态为j时的方案数。对于第i行，每个格子上是否有砖用0和1表示，0表示不铺砖，1表示铺砖，二进制压缩状态，枚举第i - 1行的状态j和第i行的状态k，看这两种状态是否符合实际，如果符合实际，dp[i][k] += dp[i - 1][j]。因为在看第i行时要求i - 1行都铺满，所以j状态中0的位置k都必须是1，表示放一块2×1的砖，剩下的部分如果k的位置是1，则是放了1×2的砖，所以每段1的长度必须是偶数。
我貌似判是否符合实际的地方写屎了……总之没T就好哈哈哈哈哈哈哈
还有两个剪枝是n×m如果是奇数则答案是0，因为一块砖的面积是2，另一个剪枝是选择n和m中小的作为列数，可以让状态小一些，另外将答案打表也可以减少时间，我本来想把状态之间是否符合实际也打表……后来意识到这样是错的。
还有就是int会爆……orz
代码：
#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<string>
#include<string.h>
#include<math.h>
#include<limits.h>
#include<time.h>
#include<stdlib.h>
#include<map>
#include<queue>
#include<set>
#include<stack>
#include<vector>
#include<iomanip>
#define LL long long
#define lson l, m, rt << 1
#define rson m + 1, r, rt << 1 | 1 using namespace std; int n, m;
LL ans[15][15];
LL dp[15][2050];
bool judge(int x, int y)
{
int vis[20] = {0};
for(int i = 0; i < m; i++)
{
if((x & (1 << i)) == 0)
{
vis[i] = 1;
if((y & (1 << i)) == 0) return false;
}
}
for(int i = 0; i < m - 1; i++)
{
if(vis[i] && (y & (1 << i))) continue;
if(vis[i] && !(y & (1 << i))) return false;
if(!vis[i] && (y & (1 << i)))
{
if(vis[i + 1]) return false;
vis[i] = 1;
vis[i + 1] = 1;
}
}
if(vis[m - 1] && !(y & (1 << (m - 1)))) return false;
if(!vis[m - 1] && (y & (1 << (m - 1)))) return false;
return true;
}
LL solve()
{
memset(dp, 0, sizeof dp);
dp[0][(1 << m) - 1] = 1;
for(int i = 1; i <= n; i++)
{
for(int j = 0; j < (1 << m); j++)
{
for(int k = 0; k < (1 << m); k++)
{
if(judge(j, k)) dp[i][k] += dp[i - 1][j];
}
}
}
return dp[n][(1 << m) - 1];
}
int main()
{
while(~scanf("%d%d", &n, &m) && !(n == 0 && m == 0))
{
if((n * m) & 1)
{
puts("0");
continue;
}
if(m > n) swap(n, m);
if(ans[n][m])
{
cout << ans[n][m] << endl;
continue;
}
ans[n][m] = solve();
cout << ans[n][m] << endl;
}
return 0;
}