2019郑州课件·动态规划」JXOI2012 奇怪的道路

原创于 2019-10-08 20:36:51 发布 · 114 阅读

0 ·

CC 4.0 BY-SA版权

状压DP 专栏收录该内容

5 篇文章

订阅专栏

本文深入探讨了一种高级的状态压缩动态规划算法，用于解决特定的组合计数问题。通过使用三维数组f[n][m][state]来记录前n个点，匹配了m条边，前K个点的奇偶状态，巧妙地实现了方案数的计算。文章提供了完整的C++代码实现，展示了如何通过状态转移方程进行高效计算。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

神仙状压题
虽然想到了怎么压，但是完全不敢写…

$f [n] [m] [s t a t e]$ 表示前n个点，匹配了m条边，前K个点的奇偶状态为 $s t a t e$ 的方案数

愉快的转移吧

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<cstring>
using namespace std;
const int maxn = 41;
const int S = (1<<10);
const int mod = 1000000007;
int f[maxn][maxn][S],n,m,k;
 
int main(){
    scanf("%d%d%d",&n,&m,&k);
    f[2][0][0]=1;
    for(int i=2;i<=n;i++){
        for(int j=max(i-k,1);j<i;j++){
            for(int e=1;e<=m;e++){
                for(int s=0;s<(1<<k+1);s++){
                    f[i][e][s]=(f[i][e][s]+f[i][e-1][s^1^(1<<(i-j))])%mod;
                }
            }
        }
        for(int j=0;j<=m;j++){
            for(int s=0;s<(1<<k);s++){
                f[i+1][j][s<<1]=(f[i+1][j][s<<1]+f[i][j][s])%mod;
            }
        }
    }
    cout<<f[n][m][0];
}