SSL_1383【车II】

车II

题目

有一个n*m的棋盘要在棋盘上放k个棋子，使得任意两个棋子不相邻。求合法的方案总数。

Sample Input

3 3 2
//n m k

Sample Output

24

数据范围

n,m<=80,n*m<=80,k<=20

---

解析

不妨假设n>=m(反之可以调换)，则易证此时m<=8，最多只有2⁸种方案，可以发现其中只有55种方案合法，于是将这55种方案取出并记录即可

struct pa{int w,s;}a[56];
inline void dfs(int wc,int ra,int ki,bool oi)
{
	if(wc==m){a[++tot].s=ra,a[tot].w=ki;return;}
	dfs(wc+1,ra<<1,ki,0);
	if(!oi)dfs(wc+1,ra<<1|1,ki+1,1);
}

当然可以按w值排个序，以利用单调性

inline bool cmp(pa x,pa y){return x.w<y.w;}
sort(a+1,a+tot+1,cmp);

开始DP，设dp[i][j][k(题目中的k改为K)]为处理到第i行，当前方案为j，已经处理k个
显然有
$d{p}_{0,1,0}=1$
$ans=max(d{p}_{n,i,K})(1<=i<=tot(合法方案数))$
$d{p}_{i,j,k}=\sum d{p}_{i-1,l,w_j}(1<=i<=n,1<=j<=tot,0<=k<=K,1<=l<=tot,w_j+w_l<=k,s_j按位与s_l=0)$
记得开long long

code:

#include<cstdio>
#include<algorithm>
#define rr register int
#define int long long
using namespace std;
int n,m,K,dp[81][56][21],tot,ans;
struct pa{int w,s;}a[56];
inline bool cmp(pa x,pa y){return x.w<y.w;}
inline void dfs(int wc,int ra,int ki,bool oi)
{
	if(wc==m){a[++tot].s=ra,a[tot].w=ki;return;}
	dfs(wc+1,ra<<1,ki,0);
	if(!oi)dfs(wc+1,ra<<1|1,ki+1,1);
}
signed main()
{
	scanf("%lld%lld%lld",&n,&m,&K),dp[0][1][0]=1;
	if(n<m)n^=m^=n^=m;
	dfs(0,0,0,0);
	sort(a+1,a+tot+1,cmp);
	for(rr i=1;i<=n;++i)for(rr j=1;j<=tot;++j)for(rr k=0;k<=K;++k)for(rr l=1;l<=tot&&a[j].w+a[l].w<=k;++l)if(!(a[j].s&a[l].s))dp[i][j][k]+=dp[i-1][l][k-a[j].w];
	for(rr i=1;i<=tot;++i)ans+=dp[n][i][K];
	printf("%lld",ans);
	return 0;
}