BZOJ 1087 互不侵犯 状压dp

是玉米田的加强版本吧。
给出$n\times n$的棋盘，其中$n\le 8$，你要在其中放$k$个国王，使得任何两个国王都不会互相攻击，求所有合法的方案数。
对于同一行互相攻击的状态还是可以预处理出来，然后转移的时候只要枚举上一行的状态，判断不会出现两个国王同一列/差一列的情形，然后转移就可以了。
$f_{i,S,k}=\sum f_{i-1,S^{\prime },k-|S|)}$
最坏是$O(n^3{4}^n)$，但实际上大量状态不合法，要比这个小很多。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int inf=0x3f3f3f3f;
const int N=10;
ll f[N][1<<9][82];
int g[1<<9];
int main() {
	int n,K;
	scanf("%d%d",&n,&K);
	for(int i=0;i<(1<<n);i++) {
		if((i&(i<<1))||(i&(i>>1))) g[i]=0;
		else g[i]=1;
	} 
	f[0][0][0]=1;
	for(int i=1;i<=n;i++) {
		for(int j=0;j<(1<<n);j++) {
			if(!g[j]) continue;
			for(int k=0;k<(1<<n);k++) {
				if(!g[k]||(j&k)||(j&(k<<1))||(j&(k>>1))) continue;
				int chs=__builtin_popcount(j);
				for(int l=0;l<=K-chs;l++) {
					f[i][j][l+chs]+=f[i-1][k][l];
				}
			}
		}	
	}
	ll ans=0;
	for(int i=0;i<(1<<n);i++) 
		ans+=f[n][i][K];
	printf("%lld\n",ans); 
	return 0;
}