题目理解

我们有一个数组 $a$，长度 $n$。
对每个下标 $i$（$1 \le i < n$），可以最多执行一次操作：
将 $a_i$ 赋值为 $a_i \oplus a_{i+1}$（$\oplus$ 表示按位异或）。
目标：判断是否能将 $a$ 变成目标数组 $b$。

关键观察

每个位置 $i$ 的值最多改变一次。
因为操作只允许对每个 $i$ 最多执行一次，且操作只修改 $a_i$ 的值（不修改 $a_{i+1}$）。
因此，在整个过程中：

• 要么 $a_i$ 保持原来的值
• 要么 $a_i$ 在某一时刻被赋值为 $a_i \oplus a_{i+1}$（原始值或 $b_{i+1}$ 取决于操作顺序）

但注意：$a_{i+1}$ 也可能被之前的操作改变（如果 $i+1$ 位置被操作过）。
所以更准确地说：
当考虑位置 $i$ 时，$a_{i+1}$ 的值可能是原始 $a_{i+1}$，也可能是 $b_{i+1}$（因为 $i+1$ 的操作只可能发生在 $i$ 之前或之后）。

从后向前贪心

因为操作只影响 $a_i$，不影响 $a_{i+1}$（$a_{i+1}$ 只被它自己的操作影响），我们可以从后向前处理。

固定最后一个位置：
$a_n$ 永远不会被任何操作修改（因为没有 $a_{n+1}$ 与其做异或）。
因此 必须 $a_n = b_n$，否则直接不可能。

考虑位置 $i$（从 $n-1$ 向下到 $1$）：

我们已知 $a_{i+1}$ 的最终值就是 $b_{i+1}$（因为后面的已经处理好了）。
现在 $a_i$ 的最终值要变成 $b_i$。
$a_i$ 可能的情况：

1. 没有对 $i$ 执行操作 $\Rightarrow$ 必须 $a_i = b_i$。
2. 对 $i$ 执行了操作，此时 $a_i$ 变为 $a_i \oplus a_{i+1}$。
   但 $a_{i+1}$ 在操作时的值可能是原始值 $a_{i+1}$（如果 $i+1$ 还没被操作）或 $b_{i+1}$（如果 $i+1$ 已经被操作过）。
   所以有两种可能：
   • 如果 $i+1$ 没有在 $i$ 之前被操作，那么 $a_i$ 变成 $a_i \oplus a_{i+1} = b_i$。
   • 如果 $i+1$ 在 $i$ 之前被操作了，那么 $a_i$ 变成 $a_i \oplus b_{i+1} = b_i$。

因此，位置 $i$ 可行的条件为（三者至少一个成立）：

• $a_i = b_i$（不操作）
• $a_i \oplus a_{i+1} = b_i$（先操作 $i$，后操作 $i+1$ 或不操作 $i+1$）
• $a_i \oplus b_{i+1} = b_i$（先操作 $i+1$，再操作 $i$）

依赖关系与可行性

这三种情况本质上定义了 $i$ 和 $i+1$ 的操作顺序依赖：

• 如果 $a_i = b_i$，则 $i$ 不操作，无依赖。
• 如果 $a_i \oplus a_{i+1} = b_i$，则必须 先操作 $i$（若 $i+1$ 也会被操作，必须晚于 $i$）。
• 如果 $a_i \oplus b_{i+1} = b_i$，则必须 先操作 $i+1$（若两者都操作，必须早于 $i$）。

注意：$a_{i+1}$ 可能被操作，也可能不被操作。
由于所有依赖都是相邻点之间的，这种依赖图一定无环（因为边只会从 $i$ 指向 $i+1$ 或反向）。
因此只要每个 $i$ 满足至少一个条件，就存在一种全局顺序，使得所有要求满足。

最终算法

1. 检查 $a_n \ne b_n$，若不等则输出 "NO"。
2. 从 $i = n-1$ 向下到 $1$：
   • 检查以下三个条件是否至少一个为真：
     • $a_i = b_i$
     • $a_i \oplus a_{i+1} = b_i$
     • $a_i \oplus b_{i+1} = b_i$
   • 若都不成立，输出 "NO"。
3. 全部通过则输出 "YES"。

复杂度 $O(n)$ 每个测试用例。

示例验证

以第一个样例：

• $a = [1,2,3,4,5], b = [3,2,7,1,5]$
• $i=4: a_4=4, b_4=1, a_5=5, b_5=5$
  检查：$4 \ne 1$，$4\oplus5=1$ ✓ 通过
• $i=3: a_3=3, b_3=7, a_4=4, b_4=1$
  检查：$3\ne7$，$3\oplus4=7$ ✓ 通过
• $i=2: a_2=2, b_2=2$ ✓ 通过
• $i=1: a_1=1, b_1=3, a_2=2, b_2=2$
  检查：$1\ne3$，$1\oplus2=3$ ✓ 通过
• 结果 "YES"

C++ 实现

#include <bits/stdc++.h>
using namespace std;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    int t;
    cin >> t;
    while (t--) {
        int n;
        cin >> n;
        vector<int> a(n), b(n);
        for (int i = 0; i < n; i++) cin >> a[i];
        for (int i = 0; i < n; i++) cin >> b[i];
        
        bool ok = true;
        if (a.back() != b.back()) {
            ok = false;
        }
        
        for (int i = n - 2; i >= 0 && ok; i--) {
            if (a[i] == b[i]) continue;
            if ((a[i] ^ a[i + 1]) == b[i]) continue;
            if ((a[i] ^ b[i + 1]) == b[i]) continue;
            ok = false;
        }
        
        cout << (ok ? "YES" : "NO") << '\n';
    }
    
    return 0;
}