摘要: 2 - SAT 定义 2 - SAT 指的是一种问题形式,通常表述为有 n 个集合,每个集合有且仅有两个元素,且集合之间有对应关系。 举个例子,假设有两个集合 \(A = \left \{a, b \right \}\) , \(B = \left \{c, d \right \}\) ,存在对应关 阅读全文
posted @ 2025-08-11 20:47 AC-wyr 阅读(26) 评论(0) 推荐(0)
摘要: 重链剖分 定义 重链剖分是树链剖分的一种解决方式,通过树链剖分将树划分为多个连续部分方便执行操作 我们进行如下定义: son[u] 表示 u 结点的重儿子。对于重儿子, 我们定义在 u 的所有子树中最大的子节点,且重儿子只有一个 sz[u] 表示 u 结点的子树大小, 包括结点 u 本身 dep[u 阅读全文
posted @ 2025-08-09 21:54 AC-wyr 阅读(98) 评论(0) 推荐(3)
摘要: 平衡树\(Splay\) 前言 个人见解不代表我讲的一定正确,请参考其它文献阅读 (就当我瞎扯淡就行) 前置知识 二叉搜索树 简单叙述一下,具体操作请转至其它博客或oi.wiki 二叉搜索树,也称也称二叉排序树或二叉查找树,是一种基于二叉树的树形结构,满足该树为二叉树且中序遍历有序的性质 简单解释一 阅读全文
posted @ 2025-07-29 20:28 AC-wyr 阅读(26) 评论(0) 推荐(1)