POJ - 3254 - Corn Fields ( 状压dp )

题目链接：点击进入

题目

题意

n * m 的土地，告诉你每个位置可以不可以种玉米，摆放奶牛需要放在可以种玉米的地方，同时奶牛不能相邻（ 上下左右 ），问共有多少种摆放奶牛的方案

思路

牛与牛之间不能相邻，每只牛能不能放只与上一行和当前这一行有关，所以，我们可以想到一行一行的递推，这是行与行之间，行内部之间也不能相邻，这个，我们可以预处理出一行所有的可行的不相邻的状态（ 最多 1<<m 种 ），二维dp，一维表示第几行，一维表示行内部的状态，每行内部的状态可以用二进制来表示（ 因为 m 只有 12 ，2 ^ 12 也就 5000 左右？！），对于上下行之间的不相邻问题，可以通过两行状态的位运算（按位与）来判断。

代码

// #pragma GCC optimize("Ofast","inline","-ffast-math")
// #pragma GCC target("avx,sse2,sse3,sse4,mmx")
//#pragma GCC optimize(3)//O3
//#pragma GCC optimize(2)//O2
//#include<bits/stdc++.h>
#include<iostream>
#include<string>
#include<map>
#include<set>
//#include<unordered_map>
#include<queue>
#include<cstdio>
#include<vector>
#include<cstring>
#include<algorithm>
#include<iomanip>
#include<cmath>
#include<bitset>
#include<fstream>
#define X first
#define Y second
#define best 131 
#define INF 0x3f3f3f3f3f3f3f3f
#define pii pair<int,int>
#define lowbit(x) x & -x
#define inf 0x3f3f3f3f
#define max(a,b) a>b?a:b
#define min(a,b) a<b?a:b
//#define int long long
//#define double long double
//#ifndef ONLINE_JUDGE  freopen("data.in.txt","r",stdin);
//freopen("data.out.txt","w",stdout); #endif //???t?áè? 
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const double pai=acos(-1.0);
const int Mod=998244353;
const double eps=1e-9;
const int N=26;
const int mod=1e8;
const int maxn=1e6+10;

/*--------------------------------------------*/ 
inline int read()
{
    int data=0,w=1; char ch=0;
    while(ch!='-' && (ch<'0' || ch>'9')) ch=getchar();
    if(ch=='-') w=-1,ch=getchar();
    while(ch>='0' && ch<='9') data=data*10+ch-'0',ch=getchar();
    return data*w;
}
/*--------------------------------------------*/

int n,m,x,a[15][15];
int d[15];//第 i 行土地的状态 
int p[1<<12],cnt;//存放第 i 种 没有左右相邻 的奶牛状态 
int dp[15][1<<12];//第 i 行土地，放置第 j 种 可行奶牛状态 时的方案数   

bool check(int i,int j)//判断第 i 行的土地 放置 第 j 种奶牛状态是否可行 
{                     
	if(d[i]&p[j]) return 0;
	else return 1;
}

int main()																						
{	
//	ios::sync_with_stdio(false);
//	cin.tie(0);cout.tie(0);
	cin>>n>>m;
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
			cin>>a[i][j];
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
			d[i]|=((a[i][j]^1)<<(j-1));
	//存储第 i 行土地的状态 ，对于 0 的位置在状态里我们置为 1
	//这样判断某种奶牛状态是否在第 i 行土地可行，只需与土地的状态 按位与 即可
	//若 按位与 结果为1，则说明 两者有共同为 1 的地方，也就是说有冲突，则此奶牛状态不适合第 i行土地，否则合适 
	for(int i=0;i<(1<<m);i++)//将没有相邻奶牛的奶牛状态存储起来 
		if(!(i&(i<<1)))
			p[cnt++]=i;
	for(int i=0;i<cnt;i++)//提前预处理第一行土地可以摆放奶牛的状态 
		if(check(1,i))
			dp[1][i]=1;
	for(int i=2;i<=n;i++)//上一行递推下一行，逐步递推 
	{
		for(int j=0;j<cnt;j++)
		{
			if(!check(i,j))//判断第 i 行土地能不能摆放第 j 种奶牛状态 
				continue;
			for(int k=0;k<cnt;k++)
			{
				if(!check(i-1,k))//判断第 i-1 行土地能不能摆放第 k 种奶牛状态 
					continue;
				if(!(p[j]&p[k]))//判断两种摆放奶牛的状态是否有上下相邻为1的情况（一个摆在i行，一个摆在i-1行，两者的状态里奶牛不能上下相邻） 
					dp[i][j]+=dp[i-1][k];
			}
		}
	}
	int ans=0;
	for(int i=0;i<cnt;i++)
	{
		ans+=dp[n][i];
		ans%=mod;
	}
	cout<<ans<<endl;
	return 0;
}