POJ 3254 Corn Fields (状压dp)

题意：在一片n行m列的草地上（用0和1矩阵表示），1表示能放牛，0表示不能放。在草地上放牛并且牛不能相邻，问有多少种放法（一头牛都不放也算一种）。

题解：状压dp
用$row[i]$存放第$i$行的情况（二进制转十进制），用$st[i]$表示满足条件即不存在相邻情况的状态（(i & i << 1) == 0），用$dp[i][j]$表示第$i$行状态为$st[j]$的前$i$行方法数和。
那么我们预处理完第一行的状态之后，就递推更新下一行，注意判断上下两行的状态是否冲突，具体见代码。

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>
#include<queue>
#include<stack>
#include<cmath>
#include<vector>
#include<fstream>
#include<set>
#include<map>
#include<sstream>
#include<iomanip>
#define ll long long
using namespace std;
const int mod = 1e9;
int n, m, dp[13][1 << 12 + 5], row[15], tot, st[1 << 12 + 5], a;
int main() {
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i++) {
        for (int j = 1; j <= m; j++) {
            scanf("%d", &a);
            row[i] += (a << (j - 1));  //保存每行情况
        }
    }
    int s = (1 << 12) - 1;
    for (int i = 0; i <= s; i++) {
        if ((i & i << 1) == 0) {
            st[++tot] = i;  //保存满足不相邻条件的状态
        }
    }
    for (int i = 1; i <= tot; i++) {
        if ((row[1] & st[i]) == st[i]) {  //第1行的子状态
            dp[1][i] = 1;
        }
    }
    for (int i = 2; i <= n; i++) {
        for (int j = 1; j <= tot; j++) {
            if ((row[i] & st[j]) == st[j]) {  //第i行的子状态
                for (int k = 1; k <= tot; k++) {
                    if ((st[j] & st[k]) == 0) {  //与第i行的子状态不冲突的状态
                        dp[i][j] = (dp[i][j] + dp[i - 1][k]) % mod;
                    }
                }
            }
        }
    }
    int ans = 0;
    for (int i = 1; i <= tot; i++) {
        ans += dp[n][i];
        ans %= mod;
    }
    printf("%d\n", ans);
    return 0;
}