(蓝桥真题)选数异或（思维+动态规划）

样例输入： 

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

样例输出：

yes
no
yes
no

分析：每次询问给定一个区间[l,r]，问该区间内是否存在两个不同的下标使得这两个下标对应的数的异或值为x。其实我们只需要用一个f[i]存储以i作为区间右边界且满足题意的最大区间左边界即可。那么我们每次判断一个区间是否满足题意就只需要判断f[r]与l的关系即可，如果f[r]>=l那么这个区间就是满足题意的，否则就是不满足题意的。那么这个数组怎么来进行更新呢？首先假如当前遍历到第i个数，那么以i作为右区间找寻左区间有两种情况，第一种是第i个数不参异或运算，那么左区间应该就是第i-1个数作为右区间边界的对应最大左区间边界，还有一种情况就是第i个数参与异或运算，那么区间的左边界就应该是第i个数与x的异或值上一次出现的位置，这两种情况求出来的区间左边界都是可以的，取一个最大值即可。所以利用这点性质我们就可以完成f数组的动态转移，然后对于每组询问直接O(1)判断即可。

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<vector>
#include<queue>
using namespace std;
const int N=2e6+10;
int f[N];//f[i]=j表示j是满足以i作为区间右边界满足题意的最大区间左边界 
int last[N];//last[i]记录i上次出现的位置 
int main()
{
	int n,m,x;
	cin>>n>>m>>x;
	for(int i=1;i<=n;i++)
	{
		int t;
		scanf("%d",&t);
		f[i]=max(f[i-1],last[t^x]);
		last[t]=i;
	}
	while(m--)
	{
		int l,r;
		scanf("%d%d",&l,&r);
		if(f[r]>=l) puts("yes");
		else puts("no");
	}
	return 0; 
}