摘要：
OI 中所说的「自动机」一般都指「确定有限状态自动机」。 一个 确定有限状态自动机（DFA） 由以下五部分构成： 字符集（$\Sigma$），该自动机只能输入这些字符。 状态集合（$Q$）。如果把一个 DFA 看成一张有向图，那么 DFA 中的状态就相当于图上的顶点。 起始状态（$start$），$ 阅读全文
摘要：
FHQ-treap，即无旋 treap，又称分裂合并 treap，支持维护序列，可持久化等特性。 FHQ-treap 有两个核心操作，**分裂** 与 **合并**。通过这两个操作，在很多情况下可以比旋转 treap 等方便的实现一些操作。 FHQ-treap 与其他的平衡树相比，他最明显的优点是： 阅读全文