DycBlog

摘要： 高斯消元学习笔记 其实这个主题能够复活主要还是粘了 \(\text{LGV}\) 引理的光，不然我还不知道高斯消元其实不光能求解线性方程组。 求解线性方程组 这个只能说是典中典了，我不相信没有一个人的高斯消元不是从这里开始的。 我们考虑求解线性方程组的本质：将每一个式子所有未知数前都有系数转化成每一 阅读全文

摘要： \(\text{LGV}\) 引理学习笔记 \(\text{LGV}\) 引理一般用于求解有向无环图中多条不相交路径的方案数，引理内容如下。 引理 定义 \(w(P)\) 指的是路径 \(P\) 上所有边权的乘积（在路径计数问题中认为所有边权均为 \(1\) 即可），\(e(A,B)\) 指的是 \ 阅读全文

摘要： \(\text{K-D tree}\) 学习笔记 \(\text{K-D tree}\) 是一种针对 \(k\) 维问题求解的算法，并且拥有出色的时空复杂度。 思想 \(\text{K-D tree}\) 本质上是一棵 \(k\) 维的二叉平衡树，这保证了其树高稳定在 \(\log n\) 附近，为 阅读全文

摘要： 线段树综合 自从模拟赛出现一道勾石线段树题目开始，命运的齿轮就开始转动。 线段树分裂 之前学过线段树合并，现在又要学线段树分裂了 \(\text{qwq}\)。 线段树分裂意在将线段树维护的信息拆成多个区间进行维护。不难发现，如果直接重新建树是 \(O(n\log n)\) 的，而线段树分裂能够做到 阅读全文

摘要： 拉格朗日插值学习笔记 应用 众所周知，在平面直角坐标系中，对于任意的 \(n\) 个点，都一定有一个不超过 \(n-1\) 次的函数与之相对应。拉格朗日插值适用于求解这 \(n\) 个点对应的函数。 思路 考虑给定的 \(n\) 个点的坐标表示为 \((x_i,y_i)\)，不难构造出如下函数： \ 阅读全文

摘要： 杜教筛学习笔记 杜教筛被用于求解某一数论函数 \(f\) 的前缀和，即对于形如 \(S(n)=\sum_{i=1}^nf(i)\) 形式的函数 \(S\)，杜教筛能够在小于线性复杂度的复杂度内求解。 算法思想 尝试构造一个函数 \(S\) 的递推式。选择一个数论函数 \(g\)，那么根据狄利克雷卷积 阅读全文

摘要： 数论分块学习笔记 性质 数论分块用于快速计算含有除法向下取整的和式，即形如 \(\sum_{i=1}^nf(i)g(\lfloor\frac{n}{i}\rfloor)\) 的式子。当预处理出 \(f\) 的前缀和时，数论分块可以在 \(O(\sqrt{n})\) 的时间复杂度下计算上述和式的值。 阅读全文

摘要： 莫比乌斯反演学习笔记 前言 之前学了一遍，只学了朴素的莫比乌斯反演，现在第二次面对不知道能否有所长进。 性质 莫比乌斯反演是数论中的重要内容。对于一些函数 \(f(n)\)，如果难以直接求出它的值，但容易求得其倍数和或约数和 \(g(n)\)，那么可以通过莫比乌斯函数反演简化运算，从而求得 \(f( 阅读全文

摘要： 广义后缀自动机学习笔记 前言 为了方便，下文有如下约定： 在下文中，广义后缀自动机简称广义 \(\text{SAM}\)。 记 \(|S|\) 为字符串 \(S\) 的长度。 记 \(\sum\) 为字符集，\(|\sum|\)​​ 为字符集大小。 在针对时间复杂度的分析时，\(n\) 指 \(\t 阅读全文

摘要： 后缀自动机学习笔记 前言 为了方便，下文有如下约定： 在下文中，后缀自动机简称 \(\text{SAM}\)。 记 \(|S|\) 为字符串 \(S\) 的长度。 记 \(\sum\) 为字符集，\(|\sum|\) 为字符集大小。 定义 字符串 \(S\) 的 \(\text{SAM}\) 是一个 阅读全文