【链接】
bzoj1087
【解题报告】
。。。状压DP。。。
定义
f[i][j][k]
表示目前推到
i
行,第
再预处理一下行与行之间可以放的情况就行了。
#include<cstdio>
#include<cstring>
#define LL long long
using namespace std;
const int maxn=515;
int n,m,S,num[maxn];
LL ans,f[10][maxn][82];
bool vis[maxn][maxn];
int main()
{
freopen("1087.in","r",stdin);
freopen("1087.out","w",stdout);
scanf("%d%d",&n,&m); S=1<<n;
memset(vis,0,sizeof(vis));
for (int i=0; i<S; i++)
for (int j=0; j<S; j++)
{
for (int k=1; k<=n; k++)
if (j&(1<<k-1))
if ((k>1&&(j&(1<<k-2)))||(k<n&&(j&(1<<k)))||(k>1&&(i&(1<<k-2)))||(k<n&&(i&(1<<k)))||(i&(1<<k-1))) {vis[i][j]=1; break;}
}
memset(num,0,sizeof(num));
for (int i=0; i<S; i++)
for (int j=1; j<=n; j++)
if (i&(1<<j-1)) num[i]++;
memset(f,0,sizeof(f));
f[0][0][0]=1;
for (int i=1; i<=n; i++)
for (int j=0; j<S; j++)
for (int k=0; k<S; k++)
if (!vis[j][k])
for (int s=0; s<=m; s++)
if (s+num[k]<=m) f[i][k][s+num[k]]+=f[i-1][j][s];
ans=0;
for (int i=0; i<S; i++) ans+=f[n][i][m];
printf("%lld",ans);
return 0;
}