Solution Set - “卷起击碎定论的漩涡”
- 0.「CF 1788F」XOR, Tree, and Queries
- 1.「CF 1815F」OH NO1 (-2-3-4)
- 2.「CF 1787F」Inverse Transformation
- 3.「CF 1797F」Li Hua and Path
- 4.「CF 1815B」Sum Graph
- 5.「AGC 022C」Remainder Game
- 6.「CTT 2021」「洛谷 P8986」基因编辑
- 7.「CTT 2021」「洛谷 P8985」魔塔 OL ⭐
- 8.「CF 1605F」PalindORme ⭐
- 9.「CTT 2021」「洛谷 P8993」算术
- 10.「CTT 2021」「洛谷 P8991」出题高手
- 11.「IOI 2019」「洛谷 P5812」天桥 ⭐
- 12.「AGC 022F」Checkers ⭐
- 13.「ABC 299Ex」Dice Sum Infinity
- 14.「CTT 2021」「洛谷 P8994」经典游戏
- 15.「CF 1821F」Timber
0.「CF 1788F」XOR, Tree, and Queries
- Link & Submission.
- 「A.构造」
树上路径的自由度太大了, 我们的首要目标是降低限制条件的自由度. 方法自然是 . 记 , 最小化的目标也能描述为 . 到此, 我们仅需构造这样的 , 使得:
- ;
- .
分 bit 构造, 并查集描述相等或不等关系. 注意我们可以把一个集合内的所有 bit 取反, 若取反后 改变, 那么可以用这个集合调整该 bit, 让其一定不对答案贡献. 否则每个集合随便选一种安排即可. 复杂度 .
1.「CF 1815F」OH NO1 (-2-3-4)
- Link & Submission.
- 「A.构造」
嗯嗯嗯? *3500?
考虑这样一个问题: 给定无向图 和任意初始权 , 对于每条边, 允许将其恰一端点 , 构造使得所有边两端的点权不同的方案. 这个问题挺简单, 只需要不断取出最小的 , 将此时以 为端点的未确定的边的 贡献向另一端即可.
由于这一迭代过程是偏序的, 所以任意一个三角形在定向后都不是环. 换句话说, 一个三角形的贡献一定是 的排列. 我们可以在原始边上构造 的排列来做到任意一种 的排列的贡献, 这样就规约到上一个问题了.
用桶维护取出最小值的过程可以做到 . 这种算法只会用到 三种边权.
2.「CF 1787F」Inverse Transformation
- Link & Submission.
- 「A.构造」
用置换环描述排列, 那么 的结果就是 沿着有向边跳 步的位置. 研究从 到 的变化过程: 对于一个置换环, 若长度为奇数, 则变换后的置换环涉及的元素集合仍然相同, 不会改变; 若长度为偶数, 置换环的元素会根据位置奇偶性被划分为两个子环. 那么 倒推 , 就只需要将等大的环合并. 注意原始环长为奇数的置换环应该尽量多地合并, 以最小化 的置换环数. 可以做到 .
还是补叙一下: 需要最小化的式子显然等价于排列置换环数.
3.「CF 1797F」Li Hua and Path
- Link & Submission.
- 「A.树论-Kruskal 重构树」
听 Ruanap 在痛苦卡 的常所以跑来写, 单 写过之后 Ruanap 还在卡常. (笑
"恰好满足一个条件", 容斥嘛. 若只要求 是路径最小值, 合法路径数量就是小根 Kruskal 重构数的子树大小和. 要求 是路径最大值同理. 接下来需要减去 是最大值, 是最小值的路径 , 既然我们已经建出 KT 了, 不妨也从 KT 的角度思考. 非法路径 满足的条件是, 在大根 KT 上是 的祖先, 且 在小根 KT 上是 的祖先 — 一个简单的二维偏序, DFS 过程中维护 BIT 即可计算初始答案.
修改其实是纸老虎, 因为新增树必然满足父亲编号小于儿子编号. 通过简单讨论新增结点与其他结点的位置关系可以配合小根 KT 算答案增量, 本题就 结束了.
4.「CF 1815B」Sum Graph
- Link & Submission.
- 「A.构造」
有只狗狗 VP 被 B 卡了, 我不说是哪只 Para.
如果用很多个 +
连出依托答辩肯定没法讨论, 我们可以猜测连出来的东西一定很简单, 比如说… 链.
怎么构造链呢? 很简单, + n
, + n+1
即可.
接下来自然分为两步: 先找一个端点 (向求树直径一样找啦), 再求每个点到端点的距离. 正好两个端点位置回答两种序列, 大功告成. 中途卡个 corner 可以做到 次询问.
5.「AGC 022C」Remainder Game
- Link & Submission.
从高到低枚举答案的 bit, 大力搜索 check 可达性即可. 复杂度一看就能过. (
6.「CTT 2021」「洛谷 P8986」基因编辑
- Link & Submission.
烂活. 耐着性子读完题发现就是二维偏序样子的问题. .
7.「CTT 2021」「洛谷 P8985」魔塔 OL ⭐
-
Link & Submission (被洛谷卡常了).
-
「A.分块」「B.std::bitset」
先想想怪兽固定时的最优策略, 这个貌似叫 Monster Hunting 问题, 可以贪心解决. 对于 的怪兽, 按 升序挑战; 然后对于 的怪兽, 按 降序挑战. 我们可以用 这样的二元信息表达 "能战胜一个怪物集合" 的要求, 该信息的加法运算有结合律, 但无交换律.
四维偏序限制下无交换律的信息询问… 恐怕没什么合理的 了, 可以想一些分块策略.
一般来说, 高维偏序查询有一个 的做法: 对于第 维, 预处理该维度坐标值 的集合 , 那么查询点 的答案就是 , 这一操作可以用 std::bitset
实现.
模仿这个算法, 我们先将所有怪兽按照贪心顺序排序, 并对序列分块. 对长度为 的整块预处理 中块内贡献, 然后处理查询时维护四个偏序关系的 std::bitset
, 将每个压缩位放入对应块查询贡献. 取 在 左右, 复杂度大概比暴力少一个 .
8.「CF 1605F」PalindORme ⭐
-
Link & Submission.
-
「A.数学-组合计数」「A.DP-计数 DP」
什么说呢… 其实不算太难. 不太容易的思路是: 算合法需要去重, 算非法也需要去重, 但两个问题的去重难度可能是不一样的, 都值得考虑.
还是按照自然的思路来, 首先思考如何判断合法 . 注意回文条件就是 "一个 bit 的最先最后出现到各自端点等距", 我们从两侧向中间构造 , 维护已经出现的 bit 集合 , 那么迭代过程就是:
- 任取 , 满足 . 从 中删去 , 令 .
特别地, 为了处理落单的 , 我们允许:
- 在仅存在一个 , 满足 时, 从 中删去 .
那么, 合法当且仅当迭代无法进行时, . 反过来, 非法当且仅当 , 均非 的子集, 且两两不满足 的条件.
Key motivation: "能迭代" 是一个动态的限制, 但 "不能迭代" 是一个静态的限制. 即, 已知 "不能迭代" 时, 由于 稳定, 两两数值需要服从的条件是固定的, 我们更容易对其计数.
接下来的事情就是简单的计数工作啦. 令 表示长度为 , 使用 个 bit 的非法序列数量; 表示任意序列数量; 表示不能迭代的序列数量. 后两者容易求出:
据此, 枚举非法序列被迭代掉的长度 和迭代完成后的 , 容斥得到:
可以见到, 的枚举对应了上文中对 "落单的 " 的处理. 上式中 的上界有一个小 corner: 当 且 时, 取到 将直接使序列合法, 我们不允许这种情况发生. 否则我们就认为 , 仅剩下一个元素时仍然非法. 直接计算三个 DP 数组, 可以做到 .
9.「CTT 2021」「洛谷 P8993」算术
- Link & Submission.
- 「A.数学-数论」
结合一些生活经验, 我们很容易去猜测
但很快就能发现这个 是不一定成立的. 题目中也只要求倍数判定, 这导致我们很难建立其一个同余式研究变化的性质.
实际上, 左右两侧只需要满足同为 或同非 . 令 , 进制则可描述为常向量 , 初始数值 . 而变换后的进制向量 则满足 ( 表示下取整除法), 变换后数值 . 若判据成立, 就有:
也就是说:
研究 和 , 可知 . 那么
于是得到最终结论:
注意到必要条件是 , 所以 , 和 是接近的, 我们先取出 , 那么亦有必要条件 . 据此, 在 存在时, 最优的解就是 . 注意 的特判. 复杂度 .
注意, long double
模乘 (在模数非常量时) 远快于 __int128
暴力.
10.「CTT 2021」「洛谷 P8991」出题高手
- Link & Submission.
欸~ 糕⤵️叟⤴️! 就仄? 欸这不氢氢悚悚嘛. 没瘆么难度.
题解做法: 基于随机化的支配对维护. 对于 , 有意义的 满足 是前缀最值, 贡献也是前缀最值. 这样以来期望只有 个支配对. 查询就是二维数点, 需要平衡复杂度. 当 时, 需要进一步优化支配对数量. 注意到若 取到前缀最大值, 而存在一个 , 使得 时, 就不可能与更大的 产生贡献. 同理, 在一段时间后也不可能与更小的 产生贡献, 此时跳出循环, 可以通过所有数据.
更加混乱邪恶: 下载测试数据观察 猜测答案区间不长. 钦定阈值 , 暴力求出所有区间长度 的答案, 顺带求解小区间询问. 当询问区间超过 时, 直接对区间内的小区间答案取 , 这是个静态 RMQ. 经测试, 取 , 时取 就能过.
11.「IOI 2019」「洛谷 P5812」天桥 ⭐
- Link & Submission.
- 「A.图论-最短路相关」「B.优化建图」「C.性质/结论」
对子任务 , 显然横向速度恒非负, 我们可以用持久化数组维护到达 时, 处于每种可能的天桥高度的最短距离. 根据简单的松弛性质, 在加入天桥端点时只需要用临近的两个可用天桥更新.
这个算法无法移植到一般情况, 因为很有可能出现 "绕路上天桥" 的最优策略, 例如样例. 况且, 左右横跳的次数可以轻松达到 , 所以子任务的算法大概可以彻底放弃了. 你这子任务的提示性呢?
冷静想一想, 我们要求最短路, 而直接维护的方法已经鉴定为 wasted, 优化建图后跑最短路算法不失为一种思路. 不过建图时, 结点数又是一大难题. 虽然天桥端点只有 , 但却有 个可能的进入或走出天桥的位置, 我们必须整点最优性剪枝来减少这一数量.
Key observation (but unmotivated 😢): 存在一种最优方案, 除了起点终点所在横坐标位置外, 所有从低到高进入的天桥, 从高到低离开天桥时, 一定位于该天桥的端点.
理解倒是容易, 保持自己在更高的高度可以减少 "上不去天桥" 而带来的绕路. 这种策略尽可能让行动拐弯较少, 取到曼哈顿距离.
因此, 有意义的结点只有天桥的端点和每个端点下面最近的一个天桥与楼的交点, 仅 个. 对于覆盖起点 的天桥 , 找到最靠近 的 , 使得 , 将天桥拆成 三段就可以避免其他讨论, 使所有策略满足上述结论.
用 std::set
之类的东西痛苦维护一下建图, 然后 Dijkstra 最短路, ( 同阶).
12.「AGC 022F」Checkers ⭐
变换形式可以视作 , 那么最终坐标 必然满足
由于 之间的量级差距足够大, 所以 不同可以等价为 不同. 我们现在只需要对这个变换系数列计数.
考虑在一次变换后, 变成 这个整体, 外部系数相同. 那么它们的最终系数应该满足 . 考虑反向操作的话, 就是每次选择两个系数对 和 , 将它们合成为 , 表示这两个系数被合成前都需要到达 . 所有系数的初始状态是 , 如果需要判断系数列的可行性, 我们只需要按 从大到小合并系数对, 看最后是否只剩下一个 即可.
到此就可以开始 DP 了. 令 表示使用了 个系数对, 目前最大的 处有 个 , 个 的方案数. 不妨设 , 枚举下一层 对应的 数量 . 显然, , 而我们可以用当前层的一个 或 一连串合并掉上一层的 个 和等量 . 因此, 只需要额外用 个当前层 就能处理掉上一层的所有数, 最后剩下 个 和 个 . 注意到这里只关心 的只, 故可以进记录 , 且仅求解 的状态. 注意最后一步转移限制 来贡献答案. 复杂度 .
13.「ABC 299Ex」Dice Sum Infinity
- Link & Submission.
扫兴, 还以为有高妙东西呢.
设从 出发, 每次等概率 , 走到 的期望步数为 , 我们希望求的答案是 . 关于 , 可以列出期望转移, 其是一个典型的环状转移, 而设出连续 个变量即可破环. 不妨设 为主元, 我们矩阵快速幂求出 关于主元和常数 的线性组合, 高消解方程求出主元, 然后再矩乘到目标位置即得答案.
14.「CTT 2021」「洛谷 P8994」经典游戏
- Link & Submission.
- 「A.树论-长链剖分」「A.数据结构-Trie」
设以 为根时树高为 , 则显然 . 我们需要维护以每个点为根时, 所有棋子 的异或和. 考虑点 处棋子的贡献, 设以 为根时, 对于 的最远点在 所邻接的 子树内. 那么 子树外的所有异或和将被 贡献; 子树内的所有异或和将被子树外最远点贡献. 注意到这样的 在长剖后只可能取 的父亲或者重儿子, 这时就能方便地用 Trie 维护轻儿子的异或和了. BIT 打打标记, 查询时 Trie 上走链, 都是单 的.
15.「CF 1821F」Timber
- Link & Submission.
考虑合法判定: 每棵树尽量向左倒, 左倒不合法再向右倒. 先枚举覆盖的 个区间, 再确定区间方案对应多少中树方案的贪心结果. 最后能得到:
. 注意无解判定.
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· winform 绘制太阳,地球,月球 运作规律
· AI与.NET技术实操系列(五):向量存储与相似性搜索在 .NET 中的实现
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 上周热点回顾(3.3-3.9)