bzoj3195[Jxoi2012]奇怪的道路 状压DP

Description

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

Input

输入共一行，为3个整数n，m，K。

Output

输出1个整数，表示方案数模1000000007后的结果。

Sample Input

【输入样例1】

3 4 1

【输入样例2】

4 3 3

Sample Output

【输出样例1】

3

【输出样例2】

4

【数据规模】

HINT

100%的数据满足1

<= n <= 30, 0 <= m <= 30, 1 <= K <= 8.

【题目说明】

两种可能的连接方法不同当且仅当存在一对城市，它们间的道路数在两种方法中不同。

在交通网络中，有可能存在两个城市无法互相到达。

Source

一开始眼花了一下，没看清楚K<=8，以为是个水题直接DP，结果后来发现好像不能做= =
这题状压好像没那么简单dalao当我没说,我并没有想到哪个东西用到状态= =
设f[i][j][k][l]表示做到第i个点，连了j条边，k是一个状态，表示与i相连的点的奇偶性，l就表示i-K-i的编号，这里加上会少一次枚举，根据po姐说法时间上快了40倍..
然后就可以转移了：
不连：f[i][j][k][l+1]+=f[i][j][k][l];
连：f[i] [j][k^(1<

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
const int mo=1e9+7;
const int N=1e5+5;
int n,m,K,f[50][50][1<<9][9];
int main()
{
    scanf("%d%d%d",&n,&m,&K);
    f[2][0][0][0]=1;
    int mx=1<<(K+1);
    fo(i,2,n)
    {
        fo(j,0,m)
        {
            fo(k,0,mx-1)
            {
                fo(l,0,K-1)
                if (f[i][j][k][l])
                {
                    f[i][j][k][l+1]=(f[i][j][k][l]+f[i][j][k][l+1])%mo;
                    if (j<m&&i-K+l>0)
                    (f[i][j+1][k^(1<<K)^(1<<l)][l]+=f[i][j][k][l])%=mo;   
                }
                if ((k&1)==0&&(f[i][j][k][K]))
                f[i+1][j][k>>1][0]=f[i][j][k][K];
            }
        }
    }
    printf("%d\n",f[n+1][m][0][0]);
}