随笔分类 - template
算法模板
摘要：给定 \(c, p\)，\(p\) 为奇质数，求解关于 \(x\) 的同余方程 \(x^2\equiv c\pmod p\)。 欧拉判别：对于任意 \(c\)，\(c^{(p-1)/2}\equiv \pm 1\pmod p\)。当且仅当 \(c\) 有二次剩余时，\(c^{(p-1)/2}\equ
阅读全文
摘要：自动清空数组内部不是 `std::memset`，清空复杂度 $O(1)$。
阅读全文
摘要：posted on 2022-08-08 23:29:53 | under 模板 | source 求出一个字符串 \(s\) 的每个后缀与原串的 LCP。 首先由显然的 SAM 做法。考虑线性。 考虑维护区间 \([l,r]\) 表示 \([l,r]=[1,r-l+1]\) 是最右的匹配段。考虑新
阅读全文
摘要：包括凸包（convex hull）、闵可夫斯基和（minkowski sum）。计算几何千万不要学！
阅读全文
摘要：posted on 2021-08-02 20:03:57 | under 学术 | source 网上对哈夫曼树的讲解太少了 清一色指针 整个 OIer 能看的吧 虽然还是很恶心 下面是哈夫曼树的模板，解决的是经典问题：压缩字符串 #include <queue> #include <string
阅读全文
摘要：快读快输，FAST-IO，会在意想不到的地方给程序运行时间减七秒
阅读全文
摘要：左偏树是一种支持可持久化和合并的二叉堆，可以用很优秀的时间复杂度做 $k$ 短路和最小树形图。同时作为 P4716 【模板】最小树形图 和 P2483 【模板】k 短路 / [SDOI2010] 魔法猪学院 题解。
阅读全文
摘要：posted on 2022-08-02 23:57:12 | under 模板 | source 膜拜，抄写 20230807 修改。删除偏激语言，所有 \(i\) 换成 \(\mathrm i\)，所有 \(w\) 换成 \(\omega\)，增加证明。 modint implemention
阅读全文
摘要：原标题：8.1 数论 + 8.3 类欧 以下记 \(F(n)=\sum_{i=1}^n f(i)\) 为数论函数 \(f\) 的前缀和，或者 \(S(f)\) 也表达同样意思。\(n/m\) 默认表示 \(\left\lfloor\frac{n}{m}\right\rfloor\)。 目录参考资料狄
阅读全文
摘要：回文自动机（Palindrome Automaton）是处理回文问题的利器。
阅读全文
摘要：7.29 数论 扩欧、中国剩余定理、乘法逆元、卢卡斯定理、BSGS、阶和原根的英文名分别是 exGCD, exCRT, Inverse, Lucas, BSGS, Primitive root。 \(a\equiv b\pmod p\Rightarrow \frac{a}{d}\equiv \fra
阅读全文
摘要：posted on 2021-08-04 14:22:40 | under 学术 | source LCA，Least Common Ancestors，最近公共祖先。 倍增。 首先预处理出数组 \(d_i\) 和 \(f_{i,j}\)。 \(d_i\) 表示第 \(i\) 个节点的深度。 转移方
阅读全文
摘要：Matrix-Tree 定理、BEST 定理、LGV 引理
阅读全文
摘要：一棵树，多次给定 $l,r,z$ 询问 $\sum_{l\leq i\leq r}dep_{lca(i,z)}$，允许离线，$n\leq 50000$。
阅读全文
摘要：problem 求这个关于 \(x\) 的方程组的最小正整数解： \[\begin{cases} x\equiv b_1 \pmod{a_1}\\ x\equiv b_2 \pmod{a_2}\\ x\equiv b_3 \pmod{a_3}\\ \cdots\\ x\equiv b_n \pmod
阅读全文
摘要：《具体数学》最重要的十个二项式系数恒等式 + 有了 modint 就没用过的 binom, qpow, mod & red(uce) 板子
阅读全文