随笔分类 - 笔记
摘要:遗憾的是 math 里面一直没有很好的讲这个东西……所以这次细致说说。 FWT 的本质 类似于多项式卷积中,利用 ntt 变换使得卷积 点乘,fwt 也是类似的应用。 定义某种位运算 ,那么 fwt 处理的位运算卷积形如: \[H = F * G \implies
阅读全文
摘要:首先需要理解什么是二维问题。 维空间体系:将元素变成 维空间中的点,将范围变成 维空间中的正交范围。 二维问题就是每一个元素都可以看作一个平面上的坐标 。其中一维可以是下标,时间,值,dfn,甚至是一个函数 。 经典的二维问题实际
阅读全文
摘要:Cage 字符串听课笔记 关于 Z 函数 这东西不能说和 Manacher 一模一样,只能说两模两样。 都是充分的利用 最大的那个的信息,继承过来拓展。 在 Manacher 里面是 ,这里是 。然后就随便暴力就行了。 关于 bo
阅读全文
摘要:困困困! KMP 注意到 KMP 的复杂度是均摊的,那么是否可以绕开? 注意到 KMP 实际上一个串的 ACAM,那么考虑可以类似的,在加入一个字符的同时维护 ACAM(考虑 ACAM 的构建过程,前面的点不会被影响)那么每次就可以通过 的修改(或者利用可持久化数据结
阅读全文
摘要:离线哩! 竞赛图 竞赛图确实抽象,性质一堆一堆的,想不明白……而且多半都和强连通分量有关系。 兰道定理 考虑一共有 条边,那么 。 兰道定理大致就是如果竞赛图强连通,那么: \[\not \exists k \in
阅读全文
摘要:闲话: 这确实抽象,将所有人给干离线了…… 不如叫做 TQX 的离线 DP QwQ DP 基本思路就是找一个比较好的能够描绘问题的状态,想怎么转移,再进行优化。 --TQX 背包 DP loj 6089. 小 Y 的背包计数问题 根号分治优化背包,大概就是利用 \(cnt \times siz \g
阅读全文
摘要:本文慢慢整理部分模型。 DAG 最小路径覆盖 经典的题目,经典的思想。 网络流常见的将图上的点拆为入点和出点,那么路径由若干 出 - 入 - 出 - 入 的循环构成。 于是在拆好的图上流一流即可。 [CTSC2008] 祭祀 典中祭 黑白染色 利用黑白染色将整个图变成一个二分图是网络流常见的套路,尤
阅读全文
摘要:可持久化线段树 也叫做主席树,单点修改时简单,使用空间 ,问题在于如何区间加。 区间覆盖可以做,但是似乎只能单点查? 所以我们需要引入标记永久化的概念。 一个标记在没有下放前会放在 个点上,这覆盖了整个操作区间。 一般来说我们会 update 更
阅读全文
摘要:lxl 学长讲课笔记 常数种可能性的状态 通过预先处理多种状态的信息,从而快速的转换状态。 经典操作:flip。 分析信息的思路 利用线段树 利用线段树的时候,如何合并两个分支区间的信息,我们需要有如下注意: 答案 - 依赖的信息,继续的依赖,这样就能找到需要维护的东西。这终会产生闭包。 合并时,我
阅读全文
摘要:颜色段均摊 反正 ODT! 对于 ODT 来说,其区间推平的复杂度是 的,十分的优秀,但是对于查询来说,我们需要通过分块或者线段进行辅助,从而达到正确的复杂度。 有一种特殊情况例外: 如果推平和查询同时发生,意味着推平时对于每一段查询的复杂度是没有问题的!
阅读全文
摘要:朴素多项式算法 - 合集 我们并不需要 NTT,就算需要,也只是用来优化乘法。 多项式求逆 对于多项式 我们需要构造出一个多项式 使得: \[\begin{cases} a_0 b_0 = 1 \\ \sum_
阅读全文
摘要:具体数学 本文是阅读《具体数学》产生的理解性文本,并且涵盖了部分其他相关的内容。 不怎么重要或者太难的东西因为时间问题,我略过了。 本文来之不易,请勿机械搬运:原文地址 - https://www.cnblogs.com/jeefy/p/17848037.html 目录具体数学第二章 - 和式和式的
阅读全文
摘要:SAT 问题,也就是可满足性问题 Boolean Satisfiability Problem,是第一个被证明的 NPC 问题。 但是特殊的 2-SAT 我们可以通过图论的知识在线性复杂度内求解,构造出一组解。 基本的模型在 P4782 【模板】2-SAT 中有体现。 经典的标志是:AB 至少选一个
阅读全文
摘要:一切线性操作都可以归为矩阵乘法 --by SmallBasic 本文是拿来玩耍,而不是学习的! 目录线性递推超级矩阵快速幂!矩阵与邻接矩阵矩阵与线段树矩阵与 FFT矩阵与期望不知道还能扯啥了 矩阵的加法,要求两个矩阵大小相等,于是可以对位单点相加。 \[C_{i, j} = A_{i, j} + B
阅读全文
摘要:分治,分而治之,是通过减少数据规模,然后合并的结果,从而减少复杂度的思想。 其实感觉本文应该放在分治里面讲……算法学习笔记(31): 分治 在经典的序列分治中,我们是对于每一个点,求出经过这个点的那些区间的贡献。 在点分治中,同样我们是对于每一个点,求出经过这个点的那些路径的贡献。 放在边分治中,则
阅读全文