Zctf1088

摘要： 平衡树 对于二叉搜索树[1]而言，常见的平衡性定义是指：以 T 为根的树，每一个左子树和右子树的高度差最多为 1。 Treap 概述 Treap 是一弱平衡的二叉搜索树。他同时符合二叉搜索树和堆[2]的性质，名字也因此为 tree（树） 和 heap（堆）的结合。 一般情况下，我们会赋予一个节点两个 阅读全文

摘要： 为什么我要把他俩放一起写呢？俩随机化算法常常一起用，简直是天生一对儿。 Miller Rabin 算法 定义 Miller-Rabin 素性测试[1]是进阶的素数判定方法。 实现 二次探测定理 如果 \(p\) 是奇素数，则 \(x^2 \equiv 1 \pmod p\) 的解为 \(x \equ 阅读全文

摘要： AC 自动机 前言 我觉得AC自动机这种东西非常抽象，有必要写一篇博客来整理一下，以加深理解。 概况 AC自动机是以 Trie 树的结构为基础，结合 KMP 思想建立的自动机，用于解决多模式串匹配等任务。 一般来说，建立一个AC自动机有两个步骤： 把所有的模式串建成一颗 Trie 树。 用 KMP 阅读全文