C1009 [SHOI2017]摧毁“树状图”

内存限制:512 MB 时间限制:1000 ms

题目描述

自从上次神刀手帮助蚯蚓国增添了上千万人口(蚯口?),蚯蚓国发展得越来越繁荣了!最近,他们在地下发现了一些神奇的纸张,经过仔细研究,居然是 D 国 X 市的超级计算机设计图纸!

这台计算机叫做 “树状图”,由 $n$ 个计算节点与 $n - 1$ 条可以双向通信的网线连接而成,所有计算节点用不超过 $n$ 的正整数编号。顾名思义,这形成了一棵树的结构。

蚯蚓国王已在图纸上掌握了这棵树的完整信息,包括 $n$ 的值与 $n - 1$ 条网线的连接信息。于是蚯蚓国王决定,派出蚯蚓国最强大的两个黑客,小 P 和小 H,入侵 “树状图”,尽可能地摧毁它。

小 P 和小 H 精通世界上最好的编程语言,经过一番商量后,他们决定依次采取如下的步骤:

  • 小 P 选择某个计算节点,作为他入侵的起始点,并在该节点上添加一个P标记。
  • 重复以下操作若干次(可以是 $0$ 次):
    • 小 P 从他当前所在的计算节点出发,选择一条没有被标记过的网线,入侵到该网线的另一端的计算节点,并在路过的网线与目的计算节点上均添加一个P标记。
  • 小 H 选择某个计算节点,作为她入侵的起始点,并在该节点上添加一个H标记。
  • 重复以下操作若干次(可以是 $0$ 次):
    • 小 H 从她当前所在的计算节点出发,选择一条没有被标记过的网线,入侵到该网线的另一端的计算节点,并在路过的网线与目的计算节点上均添加一个H标记。(注意,小 H 不能经过带有P标记的网线,但是可以经过带有P标记的计算节点)
  • 删除所有被标记过的计算节点和网线。
  • 对于剩下的每条网线,如果其一端或两端的计算节点在上一步被删除了,则也删除这条网线。

经过以上操作后,“树状图” 会被断开,剩下若干个(可能是 $0$ 个)连通块。为了达到摧毁的目的,蚯蚓国王希望,连通块的个数越多越好。于是他找到了你,希望你能帮他计算这个最多的个数。

小 P 和小 H 非常心急,在你计算方案之前,他们可能就已经算好了最优方案或最优方案的一部分。你能得到一个值 $x$:

  • 若$x = 0$,则说明小 P 和小 H 没有算好最优方案,你需要确定他们两个的入侵路线。
  • 若 $x = 1$,则说明小 P 已经算好了某种两人合作的最优方案中,他的入侵路线。他将选择初始点 $p_0$,并沿着网线一路入侵到了目标点 $p_1$,并且他不会再沿着网线入侵;你只需要确定小 H 的入侵路线。
  • 若 $x = 2$,则说明小 P 和小 H算好了一种两人合作的最优方案,小 P 从点 $p_0$ 入侵到了 $p_1$ 并停下,小 H 从点 $h_0$ 入侵到了 $h_1$ 并停下。此时你不需要指挥他们入侵了,只需要计算最后两步删除计算节点与网线后,剩下的连通块个数即可。

输入格式

每个输入包含多组数据。

输入的第一行为两个整数 $T$ 和 $x$,$T$ 表示该文件包含的输入数据个数,$x$ 的含义见上述。(同一个输入的所有数据的 $x$ 都是相同的。)

接下来依次输入每个数据。

每个数据的第一行有若干个整数:

  • 若 $x = 0$,则该行只有一个整数 $n$。
  • 若 $x = 1$,则该行依次有三个整数 $n, p_0, p_1$。
  • 若 $x = 2$,则该行依次有五个整数 $n, p_0, p_1, h_0, h_1$。

保证 $p_0, p_1, h_0, h_1$ 均为不超过 $n$ 的正整数。

每个数据接下来有 $n − 1$ 行,每行有两个不超过 $n$ 的正整数,表示这两个编号的计算节点之间有一条网线将其相连。保证输入的是一棵树。

同一行相邻的整数之间用恰好一个空格隔开。

数据文件可能较大,请避免使用过慢的输入输出方法。

输出

对于每个数据,输出一行,表示在给定条件下,剩下连通块的最大个数。

样例

样例输入 1

1 0 13 1 2 2 3 2 4 4 5 4 6 4 7 7 8 7 9 9 10 10 11 10 12 12 13

样例输出 1

8

提示

【样例解释】

这个输入只有一个输入数据。一种最优的方案如下:

  • 小P 从节点 $2$ 开始入侵,节点 $2$ 被小 P 标记。
  • 小 P 从节点 $2$ 入侵到节点 $4$,节点 $4$ 和经过的网线被小 P 标记。
  • 小 P 从节点 $4$ 入侵到节点 $7$,节点 $7$ 和经过的网线被小 P 标记。
  • 小 H 从节点 $10$ 开始入侵,节点 $10$ 被小 H 标记。
  • 删除被标记的节点 $2, 4, 7, 10$ 和被标记的网线 $(2, 4)$ 和 $(4, 7)$。
  • 删除任意一端在上一步被删除的网线。

此时还剩下 $8$ 个连通块。其中节点 $1, 3, 5, 6, 8, 9, 11$ 各自形成一个连通块,节点 $12, 13$ 形成了一个连通块。

【数据范围与提示】

对于整数 $k$,设 $\sum n^k$ 为某个输入中,其 $T$ 个输入数据的 $n^k$ 之和。

所有输入满足 $T \leq 10^5, \sum n^1 \leq 5 \times 10^5$。请注意初始化的时间复杂度,避免输入大量小数据时超时。

每个测试点的详细数据范围见下表。如果表中 “完全二叉” 为 Yes,则该输入文件的每个数据满足:网线信息的第 $j$ 行 $(1 \leq j < n)$ 输入的两个数依次是 $\left\lfloor \frac {j + 1} {2} \right\rfloor$ 和 $j + 1$。

image.png
image.png