带下划线的为已经学习过一遍的知识点。
带方括号的为 CCF 大纲中有的，其中数字为难度系数，应按它从小到大学习。
括号后面为完成时间。
按照 OI Wiki 的顺序排列。
基础
- STL
- GDB
搜索
- 记忆化
- 启发式
- 双向
- 迭代加深
- 舞蹈链（2023.3.30）
动态规划
- （2023.4.10 新增）插头 DP
- （2023.4.10 新增）动态 DP
- 单调队列/单调栈优化
- 斜率优化
- 四边形不等式优化
字符串
- KMP
- Z 函数
- AC 自动机
- SA
- SAM
- 后缀平衡树
- 广义 SAM
- 后缀树
- Manacher
数论
- 线性筛
- 数论分块
- Miller–Rabin 素性测试、Pollard's Rho 算法
- 类欧几里德算法
- 中国剩余定理
- Lucas 定理
- 原根
- BSGS
- 二次剩余
- 莫反
- 杜教筛、PN 筛、Min_25 筛、洲阁筛
多项式与生成函数
- 拉插
- FFT、NTT、FWT
- （2023.4.10 新增）符号化方法
- 求逆、开方、除法/取模、对数/指数、牛迭、多点求值/快速插值、（反）三角、常系数齐次线性递推、多项式平移/连续点值平移
组合数学
- 康托展开
线性代数
- 高斯消元
- 线性基
数学其他
- 单纯形法
- 群论：Burnside 引理、Pólya 定理
- 博弈论
数据结构
- 可并堆
- 分块
- 李超线段树
- 区间最值操作 & 区间历史最值
- 平衡树（2023.4.9）
- 可持久化
- 树套树
- k-d tree
- 动态树：LCT、（2023.4.9 补充）ETT
图论
- 树链剖分
- 树上启发式合并
- 虚树
- （动态）树分治
- 矩阵树定理
- k 短路
- 同余最短路
- 网络流
- 图的匹配
- Prüfer 序列
- LGV 引理
- 弦图
- （2023.4.2 补充）Tarjan
计算几何
- Delaunay 三角剖分
- 凸包
- 扫描线
- 旋转卡壳
- 半平面交
- 平面最近点对
- 反演变换
其他
- 离线算法：CDQ、莫队、整体二分
- 悬线法
- 珂朵莉树/颜色段均摊