#P16063. [CSPro 24] 极差路径

[CSPro 24] 极差路径

题目背景

洛谷的测试数据仅供民间交流使用,非官方测试数据。官方评测链接:https://www.cspro.org/

众所周知,西西艾弗岛是一个旅游胜地,但是由于兴建机场,西西艾弗岛最近的财务状况有点紧张。

题目描述

为了从游客手中获取更多的经济利润,岛上仅有的三个小学生小 C、小 S 和小 P 建立了 nn 个景点,编号依次从 11nn。编号为 ii 的景点是第 ii 个被修建的。由于越到后期经费越是不足,所以编号更大的景点通常更令人不满意——方便起见,假定编号为 ii 的景点的令人不满意程度是 ii

有些景点之间修有双向可通行的道路,但是出于减少经费的考虑,他们只修了能使得所有景点连通的最少数量的道路,从而这些景点和其间的道路形成一棵树的结构。

对于每个游客而言,由于只修了 n1n - 1 条道路,所以他只能沿着树上的边参观,并且由于他不可能重复参观一个景点,所以他的游览路径一定是树上的一条简单路径。

现在西西艾弗岛希望制定一些推荐游览路径,但并非所有树上的路径都是合意的,因为这条路径上的景点令人不满意程度的极差可能过大,使游客产生这些景点质量不稳定的错觉。由于最开始的景点和最后的景点令人印象比较深刻,所以游客通常会把游览路径上的景点和这两个景点作比较。因此,最令人不满意的景点不能比这两个景点差太多,最优秀的景点也不能比这两个景点优秀太多。

具体来说,一条从 xxyy 的游览路径(记作 (x,y)(x, y))是推荐的,当且仅当下式成立:

$$\min\{x, y\} - k_1 \leq \min P(x, y) \leq \max P(x, y) \leq \max\{x, y\} + k_2$$

其中 P(x,y)P(x, y) 表示一条从 xx 出发到达 yy 的简单路径上的点的令人不满意程度的数值的集合(包括 xxyy,也就是 xxyy 的简单路径上的点的编号的集合),minS\min SmaxS\max S 分别表示集合 SS 中的最小和最大值,k1,k2k_1, k_2 是西西艾弗岛经过数次尝试后选取的两个给定的参数,保证 k1,k20k_1, k_2 \geq 0

特别的,容易验证 x=yx = y(x,y)(x, y) 总是推荐的。

现在西西艾弗岛想知道,一共有多少树上的简单路径作为游览路径是被推荐的?这里我们认为 (x,y)(x, y)(y,x)(y, x) 是同一条路径。

输入格式

从标准输入读入数据。

第一行输入三个非负整数 n,k1,k2n, k_1, k_2

接下来 n1n - 1 行,每行两个正整数 x,yx, y 表示树上的一条边。

输出格式

输出到标准输出。

输出一行一个非负整数表示答案。

5 0 1
5 4
4 2
4 1
2 3
12

提示

样例 1 解释

容易验证 $(1, 1), (1, 4), (1, 5), (1, 3), (2, 2), (2, 4), (2, 5), (2, 3), (3, 3), (4, 4), (4, 5), (5, 5)$ 都是推荐的游览路径,因此答案是 1212

样例 2

见题目录下的 2.in2.ans

样例 3

见题目录下的 3.in3.ans

样例 4

见题目录下的 4.in4.ans

样例 5

见题目录下的 5.in5.ans

样例 6

见题目录下的 6.in6.ans

样例 7

见题目录下的 7.in7.ans

样例 8

见题目录下的 8.in8.ans

子任务

测试点 nn \leq k1k_1 k2k_2 树的形态 堆性质
1 5,0005,000 n\leq n A3A_3
2 ^
3
4 5×1055 \times 10^5 =0= 0 A1A_1
5 ^ ^ ^ ^
6 n\leq n
7 ^
8 n\leq n
9 ^
10 =0= 0 A2A_2 ^
11 n\leq n ^ ^
12 ^ n\leq n
13 =0= 0 A3A_3
14 ^ ^ ^
15 ^
16
17 n\leq n
18 ^
19 ^
20
21 n\leq n
22 ^ ^
23
24 ^
25

对于 100%100\% 的数据,1n5×105,0k1,k2n1\le n\le 5\times 10^5,0\le k1,k2\le n,保证输入的 n1n−1 条边一定构成一棵树。

树的形态:

  • A1A1:树是一条链;
  • A2A2:存在一个度数为 n1n−1 的点;
  • A3A3:树的形态无特殊性质。

堆性质:若取编号为 11 的点为根,则除 11 号点外,每个点的编号都比其父节点的编号大。

请注意答案可能的取值范围。