「NnOI R1-T3」元组
题目背景
小 L 很喜欢树,很喜欢 $ \operatorname{LCA} $,很喜欢有序元组,于是有了这样一道题。
题目描述
对于一棵 $ n $ 点有根树(根为 $ 1 $),定义有序 $ p $ 元组 $ (a_1,a_2,......,a_p) $ 为 $ k $ 级 $ \operatorname{LCA} $ $ p $ 元组当且仅当:
* $ 1 \le a_1<a_2<......<a_p \le n $
* 存在 $ x $ 使得对于任意有序严格递增 $ k $ 元组 $ b \subseteq a $ 均满足 $ \operatorname{LCA}_{i=1}^{k}\{b_i\} = x $。
注意,$ \operatorname{LCA}(x,y) $ 指树上 $ x $ 点和 $ y $ 点的最近公共祖先,且 $ \operatorname{LCA}_{i=1}^{k}\{b_i\} $ 指的是所有的 $ b_i $ 的 $ \operatorname{LCA} $。
求出 $ k $ 级 $ \operatorname{LCA} $ $ p $ 元组的个数,对 $ 10^9+7 $ 取模。
输入输出格式
输入格式
第一行一个整数 $ n,p,k $。
接下来 $ n-1 $ 行,每行两个整数代表一条边的两个端点的编号。
输出格式
输出一个整数代表要求的答案。
输入输出样例
输入样例 #1
6 4 3
1 2
2 3
3 4
3 5
3 6
输出样例 #1
1
输入样例 #2
6 3 2
1 2
1 3
1 4
1 5
1 6
输出样例 #2
20
输入样例 #3
6 4 2
1 2
1 3
2 4
2 5
3 6
输出样例 #3
0
说明
### 样例解释
对于样例 $ 1 $,我们发现符合要求的 $ 4 $ 元组只有 $ (3,4,5,6) $。
### 数据范围
对于 $ 100\% $ 的数据,$ 2 \le n \le 5000 $,$ 2 \le k \le p \le n $。
**提示:本题开启捆绑测试。**
本题共 $ 5 $ 个子任务。
| 子任务编号 | $ n \le $ | 特殊性质 | 分数 |
|:-:|:-:|:-:|:-:|
| $ 1 $ | $ 10 $ | 无 | 10 |
| $ 2 $ | $ 20 $ | 无 | 20 |
| $ 3 $ | $ 500 $ | 无 | 30 |
| $ 4 $ | $ 5000 $ | $ 1 $ 和所有点存在连边 | 10 |
| $ 5 $ | $ 5000 $ | 无 | 30 |
### 题目来源
| 项目 | 人员 |
|:-:|:-:|
| idea | Kevin0501 |
| std | Kevin0501 |
| data | EstasTonne |
| check | EstasTonne |
| solution | Kevin0501 |