4645. 选数异或

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

输入格式

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

第二行包含 nn 个整数 A1,A2,⋅⋅⋅,AnA1,A2,···,An。

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

输出格式

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

数据范围

对于 20%20% 的评测用例，1≤n,m≤1001≤n,m≤100；
对于 40%40% 的评测用例，1≤n,m≤10001≤n,m≤1000；
对于所有评测用例，1≤n,m≤1000001≤n,m≤100000，0≤x<2200≤x<220，1≤li≤ri≤n1≤li≤ri≤n，0≤Ai<2200≤Ai<220。

输入样例：

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

输出样例：

yes
no
yes
no

样例解释

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

必要异或运算性质：
归零律：a⊕a=0a⊕a=0
结合律: a⊕b⊕c=a⊕(b⊕c)=(a⊕b)⊕ca⊕b⊕c=a⊕(b⊕c)=(a⊕b)⊕c
交换律：a⊕b=b⊕aa⊕b=b⊕a
因此, a⊕b=x⟺a⊕b⊕x=0⟺a⊕x=ba⊕b=x⟺a⊕b⊕x=0⟺a⊕x=b
因此对于一个数a， 与a配对的数可以直接计算得出， 即为a⊕xa⊕x
递推优化
不妨将满足题意的两个数a, b简称为数对， a、b中较小的下标叫下界.
定义dp[i]为[1, i]区间中所有数对中的最大下界
如样例1 2 3 4, 只有2 3的异或为1.
对于区间[1, 2]它不包含数对{2， 3}所以dp[2]应该为一个无效值， 取0
对于区间[1, 3] [1, 4]， 都仅且包含数对{2, 3}, 所以dp[3] = dp[4] = 2

dp[r]的实际意义想必大家都看出来了， 就是当查询区间[l, r], 右边界为r时， 至少包含一个数对时的左边界最大值, 所以如果l小于等于这个左边界最大值， [l, r]区间内就至少有一个数对。

代码实现
用哈希表last[i]记录值i最后一次出现时的位置下标， dp[i]的求法是： 若ai⊕xai⊕x最后一次出现的下标要大于dp[i-1]， 则dp[i] = last[ai⊕x]last[ai⊕x], 否则dp[i] = dp[i-1]

即
dp[i]=max(dp[i−1],last[ai⊕x])
dp[i]=max(dp[i−1],last[ai⊕x])
时间复杂度: O(n)

#include<iostream>
#include <unordered_map>
using namespace std;
const int N=1e5+10;
int dp[N];
int n,m,x;

int main()
{
    unordered_map<int,int>last;
    cin>>n>>m>>x;
    for(int i=1;i<=n;i++){
        int a;
        cin>>a;
        last[a]=i;
        dp[i]=max(dp[i-1],last[x^a]);
    }
    while (m -- ){
        int l,r;
        cin>>l>>r;
        if(dp[r]>=l)puts("yes");
        else puts("no");
    }
    return 0;
}