SkyWave2022 - 博客园

题解：AT_abc438_g [ABC438G] Sum of Min

摘要：题目链接比较直接的刻画是：把 \(A\) 和 \(B\) 分别首尾相连，形成两个环；有两枚棋子 \(a, b\)，初始时分别在 \(A, B\) 的下标 \(0\) 上，每个时刻移动一步，一共移动 \(K\) 步。经典结论是，在恰好 \(\operatorname{lcm}(N, M)\) 步后阅读全文

posted @ 2026-01-10 15:06 SkyWave2022 阅读(3) 评论(0) 推荐(0)

题解：CF1413D Shurikens

摘要：题目链接若顺序、在线地处理每个事件，实时维护柜台中的剑的价格组成的集合 \(A\)：对于 + 事件：指定一个尚未被指定过的价格 \(v \in [n]\)，将 \(v\) 加入 \(A\)。对于 - x 事件：若满足 \(\min(A) = x\)，则从 \(A\) 中删除 \(x\)，报告成阅读全文

posted @ 2026-01-06 16:35 SkyWave2022 阅读(16) 评论(0) 推荐(0)

短短题解：CF1750D Count GCD

摘要：题目链接把要求的 \(\gcd(b_1, b_2, \dots, b_i) = a_i\) 写成 \(\gcd(\gcd(b_1, b_2, \dots, b_{i-1}), b_i) = a_i\)，这等价于要求 \(\gcd(a_{i - 1}, b_i) = a_i\)，其中定义 \(a_0 阅读全文

posted @ 2026-01-04 10:06 SkyWave2022 阅读(3) 评论(0) 推荐(0)

更通用的容斥原理

摘要：更一般的的容斥原理对于同一固定全集 \(U\) 上的子集 \(A_1,A_2,\dots,A_n\subseteq U\)，令 \(f:\mathcal P(U)\to G\)（\(f\) 是一个函数，其定义域为 \(U\) 的所有子集，值域为 \(G\)），其中 \(G\) 为阿贝尔群（运算结阅读全文

posted @ 2025-12-26 10:36 SkyWave2022 阅读(17) 评论(0) 推荐(0)

短题解：CF1924A Did We Get Everything Covered?

摘要：短题解：我的简要题解。为了简短和易懂，我在短题解中，可能会在不约定的情况下使用不那么规范、公认的数学语言、记号，表述有时也不完全形式化。好处是：算了，就不自卖自夸了，看看就知道了，总之很牛！简要题意洛谷上的题面已经挺简要了：CF1924A Did We Get Everything Cover 阅读全文

posted @ 2025-12-17 11:04 SkyWave2022 阅读(10) 评论(0) 推荐(0)

短题解：CF2154D Catshock

摘要：很牛的一道题目！完美考察了树的结构性质与选手的图论基本功。简要题意洛谷上的题面已经挺简要了：CF2154D Catshock，同时沿用其变量名与记号。分析先分析一下题意。如果没有“不能有连续两条第二种指令”，题目会变得怎么样？猫动来动去很烦，那就让猫别动了，直到除了 \(1\) 到 \(n 阅读全文

posted @ 2025-12-17 11:03 SkyWave2022 阅读(15) 评论(0) 推荐(0)

置换的刻画们

摘要：以下置换的定义域都在 \(\{1, 2, \dots, n\}\) 上。复合先使用双行记号来刻画。若 \[\sigma = \begin{pmatrix} 1 & 2 & \dots & n \\ p_1 & p_2 & \dots & p_n \end{pmatrix} , \pi = \b 阅读全文

posted @ 2025-12-13 11:31 SkyWave2022 阅读(20) 评论(0) 推荐(0)

那些算法的空间优化

摘要：猫树分治例题：[ABC426G] Range Knapsack Query 朴素实现： #include <iostream> #include <vector> #include <cstring> using namespace std; using ll = long long; const 阅读全文

posted @ 2025-12-08 12:32 SkyWave2022 阅读(49) 评论(0) 推荐(0)

题解：AT_arc111_d [ARC111D] Orientation

摘要：简要题意给定一张 \(n\) 个点 \(m\) 条边的简单无向图与一个正整数序列 \(c_1,c_2, \dots,c_n\)。目标是将每条无向边 \((u_i, v_i)\) 定向成 \(u_i \to v_i\) 或 \(v_i \to u_i\)，得到一张有向图，使得对于每个点 \(i\) 阅读全文

posted @ 2025-11-14 21:28 SkyWave2022 阅读(88) 评论(0) 推荐(1)

<min, +> 变量更新问题

摘要：有 \(n\) 个变量 \(x_1, x_2, \dots, x_n\)，有 \(c\) 个变量拥有初始值，\(x_{p_1} = v_1, x_{p_2} = v_2, \dots, x_{p_c} = v_c\)，其他变量值都为 \(+\infty\)。有 \(m\) 条更新，每一条用三个参阅读全文

posted @ 2025-10-27 10:23 SkyWave2022 阅读(52) 评论(0) 推荐(0)

NOI 2025 见！