loj#P3715. 「AHOI2022」回忆

「AHOI2022」回忆

题目背景

生活在题面里的他们,是一群怪异的少年。

对城市中修建道路需满足的基本物理限制熟视无睹,沉迷于十万个城市、百万条道路上的各种结构。

明明知道真正需要的数字庞大到无法计算,却偏要关心它模一个奇怪素数之后得到的结果。

如此智力超群的他们,却总是在自己提出的诡异的问题下败下阵来,把它们一股脑地丢给你们来做。

如今,他们长大了。他们学习到更普适的理论,习惯了更抽象的符号,不必再思考如此古怪的问题。但他们不曾料到,你们却以这些 “无用” 的问题为驱动,于计算机学科体系的一隅,开垦出了一片独属于 OI 的新天地。

有一天,他们各自回忆起了少年时期提出的问题。

题目描述

少年时,他们提出了 nn 个问题,从 11nn 编号。一个问题总由一个更基础的问题衍生而来,因此问题之间构成了一个树形的结构:11 号问题是最基本的问题,也就是树的根节点,而其他问题都由其父亲节点对应的问题衍生而来。如果两个问题在树上相邻,则称这两个问题彼此相关

少年时期的他们一共做了 mm 次研究,第 ii 次的研究从提出较为基本的问题 sis_i 开始,将它不断地修改、推广,最终提出问题 tit_i。这些研究满足 sitis_i \ne t_isi\boldsymbol{s_i} 必定是 ti\boldsymbol{t_i} 的祖先。即使研究的问题完全相同,从不同的角度研究会有不同的结果,因此可能存在 ij,(si,ti)=(sj,tj)\boldsymbol{i \ne j, (s_i, t_i) = (s_j, t_j)} 的情形

现在,他们正一轮轮地回忆着少年时提出的问题。在他们每一轮对问题的回忆中,他们首先回忆到 nn 个问题中的任意一个。接下来,如果存在与当前回忆到的问题彼此相关且在这轮回忆中没有被回忆到的问题,那么他们可以将思绪从当前问题上切换到这些问题中的任意一个,并回忆到这个新的问题。他们可以不断地切换思绪,也可以在回忆到任何一个问题之后结束回忆。每一轮回忆是独立的,也就是说一个问题可以被多轮回忆回忆起。

如果在某一轮回忆中,他们同时回忆到了问题 sis_i 和问题 tit_i,则称第 ii 次研究被想起

为了更好地理解上述概念,考察以下例子:n=5n = 5,问题 11 与问题 2,32, 3 相关,问题 33 与问题 4,54, 5 相关。一轮可能的回忆是:从问题 22 开始回忆,切换思绪到问题 11,再切换到问题 33,最终切换到问题 55 并结束回忆。如果 m=4m = 4,$(s_1, t_1) = (1, 2), (s_2, t_2) = (1, 4), (s_3, t_3) = (s_4, t_4) = (3, 5)$,那么这轮回忆会让第 11 次、第 33 次和第 44 次研究被想起,而第 22 次研究不会被想起。

他们问你们的最后一个问题是:如果每轮回忆的起点以及思绪的切换可以任意选择,最少需要多少轮回忆才能使所有的研究都被想起。

输入格式

本题有多组测试数据。输入的第一行包含一个正整数 TT,表示数据组数。

对于每组测试数据,第一行包含两个正整数 n,mn, m,分别表示问题的个数和研究的个数。

接下来 n1n - 1 行每行包含两个正整数 ui,viu_i, v_i,表示问题 uiu_i 与问题 viv_i 相关。

接下来 mm 行每行包含两个正整数 si,tis_i, t_i,描述一次研究。

输出格式

对于每组测试数据输出一行一个正整数,表示他们最少需要回忆的轮数使得 mm 次研究均被想起。

2
5 5
1 2
3 1
3 4
5 3
1 2
1 4
3 5
3 5
3 4
10 5
1 2
3 1
3 4
5 3
6 5
7 8
5 7
7 9
9 10
1 2
3 5
5 6
7 8
9 10

2
2

样例 2

见附加文件下的 [memory2.in](file:memory2.in) 与 [memory2.ans](file:memory2.ans)。

这组数据满足了测试点 141 \sim 4 的条件。

样例 3

见附加文件下的 [memory3.in](file:memory3.in) 与 [memory3.ans](file:memory3.ans)。

这组样例满足了特性 A 的条件。且除了后 33 组数据外,其余样例均满足 n,m1000n, m \le 1000。除了后 3030 组数据外,其余样例均满足 n,m30n, m \le 30。你也可以用这组样例完成对较小规模数据的测试。

样例 4

见附加文件下的 [memory4.in](file:memory4.in) 与 [memory4.ans](file:memory4.ans)。

这组样例满足了测试点 242524 \sim 25 的条件。同样例 #3,本样例满足:除了后 33 组数据外,其余样例均满足 n,m1000n, m \le 1000。除了后 3030 组数据外,其余样例均满足 n,m30n, m \le 30。你也可以用这组样例完成对较小规模数据的测试。

样例 5

见附加文件下的 [memory5.in](file:memory5.in) 与 [memory5.ans](file:memory5.ans)。

这组样例满足了特性 B 的条件。

样例 6

见附加文件下的 [memory6.in](file:memory6.in) 与 [memory6.ans](file:memory6.ans)。

这组样例满足了特性 C 的条件。

数据范围与提示

本题共 2525 个测试点。对于所有的测试点,1n,m2×1051 \le n, m \le 2 \times {10}^51n,m5×1051 \le \sum n, \sum m \le 5 \times {10}^51ui,vi,si,tin1 \le u_i, v_i, s_i, t_i \le nsitis_i \ne t_i。保证输入的 (ui,vi)(u_i, v_i) 构成一棵树,sis_i 在以 11 为根的树上是 tit_i 的祖先。

测试点 规模限制 特殊性质
141 \sim 4 T3000T \le 3000n50n \le 50m15m \le 15 且最多有 55 组数据满足 m10m \ge 10
565 \sim 6 n,m100n, m \le 100n3,m33×107\sum n^3, \sum m^3 \le 3 \times {10}^7 A
77 B
88 C
99
101110 \sim 11 n,m1000n, m \le 1000n2,m23×107\sum n^2, \sum m^2 \le 3 \times {10}^7 A
1212 B
1313 C
141614 \sim 16
171817 \sim 18 n,m2×105n, m \le 2 \times {10}^5n,m5×105\sum n, \sum m \le 5 \times {10}^5 B
192019 \sim 20 C
212321 \sim 23 A
242524 \sim 25

特殊性质 A:保证 nn 为偶数,且树的结构为:对于任意正整数 1in21 \le i \le \lfloor \frac{n}{2} \rfloor2i2 i 的父亲为 2i12 i - 1;若 i2i \ge 2,则 2i12 i - 1 的父亲为 2i32 i - 3
特殊性质 B:保证对于所有的正整数 1im1 \le i \le msis_itit_i 的父亲。
特殊性质 C:保证对于所有的正整数 1im1 \le i \le msi=1s_i = 1

请注意,测试点的难度与编号并没有直接关系

提示

请注意,为了取得部分分,你必须保证输出格式正确,即:输出恰好有 mm 行,且每行是一个正整数。

此外,如果某组测试数据中你输出的结果比答案小 11 而不是大 11,那么你不能在该测试点获得 33 分。

本题部分测试点读入量较大。为了优化程序的总运行时间,我们建议你采用较为快速的读入方式。