[SCOI2005]互不侵犯King （状压DP）

题意：

给一个n*n(n<=9)的棋盘，问放k(k<=n*n)个国王满足不冲突的方案数，国王的攻击范围是周围的八个位置。

分析：

非常经典的状压dp，dp[i][j][s]代表第i行，已经存了j个棋子，这一行的国王存放状态为s的方案数，空间复杂度n*k*(2^n)大概1e6，时间复杂度n*k*(2^2n),大概2e8，最后在darkoj上运行是150ms，应该是常数比较小。

代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int n,k;
int cnt[512];
bool c1[512],c2[512][512];
ll dp[11][100][512]{1};
int main()
{
    ios::sync_with_stdio(0),cin.tie(0);
//	freopen("1.txt","r",stdin);
    cin>>n>>k;
    for(int i=1;i<1<<n;i++)cnt[i]=cnt[i/2]+i%2;
    for(int i=0;i<1<<n;i++)if(!(i&i>>1))c1[i]=1;
    for(int i=0;i<1<<n;i++)if(c1[i])
        for(int j=0;j<1<<n;j++)if(c1[j])
            if(!(i&j)&&!(i<<1&j)&&!(i&j<<1))c2[i][j]=1;

    for(int i=0;i<=n;i++)for(int j=0;j<=k;j++)
        for(int s=0;s<1<<n;s++)for(int t=0;t<1<<n;t++)if(c2[s][t])
            dp[i+1][j+cnt[t]][t]+=dp[i][j][s];
    cout<<dp[n+1][k][0];
    return 0;
}

后记：

本来已经非常长时间没有写过博客了，感觉写博客很麻烦还没啥用，但奈何自己的dp实在太差，连最简单的经典问题也没有做过，一直在想怎么建建立dp模型，怎么进行转移，后来看到了大佬的代码后发现简直不要太简介，预处理的那几步虽然朦朦胧胧有些想法，但是具体细节老是不敢写，感觉会有问题，这也是需要反思的地方，在没有正解的时候总是不自信，明明接近答案却不敢进一步思考，当然最后也还是在看了别人博客后才出的思路，狂%%%一波大佬