摘要：
后缀自动机（SAM）小记 介绍 简单来说，就是使用一个 \(DAG\) 以及一棵树维护一个字符串所有子串（压缩的）信息。 其中 \(DAG\) 的点称为状态。 endpos 个人认为 \(SAM\) 的核心在于 \(endpos\)。 子串（终点）在原串出现的下标集合称为 \(endpos\) 集合 阅读全文
摘要：
虚树小记 简明地讲解了虚树的构建过程。 引入 比如给你一棵树，然后有多次询问，每次询问都给出树上若干个点 \(|m_i|\) 个（称为关键点），然后对这些点的性质作查询（比如求它们的最远点对什么的） 注意到如果每次询问都扫描整棵树时间复杂度会爆炸，但是如果能够保证总查询扫描的点与 \(\sum |m 阅读全文
摘要：
好像没见到用 wqs 二分写的 emm，使用 wqs 二分的复杂度为 \(O(n {\rm log} n)\)，吊打这题。 不熟悉 wqs 二分的可以先看： https://www.acwing.com/file_system/file/content/whole/index/content/587 阅读全文
摘要：
wqs 二分笔记 不得不说这东西理解容易但是写代码的时候一堆边界问题，谔谔 讲解 先放例题：https://www.luogu.com.cn/problem/P5633 模板题题目描述 给你一个有 \(n\) 个节点，\(m\) 条边的带权无向图，你需要求得一个生成树，使边权总和最小，且满足编号为 阅读全文
摘要：
后缀数组小记 简要地介绍了后缀数组相关知识，对原理部分的解析较浅。 介绍 sa[i]: 代表排名 \(i\) 的后缀在原串的下标。 rank[i]: 表示原串下标 \(i\) 所对应的后缀的排名。 height[i]: \(\rm{height}[i] = \rm{LCP}(\rm{suffix(s 阅读全文
摘要：
Burnside 引理 & Pólya 定理 Burnside 引理 & Pólya 定理能够用来解求本质不同的方案数这类问题。 考虑到定理的证明依赖于群论，而萌新可能对群论比较陌生，因此从群论相关知识讲起。 群论知识参考了许多资料（见本文引用资料），把本人认为简洁易于理解的讲解保留了下来，而对于一 阅读全文
摘要：
数据库笔记 复习数据库的时候整理的笔记。 阅读时你将看到：中英双语，是因为有些名词的中文翻译我不确定，所以保留英文了。 SQL 为 postgresql 关系代数 Relational Algebra 关系运算的参与对象是关系，运算后结果也是关系。在数据库中，关系就是一张张的表。在离散数学中，关系是 阅读全文
摘要：
牛客练习赛100 https://ac.nowcoder.com/acm/contest/11251 简要地写一下 A-E 的解答。 A-D 为了减少篇幅没有放头文件等东西，可以到 E 题去取。 A 范围不大，直接枚举来找即可。 int main(){ int a, b, n; cin>>a>>b> 阅读全文
摘要：
思路比较有新意的区间 dp。 分析 直接用 \(f(l, r)\) 表示删除区间 \([l, r]\) 的最大收益会发现无法正确处理删除后出现同色木块合并对应的贡献。 那我们考虑用更复杂的状态表示来维护之。 发现一个区间的右端点终究会有一个时候被删掉，所以利用其来进行状态转移。 我们用 \(f(l, 阅读全文
摘要：
分析 这题可以拆成两道题来做： 第一题 首先，看到这个合并顺序，感觉十分不好下手，那么我们不妨绕过对合并的分析，看看问题能等价为什么： 随便写几个柿子，比如 \(1-((1-4)-(5-(1-4)))\)，发现运算的结果可以化到最简表述为没有括号只有 +- 的形式，而且加减在除了第一个位置必然是减（ 阅读全文