POJ 3254

之前看了一个RMQ问题，想得有些头大，加上有些事出去，就没有继续看，然后先继续向下学习，初步了解了一下状压DP，做了一下这道比较水的题，看了看大牛们的思路，自己写了写。

首先举个状态压缩的例子： 记得英语听力考试的时候很多都是判断题（而且是书上原题，记下答案就会很方便）但是那么的TFTF而且无规律非常难记，那么我们把 T 当作 1， F 当作 0 ，这样的话 一道大的题目就变成 01011100 这种东西了，然后转化成一个十进制数字， 比如 一道题五个选择  我们把它代号记作 6  那么就代表  6（ 00110） 即 FFTTF 更加便捷的记录了这种状态 这就是一种状态压缩，把一个原来需要5位记录的东西变成了 1 个数字。

回归本题 题目大意：

有一个 n * m 的地图， 1 代表这个位置可以放牧， 0 代表这个位置不可以放牧，且放牧的牛的上下左右不能有其他牛，求一共有多少种放牧方法，结果% mod  , mod =100000000

（ 1 <= n,m <= 12）

首先 暴力搜索肯定会超时的 面积在 12 * 12 这种规模 递归会炸掉

然后我们就开始启用刚才所说的状态压缩方法吧 对于一行开说 我们用一个十进制数字表示其状态

譬如  8 ( 1 0 0 0 )代表 本行第一个放牧 第二个不放牧

那么我们就可以把整个二维地图压缩掉 只看每一列 而每一行都保存一种 “状态”

首先我们先只去看行

对于一行    比如  0111000101010 这种我们是不能用的对吧 因为横向冲突了 所以我们摄取

我们发现对于每行只有固定的几种格式是可以用的，我们保存下这些可以使用的状态到一个数组（数组里的数字转化为二进制就是一种状态）

横向我们判断完了，接下来是纵向

& 这个操作很神奇 1&1 = 1 1&0 ,0&1 ,0&0 都等于0

如果我们对两个二进制数进行 & 操作 如果每一位都等于 0 不就代表着两行进行一波比较没有上下相邻的放牧位置了吗？

  如此往复，我们只需要看相邻两行是否冲突，没成功一种状态整体的计数就 +1 就可以算出来了

 

代码如下建议先自己思索一下

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int maxn = 13;
const int mod = 100000000;
const int ted = 1<<13;
int st[ted];//保存可以使用的“行”的格式
int mp[ted];//保存地图每一列
int dp[maxn][ted];
int judge(int x)//判断是否有相邻的1
{
	return (x&x<<1);//这步很巧妙 错开一位 如果都是相邻为0 这个操作返回0
}
int isok(int i,int j)//判断能不能放的下
{
	return (mp[i]&st[j]);//判断地i行地图和第j种方法（如果返回非0代表上下有相邻的1)
}
int n,m,x;
int main()
{
	cin>>n>>m;
	memset(dp,0,sizeof(dp));
	memset(st,0,sizeof(st));
	memset(mp,0,sizeof(mp));
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=m;j++)
		{
			cin>>x;
			if(x==0)
			mp[i]+=(1<<(j-1));//开始进行状态排列
		}
	}
	int k=0;
	for(int i=0;i<(1<<m);i++)
	{
		if(!judge(i))//如果i状态没有相邻的1 
		st[k++]=i;//记录每一行可以采用的状态 
	}
	for(int i=0;i<k;i++)
	{
		if(!isok(1,i))//先和第一行对比一下
		dp[1][i]=1;
	}
	for(int i=2;i<=n;i++)
	{
		for(int j=0;j<k;j++)
		{
			if(isok(i,j))//如果出现上下相邻
			continue;
			for(int t=0;t<k;t++)
			{
				if(isok(i-1,t))//摆放之前先对状态'T'进行一下判断
				continue;
				if(!(st[t]&st[j]))
				dp[i][j]+=dp[i-1][t];
			}
		}
	}
	int ans=0;
	for(int i=0;i<k;i++)
	{
		ans=(ans+dp[n][i])%mod;
	}
	printf("%d\n",ans);
	return 0;
}