BZOJ 3195: [Jxoi2012]奇怪的道路

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.

【题目说明】

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

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

Time Limit: 10 Sec  Memory Limit: 128 MB
Submit: 709  Solved: 466

 

首先，从数据范围中一眼可以看出这是一道状压dp

状压K

f[i][j][sta]表示第i座城市，j条边，状态为sta的方案数

 

可是不知道为啥，看着很有道理的状态，第二个样例愣是头铁过不了

所以菜鸡紧急翻看题解                    ORZ大佬（们）

 

ORZ LCT大佬

给我讲清楚为什么不行了

3维考虑了顺序，例如对于点u，先加（v1,u）再加（v2,u）与先加（v2,u）再加（v1,u）是同一种方案

                                  但是在三维的状态中，这是两种不同的方案 GG了。。。

 

竟然四维状态

f[i][j][sta][l]表示第i座城市，j条边，状态为sta，与他相连的最近节点为l的方案数

#include<cstdio>
#include<iostream>
const int p=1e9+7;
using namespace std;

int n,m,k;
const int N=40,S=522;
int f[N][N][S][10];

int main()
{
	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 s=0;s<(1<<(k+1));s++)
			{
				for(int l=0;l<k;l++)
				{
					f[i][j][s][l+1]+=f[i][j][s][l];
					f[i][j][s][l+1]%=p;
					if(i-k+l>0&&j<m)
						f[i][j+1][s^(1<<k)^(1<<l)][l]+=f[i][j][s][l],
						f[i][j+1][s^(1<<k)^(1<<l)][l]%=p;
				}
				if(!(s&1))
					f[i+1][j][s>>1][0]+=f[i][j][s][k],
					f[i+1][j][s>>1][0]%=p;
			}
		
	printf("%d\n",f[n+1][m][0][0]);//不用算sum了
	return 0;
}