摘要：
莫队，~~即莫涛队长~~。是一种暴力的数据结构（？），一种离线算法，可以处理一些比较难以直接维护的东西，一般时间复杂度为 $O(n\sqrt {n})$。 主要有几种莫队：普通莫队、带修莫队、回滚莫队、树上莫队。 莫队的核心思想就是将各个询问排成特定的顺序，并来回移动区间左右端点，从上一次询问推到下 阅读全文
摘要：
个人树链剖分是一个暴力数据结构，也就是它的本质就是暴力，只不过优化了一下而已。
树链剖分一般用于维护树上两点之间或子树中的权值。算是树上问题中较为基础的一个算法。 阅读全文
摘要：
前言：这篇题单里放了一些个人认为很有用/新奇的构造题，这些是我第一次见比较难想出来题，建议想不出来先看下思路。 阅读全文
摘要：
求同余方程组$\left\{\begin{aligned}x\equiv a_1(\mod m_1)\\x\equiv a_2(\mod m_2)\\\cdots\\x\equiv a_n(\mod m_n) \end{aligned} \right.$的解，满足 $m_1,m_2,\cdots,m_n$两两互质。 阅读全文
摘要：
本篇博客的 Webserver 基于 SOCKET 实现，这样只是为了追求底层，相对于其他方法较为麻烦。（当然你也可以使用其他封装好的库）
这段内容已经了解过 SOCKET 的人可以不看，不了解的不必深究。 阅读全文
摘要：
欧拉函数性质 前言：欧拉函数的定义 $\varphi(n)$ 为 $1-n$ 中与 $n$ 互质的数。 1证明： $\varphi(1)=1$ $$ \because 只有1与1本身互质\ \therefore \varphi(1)=1 $$ 2证明：$当p是质数时，\varphi(p)=p-1$ 阅读全文
摘要：
AC自动机的核心思想： **如果当前模式串匹配成功部分的后缀与其他某个模式串的前缀一致，则如果在下一次匹配失败时，直接匹配那个模式串的与当前模式串的后缀不同部分。**
举例： 模式串1 `abcd`，模式串2 `bcf`，模式串3 `e`。 阅读全文
摘要：
KMP是一种字符串匹配算法，可以在将近线性的时间复杂度内进行字符串匹配。
此类问题通常有一个文本串 $S$ 和一个模式串 $P$ 构成，说白了就是在 $S$ 中匹配 $T$，`S.find(T)`。 阅读全文