#P13954. [2024多校联盟省选模拟]十载峥嵘桀骜

    ID: 13166 传统题 1000ms 256MiB 尝试: 1 已通过: 1 难度: 8 上传者: 标签>CF2400图论矩阵动态规划计数DP数学树形DP动态DP

[2024多校联盟省选模拟]十载峥嵘桀骜

题目描述

战争胜利了,但敌人的余党依旧在活动。为了防范敌人的入侵,指挥官派你在接下来的 tt 天内在边境侦察。

边境可以看作一棵 nn 个点的无向树。令 dist(x,y)\mathrm{dist}(x,y) 表示 x,yx,y 两点在树上的最短路长度。称树上一条路径是简单的,当且仅当不存在一个点在路径上出现超过一次。

第 1 天开始前,你熟悉了地形,并可以任意选择一个点作为终点停下来休息。而接下来的每一天,你从上一天的终点出发,选择一条最长的简单路径并沿着这条路径侦察,在终点处停下休息。若有多条路径同时满足条件,你可以任意选择其中一条。

现在你需要求出,在这 tt 天中,你究竟有多少种侦察方案。

形式化地说,你需要求出有多少长度为 t+1t+1 的顶点序列 a0,a1,,ata_0, a_1, \dots, a_t,满足:

  • 对所有 1it1 \le i \le t,不存在任意点 xx 使得
    $\mathrm{dist}(a_{i-1}, x) > \mathrm{dist}(a_{i-1}, a_i)$。

答案可能会很大,只需输出对 109+710^9 + 7 取模后的结果。

输入格式

本题采用多组测试。

第一行两个非负整数 tid, T,分别表示测试点编号和数据组数。特别地,在样例中 tid = 0

对于每组数据:

  • 第一行两个正整数 n,tn, t
  • 接下来 n1n-1 行,每行两个正整数 ui,viu_i, v_i,表示树的一条无向边。

每组数据间用一个空行隔开。

输出格式

TT 行,每行一个整数,表示一组数据的答案。

0 4

5 2
1 2
2 5
3 1
3 4

5 5
1 2
1 3
2 4
2 5

6 3
2 1
2 3
3 4
2 5
1 6

8 4
6 8
3 7
4 1
5 7
3 6
1 6
2 7
6
28
8
32

样例解释

样例 1(第一组数据)中,所有可能的序列为:

  • {1,4,5}\{1, 4, 5\}{1,5,4}\{1, 5, 4\}{2,4,5}\{2, 4, 5\}{3,5,4}\{3, 5, 4\}{4,5,4}\{4, 5, 4\}{5,4,5}\{5, 4, 5\}

因此答案为 66

数据范围与提示

  • 对所有数据:1T41 \le T \le 41n25001 \le n \le 25001t10181 \le t \le 10^{18}1ui,vin1 \le u_i, v_i \le n,且 uiviu_i \ne v_i

测试点与特殊性质

测试点编号 nn \le tt \le 特殊性质
1~2 50
3~5 300
6~9 2500 2500
10~11 101810^{18} A
12~13 B
14~17 100
18~25 2500
  • 特殊性质 A:ui=i, vi=i+1u_i=i,\ v_i=i+1
  • 特殊性质 B:ui=1, vi=i+1u_i=1,\ v_i=i+1