Skip to content

Latest commit

 

History

History
1418 lines (1037 loc) · 69 KB

list.md

File metadata and controls

1418 lines (1037 loc) · 69 KB
Raw

洛谷试炼场的题目确实很具有代表性，但是近几年以来，又有许多经典题目出现在 OI 界中，这个大题单就是作为洛谷试炼场的扩展和补充。

Copyleft

本项目采用 知识共享署名-相同方式共享 4.0 国际许可协议 以及附加的 The Star And Thank Author License 进行许可。

换言之，您可以自由的共享并演绎该项目，但是必须给出必要的署名，并以相同方式共享本项目，并为本项目的 Github 仓库 点赞（Star）。

新版本食用指南

本次版本更新变更较大，建议您仔细阅读下面的内容！

在刚刚更新的 2.0 版本中，我们改变了原来按知识难度排列知识点的目录结构，改为按照专题大类组织目录结构。

为了方便按知识难度刷题的用户，这里给出一些建议：

  • 对于初学者，建议先完成 Part 1,2 两部分内容，为接下来的学习打好基础。
  • 对于要参加 CSP-S 的选手，建议在前面的基础上优先完成 Part 3.1-3.4, 4.1-4.4, 6.1-6.5, 7.1-7.8, 8.1-8.7 的内容（具体内容见下），在此基础上继续完成其他内容。
  • 每个专题下的题目先给出模板，剩下的题目均按照难度递增顺序排序，部分难度较高的综合性题目建议达到一定能力后再尝试解决。

更新日志

3.0.1 2019/12/8：

  1. 添加了 CSP2019 和一些公开赛的题目；
  2. 跟进洛谷域名更换，将题目链接全部更新。

3.0 2019/10/13：

  1. 新增专题：回文自动机，K-D Tree，自适应辛普森法，左偏树，置换群，离线算法，构造，DLX，三分法，珂朵莉树。
  2. 添加了一些最近的公开比赛题目，部分专题补充了一些优质题目。
  3. 移除了部分重复题目。
  4. 对之前没有介绍的专题补充了介绍。

更早版本的更新日志请点击这里查看

Part 0 试机题

三道试机题目。

Part 1 入门阶段

本部分内容针对入门 OIer ，主要是语言基础内容。

Part 1.1 从零开始

语言基础题。

Part 1.2 数组基础

数组可以用于存储大量的信息。

Part 1.3 字符串基础

字符串是特殊的数组，但它也有很多自身的特点。

Part 1.4 函数，递归及递推

这是初学者最难理解的部分，建议画出递归图来理解递归的过程。

Part 2 基础算法

这一部分的内容包含了 OI 中的基础算法，供各位巩固基础。

当然，这里面也有一些难度比较高的题目。

Part 2.1 模拟

模拟，顾名思义就是题目要求你做什么你就做什么，这样的题目很考验选手的代码组织能力。

这里不仅仅有非常基础的模拟，也有一些非常复杂的题目。

Part 2.2 排序算法

通过排序，我们可以将数据有序化，这让我们对数据的处理方便了很多。

Part 2.3 二分答案

对一个满足单调性质的问题，我们可以采用二分答案的方法来解决。

Part 2.4 分治

分治，即分而治之，将大问题分解为小问题，分别求解，最后合并结果。

Part 2.5 贪心

贪心，指的是决策时都采取当前最优解的算法。有的时候，这样做确实可以获得最优解。

Part 2.6 构造

构造题是一种形式灵活多样的题型。正是因为这个特点，使得构造题没有一种通用的方法。

Part 2.7 高精度

在 C++ 中，long long 都无法表示我们需要的整数时怎么办？那就用高精度吧！

Part 2.8 前缀和 & 差分

前缀和是一种重要的预处理，能大大降低查询的时间复杂度，而差分则是一种和前缀和相对的策略。

Part 3 搜索

搜索其实就是高级的枚举，很多题目都可以用搜索完成。就算不能，搜索也是骗分神器。

Part 3.1 深度优先搜索

深度优先搜索（DFS），即按照深度优先的顺序搜索的算法。

深度优先搜索一般使用栈来实现。

Part 3.2 广度优先搜索

广度优先搜索（BFS），即优先扩展浅层节点，逐渐深入的搜索算法。

广度优先搜索一般使用队列来实现。

