CF1611E1 Escape The Maze (easy version)

与 E2 唯一的区别在于题目的问题。 Vlad 用 $n$ 个房间和 $n-1$ 条双向走廊建造了一个迷宫。从任意房间 $u$ 出发，都可以通过一系列走廊到达任意其他房间 $v$。因此，这个房间系统构成了一棵无向树。 Vlad 邀请了 $k$ 个朋友来和他一起玩游戏。 Vlad 从房间 $1$ 开始游戏，如果他能到达一个除了 $1$ 号房间以外、且恰好只有一条走廊通向它的房间（即叶子房间），他就获胜。 朋友们被安置在迷宫中：编号为 $i$ 的朋友在房间 $x_i$，且没有两个朋友在同一个房间（即对于所有 $i \neq j$，都有 $x_i \neq x_j$）。如果在 Vlad 获胜之前，任意一个朋友在任意房间或走廊中遇到 Vlad，则朋友们获胜。 每单位时间，游戏中的每个参与者都可以通过一条走廊移动一次。所有参与者同时移动。参与者也可以选择不移动。每个房间可以同时容纳所有参与者。 朋友们知道迷宫的结构，并且会尽力获胜。Vlad 有点担心他们的热情。请判断 Vlad 是否能够保证获胜（即无论朋友们如何行动，Vlad 都能获胜）。 换句话说，判断是否存在 Vlad 的一系列移动方式，使得无论朋友们如何行动，Vlad 都能获胜。

输入的第一行包含一个整数 $t$（$1 \le t \le 10^4$），表示测试用例的数量。每个测试用例前有一个空行。 每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \le k < n \le 2 \cdot 10^5$），分别表示房间数和朋友数。 测试用例的下一行包含 $k$ 个整数 $x_1, x_2, \dots, x_k$（$2 \le x_i \le n$），表示朋友所在的房间编号。所有 $x_i$ 互不相同。 接下来的 $n-1$ 行，每行包含两个整数 $v_j$ 和 $u_j$（$1 \le u_j, v_j \le n$），表示第 $j$ 条走廊连接的两个房间编号。所有走廊都是双向的。任意两个房间之间都可以通过走廊连通。 保证所有测试用例中 $n$ 的总和不超过 $2 \cdot 10^5$。

输出 $t$ 行，每行对应一个测试用例的答案。如果 Vlad 能保证获胜，输出 "YES"；否则输出 "NO"。 你可以用任意大小写输出答案（例如 "yEs"、"yes"、"Yes" 和 "YES" 都会被识别为正解）。

在第一个测试用例中，无论朋友们采取什么策略，Vlad 都可以通过前往房间 $4$ 获胜。游戏过程可能如下：  Vlad 和朋友们的初始位置。Vlad 用绿色标记，朋友们用红色标记。  一单位时间后的各自位置。  游戏结束时的情况。注意，如果 Vlad 试图前往房间 $8$ 的出口，则房间 $3$ 的朋友会抓住他。 由 ChatGPT 4.1 翻译