Atcoder Regular Contest 122 D 题解

Description

传送门

Solution

Lemma

若答案不超过 $v$，当且仅当可以将 $a$ 中的数两两配对，使得每一个配对 $(x,y)$ 均满足 $x\oplus y=v$。

Prove

假设已经完成了配对，且 $n$ 个配对分别为 $(a_{x_1},a_{y_1})(a_{x_2},a_{y_2}),\cdots ,(a_{x_n},a_{y_n})$。

$\text{Bob}$ 可以采取下面的策略: 令当前 $\text{Alice}$ 所选择的位置为 $p$，那么 $\text{Bob}$ 就相应地选择与 $p$ 在同一个配对中的位置，从而答案不超过 $v$。

若未能完成配对呢？为方便叙述，令完成的 $n-1$ 组配对分别为 $(a_{x_1},a_{y_1})(a_{x_2},a_{y_2}),\cdots ,(a_{x_{n-1}},a_{y_{n-1}})$，剩下的两个位置为 $x_n$ 与 $y_n$ 且它们不能完成配对。

$\text{Alice}$ 可以采取如下策略: 选择存在于至少一个配对中的 $a_p$。这样，在最后一轮中剩下的两个数必然是 $x_n,y_n$，答案就大于 $v$ 了。

从而，我们证明了，能完成配对是答案不超过 $v$ 的充分必要条件。

---

按位考虑。

令当前考虑到了第 $L$ 位。我们将当前的序列分成两个集合 $S,T$，$S$ 中的元素的第 $L$ 位为 $0$，$T$ 中的元素的第 $L$ 位为 $1$。令这两个集合的大小分别为 $|S|,|T|$，则必然有 $|S|+|T|\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}2)$。

若 $|S|,|T|$ 都是偶数，那么我们可以将 $S$ 中的元素两两配对，再将 $T$ 中的元素两两配对。显然，此时不存在跨越 $S,T$ 的配对，从而答案的第 $L$ 位为 $0$。

若 $|S|,|T|$ 都是奇数，我们依然尽可能地内部配对，但无论怎样，总会在 $S,T$ 中分别遗留下一个数 $u,v$。此时答案的第 $L$ 位为 $1$。

在对第 $x$ 位（最高位）进行考虑过后，我们对于 $S,T$ 分别分治即可，并令 $x:=x-1$。现在关键在于，对于两个集合 $S,T$，如何分别挑出一个数来，使得它们的异或最小。

建立 $\text{Trie}$ 树即可。

总复杂度 $O(n{L}^2)$。