RonChen

摘要： 同余类分析法 的基本思想是：利用同余关系将全体整数（或问题的状态空间）划分为若干个互不相交的等价类。 分类标准：选定一个基准数 \(M\)，根据每个数 \(x\) 满足 \(x \equiv r \pmod{M}\) 的余数 \(r\) 进行归类。 分析逻辑：如果一个性质对于某个余数 \(r\) 成 阅读全文

摘要： 差分约束系统用于求解 \(n\) 个未知数 \(x_1 \sim x_n\)，\(m\) 个形如 \(x_u - x_v \le w\) 也就是 \(x_u \le x_v + w\) 的不等式的解。 两种建图方式： \(v\) 向 \(u\) 连边权为 \(w\) 的有向边，建立虚点 \(0\) 阅读全文

摘要： Treap 是一种结合了 二叉搜索树（Binary Search Tree） 和 二叉堆（Binary Treap） 特性的高级平衡数据结构，其名称正是由这两个词组合而成：Tree + Heap \(Rightarrow\) Treap。 更具体地说，Treap 中的每个节点都存储了一个二元组 \( 阅读全文

摘要： 假设有一个包含 \(N\) 个节点的树，要求“树上距离等于 \(K\) 的点对（路径）有多少个？”。 暴力做法枚举任意两个点，然后算它们之间的距离。总共有 \(O(N^2)\) 条路径，时间复杂度是 \(O(N^2)\)。当 \(N=10^5\) 时，直接超时。而点分治算法可以将时间复杂度优化到 \ 阅读全文

摘要： 莫队算法是一种由莫涛提出的基于平方根分解思想离线处理区间查询问题的算法，其时间复杂度通常为 \(O((N+Q) \sqrt{N})\)，其中 \(N\) 是数组大小，\(Q\) 是查询次数。 莫队算法成功的关键在于它不按原始顺序处理查询，而是根据索引进行离线排序。首先将所有左端点在第 1 块的查询处 阅读全文

摘要： 分块算法被称为“优雅的暴力”，它是一种通过将数据分成若干个大小相等的“块”，从而平衡修改和查询时间复杂度的算法思想。 在信息学竞赛中，如果线段树、树状数组等高级数据结构难以实现，分块往往可以作为一种“保底”甚至首选方案。 核心思想：根号平衡 分块的核心在于一个简单的数学观察：如果将长度为 \(n\) 阅读全文

摘要： 扫描线是计算几何中一种非常经典且高效的算法思想，它的核心逻辑是将多维空间中的几何问题，“降维”处理。想象一根无限长的直线，例如垂直线，从左向右在平面上扫过。随着直线的移动，只关注与扫描线相交的那些对象，并实时维护它们的状态。 例题：P5490 【模板】扫描线 求 \(n \ (1 \le n \le 阅读全文

摘要： 求有多少 \(1 \sim n\) 的排列 \(p\) 满足对于任意 $i = 1, \dots, n $，有 \(p_i \ne i\)。 方法 1（递推）：\(D_i = (D_{i-1} + D_{i-2}) \times (i-1)\)，其中 \(D_0 = 1, \ D_1 = 0\) 第 阅读全文

摘要： 在算法竞赛中，博弈论问题通常涉及到两名玩家轮流操作。要理解复杂的博弈模型，通常从最基础、最经典的 Nim 游戏 开始。 Nim 游戏 Nim 游戏是博弈论中最基础的模型。 游戏规则 有 \(n\) 堆石子，第 \(i\) 堆石子数为 \(a_i\)。两名玩家轮流从任意一堆中取走任意数量的石子（至少取 阅读全文

摘要： 容斥原理在组合数学中用来求 \(n\) 个有限集的并集的基数（又称势，即集合元素个数）。设 \(n\) 个有限集分别为 \(S_1, S_2, \dots, S_n\)，那么它们的并集的基数可以表示为：\(|S_1 \cup \cdots \cup S_n| = \sum \limits_i |S_ 阅读全文