异或运算
相同位为0,不同为1 eg:2^4=6 (010 ^ 100=110)
性质 a^b=x —> a=x ^ b —> b=x ^ a
解题思路
由于每次查询给出一个区间[L,R] 询问这个区间是否存在任意两个数a,b使得a^b=x,我们通过预处理出每一个右边界对应最近的左边界,使得这个区间满足存在任意a,b使得 a ^ b=x,所以根据给出的左边界,判断这个左边界是否包含我们预处理出来的左边界,如果给出的L小于我们预处理的L,那么这个区间合法,如果大于我们预处理的L,那么这个区间不合法。
如何预处理出每个R对应的最近左边界呢?
我们通过dp的方式处理,首先需要一个数组last,记录每个数字出现的位置,也就是last[a]=i,i为a的下标,那么我们可以通过如下状态转移方程:
maxL[i]=max(maxL[i-1],last[a^x])
我们可以知道每一次的R要么继承上一个R-1的最大左边界,要么就是他的a^x对应的b的下标存在,我们选择这两个中的最大值即可。
#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N=(1<<20)+10;
int n,m;
int last[N],maxL[N];
int main(int argc, char** argv) {
int x,a;
cin>>n>>m>>x;
for(int i=1;i<=n;i++){
cin>>a;
maxL[i]=max(maxL[i-1],last[a^x]);//要么继承r-1的最大左侧区间下标
//要么求出来a^x的值的下标是否比r-1对应的l更靠右侧
last[a]=i;//记录当前值的下标(即使有重复,那么重复的下标更靠近右侧)
}
for(int i=1;i<=m;i++){
int l,r;cin>>l>>r;
if(maxL[r]>=l)cout<<"yes"<<endl;//r对应的合法左侧下标大于给出的l那么就合法
else cout<<"no"<<endl;
}
return 0;
}