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

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

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

愉快的转移吧

#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];
}