AT_arc223_e.Yin-Yang Two Bits Insertion

You are given integer sequences $A=(A_1,A_2,\dots,A_N)$ and $B=(B_1,B_2,\dots,B_M)$ of length $2$ or more, consisting of $0$s and $1$s.
You can perform the following operation on $A$ any number of times:

• Choose an integer $i$ satisfying $1 \leq i \leq |A|-1$.
• Insert $1-A_i$ and $1-A_{i+1}$ in this order between $A_i$ and $A_{i+1}$.

Determine whether it is possible to make $A$ equal to $B$.

Solve $T$ test cases per input.

给你两个长度至少为 $2$ 的由 $0$ 和 $1$ 构成的整数序列 $A=(A_1,A_2,\dots,A_N)$ 和 $B=(B_1,B_2,\dots,B_M)$。
你可以在 $A$ 上执行以下操作任意多次：

• 选择一个满足 $1 \leq i \leq |A|-1$ 的整数 $i$；
• 在 $A_i$ 和 $A_{i+1}$ 之间按顺序插入 $1-A_i$ 和 $1-A_{i+1}$。

判断是否可能通过若干次操作使 $A$ 变为 $B$。

每组输入包含 $T$ 个测试用例，需全部求解。

The input is given from Standard Input in the following format:

$T$
$\mathrm{case}_1$
$\mathrm{case}_2$
$\vdots$
$\mathrm{case}_T$

Each test case $\mathrm{case}_t$ is given in the following format:

$N$ $M$
$A_1$ $A_2$ $\dots$ $A_N$
$B_1$ $B_2$ $\dots$ $B_M$

输入从标准输入中按以下格式给出：

$T$
$\mathrm{case}_1$
$\mathrm{case}_2$
$\vdots$
$\mathrm{case}_T$

每个测试用例 $\mathrm{case}_t$ 按以下格式给出：

$N$ $M$
$A_1$ $A_2$ $\dots$ $A_N$
$B_1$ $B_2$ $\dots$ $B_M$

Output the answers over a total of $T$ lines. The $t$-th line should contain Yes if it is possible to make $A$ equal to $B$ for the $t$-th test case, and No otherwise.

在总共 $T$ 行中输出答案。第 $t$ 行应包含 Yes（如果第 $t$ 个测试用例中可以使 $A$ 等于 $B$），否则包含 No。

Sample 1 Explanation:
For the first test case, initially $A=(0,1,1)$.
First, choosing $i=2$ gives $A=(0,1,0,0,1)$.
Next, choosing $i=3$ gives $A=(0,1,0,1,1,0,1)$.

Constraints

• $1 \leq T \leq 10^5$
• $2 \leq N \leq M \leq 2 \times 10^5$
• $A_i, B_i \in {0,1}$
• The sum of $N+M$ over all test cases is at most $4 \times 10^5$.
• All input values are integers.

样例 1 解释：
对于第一个测试用例，初始时 $A=(0,1,1)$。
首先，选择 $i=2$，得到 $A=(0,1,0,0,1)$。
接着，选择 $i=3$，得到 $A=(0,1,0,1,1,0,1)$。

约束条件

• $1 \leq T \leq 10^5$
• $2 \leq N \leq M \leq 2 \times 10^5$
• $A_i, B_i \in \{0,1\}$
• 所有测试用例中 $N+M$ 的总和不超过 $4 \times 10^5$。
• 所有输入值均为整数。