AcWing 143. 最大异或对

题目来源：AcWing 143. 最大异或对

一、题目描述

在给定的 $N$ 个整数 $A_1，A_2\dots \dots A_N$ 中选出两个进行 $xor$（异或）运算，得到的结果最大是多少？

输入格式
第一行输入一个整数 $N$。

第二行输入 $N$ 个整数 $A_1～A_N$。

输出格式
输出一个整数表示答案。

数据范围
$1\le N\le 10^5,$
$0\le A_i<2^{31}$

输入样例：

3
1 2 3

输出样例：

3

二、算法思路

暴力做法：先固定一个 $a_i$，从 $a_1$~$a_n$ 中选出一个 $a_j$，使得异或结果最大。二重循环，对于 $10^5$ 的数据肯定超时。

// 超时警告
#include <iostream>
using namespace std;

const int N = 1e5 + 10;
int a[N], n;

int main()
{
	cin >> n;
	for (int i = 0; i < n; i++) cin >> a[i];
	
	int res = 0;
	for (int i = 0; i < n; i++) 
		for (int j = 0; j < n; j++)
			res = max(res, a[i] ^ a[j]);
	cout << res << endl;
	return 0;
}

优化：当我们 $a_i$ 确定以后，如何从所有数中最快的选出 $a_j$，使得异或值最大呢？
假设现在存在一个 $a_i$ = $11001100101011...11001$，一共是31位。如果我们想要让异或值最大，那么我们就要从最高位开始（从做往右），先看看与当前位相反的数存不存在。比如 $a_i$ 的第31位是1，那么我就要看是否存在一个数的第31位是0？如果存在，那就走0这个分支，继续看第30位是否存在0的分支…；如果不存在，那么第31位就走1的分支，再看第30位是否存在0的分支…以此类推，类似于贪心，从31位一直到第1位，都采取这种策略，最后找到的数 $a_j$ 与 $a_i$异或以后一定是最大值。

这种类似于二分的试探路径，如果旋转90度，那么就可以联想到使用Trie字典树来实现存储和查询，如下图，绿色路径是最优的搜索路径（如果存在前4位为0011这样的 $a_j$ 的话）。

三、代码

#include <iostream>
using namespace std;

const int N = 1e5 + 10, M = 31 * N;
// 注意son和cnt的结点个数=所有输入的符号总数=数的数量*31
int son[M][2], idx;
int a[N];
int n;

// 将每一个整数看成一个31位的二进制数
void insert(int x)
{
    int p = 0;
    // i >= 0 等价于 i != -1 等价于 ~i
    for (int i = 30; ~i; i--)
    {
        int &u = son[p][x >> i & 1];
        if (!u) u = ++idx;
        p = u;
    }
}

int query(int x)
{
    int res = 0, p = 0;
    for (int i = 30; ~i; i--)
    {
        int s = x >> i & 1;
        // 首先先往不同的分支走，如不不存在再往相同的分支走
        if (son[p][!s])
        {
            res += 1 << i;
            p = son[p][!s];
        }
        else p = son[p][s];  // res += 0 << i; // 直接省略
    }
    return res;
}

int main()
{
    cin >> n;
    
    for (int i = 0; i < n; i++)
    {
        cin >> a[i];
        insert(a[i]);
    }
    
    int res = 0;
    for (int i = 0; i < n; i++) res = max(res, query(a[i]));
    
    cout << res << endl;
    
    return 0;
}