poj3254（常见的二维状压dp）

/*
translation:
	给出一个n行m列的草地，1表示肥沃，0表示贫瘠，现在要把一些牛放在肥沃的草地上，但是要求所有牛不能相邻，问你有多少种放法
solution:
	状态压缩dp
	每次枚举时候判断是否符合当前草地的情况，再判断是否跟前面的一行兼容。
note:
	* 将所有合法状态预先处理存进一个数组里面即可提高速度
	# 一开始check(i, s)WA了好多次，后来发现应该是check(i, st[s])。
date:
	2017.1.1-----跨年快乐。
*/
#include <iostream>
#include <cstdio>
#include <cstring>

typedef long long ll;

using namespace std;
const int maxn = 15;
const int mod = 100000000;

int dp[maxn][1 << maxn], m, n, G[maxn][maxn];
int st[1 << maxn];	//存放预处理求出的符合要求的状态

void init()
{
	int id = 0;
	memset(st, 0, sizeof(st));
	for(int i = 0; i < 1 << maxn; i++) if(!(i & (i << 1))){
		st[id++] = i;	//将所有不相邻的状态存放进st数组当中
	}
}

bool check(int row, int s)	//检查在第row行的s状态是否非法
{
	for(int i = 0; i < n; i++){
		if((s >> i & 1) && !G[row][i])
			return false;
	}
	return true;
}

int main()
{
	//freopen("in.txt", "r", stdin);
	init();
    while(~scanf("%d%d", &m, &n)){	//m--行	n--列
		memset(G, 0, sizeof(G));
		memset(dp, 0, sizeof(dp));
		for(int i = 0; i < m; i++){
			for(int j = 0; j < n; j++){
				scanf("%d", &G[i][j]);
			}
		}

		//dp[i][s]表示到目前第i行的s状态为止，总共有多少种方案
		for(int i = 0; st[i] < 1 << n; i++)
			if(check(0, st[i]))dp[0][i] = 1;
		
		for(int i = 1; i < m; i++){
			for(int pres = 0; st[pres] < 1 << n; pres++){	//枚举前一行的状态
				for(int s = 0; st[s] < 1 << n; s++) if(!(st[s] & st[pres]) && check(i, st[s])){	//枚举当前行的状态
					dp[i][s] += dp[i-1][pres];
				}
			}
		}

		ll res = 0;
		for(int s = 0; st[s] < 1 << n; s++){
			res += dp[m-1][s];
		}
		printf("%d\n", res % mod);
    }
    return 0;
}