题目描述

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

输入格式

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

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

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

输出格式

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

样例输入

4 4 1
1 2 3 4
1 4
1 2
2 3
3 3

样例输出

yes
no
yes
no

提示

显然整个数列中只有 2, 3 的异或为 1。

对于 20% 的评测用例，1 ≤ n, m ≤ 100；

对于 40% 的评测用例，1 ≤ n, m ≤ 1000；

对于所有评测用例，1 ≤ n, m ≤ 100000 ，0 ≤ x < 220 ，1 ≤ li ≤ ri ≤ n ， 0 ≤ Ai < 220。 

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=1e6+10;
//a^b=x-->a^b^x=0-->a^x=b 也就是说只需要从 l~r中找 a[i]^x的值在l~r中
int position[N];//记录position 记录在1~i中的最大下标
int a[N];
int dp[N];//定义dp[i]为[1, i]区间中所有数对中的最大下界
signed main()
{
	int n,m,x;scanf("%d%d%d",&n,&m,&x);
	memset(dp,-1,sizeof dp);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
	}
	for(int i=1;i<=n;i++)
	{
		// 随着存入的每个数字，会不断的更新重复数字的最后下标位置
        // 若能找到 x ^ a[i] 的值，并且 它的下标 大于 dp[i - 1] 那么肯定 最后 一个 x ^ a[i] 
        // 对应的下标就是 最大的容忍程度！要是找不到，显然 还跟 dp[i - 1] 的值一样。
		dp[i]=max(dp[i-1],position[a[i]^x]);
		position[a[i]]=i;
	}
	while(m--)
    {
    	int l,r;scanf("%d%d",&l,&r);
    	if(dp[r]>=l&&l!=r) printf("yes\n");
    	else printf("no\n");
	}
	return 0;
}