[Jxoi2012]奇怪的道路

问题 A: [Jxoi2012]奇怪的道路

时间限制: 1 Sec   内存限制: 128 MB
提交: 57   解决: 25

题目描述

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

输入

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

输出

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

样例输入

【输入样例1】
3 4 1
【输入样例2】
4 3 3

样例输出

【输出样例1】
3

【输出样例2】
4
【数据规模】

提示

100%的数据满足1



<= n <= 30, 0 <= m <= 30, 1 <= K <= 8.
【题目说明】
两种可能的连接方法不同当且仅当存在一对城市，它们间的道路数在两种方法中不同。
在交通网络中，有可能存在两个城市无法互相到达。

我现在好像真的只会状压了。。。
这个题原来我做过，但是是好久之前的了，然后一考试就更加慌了。
怕自己做过都A不了就尴尬了。。。233
反正A了
看范围，状压没毛病
但是如果随便连的话给开1<<16,乘上n，m就爆了
所以规定转移时只向回连边
于是想状态数组：f[i][j]表示到i这里i前K位的状态为j（表示奇偶）
发现有条数限制，但是n,m,1<<K都比较小，加一维,
f[i][j][k]表示前i位,用j条路,i前的K位状态为j
转移的话，因为1<=|u - v|<=K，
所以转移时必须要保证转移前一位能连到的最远距离是偶数
然后在本位就向回依次连就好了。

#include<iostream>

#include<cmath>

#include<cstring>

#include<cstdio>

#include<queue>

#include<map>

#include<cstdlib>

#include<algorithm>

#define V 32

#define mod 1000000007

#define LL long long

using namespace std;

int n,m,k;

int f[V][V][(1<<9)+10];

inline int haha()

{

      //freopen("in.txt","r",stdin);freopen("out.txt","w",stdout);

      //freopen("treas.in","r",stdin); freopen("treas.out","w",stdout);

      cin>>n>>m>>k;

     //cout<<" !! "<<endl;

      f[1][0][0]=1;

     // k++;

      for ( int i=2;i<=n;i++)

      {

          for ( int t=0;t<(1<<k+1);t++)

          if (!(t&1))

          {

              for ( int j=0;j<=m;j++)

              if (f[i-1][j][t])

              {

                 f[i][j][t>>1]+=f[i-1][j][t];

                 f[i][j][t>>1]%=mod;                    

              }       

          }

         // printf("%d\n",i);

          for ( int j=1;j<=k;j++)

          {

              if (i-j<=0) break ;

             for ( int g=0;g<m;g++)       

              for ( int t=0;t<(1<<k+1);t++)

              {

                 if (f[i][g][t])

                 {

                    f[i][g+1][t^(1<<k)^(1<<(k-j))]=(f[i][g+1][t^(1<<k)^(1<<(k-j))]+f[i][g][t])%mod;     

                 }      

              }   

          }    

      }

      cout<<f[n][m][0]%mod;

     return 0;

}

int gg=haha();

int main()

{;}