bzoj 3195: [Jxoi2012]奇怪的道路 状压dp

题意

小宇从历史书上了解到一个古老的文明。这个文明在各个方面高度发达，交通方面也不例外。考古学家已经知道，这个文明在全盛时期有n座城市，编号为1..n。m条道路连接在这些城市之间，每条道路将两个城市连接起来，使得两地的居民可以方便地来往。一对城市之间可能存在多条道路。
据史料记载，这个文明的交通网络满足两个奇怪的特征。首先，这个文明崇拜数字K，所以对于任何一条道路，设它连接的两个城市分别为u和v，则必定满足1 <=|u - v| <= K。此外，任何一个城市都与恰好偶数条道路相连（0也被认为是偶数）。不过，由于时间过于久远，具体的交通网络我们已经无法得知了。小宇很好奇这n个城市之间究竟有多少种可能的连接方法，于是她向你求助。
方法数可能很大，你只需要输出方法数模1000000007后的结果。
1<= n <= 30, 0 <= m <= 30, 1 <= K <= 8.

分析

我们可以设f[i,j,k]表示前i个城市，连了j条边，满足1到i-K-1的城市练的都是偶数条边，然后i-K到i的城市连边的奇偶性为k，k为一个二进制状态。
然后一开始的想法是f[i,j,k]可以转移到f[i+1,j,k]，枚举i连到哪里可以转移到f[i,j+1,k^bin[i-l]^1]，然后发现边会算重，因为会有连边顺序不同的关系。
那么我们可以考虑先枚举i连到哪里，然后再转移就好了。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=35;
const int MOD=1000000007;

int n,m,K,bin[20],f[N][N][1005];

int main()
{
    scanf("%d%d%d",&n,&m,&K);
    bin[0]=1;
    for (int i=1;i<=K+1;i++) bin[i]=bin[i-1]*2;
    f[1][0][0]=1;
    for (int i=1;i<=n;i++)
    {
        for (int l=i-1;l>=max(1,i-K);l--)
            for (int j=0;j<m;j++)
                for (int k=0;k<bin[K+1];k++)
                    if (f[i][j][k])
                    {
                        int s=k^bin[i-l]^1;
                        f[i][j+1][s]=(f[i][j+1][s]+f[i][j][k])%MOD;
                    }
        for (int j=0;j<=m;j++)
            for (int k=0;k<bin[K+1];k++)
                if (i<n&&(k&bin[K])==0) f[i+1][j][(k<<1)%bin[K+1]]=(f[i+1][j][(k<<1)%bin[K+1]]+f[i][j][k])%MOD;
    }
    printf("%d",f[n][m][0]);
    return 0;
}