最大异或和（tire树）

目录

题目

解决思路：

核心思想

代码详解

运行样例和分析

详细图示

 

---

题目

在给定的 N个整数 A1，A2……AN中选出两个进行 xor（异或）运算，得到的结果最大是多少？

输入格式

第一行输入一个整数 N𝑁。

第二行输入 N𝑁 个整数 A1𝐴1～AN𝐴𝑁。

输出格式

输出一个整数表示答案。

数据范围

1≤N≤1051,
0≤Ai<231

解决思路：

使用字典树（Trie）来求解数组中两个数之间的最大异或值（Maximum XOR of Two Numbers in an Array）。具体来说，通过构建二进制前缀树来有效地查询和计算两个数之间的最大异或值。我们来一步步解释代码，并给出一个详细的运行样例和分析。

核心思想

1. 构建字典树：
   • 将每个数的二进制表示插入到字典树中，每个节点有两个分支，分别表示0和1。
2. 查询最大异或值：
   • 对于数组中的每个数，尝试在字典树中找到一个数，使得与当前数的异或值最大。

代码详解

#include<iostream>
using namespace std;

const int N = 100010, M = 31 * N;
int n;
int a[N];
int son[M][2], idx;

// 插入操作，将数字 x 插入到字典树中
void insert(int x)
{
    int p = 0;
    for(int i = 30; i >= 0; i--)
    {
        int u = x >> i & 1;
        if(!son[p][u]) son[p][u] = ++idx;
        p = son[p][u];
    }
}

// 查询操作，找到和 x 异或结果最大的数
int query(int x)
{
    int p = 0, res = 0;
    for(int i = 30; i >= 0; i--)
    {
        int u = x >> i & 1;
        if(son[p][!u])
        {
            p = son[p][!u];
            res = res * 2 + !u;
        }
        else
        {
            p = son[p][u];
            res = res * 2 + u;
        }
    }
    return res;
}

int main()
{
    scanf("%d", &n);
    for(int i = 0; i < n; i++)
    {
        scanf("%d", &a[i]);
    }

    int res = 0;

     //先插再存
    for(int i = 0; i < n; i++)
    {
        insert(a[i]);
        int t = query(a[i]);
        res = max(res, a[i] ^ t);
    }

    printf("%d\n", res);
    return 0;
}

运行样例和分析

假设输入数组为[3, 10, 5, 25, 2, 8]。

1. 插入3：

   • 二进制：00000000000000000000000000000011
   • 插入过程：沿着字典树插入每一位。

2. 查询3：

   • 尝试找到与3异或最大的数。
   • 因为当前树中只有3，所以最大异或值为0。

3. 插入10：

   • 二进制：00000000000000000000000000001010
   • 插入过程：沿着字典树插入每一位。

4. 查询10：

   • 尝试找到与10异或最大的数。
   • 在字典树中尽量选择与当前位不同的路径来最大化异或值。
   • 结果为3，因为10和3的异或值为00000000000000000000000000001001，值为13。

通过类似的步骤，最终计算得到最大异或值为25 ^ 5 = 28。

详细图示

以下是一个简单的二进制字典树构建和查询示例：

1. 插入3:

   0
   ├── 0
   │   └── 0
   │       └── 0
   │           └── ... (continue with zeros until the last bit)
   └── 1
       └── 1
   
   

2. 插入10:

   0
   ├── 0
   │   ├── 0
   │   │   └── 0
   │   │       └── ... (continue with zeros until the last bit)
   │   └── 1
   │       └── 0
   │           └── 1
   └── 1
       └── 1
   

通过插入和查询构建和遍历字典树，代码能够有效地找到数组中两个数的最大异或值。这种方法比暴力枚举所有可能的对更高效。