02 2025 档案
该文被密码保护。
摘要:cxy 在 4.1 节中不加证明地给出结论,对于长度为 的点值序列 ,连续做两次 FWT 后得到的结果是 的每一项都乘上 ,我们给出这个结论的证明。 首先回顾 FWT 的定义:\(\hat{a_i}=\sum\limits_{j=0}^{2^m-1
阅读全文
摘要:堆 这里给出插入的过程,以大根堆为例:每次若叶子那层的点数不满,则插入到紧接着的下一个点,此时可能不满足条件,向上调整。 删除:直接交换根和叶子然后删掉,将新根向下调整(从两个儿子中选择较大的一个拉上来)。 左偏树 非常神奇的东西,莫名其妙的复杂度就对了。 考虑对于二叉树,定义外节点是儿子不满的节点
阅读全文
摘要:考虑一个二维的 dp,对其凸性进行研究。 对于某一个 而言,建立 的函数图像,如果其满足以下性质: 凸性、连续、分段一次函数、斜率为整数且不大。 我们就可以选择 slope trick。注意它和斜率优化并不一样,斜率优化只能优化单个状态转移的复杂度,s
阅读全文
摘要:学习草八牛。 一些 slope trick 和可并堆的题目见二月其它博客。 AGC040E 致远 dp 入门题。 操作是给某个前缀加上一个不降非负序列,或者给某个后缀加上一个不升非负序列。考虑若只有一个操作(不妨是前者),此时的操作次数就是极长不降子段的数量。证明考虑这是一个显然的上界,同时观察到不
阅读全文
摘要:重量级选手之想不到双指针。 实际上没什么好写的,想到双指针以后想到利用 这样的结构来维护是自然的。写这篇博客只是单纯为了记录自己没有想到双指针这件事情。vp 时想到了单调性,不过一直在关注二分,对于这种固定一个端点后存在单调性的题目,双指针是十分容易的。前几天还刚做过
阅读全文
摘要:杭州站: 冠军:思路打开。亚军:World.search(you)。季军:躺在沙发上变成没知觉的植物沉入泥中蝶泳。计算打星队后的冠军:学军信友队一队。 金牌:6题495。银牌:5题720。铜牌:4题739。总体看上去区分度不是很高。 vp 总结:大概打了不到四个小时,单挑通过了 AEFHKM 六题,
阅读全文
摘要:这是经典套路吗?为什么胡策的题解里全是“应用 uoj671 的经典套路”这种话? 下文令 。 一个很经典的分析是每个数至多会被操作 次就会变成 。因此若直接线段树维护是 。考虑特殊性质,我们声称对于 sub2 和 s
阅读全文
摘要:这是一篇对 cxy 2025 年同标题集训队论文的分析。该分析会较论文更多地从线性代数角度出发,需要读者有较好的线性代数认识。 前三章的内容极为经典,从第四章正交线性基开始难度略增,建议读者从头阅读。 基础线性基 考虑在 上定义向量,此时向量加法等价于大整数异或。对
阅读全文
摘要:书写、记号 大部分书写、记号遵循抽象代数上常用的书写、记号。下文用 代表域, 代表 元组,也称作 维列向量域,其中向量元素均属于 这个域。将 \(\mathbb{M}_{m\times
阅读全文
摘要:建议天赋哥给大家一条生路。实在打不过天赋哥。
阅读全文
摘要:扫描线操作,线段树维护左端点的答案,这样查询就是单点查询。考虑修改,一个暴力的做法是枚举区间内的所有点,将其对应颜色的权值更改,这个东西的复杂度是对的,考虑枚举颜色段,这个的数量是 的。枚举颜色段这一操作可以刻画成找到每个点下一个和它颜色不同的点,线段树简单维护区间覆盖。 注意还需
阅读全文
摘要:建操作树,此时需要支持加边删边查询一个连通块的 kth。 加边删边用两个集合做启发式操作很好维护,考虑查一个连通块的 kth,通常的套路是二分,于是这道题如果加边时启发式合并、删边时启发式分裂、查询时二分,看上去是一个很自然的想法,但是复杂度并不对。令 同阶,先用 \(\dfrac{m
阅读全文
摘要:记录一下多没脑子。 考虑最大前缀是 ,令 ,显然可以对 和 分别算组合数再乘起来, 的方案数就是任意一段前缀和都 的方案数 ,可以状压 dp 求出来,实际上 算方案数也是类似的,不过我太没脑子
阅读全文
摘要:主要是进行一些概念的复习。 参考资料:浅谈置换群计数。 Relation 称若干个元素构成集合,当且仅当满足不重、无序。记 代表 存在于集合 中, 代表 不存在于集合 中。 定义集合 和 \(
阅读全文