HOJ 2662 Pieces Assignment（状态压缩DP）

题目特征：

1.求方法数目，告诉一堆约束条件（相邻，不攻击之类），其中有个数一般是<32（int）的；

状态转移：

1.跟要相互影响的行有关，跟状态有关，跟给出条件有关（题目要求要达到一定数目等，但是不是具体说明一般不用，看看其他的）

2.一般题目情景为线是二维，面为三维

代码：

1.判断约束条件

2.记录状态中1的个数

3.初始化找状态

4.枚举求和

例如：HOJ 2662

有一个n*m的棋盘(n、m≤80,n*m≤80)要在棋盘上放k(k≤20)个棋子，使得任意两个棋子不相邻（每个棋子最多和周围4个棋子相邻）。求合法的方案总数。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<cmath>
#include<algorithm>
#include<cstdlib>

using namespace std;

long long n,m,k,dp[82][22][1<<9],ans,mm;//dp[i][j][x]第i行放了j个棋子当前状态为x时的方法数
long long mark[1<<9],len;//十进制标记每一行的状态

using namespace std;

long long num(long long x) //记录状态x中1的个数
{
	long long sum=0;
	while(x)
	{
		if(x&1)
			sum++;
		x=x>>1;
	}
	return sum;
}

bool judge(long long x) //判断状态x是否有相邻的棋子放在一起
{

	if(x&(x<<1)) return false;
	return true;
}

int main()
{
	while(scanf("%lld %lld %lld",&n,&m,&k)!=EOF)
	{
	       ans=0;
	       memset(dp,0,sizeof(dp));
	       memset(mark,0,sizeof(mark));
	       len = 0;
	       long long tmpp = n > m ? n : m;
	       m = n > m ? m : n; //m为小的数
	       n = tmpp;//n为大的数计为行
	       
		 for(long long i=0;i<(1<<m);i++) //初始化第一行的放置方法数//剔除不合法状态
		 if(judge(i)) //若i状态没有相邻的棋子放在一起
             {
		 	dp[1][num(i)][len]=1;//则第一行状态为len（i）时1的个数为num（i）时的方法数
		 	mark[len ++] = i;//标记状态             }
             
		 for(long long i=2;i<=n;i++) //第二行到第n行
		 	for(long long j=0;j<=k;j++)//对于放0***n个棋子
		 		for(long long x = 0 ; x < len ; x ++) //对于0***len-1个状态（第i行）//枚举
		 		{
		 			for(long long y = 0 ; y < len ; y ++)//对于0***len-1个状态（第i-1行）//枚举
		 			{
		 			      long long tmp = num (mark[x]);//第i行状态x中1的个数
		 				if(((mark[x] & mark[y]) == 0 ) && j >= tmp) //若上下2行没相邻的且当前的棋子数目大于此行当前状态所用的棋子
						 	dp[i][j][x] += dp[i - 1][j - tmp][y];//放法数可相加
						 	//到当前行共用了j个棋子，当前行用了tmp个棋子，状态为x，到上一行共用了j-tmp个棋子，状态为y
					}
				}
      for(long long i=0;i< len;i++) //枚举状态相加
            ans += dp[n][k][i];
      printf("%lld\n",ans);
	}
	return 0;
}