BZOJ 1087: [SCOI2005]互不侵犯King [状压DP]

//
//  main.cpp
//  bzoj1087
//
//  Created by Candy on 2016/12/24.
//  Copyright © 2016年 Candy. All rights reserved.
//

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
const int N=10,M=512;
int read(){
    char c=getchar();int x=0,f=1;
    while(c<‘0‘||c>‘9‘){if(c==‘-‘)f=-1; c=getchar();}
    while(c>=‘0‘&&c<=‘9‘){x=x*10+c-‘0‘; c=getchar();}
    return x*f;
}
int n,m,s;
int g[M][M],can[M],d[M];
ll f[N][N*N][M];
inline int digit(int x){
    int re=0;
    while(x) re+=x&1,x>>=1;
    return re;
}
inline bool check(int x){return !(x<<1&x||x>>1&x);}
inline bool check(int x,int y){
    return !(x&y||x<<1&y||x>>1&y);
}
int main(int argc, const char * argv[]) {
    n=read();m=read();s=1<<n;
    for(int i=0;i<s;i++){
        for(int j=i;j<s;j++)g[i][j]=g[j][i]=check(i,j);
        d[i]=digit(i);
        can[i]=check(i);
    }
    f[0][0][0]=1;
    for(int i=1;i<=n;i++){
        int t=min(m,i*n/2+1);
        for(int j=0;j<=t;j++)
            for(int k=0;k<s;k++) if(can[k]&&d[k]<=j)
                for(int l=0;l<s;l++) if(can[l]&&g[k][l]&&d[k]+d[l]<=j)
                    f[i][j][k]+=f[i-1][j-d[k]][l];
    }
    ll ans=0;
    for(int i=0;i<s;i++) ans+=f[n][m][i];
    printf("%lld\n",ans);
    return 0;
}