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.
【题目说明】
两种可能的连接方法不同当且仅当存在一对城市,它们间的道路数在两种方法中不同。
在交通网络中,有可能存在两个城市无法互相到达。
题解:
因为k很小,我们可以很自然的想到一个DP f[i][j][1<<k] 表示前i个点练了j条边,最后k个点的奇偶性为k的方案数,然后枚举新加入的点怎么连边就可以了,但是这题比较鬼畜的地方在于可以有重边,所以我们就再加一维 f[i][j][k][l] 表示在之前的状态上要处理第l条边的方案数,就行了。
#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<iomanip>
#include<ctime>
#include<cmath>
#include<cstring>
#include<string>
#include<algorithm>
using namespace std;
const int mod=1e9+7;
int F[32][32][1<<9][9];
int main()
{
int n,m,K;
scanf("%d%d%d",&n,&m,&K);
F[2][0][0][0]=1;
for(int i=2;i<=n;i++)
for(int j=0;j<=m;j++)
for(int k=0;k<(1<<(K+1));k++)
{
for(int c=0;c<K;c++)
{
if(!F[i][j][k][c]) continue;
(F[i][j][k][c+1]+=F[i][j][k][c])%=mod;
if(i-K+c>=1 && j<m)
(F[i][j+1][k^(1<<c)^(1<<K)][c]+=F[i][j][k][c])%=mod;
}
if(!(k&1)) (F[i+1][j][k>>1][0]+=F[i][j][k][K])%=mod;
}
cout<<F[n+1][m][0][0];
return 0;
}