专栏文章

题解:AT_arc173_e [ARC173E] Rearrange and Adjacent XOR

AT_arc173_e题解参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@mindmtag
此快照首次捕获于
2025/12/02 00:41
3 个月前
此快照最后确认于
2025/12/02 00:41
3 个月前
查看原文
单 log 做法。
前面部分就省略了(可以看其他题解),结论是:
设对答案有贡献的集合为 SSSS 合法当且仅当:
  • S|S| 为偶数。
  • n2(mod4)n\equiv2\pmod 4n2n\neq 2Sn|S|\neq n
bi=aia1(i>1)b_i=a_i\oplus a_1(i>1),那么取 bb 的一个子集,其异或的贡献对应 aa 的一个偶数大小的子集,反之亦然。所以问题转化为:
  • n2(mod4)n\equiv2\pmod 4n2n\neq 2 时,求出 bib_i 异或和最大的一个非全集子集。
  • 否则,求出 bib_i 异或最大的一个子集。
第二种情况是简单的线性基板子。对于第一种情况,先求出异或和最大的子集,设异或和为 xx,全集的异或和为 SS,若 x>Sx>S,答案即为 xx
否则需要判断全集是否时唯一一种取到 xx 的方案。如果不是,等价于存在两个异或和相等的子集,即 bib_i 不是线性无关的,可以在把元素插入线性基时判断。如果全集是唯一的的方案,直接求出线性基中的次大值,否则答案就是 xx
复杂度 O(nlogV)O(n\log V)

评论

0 条评论,欢迎与作者交流。

正在加载评论...