摘要：
一年一度的胡言乱语~ 阅读全文
摘要：
连通性问题 1. 强连通分量 1.1. 算法解析 在 Tarjan 算法中为每个结点 \(u\) 维护了以下几个变量： \(dfn_u\)：深度优先搜索遍历时结点 \(u\) 被搜索的次序，即 \(u\) 的 DFS 序。 \(low_u\)：不经过 \(u\) 的祖先能到达的最小的 \(dfn\) 阅读全文
摘要：
2-SAT 问题 1. 模型 有 \(n\) 个布尔类型的变量 \(x_1, x_2, \ldots, x_n\)，有 \(m\) 条限制形如 \(x_i \space [\operatorname{or}/\operatorname{and}]\space x_j=[1/0]\). 求一组符合要求 阅读全文
摘要：
笛卡尔树（Cartesian Tree） 1. 定义 根据序列构造的满足以下性质的树： 二叉搜索树性质（BST）：\(key_{ls} \le key_x \le key_{rs}\)，\(key\) 默认为下标。 堆性质：\(val_{x} \le val_{ls} \le val_{rs}\). 阅读全文
摘要：
插头 DP 定义 基于连通性状态压缩的 DP. 一个方向的插头存在表示这个格子在这个方向可以与外面相连。 状态 一个 \(n \times m(n, m \le 12)\) 的棋盘，有的格子是障碍，问共有多少满足要求的回路？ 本题中，所有非障碍格子一定是从一个插头进、一个插头出，刚好用两个插头，方案 阅读全文
摘要：
可并堆 / 左偏树 左偏树 外节点：只有一个儿子或没有儿子的节点。 距离：一个节点到离他最近的外节点的距离，即两节点之间的路径权值和。特别地，外节点的距离为 \(0\)，空节点的距离为 \(-1\). 左偏树：满足如下性质的二叉树： 堆性质：任何节点的权值小于等于儿子节点的权值，即 \(val_{f 阅读全文