给定一个长度为 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
样例解释
显然整个数列中只有 2,3 的异或为 1。
假设我们的数对的形式是这样的(a,b),也就是说a^b=x,然后我们就关注b
然后在我们的数轴上,想要满足我们题目的条件的话,我们的b必须在L和R之间才有可能满足条件。
这时我们不妨就开辟一个数组group,其中每一个位置i都是记录当前i位置左侧的最近的满足条件(a^b=x)的那组数对中a的值。
也就是我们找到了我们动归的方程:group[i]=max(group[i-1],b^x)
上面式子中的b^x也就是a
但是我们要并不知道b^x存不存在于我们传入的数组中,所以我们就需要再创建一个数组last,用来记录我们每一次传入的元素的下标的位置
比方说我们传入的数据是2,10,23,45
那么我们的last数组中存的就是其每一个数据上一次出现的索引位置
last[2]=1
last[10]=2
last[23]=3
last[45]=4
这样我们就可以进行判断了
#include<iostream>
#include<vector>
using namespace std;
const int N=100010;
const int M=(1<<20)+10;
int n,m,x;
//用于村塾这个数上一次出现的位置
vector<int> last(M,0);
//开辟一个动态规划的数组
vector<int> group(N,0);
int main()
{
cin>>n>>m>>x;
//这个n是我们的传入的整数的个数
for(int i=1;i<=n;i++)
{
//接收输入的数
int number;
cin>>number;
//group[i]也就是我们需要找到一个距离当前位置最近的一个数对
//的左边的那一个
//group[i-1]是我们前一个数之前满足条件的数对
//last[number^x]是我们当前这个数的匹配对象上一次出现在我们数组当中的位置
group[i]=max(group[i-1],last[number^x]);
//标记我们当前的number最后一次出现在我们数组的第i个位置。
last[number]=i;
}
while(m--)
{
int l,r;
cin>>l>>r;
if(group[r]>=l)
{
cout<<"yes"<<endl;
}else
{
cout<<"no"<<endl;
}
}
return 0;
}