CF2241D.An Alternative Way

You are given two arrays $a$ and $b$, each of length $n$. You are allowed to perform the following operation on array $a$ any number of times (including zero):

1. Choose two indices $l$ and $r$ such that $1 \le l \le r \le n$;
2. For each index $i$ from $l$ to $r$ (both inclusive),
   • Set $a_i := a_i - 1$ if $i - l$ is odd.
   • Set $a_i := a_i + 1$ if $i - l$ is even.

Determine whether you can make the array $a$ equal to the array $b$ by performing the operation any number of times.

给你两个长度均为 $n$ 的数组 $a$ 和 $b$。你可以对数组 $a$ 执行以下操作任意多次（包括零次）：

1. 选择两个下标 $l$ 和 $r$，满足 $1 \le l \le r \le n$；
2. 对每个下标 $i$（从 $l$ 到 $r$，含端点）：
   • 若 $i - l$ 为奇数，则令 $a_i := a_i - 1$；
   • 若 $i - l$ 为偶数，则令 $a_i := a_i + 1$。

判断是否可以通过若干次该操作使数组 $a$ 变为数组 $b$。

The first line contains a single integer $t$ ($1 \le t \le 10^4$) — the number of test cases. Description of each test case follows.

The first line of each test case contains a single integer $n$ ($1 \le n \le 2\cdot10^5$) — the length of the arrays $a$ and $b$.

The second line of each test case contains $n$ integers $a_1, a_2, \ldots, a_n$ ($1 \le a_i \le 10^9$) — the elements of the array $a$.

The third line of each test case contains $n$ integers $b_1, b_2, \ldots, b_n$ ($1 \le b_i \le 10^9$) — the elements of the array $b$.

It is guaranteed that the sum of $n$ over all test cases does not exceed $2\cdot10^5$.

第一行包含一个整数 $t$（$1 \le t \le 10^4$）—— 测试用例的数量。接下来是每个测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 2\cdot10^5$）—— 数组 $a$ 和 $b$ 的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \le a_i \le 10^9$）—— 数组 $a$ 的元素。

每个测试用例的第三行包含 $n$ 个整数 $b_1, b_2, \ldots, b_n$（$1 \le b_i \le 10^9$）—— 数组 $b$ 的元素。

保证所有测试用例的 $n$ 之和不超过 $2\cdot10^5$。

For each test case, print "YES" if you can make array $a$ equal to array $b$ and "NO" otherwise.

You can output "YES" and "NO" in any case (for example, strings "yEs", "yes" and "Yes" will be recognized as a positive response).

对于每个测试用例，如果可以使数组 $a$ 等于数组 $b$，则输出 "YES"；否则输出 "NO"。

你可以以任意大小写形式输出 "YES" 和 "NO"（例如，字符串 "yEs"、"yes" 和 "Yes" 均被视为肯定回答）。

For the first test case, arrays $a$ and $b$ are already equal.

For the second test case, let us choose $l = 2$ and $r = 4$. Now, we update the array $a$ in the following manner:

• For $i = 2$, we have $i - l = 2 - 2 = 0$, which is even. Hence, set $a_2 := a_2 + 1 = 4 + 1 = 5$.
• For $i = 3$, we have $i - l = 3 - 2 = 1$, which is odd. Hence, set $a_3 := a_3 - 1 = 5 - 1 = 4$.
• For $i = 4$, we have $i - l = 4 - 2 = 2$, which is even. Hence, set $a_4 := a_4 + 1 = 2 + 1 = 3$.

Finally, we have array $a = [1, 5, 4, 3]$ and array $b = [1, 5, 4, 3]$.

For the third test case, it can be shown that it is impossible to make array $a$ equal to array $b$.

对于第一个测试用例，数组 $a$ 和 $b$ 已经相等。

对于第二个测试用例，我们选择 $l = 2$ 和 $r = 4$。现在，我们按如下方式更新数组 $a$：

• 对于 $i = 2$，有 $i - l = 2 - 2 = 0$，为偶数。因此，令 $a_2 := a_2 + 1 = 4 + 1 = 5$。
• 对于 $i = 3$，有 $i - l = 3 - 2 = 1$，为奇数。因此，令 $a_3 := a_3 - 1 = 5 - 1 = 4$。
• 对于 $i = 4$，有 $i - l = 4 - 2 = 2$，为偶数。因此，令 $a_4 := a_4 + 1 = 2 + 1 = 3$。

最终，得到数组 $a = [1, 5, 4, 3]$ 和数组 $b = [1, 5, 4, 3]$。

对于第三个测试用例，可以证明无法使数组 $a$ 等于数组 $b$。