摘要：
### KMP 下标从 $1$ 开始求 border： ```cpp int kmp[N]; void KMP(char *s,int len){ for(int i=2,j=0;ir)l=i,r=i+z[i]-1; } } ``` [P5410 【模板】扩展 KMP（Z 函数）](https:// 阅读全文
摘要：
#### A 01 矩阵，每次可以对一个子矩阵取反，问最少多少次操作后，存在一条只向下或右走，只经过 0，从左上角到右下角的路径。 $n,m\le 1000$. 这个 dp 还是非常 trival 的。 ```cpp #include #define N 1010 #define inf (11?f 阅读全文
摘要：
高次整除分块 对 \(\large\lfloor\frac{n}{i^2}\rfloor\) 整除分块，\(\large r=\sqrt{\lfloor\frac{n}{\lfloor\frac{n}{l^2}\rfloor}\rfloor}\). 容易发现对于 \(i\le n^{\frac{1} 阅读全文
摘要：
定义 字符串 \(s\) 的 SAM 是一个接受 \(s\) 的所有后缀的最小 DFA（确定性有限（状态）自动机）。也就是： SAM 是一个 DAG。节点为状态，边为转移。 图的源点 \(t_0\) 称初始状态。整张图从 \(t_0\) 开始可以遍历到。 转移标有若干字母，从一个节点出发的所有转移均 阅读全文
摘要：
群 群是由一个集合及一个二元运算组成的代数结构，记为 \((G,\cdot)\). 其符合群公理，即满足封闭性，结合律，单位元，逆元。 子群 群 \((G,\cdot),(H,\cdot)\)，满足 \(H\subseteq G\)，则 \((H,\cdot)\) 是 \((G,\cdot)\) 的 阅读全文
摘要：
## SA ### 基数排序 一般采用 LSD(Least Significant Digital)，从键值的最低位开始排序。 ### 定义 记 $suf(i)$ 为起始下标为 $i$ 的后缀。 记 $sa[i]$ 为排名第 $i$ 的后缀的起始位置。 记 $rk[i]$ 为 $suf(i)$ 的排 阅读全文
摘要：
模拟退火（Simulate Anneal）是一种用于解决问题方案数极大且非单峰函数的随机化算法，原理与金属退火类似。 每次随机出一个新解，若新解更优则接受，否则以一个与温度和与最优解的差相关的概率接受它。 ### 降温 模拟退火有三个参数：初始温度 $T_0$，降温系数 $\Delta$，终止温度 阅读全文
摘要：
Tree \(\rightarrow\) Prufer 每次找到编号最小的叶子结点，在序列中添加其父亲。 删除该节点。 重复如上操作，得到长为 \(n-2\) 的序列。 还原同理。 Prufer 序列是 \(n\) 个点的完全图的生成树与一个长为 \(n-2\)，值域 \(\lbrack 1,n\r 阅读全文
摘要：
### A 排队打水，$n$ 个人，$m$ 个水龙头，最小化总时间。 显然是一个 trival 的贪心。 ```cpp #include #define N 1010 #define pii pair #define mp make_pair #define fi first #define se 阅读全文
摘要：
Definition 第二类斯特林数 \(\begin{Bmatrix}n\\k\end{Bmatrix}\)，意义为将 \(n\) 个不同的元素分为 \(k\) 个非空子集的方案数。 有 \(\displaystyle\begin{Bmatrix}n\\k\end{Bmatrix}=\begin{ 阅读全文