#P9414. 「NnOI R1-T3」元组

「NnOI R1-T3」元组

题目背景

小 L 很喜欢树,很喜欢 LCA \operatorname{LCA} ,很喜欢有序元组,于是有了这样一道题。

题目描述

对于一棵 n n 点有根树(根为 1 1 ),定义有序 p p 元组 (a1,a2,......,ap) (a_1,a_2,......,a_p) k k LCA \operatorname{LCA} p p 元组当且仅当:

  • 1a1<a2<......<apn 1 \le a_1<a_2<......<a_p \le n

  • 存在 x x 使得对于任意有序严格递增 k k 元组 ba b \subseteq a 均满足 LCAi=1k{bi}=x \operatorname{LCA}_{i=1}^{k}\{b_i\} = x

注意,LCA(x,y) \operatorname{LCA}(x,y) 指树上 x x 点和 y y 点的最近公共祖先,且 LCAi=1k{bi} \operatorname{LCA}_{i=1}^{k}\{b_i\} 指的是所有的 bi b_i LCA \operatorname{LCA}

求出 k k LCA \operatorname{LCA} p p 元组的个数,对 109+7 10^9+7 取模。

输入格式

第一行一个整数 n,p,k n,p,k

接下来 n1 n-1 行,每行两个整数代表一条边的两个端点的编号。

输出格式

输出一个整数代表要求的答案。

6 4 3
1 2
2 3
3 4
3 5
3 6
1
6 3 2
1 2
1 3
1 4
1 5
1 6
20
6 4 2
1 2
1 3
2 4
2 5
3 6
0

提示

样例解释

对于样例 1 1 ,我们发现符合要求的 4 4 元组只有 (3,4,5,6) (3,4,5,6)

数据范围

对于 100% 100\% 的数据,2n5000 2 \le n \le 5000 2kpn 2 \le k \le p \le n

提示:本题开启捆绑测试。

本题共 5 5 个子任务。

子任务编号 n n \le 特殊性质 分数
1 1 10 10 10
2 2 20 20 20
3 3 500 500 30
4 4 5000 5000 1 1 和所有点存在连边 10
5 5 30

题目来源

项目 人员
idea Kevin0501
std
data EstasTonne
check
solution Kevin0501