CF2053E Resourceful Caterpillar Sequence

题目描述

无尽的七日轮回 — r-906, [Panopticon](https://www.youtube.com/watch?v=_-Vd0ZGB-lo) 在一个由 $n$ 个顶点组成的树中,定义了一种“毛毛虫”。一个毛毛虫用整数对 $(p, q)$($1 \leq p, q \leq n$,且 $p \neq q$)表示,它的头在顶点 $p$,尾在顶点 $q$,并且该毛毛虫支配从 $p$ 到 $q$ 的简单路径上的所有顶点(包括 $p$ 和 $q$)。$(p, q)$ 的毛毛虫序列是按到 $p$ 的距离递增排序后的路径上的顶点序列。 Nora 和 Aron 轮流移动这条毛毛虫,Nora 先手。两个人都采用各自的最优策略来进行游戏: - 他们会尽全力争取胜利; - 如果无法赢得胜利,他们将努力阻止对方获胜(这样,游戏就会以平局收场)。 在 Nora 的回合中,她需要从与顶点 $p$ 相邻且未被毛毛虫支配的顶点中选择一个 $u$,然后将毛毛虫向顶点 $u$ 移动一个边。同样,在 Aron 的回合中,他需要从与顶点 $q$ 相邻且未被毛毛虫支配的顶点中选择一个 $v$,并将毛毛虫向顶点 $v$ 移动一个边。注意,两位玩家的移动方式是不同的。 若 $p$ 是叶子节点时,Nora 赢得胜利。而当 $q$ 是叶子节点时,Aron 赢得胜利。如果初始时 $p$ 和 $q$ 都是叶子,或经过 $10^{100}$ 回合游戏仍未结束,最终结果为平局。 请统计能让 Aron 赢得游戏的整数对 $(p, q)$ 的数量:$1 \leq p, q \leq n$ 且 $p \neq q$。 *用简单的话来说:当前的毛毛虫序列是 $c_1, c_2, \ldots, c_k$,移动后,新序列变为 $d(u, c_1), d(u, c_2), \ldots, d(u, c_k)$。这里,$d(x, y)$ 表示从 $y$ 到 $x$ 的简单路径上的下一个顶点。 *在树中,一个顶点的度数为1时,该顶点称为叶子节点。 *因此,只要游戏未结束,Nora 总能找到一个顶点 $u$ 来进行移动。Aron 也是一样。

输入格式

每个测试组包含多个测试用例。第一行给出一个整数 $t$($1 \leq t \leq 2 \cdot 10^4$),表示测试用例的数量。接下来是各个测试用例的具体描述。 每个测试用例的第一行包含一个整数 $n$($2 \leq n \leq 2 \cdot 10^5$),表示树中的顶点数。 接下来的 $n - 1$ 行,每行有两个整数 $u$ 和 $v$($1 \leq u, v \leq n$),表示顶点 $u$ 和 $v$ 之间存在一条边。保证这些边构成了一棵树。 保证所有测试用例中 $n$ 的总和不超过 $4 \cdot 10^5$。

输出格式

对于每个测试用例,输出一个整数,表示能够让 Aron 得胜的整数对 $(p, q)$ 的数量。

说明/提示

在第一个测试例中,所有可能的毛毛虫是 $(1, 2)$ 和 $(2, 1)$。由于初始时 $p$ 和 $q$ 都是叶子,因此结果为平局。 在第二个测试例中,满足 Aron 赢得游戏的毛毛虫包括:$(1, 3)$、$(1, 4)$、$(1, 5)$、$(2, 3)$、$(2, 4)$、$(2, 5)$。下面我们来具体分析一些毛毛虫的情况: - 对于毛毛虫 $(1, 5)$:顶点 $p = 1$ 不是叶子,而 $q = 5$ 是叶子,因此 Aron 在一开始就胜利。 - 对于毛毛虫 $(2, 1)$:顶点 $p = 2$ 不是叶子,$q = 1$ 也不是叶子。在 Nora 的第一次移动中,她可以选择将毛毛虫移向顶点 $5$,此时毛毛虫变为 $(5, 2)$,顶点 $p = 5$ 是叶子,因此 Nora 在下一步中胜利。 **本翻译由 AI 自动生成**