摘要：
费马小定理 若 $p$ 为素数， 则 $a^{p - 1} \equiv1 (\bmod p) $ 扩展欧几里得算法 求解 $ax+by =\gcd(a,b)$ 的一组特解。 $ax+by = c$ 有解的充要条件为 $\gcd(a, b) | c$， 称为裴蜀定理。 $ax+by = \gcd(a 阅读全文
摘要：
基本定义 边导出子图：选出若干条边，以及这些边所连接的所有顶点组成的图叫做边导出子图。 点导出子图：选出若干个点， 以及两端都在该点集的所有边组成的图叫做点导出子图。 闭合子图：定义在有向图上，点集 $V$ 的闭合子图是所有 $V$ 可达的点的点导出子图。 1.最短路 1.1 Bellman-For 阅读全文
摘要：
线段树 / 树状数组 / KDT / 李超线段树 概述：线段树用于维护序列，是一个包含 $2n - 1$ 个节点的树形结构， 其中非叶子节点都有两个儿子，中序遍历这颗树得到的恰好是 $1, 2, \dots n$。 一般在存储时，空间会开到 $4n$ 倍，有一种特殊的写法可以使空间优化到 $2n$ 阅读全文
摘要：
基本定义： $\operatorname{lcp}(x,y)$ 表示两个字符串 $x$ 和 $y$ 的最长公共前缀 longest common prefix，类似定义 $\operatorname{lcs}(x,y)$ 表示 $x$ 和 $y$ 的最长公共后缀。 $s[l,r]$表示字符串 $s$ 阅读全文
摘要：
二项式系数 定义 定义组合数 $\dbinom n m $ 表示从 $n$ 个不同物品中挑选 $m$ 个数构成集合的方案。 定义排列数 $A^{m}_n$ 表示从 $n$ 个不同物品中选出 $m$ 个数进行排列的方案，有 $A_n^m = n \times (n - 1) \dots \times 阅读全文