Part 3.3 记忆化搜索

通过将已经遍历的状态记录下来，从而减少重复的搜索量，这就是记忆化搜索。

动态规划的时候，记忆化搜索也是一种高效简洁的实现方式。

Part 3.4 搜索的剪枝

对于一些不必要搜索的部分，我们可以避免访问这些状态，从而提高搜索效率。

Part 3.5 双向搜索

在搜索时，如果能从初态和终态出发，同时进行搜索，就可以减小搜索树的规模，提高时间效率。

Part 3.6 A*

在 BFS 中，如果能设计一个合理的估价函数，就可以更快扩展到最优解。这就是 A*算法。

Part 3.7 IDA*

像 BFS 那样，每次只扩展一层节点，却采用 DFS 方式来遍历搜索树，这就是迭代加深搜索。

再加上一个估价函数来减小搜索量，就是 IDA*了。

Part 3.8 DLX

算法 X 是通过回溯法求解精确覆盖问题的算法，而删除列这一操作可以使用舞蹈链加速。

Part 4 动态规划

动态规划是一种重要的思维方法，通过利用已有的子问题信息高效求出当前问题的最优解。

Part 4.1 线性动态规划

线性动态规划，即具有线性阶段划分的动态规划。

Part 4.2 背包动态规划

背包动态规划是线性动态规划中特殊的一类，NOIP中考到的次数也不少。

Part 4.3 区间动态规划

区间动态规划一般以区间作为动态规划的阶段。

Part 4.4 树形动态规划

树形动态规划，即在树上进行的动态规划。

因为树的递归性质，树形动态规划一般都是递归求解的。

Part 4.5 状态压缩动态规划

将一个状态压缩为一个整数（通常为二进制数），就可以在更为方便地进行状态转移的同时，达到节约空间的目的。

Part 4.6 倍增优化动态规划

利用倍增的方式，我们可以将状态转移的效率大大提高。

Part 4.7 数据结构优化动态规划

利用数据结构来维护已有信息，也可以达到优化状态转移的目的。

Part 4.8 单调队列优化动态规划

借助单调队列，排除不可能的决策，可以起到优化状态转移的效果。

Part 4.9 斜率优化动态规划

通过用单调队列维护一个凸壳，来达到优化转移的目的。

Part 4.10 决策单调性优化动态规划

利用决策间的递变规律，也能实现优化状态转移的目的。

Part 4.11 数位统计类动态规划

统计一个区间中满足条件的数有多少，就是数位统计类动态规划。

Part 4.12 轮廓线动态规划

轮廓线动态规划（即常说的插头 DP）是一种特殊的状压动态规划，通过以轮廓线为状态来实现状态转移。

Part 5 字符串

字符串问题有很多自己的特点。

Part 5.1 字符串哈希

字符串哈希通过牺牲很小的准确率，达到快速进行字符串匹配的效果。

Part 5.2 KMP

KMP 算法可以用来解决模式串匹配问题。

Part 5.3 Manacher

Manacher 可以在线性时间内求出一个字符串的最长回文子串。

Part 5.4 Trie树

Trie树可以像查字典一样把多个字符串组织到一棵树上。

Part 5.5 AC自动机

AC自动机可以看成是 KMP 和 Trie 的结合体，用于解决多字符串匹配问题。

Part 5.6 回文自动机

回文自动机是解决回文串问题的有力工具。

Part 5.7 后缀数组

后缀数组可以解决很多字符串匹配的问题。

Part 5.8 后缀自动机

后缀自动机是一种处理字符串问题的强大工具。

Part 6 数学

OI 中的数学知识很多，也有些杂乱。

Part 6.1 位运算

将十进制整数转换为二进制后，有很多按位运算的运算符。

如果能善于利用位运算的一些性质，往往能达到事半功倍的效果。

Part 6.2 整除相关

与整除相关的概念有很多，比较常用的有素数，最大公约数和欧拉函数。

Part 6.2.1 素数

素数，指的是除 1 和它本身之外没有其他约数的数。

Part 6.2.2 最大公约数

如果两个数有一个共同的约数，那么这个约数就被称为公约数。最大公约数就是指这两个数的所有公约数中，最大的一个。

求解两个数的最大公约数，可以采用欧几里得算法解决。

Part 6.2.3 欧拉函数

