题解：CF1968F（Equal XOR Segments）

题目翻译：定义一个序列是好，当且仅当可以将其分成大于 $1$ 份，使得每个部分的异或和相等。现在给定一个长度为 $n$ 的序列 $a$，以及 $q$ 次查询，每次查询中，询问序列 $a$ 的第 $l$ 到 $r$ 位是不是好的。（$n\le 2\cdot 10^5$ 并且 $q\le 2\cdot 10^5$）
第一步，要缩小范围。我们不难发现这个段数要么是 $2$，要么是 $3$，如果有多于 $4$ 段，那么将其中任意三段合并，根据异或的性质可以证明对最终结果没有影响，这样一直合并，一直将段数减少 $2$，早晚能变成 $2$ 或 $3$ 段。

第二步，考虑如何求答案。如果询问道一段区间异或起来（用前缀异或和 $s$ 维护）为 $0$，那么一定可以分成两段；否则也就是难点——分成三段的情况。那么就相当于找到两个数 $x$ 和 $y$（$l<x<y<r$）使得 $s_x⨁s_{l-1}=s_y⨁s_x=s_r⨁s_y$。这个式子就等价于找到 $s_y=s_{l-1}$ 以及 $s_x=s_r$。那么我们用一个 map<int, vector<int>> 存储某一个数在 $s$ 中出现在哪些位置，然后用 upper_bound 和 lower_bound 二分求出能否找到合理的 $x$ 和 $y$ 并且保证 $x<y$。比如说，我们在等于 $s_{l-1}$ 的 vector 里面找到小于 $r$ 最大的 $y$，在等于 $s_r$ 的 vector 里面找到大于 $l$ 里最小的 $x$，判断，如果 $l<x<y<r$ 就可以，否则就不行。

具体见代码。

#include <bits/stdc++.h>
#define N 220000
using namespace std;
int t, n, q, a[N], l, r;
int s[N];
map<int, set<int>> id;
int main() {scanf("%d", &t);while (t--) {id.clear();scanf("%d%d", &n, &q);for (int i = 1; i <= n; i++) {scanf("%d", &a[i]);s[i] = s[i - 1] ^ a[i];if (id.find(s[i]) == id.end()) {id[s[i]] = {i};} else {id[s[i]].insert(i);}}for (int i = 1; i <= q; i++) {scanf("%d%d", &l, &r);if ((s[r] ^ s[l - 1]) == 0) {printf("Yes\n");} else {auto u = id[s[l - 1]].upper_bound(r - 1);if (u == id[s[l - 1]].begin()) {printf("No\n");} else {u--;auto v = id[s[r]].lower_bound(l);if (v != id[s[r]].end() && l <= *v && *v < *u && *u < r) {printf("Yes\n");} else {printf("No\n");}}}}}return 0;
}