随笔分类 -  OI

信息竞赛
摘要:\(\text{LCT}\) 学习笔记 可曾久仰 \(\text{LCT}\) 大名,可曾听闻 \(\text{Splay}\) 骂名? 动态树 对于一棵有 \(n\) 个节点的树,如果每个点都有点权,那么求解 \(x,y\) 之间的路径上的点权和可以用树链剖分+线段树简单做到。 考虑对于一棵 \( 阅读全文
posted @ 2024-10-31 20:31 DycIsMyName 阅读(46) 评论(0) 推荐(1)
摘要:\(\text{Min}\_25\) 筛学习笔记 事实上我又学习了一个有点春的筛法。\(\text{Min}\_25\) 筛用于求解积性函数的前缀和,即形如 \(g(n)=\sum_{i=1}^{n}f(i)\) 形式的函数 \(g\)。 众所周知,朴素筛法之所以无法做到低于线性是因为枚举了区间内的 阅读全文
posted @ 2024-08-30 11:02 DycIsMyName 阅读(29) 评论(0) 推荐(0)
摘要:\(\text{Min-Max}\) 容斥学习笔记 概念 \(\text{Min-Max}\) 容斥,又称最值反演,是一种对于特定集合,在已知最小值或最大值中一者的情况下,求另一种的算法。首先观察几个式子: \[\max(a)=a\\ \max(a,b)=a+b-\min(a,b)\\ \max(a 阅读全文
posted @ 2024-08-01 21:09 DycIsMyName 阅读(77) 评论(0) 推荐(0)
摘要:位运算卷积学习笔记 位运算卷积,即快速沃尔什变换 \(\text{FWT}\) 和快速莫比乌斯变换 \(\text{FMT}\),但事实上最常用的是 \(\text{FWT}\),因为 \(\text{FMT}\) 所求解的内容是 \(\text{FWT}\) 的子集。 位运算卷积 首先要知道位运算 阅读全文
posted @ 2024-07-30 19:33 DycIsMyName 阅读(86) 评论(0) 推荐(0)
摘要:斯特林数学习笔记 前置知识 普通生成函数+下降幂+多项式 定义 斯特林数是组合数学概念,分为第一类斯特林数和第二类斯特林数 第一类斯特林数 第一类斯特林数表示为 \(\begin{bmatrix}n\\m\end{bmatrix}\),表示 \(n\) 个不同的人坐 \(m\) 张相同的圆桌的方案数 阅读全文
posted @ 2024-07-11 11:11 DycIsMyName 阅读(72) 评论(0) 推荐(1)
摘要:下降幂学习笔记 还原精灵还我笔记——来自打完笔记但关电脑前没有保存的某人的呐喊。 定义 下降幂就是形如 \(n^{\underline{m}}\) 的式子,表示 \[n^{\underline{m}}=\prod_{i=n-m+1}^{n}=\frac{n!}{(n-m)!} \]同理声明一个上升幂 阅读全文
posted @ 2024-07-09 21:23 DycIsMyName 阅读(219) 评论(0) 推荐(0)
摘要:普通生成函数学习笔记 定义 已知一个序列 \(a\),可以是有限项也可以是无限项,定义其生成函数 \(F(x)\) 为 \[F(x)=\sum a_ix^i \]作用 生成函数本质是一个多项式,所以可以进行多项式卷积,方便处理序列问题。假设序列 \(a\) 的生成函数是 \(F(x)\),序列 \( 阅读全文
posted @ 2024-07-06 13:29 DycIsMyName 阅读(65) 评论(0) 推荐(0)
摘要:二项式反演学习笔记 概念 二项式反演作为一种反演形式,常用于通过指定若干个求解恰好若干个的问题,即我们常说的容斥问题。 引入 首先讲讲朴素容斥。 作为集合来说,有 \[|A\cup B|=|A|+|B|-|A\cap B| \]这其实就是容斥原理。更一般地,有 \[|A_1\cup A_2\cup\ 阅读全文
posted @ 2024-07-05 17:07 DycIsMyName 阅读(44) 评论(0) 推荐(0)
摘要:\(\text{FFT}\) 学习笔记 建议先学习普通生成函数。 多项式 确定一个多项式,往往只需要知道每一次项前的系数是多少即可。众所周知,一个朴素的多项式往往可以被写成 \[f(x)=\sum_{n\ge 0}a_nx^n \]的形式,在这种形式下的两个多项式 \(f,g\) 的乘积 \(h\) 阅读全文
posted @ 2024-07-02 19:14 DycIsMyName 阅读(51) 评论(0) 推荐(0)
摘要:原根学习笔记 原根 这是一个又臭又长的内容。 拉格朗日定理:设 \(p\) 为素数,对于模 \(p\) 意义下的整系数多项式 \[f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0(p\nmid a_n) \]的同余方程 \(f(x)\equiv 0\pmod p\) 在模 阅读全文
posted @ 2024-07-02 19:13 DycIsMyName 阅读(67) 评论(0) 推荐(0)
摘要:替罪羊树学习笔记 史! 思想 众所周知,替罪羊树是一种平衡二叉搜索树,其拥有虽然我不理解为什么,但是很牛的复杂度。其思想在于通过一个系数进行定期重构,使得维护所有信息的树是一棵接近平衡树的伪平衡树,那么他依然拥有 \(O(\log n)\) 级别的层高,因此对于跳转查询依旧具有优异的复杂度。 但是, 阅读全文
posted @ 2024-06-08 19:25 DycIsMyName 阅读(59) 评论(0) 推荐(0)
摘要:矩阵树定理学习笔记 真的,我这辈子都没有想过行列式还能用到这种地方。 定义 图的关联矩阵 对于一张有 \(n\) 个点、\(m\) 条边的图(对于无向图,可以随便定义边的方向,因为相反的边只需要将对应列乘以 \(-1\) 即可),我们定义其关联矩阵 \(M\) 满足: \[M_{i,j}=\left 阅读全文
posted @ 2024-05-29 21:19 DycIsMyName 阅读(32) 评论(0) 推荐(0)
摘要:高斯消元学习笔记 其实这个主题能够复活主要还是粘了 \(\text{LGV}\) 引理的光,不然我还不知道高斯消元其实不光能求解线性方程组。 求解线性方程组 这个只能说是典中典了,我不相信没有一个人的高斯消元不是从这里开始的。 我们考虑求解线性方程组的本质:将每一个式子所有未知数前都有系数转化成每一 阅读全文
posted @ 2024-05-26 17:12 DycIsMyName 阅读(49) 评论(0) 推荐(1)
摘要:\(\text{LGV}\) 引理学习笔记 \(\text{LGV}\) 引理一般用于求解有向无环图中多条不相交路径的方案数,引理内容如下。 引理 定义 \(w(P)\) 指的是路径 \(P\) 上所有边权的乘积(在路径计数问题中认为所有边权均为 \(1\) 即可),\(e(A,B)\) 指的是 \ 阅读全文
posted @ 2024-05-26 14:52 DycIsMyName 阅读(77) 评论(1) 推荐(3)
摘要:\(\text{K-D tree}\) 学习笔记 \(\text{K-D tree}\) 是一种针对 \(k\) 维问题求解的算法,并且拥有出色的时空复杂度。 思想 \(\text{K-D tree}\) 本质上是一棵 \(k\) 维的二叉平衡树,这保证了其树高稳定在 \(\log n\) 附近,为 阅读全文
posted @ 2024-05-23 21:40 DycIsMyName 阅读(147) 评论(0) 推荐(2)
摘要:线段树综合 自从模拟赛出现一道勾石线段树题目开始,命运的齿轮就开始转动。 线段树分裂 之前学过线段树合并,现在又要学线段树分裂了 \(\text{qwq}\)。 线段树分裂意在将线段树维护的信息拆成多个区间进行维护。不难发现,如果直接重新建树是 \(O(n\log n)\) 的,而线段树分裂能够做到 阅读全文
posted @ 2024-05-09 17:12 DycIsMyName 阅读(50) 评论(0) 推荐(1)
摘要:拉格朗日插值学习笔记 应用 众所周知,在平面直角坐标系中,对于任意的 \(n\) 个点,都一定有一个不超过 \(n-1\) 次的函数与之相对应。拉格朗日插值适用于求解这 \(n\) 个点对应的函数。 思路 考虑给定的 \(n\) 个点的坐标表示为 \((x_i,y_i)\),不难构造出如下函数: \ 阅读全文
posted @ 2024-04-20 15:22 DycIsMyName 阅读(46) 评论(0) 推荐(1)
摘要:数论分块学习笔记 性质 数论分块用于快速计算含有除法向下取整的和式,即形如 \(\sum_{i=1}^nf(i)g(\lfloor\frac{n}{i}\rfloor)\) 的式子。当预处理出 \(f\) 的前缀和时,数论分块可以在 \(O(\sqrt{n})\) 的时间复杂度下计算上述和式的值。 阅读全文
posted @ 2024-04-02 21:15 DycIsMyName 阅读(42) 评论(0) 推荐(2)
摘要:莫比乌斯反演学习笔记 前言 之前学了一遍,只学了朴素的莫比乌斯反演,现在第二次面对不知道能否有所长进。 性质 莫比乌斯反演是数论中的重要内容。对于一些函数 \(f(n)\),如果难以直接求出它的值,但容易求得其倍数和或约数和 \(g(n)\),那么可以通过莫比乌斯函数反演简化运算,从而求得 \(f( 阅读全文
posted @ 2024-04-02 21:15 DycIsMyName 阅读(33) 评论(0) 推荐(1)
摘要:广义后缀自动机学习笔记 前言 为了方便,下文有如下约定: 在下文中,广义后缀自动机简称广义 \(\text{SAM}\)。 记 \(|S|\) 为字符串 \(S\) 的长度。 记 \(\sum\) 为字符集,\(|\sum|\)​​ 为字符集大小。 在针对时间复杂度的分析时,\(n\) 指 \(\t 阅读全文
posted @ 2024-03-20 21:22 DycIsMyName 阅读(51) 评论(0) 推荐(0)