2.20 鲜花

【数据删除】被收了，原因：大义灭亲

丁真的七杀是永远的神

开状压了

但是讲解视频的模糊程度和二十年前的电视剧不相上下

$B$ 互不侵犯

状压模板

状态转移方程为 $d{p}_{i,j,k}=\sum _{x=1}^{cnt}d{p}_{i-1,x,k-st{a}_j}$，其中 (sit[j]&sit_[x]==0)&&((sit[j]<<1)&sit[x]==0)&&(sit_[j]&(sit[x]}<<1)==0)。

$i$ 表示 填补的第 $i$ 层，$j$ 表示 第 $i$ 层填的 $j$ 种合法情况，$k$ 表示到第 $i$ 层一共填了 $k$ 个国王，$st{a}_i$ 表示 第 $i$ 种合法情况 填了 $st{a}_i$ 个国王
，$si{t}_i$ 表示 第 $i$ 种合法情况 的 填补情况

先预处理出每一行合法的情况

然后枚举，判断是否合法就行了

点击查看代码

#include <bits/stdc++.h>
using namespace std;
long long ans;
long long sta[2005], sit[2005], dp[15][2005][105];
int n, k, cnt;
void dfs(int x,int w,int num){
    if(x>=n){
        sit[++cnt]=w;
        sta[cnt]=num;
        return ;
    }
    dfs(x+1,w,num);
    dfs(x+2,w+(1<<x),num+1);
}
// void dfs(int x, int num, int cur) {
//   if (cur >= n) {  // 有新的合法状态
//     sit[++cnt] = x;
//     sta[cnt] = num;
//     return;
//   }
//   dfs(x, num, cur + 1);  // cur位置不放国王
//   dfs(x + (1 << cur), num + 1,
//       cur + 2);  // cur位置放国王，与它相邻的位置不能再放国王
// }
bool check(int x,int y){
    if(sit[x]&sit[y])return 0;
    if((sit[x]<<1)&sit[y])return 0;
    if(sit[x]&(sit[y]<<1))return 0;
    return 1;
}
int main(){
    cin>>n>>k;
    dfs(0,0,0);
    for(int i=1;i<=cnt;i++){
        dp[1][i][sta[i]]=1;
    }
    for(int i=2;i<=n;i++)
        for(int j=1;j<=cnt;j++)
            for(int m=1;m<=cnt;m++){
                if(!check(j,m))continue;
                for(int l=sta[j];l<=k;l++)dp[i][j][l]+=dp[i-1][m][l-sta[j]];
            }
    for(int i=1;i<=cnt;i++)ans+=dp[n][i][k];
    cout<<ans<<endl;
    return 0;
}