选数异或(思维+异或运算+dp+预处理)

选数异或

异或运算

相同位为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;
}