- 博客(16)
- 收藏
- 关注
RSS订阅原创 树链剖分/重链剖分
文章摘要： 树链剖分是一种将树分解为链状结构的技术，主要用于高效处理树上路径操作。最常见的重链剖分通过两次DFS实现：第一次确定重子节点和子树大小，第二次对节点编号并优先遍历重链。这种剖分使得每条重链上的节点编号连续，便于结合线段树进行区间操作。应用包括快速求LCA、路径修改/查询、子树操作等。对于边权问题，可将边权转为深度更大节点的点权处理。典型例题如洛谷P3379的LCA模板题，展示了树剖在无需线段树情况下的简洁实现。
2025-11-15 21:36:46
685
原创 一文讲透数列基本知识
本文系统讲解了数列的基本概念、性质与运算方法。首先明确了数列的定义，强调其与集合的本质区别在于有序性和可重复性。 重点分析了数列的规则性，详细介绍了通项公式和递推公式这两种表示方法，指出通项公式更实用但递推公式更具普遍性。在数列运算部分，阐述了求和运算的分类（全部和、区间和、级数），解释了收敛性和发散性级数的特点。 对于求第n项的方法，强调推导通项公式是关键。文章通过奇数数列等具体例子，说明了如何利用通项公式求特定项及其位置。整体而言，本文为初中阶段的数列知识提供了全面而系统的讲解。
2025-11-12 14:25:12
1962
原创 线段树 & 树状数组
本文介绍了线段树和树状数组两种处理动态区间问题的数据结构。线段树支持任意区间查询和修改，应用范围更广但实现复杂；树状数组则通过维护前缀和实现高效单点修改和区间查询，代码简洁但功能受限。重点讲解了树状数组的实现原理，包括lowbit函数的作用、区间查询和单点修改的核心操作，并通过洛谷模板题P3374展示了具体应用。两种数据结构各有优劣，在实际问题中应根据需求选择。
2025-11-11 09:29:45
709
原创 欧拉函数学习笔记 / P2568 题解
本文介绍了欧拉函数的基本概念、性质和计算方法，重点阐述了如何结合质数筛法高效求解欧拉函数。文章首先讲解了朴素筛法、埃氏筛法和欧拉筛三种质数筛法，强调了欧拉筛在可拓展性上的优势。随后详细推导了欧拉函数的计算公式，并给出了使用欧拉筛线性递推求欧拉函数的实现方法。最后以一道需要计算满足条件的数对题目为例，展示了如何应用欧拉筛和欧拉函数解决实际问题，同时给出了暴力解法的代码框架。通过将数学原理与算法实现相结合，为读者提供了实用的数论知识学习路径。
2025-11-07 08:38:40
1084
原创 连通性相关详解
本文介绍了DFS生成森林的概念及Tarjan算法求强连通分量的方法。首先阐述了DFS生成森林的四种边类型（树边、反祖边、横叉边、前向边）及其作用。重点讲解了强连通分量的定义和Tarjan算法的实现流程，包括维护dfn、low数组和栈结构来处理返祖边。最后介绍了缩点技术，将强连通分量视为单个节点，将原图转化为DAG以便进行后续处理。文章提供了完整的代码实现和变量声明，并通过例题展示了算法的实际应用。
2025-11-05 22:03:01
995
1
原创 Manacher算法精解
Manacher算法是一种线性时间复杂度求解字符串最长回文子串的高效算法。该算法的核心思想是通过预处理字符串（插入特殊字符统一奇偶性）和动态维护回文半径数组，利用对称性避免重复计算。算法通过记录当前最右回文边界及其中心点，将处理过程分为四种情况，但通过简洁的代码实现了自动分类处理。实际应用中，Manacher算法不仅适用于基础的最长回文串问题，还能解决多字符串查询等变种问题。其时间复杂度为O(n)，空间复杂度为O(n)，在字符串处理领域具有重要价值。
2025-11-03 07:50:40
863
原创 猫树：RMQ的冷门科技
本文介绍了猫树（Cat Tree）这一静态线段树数据结构，它专门用于高效处理区间查询问题（如RMQ），但不支持修改操作。相比传统线段树的O(log n)查询，猫树通过预处理实现O(1)查询，其核心思想是利用二叉树分治和LCA特性快速定位查询区间。文章详细阐述了猫树的构建流程（递归分治+中点扩展预处理）和查询原理（通过节点编号的二进制特性快速求LCA），并与ST表进行了对比分析。虽然猫树常数略大，但其可扩展性优于ST表。最后提供了代码实现框架，包括变量定义和建树函数。通过空间换时间的策略，猫树在静态区间查询场
2025-11-03 07:50:32
1248
1
原创 单调队列 & 单调栈
本文介绍了单调队列和单调栈的基本原理及应用。单调队列用于高效求解滑动窗口最值问题，通过维护单调递增/递减的双端队列实现O(n)时间复杂度。文章详细讲解了单调队列的实现模板，包括处理区间限制元素的方法，并给出滑动窗口问题的代码示例。同时介绍了单调栈作为单调队列的简化版，适用于只需单端操作的问题。最后通过"良好的感觉"例题，展示了如何利用双向单调栈快速确定每个元素作为最小值时的最大区间和。这两种数据结构都能高效解决特定类型的最值问题。
2025-11-03 07:50:24
816
原创 二分图判定与最大匹配详解
本文介绍了二分图的基本概念、判定方法和最大匹配算法。二分图是指顶点集可划分为两个不相交子集的图，其中每条边都连接不同子集的点。判断二分图可通过着色法或检查是否存在奇环来实现。文章还详细讲解了二分图最大匹配的Kuhn算法，通过寻找增广路径来求解。代码示例展示了如何实现二分图判定和最大匹配。二分图在图论问题中具有重要应用，掌握其基本算法对解决相关问题很有帮助。
2025-11-03 07:50:15
595
原创 珂朵莉树实战指南
珂朵莉树摘要 珂朵莉树（ODT）是一种基于暴力思想的区间处理技巧，通过合并值相同的区间来高效处理多种区间操作。其核心函数包括： 区间断开：在指定位置分割区间 区间合并：将指定区间赋为统一值并合并 区间操作：暴力遍历每个区间节点单独处理 ODT适用于含区间推平操作的问题，在随机操作下均摊复杂度为O(m log n)。虽然暴力，但能灵活处理求和、最值、第k小等复杂区间问题，是骗分利器。 （字数：150） 相信珂学！暴力即是正义！
2025-10-31 19:18:45
1013
原创 KMP算法与Z函数
本文主要介绍了字符串匹配中的KMP算法及其相关概念。文章首先讲解了前缀函数的定义及其计算方法，通过示例演示了如何计算字符串的π数组。随后详细阐述了KMP算法的实现流程，包括模式匹配的核心思想、如何利用前缀函数优化匹配过程，并给出了完整的代码实现。文中还补充了字符串周期性的相关内容，展示了如何利用前缀函数计算字符串的最小周期，并通过例题展示了实际应用。最后提供了相关题目的参考代码实现。
2025-10-31 19:12:29
1226
原创 拓扑排序详解及例题
本文介绍了拓扑排序的原理及其在有向无环图(DAG)中的应用。拓扑排序通过不断移除入度为0的节点来确定节点间的线性顺序。文章详细讲解了实现流程，包括代码示例和复杂度分析，并重点讨论了拓扑序列的可重性判断方法，即通过检查队列中入度为0的节点数量是否超过1。此外，文章还介绍了DAG上的动态规划应用，说明如何在拓扑排序过程中处理节点权值。通过《神经网络》等实际问题展示了带权拓扑排序的使用场景，为图论中的依赖关系问题提供了有效解决方案。
2025-10-31 19:09:14
666
原创 Justskr 的 OI 学习笔记
本文档同步发布于个人博客，提供更优阅读体验，每篇博文均附原文链接。作者声明原创性有限，可能参考优质同题博客，但并非简单复制，若涉侵权请联系删除。欢迎点赞收藏支持，这将激励作者持续创作。
2025-10-31 19:06:03
167
原创 常见动态规划详解
本文探讨了动态规划（DP）的基本概念及其应用，重点介绍了线性DP这一基础类型。文章首先阐述了动态规划的核心思想：通过分解问题为子问题，满足最优子结构、无后效性和子问题重叠等条件。随后以快速幂算法为例，对比递归与递推的效率差异，强调递推在竞赛中的优势。接着以最长上升子序列（LIS）问题为例，详细讲解了线性DP的解题思路和状态转移方程，并通过多个例题（如木棍加工、打鼹鼠、友好城市等）展示了LIS问题的实际应用。全文旨在帮助读者理解动态规划的基本原理，并掌握线性DP的解题方法。
2025-10-31 18:30:39
393
原创 海伦公式及详细推导
海伦公式是利用三角形三边边长求面积的公式，表达式为$S=\sqrt{p(p-a)(p-b)(p-c)}$，其中$p$为半周长。该公式最早见于古希腊数学家海伦的著作《测地术》，中国秦九韶也独立发现了类似公式。本文通过详细推导过程，展示了海伦公式的证明方法，并强调这是全网最详细的推导之一（但不一定最全面）。文章还包含图表辅助说明，完整推导过程可参考外部链接。
2024-11-30 16:34:54
1858
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人