欧拉函数 $ \varphi (x) $ 表示了小于 $ x $ 的数字中，与 $ x $ 互质的数字个数。

Part 6.3 同余方程

求解同余方程往往可以引出不少话题。

Part 6.3.1 线性同余方程&乘法逆元

线性同余方程是同余方程中最基础的内容。

Part 6.3.2 中国剩余定理

中国剩余定理可以快速解一元线性同余方程组。

Part 6.3.3 高次同余方程

BSGS 算法可以高效计算离散对数。

而高次剩余的求解更加复杂，其中二次剩余作为高次剩余中比较特殊的情况，可以使用 Cipolla 法求解。

Part 6.4 博弈论

博弈论考虑游戏中的个体的预测行为和实际行为，并研究它们的优化策略。

Part 6.5 概率与期望

概率和期望是紧密相连的，OI 中往往会出现和概率期望相关的动态规划问题。

Part 6.6 组合数学

组合数学常常与计数问题，概率期望紧密相连。

Part 6.6.1 排列组合

排列组合是组合数学的基础。

Part 6.6.2 卡特兰数&斯特林数

卡特兰数和斯特林数是两类常见的组合递推数列。

Part 6.6.3 容斥原理

容斥原理常常用于解决集合的计数问题。

Part 6.7 线性代数

线性代数主要用于解决线性关系问题。

Part 6.7.1 矩阵

利用矩阵优化数列递推，可以实现复杂度从线性到对数级的转变。

Part 6.7.2 高斯消元

高斯消元可以用来求解方程组。

Part 6.7.3 线性基

线性基可以求解最大异或和的一类问题。

Part 6.8 多项式

对多项式的运算进行优化，从而能够解决规模更大的问题。

Part 6.9 莫比乌斯反演

运用莫比乌斯反演，我们可以将一些函数转化，从而降低计算难度。

Part 6.10 筛法

利用数列的性质，有多种筛法可以求出我们想要的信息。

Part 6.11 线性规划

线性规划是研究线性约束条件下线性目标函数极值问题的方法。

Part 6.12 数值方法

在算法领域，有很多求近似值的数值方法。

Part 6.12.1 三分法

三分法可以求出一个单峰 / 单谷函数的极值。

Part 6.12.2 自适应辛普森法

自适应辛普森法可以高效求出给定函数的数值积分。

Part 6.13 置换群

置换群通常用来解决一些涉及“本质不同”的计数问题。

Part 7 数据结构

灵活地运用数据结构可以高效地查询并处理需要的信息。

Part 7.1 链表

在一个数列中高效插入一个元素，链表毫无疑问是最好的选择。

Part 7.2 栈

栈，是一种后进先出（FILO）的数据结构。

Part 7.3 队列

队列，是一种先进先出（FIFO）的数据结构。

Part 7.4 并查集

并查集常用于处理一些不相交集合的合并和查询问题。

Part 7.5 二叉堆

二叉堆是一棵完全二叉树，堆中某个节点的值总是不大于或不小于其父节点的值。

Part 7.6 ST表

ST表可以离线查询区间最值。

Part 7.7 树状数组

树状数组是一种简洁高效的树形数据结构。

Part 7.8 线段树

线段树的通用性比树状数组更强，可以处理更多涉及区间操作的题目。

Part 7.9 分块

分块是一种非常通用的暴力方法，虽然效率不如线段树和树状数组，但可以解决很多线段树和树状数组处理不了的问题。

Part 7.10 可并堆

可并堆分为左偏树和配对堆两种，它们都具有堆的性质，且可以高效合并。

Part 7.11 主席树

主席树，即可持久化权值线段树。

Part 7.12 平衡树

二叉搜索树可以用来维护有序序列。

为了保证查询效率，有多种使二叉搜索树保持平衡的实现方法。

Part 7.13 树链剖分

树链剖分可以将任意一条树上路径划分成若干条连续的链，并用线段树等数据结构高效维护链上信息。

Part 7.14 树套树

树套树可以用来维护多维度信息。

Part 7.15 动态树

Link-Cut Tree 可以用来解决动态树一类问题。

Part 7.16 可持久化数据结构

可持久化数据结构实现了在更新信息的时候保留历史版本。

Part 7.17 K-D Tree

