ac-wyr

摘要： 2 - SAT 定义 2 - SAT 指的是一种问题形式，通常表述为有 n 个集合，每个集合有且仅有两个元素，且集合之间有对应关系。 举个例子，假设有两个集合 \(A = \left \{a, b \right \}\) ， \(B = \left \{c, d \right \}\) ，存在对应关 阅读全文

摘要： 重链剖分 定义 重链剖分是树链剖分的一种解决方式，通过树链剖分将树划分为多个连续部分方便执行操作 我们进行如下定义： son[u] 表示 u 结点的重儿子。对于重儿子， 我们定义在 u 的所有子树中最大的子节点，且重儿子只有一个 sz[u] 表示 u 结点的子树大小， 包括结点 u 本身 dep[u 阅读全文

摘要： 平衡树\(Splay\) 前言 个人见解不代表我讲的一定正确，请参考其它文献阅读 （就当我瞎扯淡就行） 前置知识 二叉搜索树 简单叙述一下，具体操作请转至其它博客或oi.wiki 二叉搜索树，也称也称二叉排序树或二叉查找树，是一种基于二叉树的树形结构，满足该树为二叉树且中序遍历有序的性质 简单解释一 阅读全文