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
3 4 1
【输入样例2】
4 3 3
Sample Output
3
【输出样例2】
4
【数据规模】
HINT
100%的数据满足1
<= n <= 30, 0 <= m <= 30, 1 <= K <= 8.
【题目说明】
两种可能的连接方法不同当且仅当存在一对城市，它们间的道路数在两种方法中不同。
在交通网络中，有可能存在两个城市无法互相到达。
我讨厌数数题……LadyLex大佬太强啦
因为$k$很小，我们考虑状压，而且因为奇偶是一种相反的概念，可以用$01$表示
我们可以用二进制数表示$i$可以转移到的所有数的奇偶性，但是那样的话有$2^{16}$种可能，太大了
然后发现我们其实只要考虑一边的状态就好了，另一边的状态可以在枚举到后面的时候再考虑
于是我们只要考虑第$i$个点以及前面的$k$个点就好了，然后再加一维表示我们考虑到了前面的第$l$个点
那么状态就设为$dp[i][j][u][l]$，表示考虑到第$i$个点，已经连了$j$条边，前$k$个点连边的奇偶性为$u$，且前$k$个点已经考虑到第$l$个点
然后我们考虑转移对于第$i-k+l$个点和第$i-k+l+1$个点，如果我们不再加边，可以直接转移，即$dp[i][j][u][l]$可以转移到$dp[i][j][u][l+1]$
然后如果在还合法的情况下加边，会同时改变两个点的奇偶性，也就会转移到$dp[i][j][u\ xor\ 2^k\ xor\ 2^l][l]$（状态里第$0$位代表左边第$k$个点，第$k$位表示点$i$）
然后考虑不同$i$之间的转移，如果要转移的话再也不会考虑到左边第$k$个点了，那么左边第$k$个点的奇偶性必须是偶数才行，即$u\&1==0$
然后对于一个点$i$，它的下一个点的状态就是$l>>1$，所以直接转移
然后最后的答案就是$dp[n+1][m][0][0]$
//minamoto
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int mod=1e9+;
int n,m,k,bin[],dp[][][(<<)+][];
int main(){
scanf("%d%d%d",&n,&m,&k);
bin[]=;for(int i=;i<=;++i) bin[i]=bin[i-]<<;
dp[][][][]=;
for(int i=;i<=n;++i) for(int j=;j<=m;++j) for(int u=;u<bin[k+];++u){
for(int l=;l<k;++l)
if(dp[i][j][u][l]){
(dp[i][j][u][l+]+=dp[i][j][u][l])%=mod;
if(j<m&&i-k+l>)
(dp[i][j+][u^bin[k]^bin[l]][l]+=dp[i][j][u][l])%=mod;
}
if((u&)==&&dp[i][j][u][k])
dp[i+][j][u>>][]=dp[i][j][u][k];
}
printf("%d\n",dp[n+][m][][]);
return ;
}