K-D Tree 是一种高效处理 $ k $ 维信息的数据结构。

Part 7.18 珂朵莉树

珂朵莉树，是一种基于 std::set 的暴力数据结构，在数据随机的情况下表现优秀。

Part 8 图论

图论是数学的一个分支，它以图为研究的对象。

Part 8.1 图的存储与遍历

这里的图论内容都比较简单，涉及图的存储以及遍历图的方式。

Part 8.2 最短路问题

很多题目都可以转化为最短路的模型。因此，掌握最短路算法非常重要。

Part 8.3 树上问题

作为一种特殊的图，树上的问题具有很多鲜明的特点。

Part 8.3.1 二叉树

二叉树是一种特殊的树，它有很多特殊的性质。

Part 8.3.2 树的直径

树的直径被定义为树上最远的两点间的距离。

计算树的直径，可以通过两遍 DFS 解决。

Part 8.3.3 最近公共祖先

两个点的最近公共祖先，即两个点的所有公共祖先中，离根节点最远的一个节点。

求解最近公共祖先，常用的方法是树上倍增或者树链剖分。

Part 8.4 生成树

用 $ n-1 $ 条边将图上的 $ n $ 个点连接起来，形成的树就被称为生成树。

Part 8.5 拓扑排序

将一个有向无环图排序，使得所有排在前面的节点不能依赖于排在后面的节点，这就是拓扑排序。

Part 8.6 差分约束

差分约束要解决的问题是：求出一组 $ n $ 元不等式的一组解，使得所有约束关系都能得到满足。

Part 8.7 图的连通性相关

利用 Tarjan 算法，我们可以解决很多与图的连通性相关的问题。

Part 8.8 二分图

二分图上的不少问题都可以转化成网络流解决，当然也有独特的其他方法。

Part 8.9 网络流

网络流是图论中一个重要的分支，很多题目都可以通过建立网络流的模型来解决。

Part 8.9.1 最大流

最大流，即求网络中最大的流量。

Part 8.9.2 最小割

最小割，即求一个边权最小的边集，使得源点和汇点不再连通。

可以证明，最大流=最小割。

Part 8.9.3 费用流

在网络流中给边加上一个参数——费用，就出现了费用流。

Part 8.9.4 上下界网络流

在网络流问题中给每条边的流量增加一个下界，就有了上下界网络流。

Part 8.10 2-SAT

k-SAT 问题的目标是对一些布尔变量赋值，满足限定的条件。

在 k-SAT 问题中，2-SAT 问题属于较为容易解决的一类。

Part 8.11 点分治

点分治是一种可以高效统计树上路径信息的算法。

Part 8.12 虚树

将一些无用的点从树上删去，从而达到降低树的规模的效果。

Part 8.13 矩阵树定理

矩阵树定理可以解决图的生成树计数问题。

Part 9 计算几何

试着用计算机来解决几何问题吧！

Part 9.1 凸包

凸包指在平面上能包含所有给定点的最小凸多边形。

Part 9.2 旋转卡壳

旋转卡壳是一种求出凸包所有对踵点对的算法。

Part 9.3 半平面交

多个半平面的交集称之为半平面交。

Part 10 杂项

这里的专题，有很多都难以纳入前面的类别中，故将他们单独列入了杂项。

Part 10.1 模拟退火

模拟退火是一种随机化算法。当一个问题的方案数量极大（甚至是无穷的）而且不是一个单峰函数时，我们常使用模拟退火求解。

Part 10.2 0/1 分数规划

0/1 分数规划用来求一个分式的极值。

Part 10.3 离线算法

当题目不要求强制在线时，我们可以一次性读入所有询问来处理。

Part 10.3.1 CDQ 分治

CDQ 分治是一个基于分治思想的离线算法。

Part 10.3.2 整体二分

整体二分，顾名思义就是把多个查询一起二分解决。

Part 10.3.3 莫队

莫队算法可以解决不少离线区间询问问题。

Part 10.4 奇怪的题目

OI 界中有一些非常规套路的题目，这里放出来分享。

Part 10.5 非传统题

在 NOI 等比赛中，非传统题正越来越频繁出现。

非传统题主要包括以下几类：提交答案题，交互题，通信题。

Part 10.5.1 提交答案题

给你一些输入，你只需要提交这些输入对应的答案，即为提交答案题。