388535 (Hard Version) （字典树）

388535 (Hard Version)

[Link](Problem - D2 - Codeforces)

题意

给你一个$[l,r]$的排列$p$，设$a_i=p_i⨁x$，现在给你$a$数组和$[l,r]$区间，问你$x$是多少$?$

思路

​ 涉及异或因此从二进制来考虑，我们知道$a⨁b=b⨁a,a⨁a=0$。因为$[l,r]$任意两个数不同所以$a$中的任意两个数也均不同，假设$a\ne b,a\oplus x=b\oplus x，有a\oplus x\oplus b\oplus x=0，则a\oplus b=0\to a=b$，因此$a$中任意两数不同。

​ 考虑将其还原，即$p_i\oplus x\oplus x=p_i$，因此枚举$x$，让每个$x$对$a_i$中的每个数$\oplus$，如果可以复原即可，显然复杂度过高，因为每个数均不同，所以我们只需要满足$max(x\oplus a_i)==r,min(x\oplus a_i)==l$即可(因为还原后最大为$r$最小为$l$且各不相同所以一定是成立的)，这个可以用字典树来做，直接枚举$x$复杂度过高，可以枚举$a_i\oplus l$，因为一定存在某个$a_i=l\oplus x$。

Code

#include <bits/stdc++.h>
#define x first
#define y second
#define debug(x) cout<<#x<<":"<<x<<endl;
using namespace std;
typedef long double ld;
typedef long long LL;
typedef pair<int, int> PII;
typedef pair<double, double> PDD;
typedef unsigned long long ULL;
const int N = 1e6 + 10, M = 2 * N, INF = 0x3f3f3f3f, mod = 1e9 + 7;
const double eps = 1e-8, pi = acos(-1), inf = 1e20;
int dx[] = {-1, 0, 1, 0}, dy[] = {0, 1, 0, -1};
int h[N], e[M], ne[M], w[M], idx;
void add(int a, int b, int v = 0) {
    e[idx] = b, w[idx] = v, ne[idx] = h[a], h[a] = idx ++;
}
int n, m, k;
int a[N];
int tr[N][2];
int num[N];
void init() {
    idx = 0;
    tr[0][0] = tr[0][1] = 0;
}
void insert(int x) {
    int p = 0;
    for (int i = 17; i >= 0; i --) {
        int u = x >> i & 1;
        if (!tr[p][u]) tr[p][u] = ++ idx;        
        p = tr[p][u];
    }    
}
int query_mx(int x) {
    int p = 0, res = 0;
    for (int i = 17; i >= 0; i --) {
        int s = x >> i & 1;
        if (tr[p][!s]) {
            res += 1 << i;
            p = tr[p][!s];
        }
        else p = tr[p][s];
    }
    return res;
}
int query_mn(int x) {
    int p = 0, res = 0;
    for (int i = 17; i >= 0; i --) {
        int s = x >> i & 1;
        if (tr[p][s]) p = tr[p][s];        
        else p = tr[p][!s], res += 1 << i;
    }
    return res;
}
int main() {
    ios::sync_with_stdio(false), cin.tie(0);
    int T;
    cin >> T;
    while (T -- ) {
        int l, r;
        cin >> l >> r;
        for (int i = 0; i <= idx; i ++)
            tr[i][0] = tr[i][1] = 0;
        idx = 0;
        for (int i = l; i <= r; i ++) {
            cin >> a[i];
            insert(a[i]);
        }

        int res = 0;
        for (int i = l; i <= r; i ++) {
            int x = a[i] ^ l;
            if (query_mx(x) == r && query_mn(x) == l) {
                res = x;
                break;
            }
        }
        
        cout << res << '\n';
    }
    return 0;
}