该文被密码保护。 阅读全文
posted @ 2025-02-07 15:09 w9095 阅读(0) 评论(0) 推荐(0)
摘要: 前言 WFLS 2023 暑假集训 Day 2 Day 3 做完一部分老师的 LCA 题单后,我觉得人都要升华了。教练说前几年正是考这个玩意的时候,所以出的题目弯弯绕绕。我的评价:不如字符串。 LCA LCA 的定义与性质 最近公共祖先(LCA):树上任意两点 \(i,j\) 最近的公共祖先,记作 阅读全文
posted @ 2025-02-07 14:55 w9095 阅读(34) 评论(0) 推荐(0)
摘要: 前言 欧拉路径和一笔画问题有关,问题的本质也是奇点的数量。不算很难,而且考的也不多,主要还是在第一轮考。 欧拉路径 如果在一个图中,存在由 \(i\) 点出发,把每条边遍历一次,最后到达 \(j\) 的一条路径,则这个图中存在欧拉路径。这条路径叫做欧拉路径。 若最后回到起点,即 \(i=j\),那么 阅读全文
posted @ 2025-02-07 14:54 w9095 阅读(315) 评论(0) 推荐(0)
摘要: 前言 树上操作是 OI 重要的一环,树的 DFS 序、直径、重心这一堆东西也是树上操作的基础。树的 DFS 序可以把树上问题转化为区间问题,树的直径的性质经常是解题的关键,树的重心可以防止一些树上算法复杂度退化——它们都是玄学但有用的算法。 树的DFS序 在一棵树上进行 DFS,按访问顺序(时间戳) 阅读全文
posted @ 2025-02-07 14:54 w9095 阅读(57) 评论(0) 推荐(0)
摘要: 前言 四大玄学玩意:SPFA,动态规划,组合数学,AC自动机。 前置知识: 【5】KMP学习笔记 【6】字典树学习笔记 AC 自动机 给定 \(n\) 个模式串 \(s_i\) 和一个文本串 \(t\),求有多少个不同的模式串在文本串里出现过。 这是一个多模字符串匹配问题,对于这类问题,我们一般用 阅读全文
posted @ 2025-02-07 10:47 w9095 阅读(30) 评论(0) 推荐(0)
摘要: 前言 Manacher 算法是最好写的字符串算法。——教练 暴力求法 给出一个只由小写英文字符 \(\texttt a,\texttt b,\texttt c,\ldots\texttt y,\texttt z\) 组成的字符串 \(S\),求 \(S\) 中最长回文串的长度 。 暴力算法 \(1\ 阅读全文
posted @ 2025-02-07 10:47 w9095 阅读(29) 评论(0) 推荐(0)
摘要: 前言 逆元是模运算中很常用的计算方式,非常重要,是很多数论的辅助算法。 定义 在模 \(m\) 的意义下找到一个数 \(x\) 使得 \(ax\equiv 1\pmod m\),则称 \(x\) 是 \(a\) 在模 \(m\) 的意义下的逆元,记作 \(inv(a)\)。 特别的,当 \(m\mi 阅读全文
posted @ 2025-02-07 09:57 w9095 阅读(319) 评论(0) 推荐(0)
摘要: 前言 关于今天发现自己连快速幂都忘记怎么写这件事 这篇博客是组合计数基础,由于大部分内容都是 \(6\) 级,所以我就给整个提高级的组合数学评了 \(6\) 级。 UPD on \(2025.7.19\):优化大量格式与内容问题。 组合计数基础 加法原理与乘法原理 加法原理(分类计数原理):完成一件 阅读全文
posted @ 2025-02-07 09:57 w9095 阅读(117) 评论(0) 推荐(0)
摘要: 前言 分块是一种重要的高级数据结构思想,核心为大段维护,局部朴素。 顺带一提,由于个人技术水平,本篇博客的难度并没有标题所述的 \(8\) 级。分块还是很难的。 分块 分块,是“优雅的暴力”。 分块的基本思想是把数据分为若干个块(一般块长为 \(\sqrt{n}\)),一个块内的数据在操作中具有相同 阅读全文
posted @ 2025-02-07 09:56 w9095 阅读(29) 评论(0) 推荐(0)
摘要: 前言 有向无环图和拓扑排序直接关联到中后期的图论建模思想,是很重要的基础知识。这个如果不彻底弄懂,以后图论会很困难。 有向无环图 正如其名,一个边有向,没有环的图,也叫DAG。 DAG图实际运用:描述含有公共子式的表达式及工程或系统的进行过程时的有效工具。 一个较大的工程被分成若干个子工程,这些子工 阅读全文
posted @ 2025-02-07 09:56 w9095 阅读(34) 评论(0) 推荐(0)
摘要: 前言 此类知识点大纲中并未涉及,所以【6】是我自己的估计,后带星号表示估计,仅供参考。 差分约束系统属于图论建模,有一定的思维难度,而且比较绕,同时题目中的隐含条件也非常多,是一个比较难的知识点。 差分约束 给出一组包含 \(m\) 个不等式,有 \(n\) 个未知数的形如: \[\begin{ca 阅读全文
posted @ 2025-02-07 09:55 w9095 阅读(47) 评论(0) 推荐(0)