#CSP202112E. 极差路径

    ID: 618 Type: Default 3000ms 512MiB Tried: 20 Accepted: 2 Difficulty: 9 Uploaded By: Tags>CSP其他扫描线数据结构线段树树状数组树结构树的分治Kruskal 重构树CDQ 分治

极差路径

题目来自第 24 次 CSP 认证 T5,评测使用自造高质量复刻数据。我们承认原始题面与大样例版权均归中国计算机学会(CCF)所有,因此题面与评测服务均免费对外开放。如果您认为我们侵犯了您的权益,可联系我们。

时间限制: 3.0 秒

空间限制: 512 MB

题目背景

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

题目描述

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

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

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

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

具体来说,一条从 xx 到 yy 的游览路径(记作 (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 的简单路径上的点的令人不满意程度的数值的集合(包括 xx 和 yy,也就是 xx 到 yy 的简单路径上的点的编号的集合),min⁡S\min S 和 max⁡S\max S 分别表示集合 SS 中的最小和最大值,k1,k2k_1,k_2 是西西艾弗岛经过数次尝试后选取的两个给定的参数,保证 k1,k2≥0k_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。

接下来 n−1n-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.in 和 2.ans。

样例 2 解释

该样例满足测试点 1∼31\sim 3 的限制条件。

样例 3

见题目文件区的 3.in 和 3.ans。

样例 3 解释

该样例满足测试点 99 的限制条件。

样例 4

见题目文件区的 4.in 和 4.ans。

样例 4 解释

该样例满足测试点 1212 的限制条件。

样例 5

见题目文件区的 5.in 和 5.ans。

样例 5 解释

该样例满足测试点 14∼1614\sim 16 的限制条件。

样例 6

见题目文件区的 6.in 和 6.ans。

样例 6 解释

该样例满足测试点 18∼2018\sim 20 的限制条件。

样例 7

见题目文件区的 7.in 和 7.ans。

样例 7 解释

该样例满足测试点 21∼2221\sim 22 的限制条件。

样例 8

见题目文件区的 8.in 和 8.ans。

样例 8 解释

该样例满足测试点 23∼2523\sim 25 的限制条件。

子任务

对于所有数据,1≤n≤5×105,0≤k1,k2≤n1\le n\le 5\times 10^5,0\le k_1,k_2\le n,保证输入的 n−1n-1 条边一定构成一棵树。

测试点编号 n≤n\le k1≤k_1\le k2≤k_2\le 树的形态 堆性质
11 50005000 nn A3A_3 ×\times
22
33
44 5×1055\times 10^5 00 00 A1A_1 ✓\checkmark
55 ×\times
66 nn ✓\checkmark
77 ×\times
88 nn ✓\checkmark
99 ×\times
1010 00 00 A2A_2
1111 nn
1212 nn
1313 00 00 A3A_3 ✓\checkmark
1414 ×\times
1515
1616
1717 nn ✓\checkmark
1818 ×\times
1919
2020
2121 nn ✓\checkmark
2222
2323 ×\times
2424
2525

树的形态:

  • A1A_1:树是一条链;
  • A2A_2:树存在度数为 n−1n-1 的点;
  • A3A_3:无特殊性质。

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

提示

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