P5283异或粽子是什么编程题?
摘要:P5283 [十二省联考 2019] 异或粽子 大意 求前 (k) 大的互不相同的异或和。 思路 首先,我们将其转换一下,求出前缀异或和,(s),$s_i = s_i oplus s_{i - 1} $,这样,对于区间 ([l,
P5283 [十二省联考 2019] 异或粽子
大意
求前 \(k\) 大的互不相同的异或和。
思路
首先,我们将其转换一下,求出前缀异或和,\(s\),$s_i = s_i \oplus s_{i - 1} $,这样,对于区间 \([l, r]\) 的异或和询问就变成了 \(s_r \oplus s_{l - 1}\)。
知道了这个之后,我们的问题现在转化为了,在这 \(n\) 个 \(s\) 里面选择 \(k\) 对,使得其和最大,这个时候,我们要处理的问题是对于 \(s_i\) 来说,如何找到一个 \(s_j\),使得其 \(s_i \oplus s_j\) 的值最大。这个问题十分经典(但是我也刚知道),可以用 Trie 来处理这种动态找最大异或和的问题。
那么如何在 Trie 上维护这个东西呢?我们考虑将每个 \(s_i\) 插入 Trie 里面,那么记录每个节点经过的点的个数,我们一定是希望走 \(op \oplus 1\) 的位置的,但是如果没有 \(op \oplus 1\) 这个位置,就走不了,且,若是左子树的大小不够,也走不了,必须走到 \(sz \ge rk\) 的地方,这个才是对的。于是就类似权值线段树静态查第 \(k\) 大差不多,不过此题我们要处理的是前 \(2k\) 大,因为我们忽略了 \(l \le r\) 的限制。
我们只需要用一个大根堆记录即可,但是每个答案都会以 \(s_i\) 和 \(s_j\) 为基准分别各出现一次,那么最终我们选择的答案需要除以 \(2\)。
