给定一个长度为 n 的数列 A1,A2,···,An 和一个非负整数 x，给定 m 次查询，每次询问能否从某个区间 [l,r] 中选择两个下标不同的数使得他们的异或等于 x。

输入格式
输入的第一行包含三个整数 n,m,x。

第二行包含 n 个整数 A1,A2,···,An。

接下来 m 行，每行包含两个整数 li,ri 表示询问区间 [li,ri]。

输出格式
对于每个询问，如果该区间内存在两个数的异或为 x 则输出 yes，否则输出 no。

数据范围
对于 20% 的评测用例，1≤n,m≤100；
对于 40% 的评测用例，1≤n,m≤1000；
对于所有评测用例，1≤n,m≤100000，0≤x<220，1≤li≤ri≤n，0≤Ai<220。

输入样例：
4 4 1
1 2 3 4
1 4
1 2
2 3
3 3
输出样例：
yes
no
yes
no

思路 ：

• 异或的性质：
  归零律：a ⊕ a = 0
a ⊕ 0 = a
  结合律：a ⊕ b ⊕ c = a ⊕ (b ⊕ c) = (a ⊕ b) ⊕ c
  交换律：a ⊕ b = b ⊕ a
  因此，a ⊕ b = c ⟺ a ⊕ c = b
• 不妨将满足题意的两个数a，b称为数对，a、b中较小的下标称为下界
• 定义dp[i]为[1, i]中所有数对中最大的下界
  如样例1 2 3 4，只有2 3的异或为1
  对于区间[1, 2]不包含数对2 3，因此dp[2] = 0；区间[1, 3]和[1, 4]对应的dp[3]和dp[4]均为2
• 已知dp[i]，当查询区间[l, r]时，如果[l, r]区间至少包含一个数对的下界大于等于l，即最大的下界大于等于l，则为yes。dp[i]=max(dp[i−1],last[a[i]xorx])dp[i]=max(dp[i-1], last[a[i] xor x])dp[i]=max(dp[i−1],last[a[i]xorx])
• 注意选择两个下标不同的数，因此先更新dp再更新last

#include 
#include 
using namespace std;
const int N = 1e5 + 10;int n, m, x;
int dp[N];
unordered_map last;int main() {cin >> n >> m >> x;for (int i = 1, a; i <= n && cin >> a; ++ i) {dp[i] = max(dp[i - 1], last[a ^ x]);last[a] = i;}while (m -- ) {int l, r;cin >> l >> r;cout << (dp[r] >= l ? "yes" : "no") << endl;}
}