2019.8.31 互不侵犯

#include<iostream>
#include<cstdio>
using namespace std;
long long n,k,dp[15][2050][205],sc[2050],num[2050];
long long ans,cnt;
long long getnum(long long x)
{
    long long res=0;
    while(x)res+=(x&1),x>>=1;
    return num[(int)cnt]=res;
}
int main()
{
    scanf("%lld%lld",&n,&k);
    long long maxn=(1<<n)-1;
    for(long long i=0;i<=maxn;i++)
        if(!(i&(i<<1)))sc[++cnt]=i,dp[1][cnt][getnum(i)]=1;
    for(long long i=2;i<=n;i++)
    {
        for(long long j=1;j<=cnt;j++)
        {
            for(long long l=1;l<=cnt;l++)
            {
                long long x=sc[j],y=sc[l];
                if(x&y)continue;
                if(x&(y<<1))continue;
                if(x&(y>>1))continue;
                for(long long m=0;m<=k;m++)dp[i][j][m+num[j]]+=dp[i-1][l][m];
            }
        }
    }
    for(long long i=1;i<=cnt;i++)ans+=dp[n][i][k];
    printf("%lld",ans);
    return 0;
}