POJ 3254 Corn Fields

 http://poj.org/problem?id=3254

【题目大意】一个矩阵里有很多格子，每个格子有两种状态，可以放牧和不可以放牧，可以放牧用1表示，否则用0表示，在这块牧场放牛，要求两个相邻的方格不能同时放牛，即牛与牛不能相邻。问有多少种放牛方案(一头牛都不放也是一种方案)

【解析】根据题意，把每一行的状态用二进制的数表示，0代表不在这块放牛，1表示在这一块放牛。首先很容易看到，每一行的状态要符合牧场的硬件条件，即牛必须放在能放牧的方格上。这样就能排除一些状态。另外，牛与牛之间不能相邻，这样就要求每一行中不能存在两个相邻的1，这样也能排除很多状态。然后就是根据上一行的状态转移到当前行的状态的问题了。必须符合不能有两个1在同一列（两只牛也不能竖着相邻）的条件。这样也能去掉一些状态。然后，上一行的所有符合条件的状态的总的方案数就是当前行该状态的方案数。

【状态表示】dp[state][i]：在状态为state时，到第i行符合条件的可以放牛的方案数

【状态转移方程】dp[state][i] =Sigma dp[state'][i-1] （state'为符合条件的所有状态）

【DP边界条件】首行放牛的方案数dp[state][1] =1(state符合条件) OR 0 (state不符合条件)

自己懒的写了，上面是别人的！分析是一样分析的，但是代码可能有差别。。。。。在他blog上看到的题，然后就写了写，WA了一次，忘记要取模了，BS下自己！

 

 

 

#include<stdio.h>
#include<math.h>
#include<string.h>
#include<stdlib.h>
#define NN 1<<13
#define MM 7600
#define MOD 100000000
int state[MM];		//each state 
int dp[2][MM];		//DP
int state_r[13];	//Save 
int m,n;
void Init()			//
{
	int i,num=0;
	for(i=0;i<NN;i++){
		if(i&(i<<1))continue;
		state[num++] = i;
	}
	//printf("%d\n",num);
}
void Read()
{
	int x,i,j,sum;
	memset(dp,0,sizeof(dp));	//initialize as 0
	for(i=1;i<=m;i++){			//each line as a binary number
		sum = 0;
		for(j=0;j<n;j++){
			scanf("%d",&x);
			sum += x*(int)pow(2,j);
		}
		state_r[i] = sum;
	}
}
void DP()
{
	int k,i,j,pre=0,cur=0;
	n = (1<<n) - 1;
	//initialize
	for(i=0;state[i]<= n;i++){
		if((state[i] & state_r[1]) == state[i]) dp[0][i]=1;
	}
	for(k=2;k<=m+1;k++){	//from 2 to m+1
		cur = pre^1;
		for(i=0;state[i]<=n;i++)dp[cur][i]=0;
		for(i=0;state[i]<=n;i++){	//the cur line
			if((state[i] & state_r[k]) == state[i]){ //if the cur state is right
				for(j=0;state[j]<=n;j++){ //the pre line
					if(/*((state[j] & state[k-1]) == state[j])&&*/
						(state[i] & state[j]) == 0){	//if the pre state is right
						dp[cur][i] += dp[pre][j];
						dp[cur][i]%=MOD;
					}
				}
			}
		}
		pre = cur;
		if(k == m+1)return ;
	}
}
int main()
{
	Init();		
	while(~scanf("%d%d",&m,&n)){
		Read();
		DP();
		printf("%d\n",dp[m%2][0]);
	}
	return 0;
}