P8200 [传智杯 #4 决赛] 生活在树上(easy version)
题目背景
**本题是 P8201 的简单版本,两道题目的解法略有不同。本题和 P8201 在题意上的区别在于本题给定树上的边权,而不是点权。**
小智生活在「传智国」,这是一个有 $n$ 个城市的国家,各个城市由 $n-1$ 条道路相连。
每个道路都有长度 $w_i$ ,我们定义,小智从城市 $a$ 走到城市 $b$ 的代价是 $\mathrm{dis}_{a, b} = \bigoplus \limits_{e \in \mathrm{path}\left(a, b\right)} w_e$,其中 $\bigoplus$ 表示**按位异或**(如果你不知道什么是**按位异或**,请参见题目下方的提示/说明),$\mathrm{path}\left(a,b\right)$ 表示 $a$ 到 $b$ 的简单路径上的边集。也即 $\mathrm{dis}_{a, b}$ 表示将 $a$ 与 $b$ 的简单路径上所有边写作 $e_1, e_2, e_3, \dots$ 后,求 $w_{e_1} \bigoplus w_{e_2}\bigoplus w_{e_3} \dots$ 的结果。
有一天,小智获得了去参加传智杯的机会,他在前往比赛地的路上想到了一个问题,但他好像不会做,于是他把这个题告诉了你。聪明的同学,你可以帮帮他吗?
题目描述
小智说:「由于我们的国家只有 $n$ 个城市和 $n-1$ 条道路,那么我们的国家就相当于是一棵树。我在想,在我们的国家中,是否有城市满足『到城市 $a$ 的代价和到城市 $b$ 的代价的异或等于 $k$』。好难哦,我想不出来,你能帮帮我吗?」
也就是说,给定城市 $a, b$ 和整数 $k$,请你计算是否存在城市 $t$ 满足 $\mathrm{dis}_{t, a} \bigoplus \mathrm{dis}_{t, b} = k$。
输入格式
无
输出格式
无
说明/提示
### 相关概念解释
「树」:树是一个有 $n$ 个结点和 $n-1$ 条边的无向简单连通图。
「按位异或」:按位异或即 C++、python、java 语言中的 「^」 运算。它是一个二元运算,步骤是将两个数的二进制位按位比较,相同为 $0$,不同为 $1$。例如:$3 \bigoplus 5 = (011)_2 \bigoplus (101)_2 = (110)_2 = 6$。**请注意,这是一个按位运算,不是一个逻辑运算**。
### 样例 1 解释
下图为传智国的地图。
$\forall t \in \{1, 2, 3, 4, 5\}$,都不可能有 $\mathrm{dis} _{t,1} \bigoplus \mathrm{dis}_{t, 2} = 4$,$\mathrm{dis}_{t, 2} \bigoplus \mathrm{dis}_{t, 3} = 12$,于是输出 `No`;
而取 $t = 5$,有 $\mathrm{dis}_{t, 1} \bigoplus \mathrm{dis}_{t, 4} = 10$,于是输出 `Yes`。

### 数据规模与约定
对于所有测试点,保证 $1 < n \leq 5 \times 10^5$,$1 \leq m \leq 5 \times 10^5$,$0 \leq w_i < 2^{64}$。
对于每次询问,保证 $1 \leq a, b \leq n$ 且 $a \neq b$,$0 \leq k < 2^{64}$。