ACM 所有算法 |
数据结构 | - 栈,队列,链表
- 哈希表,哈希数组
- 堆,优先队列
双端队列 可并堆 左偏堆 - 二叉查找树
Treap 伸展树 - 并查集
集合计数问题 二分图的识别 - 平衡二叉树
- 二叉排序树
- 线段树
一维线段树 二维线段树 - 树状数组
一维树状数组 N维树状数组 - 字典树
- 后缀数组,后缀树
- 块状链表
- 哈夫曼树
- 桶,跳跃表
- Trie树(静态建树、动态建树)
- AC自动机
- LCA和RMQ问题
- KMP算法
|
图论 | - 基本图算法图
广度优先遍历 深度优先遍历 拓扑排序 割边割点 强连通分量 Tarjan算法 双连通分量 强连通分支及其缩点 图的割边和割点 最小割模型、网络流规约 2-SAT问题 欧拉回路 哈密顿回路 - 最小生成树
Prim算法 Kruskal算法(稀疏图) Sollin算法 次小生成树 第k小生成树 最优比例生成树 最小树形图 最小度限制生成树 平面点的欧几里德最小生成树 平面点的曼哈顿最小生成树 最小平衡生成树 - 最短路径
有向无环图的最短路径->拓扑排序 非负权值加权图的最短路径->Dijkstra算法(可使用二叉堆优化) 含负权值加权图的最短路径->Bellmanford算法 含负权值加权图的最短路径->Spfa算法 (稠密带负权图中SPFA的效率并不如Bellman-Ford高) 全源最短路弗洛伊德算法Floyd 全源最短路Johnson算法 次短路径 第k短路径 差分约束系统 平面点对的最短路径(优化) 双标准限制最短路径 - 最大流
增广路->Ford-Fulkerson算法 预推流 Dinic算法 有上下界限制的最大流 节点有限制的网络流 无向图最小割->Stoer-Wagner算法 有向图和无向图的边不交路径 Ford-Fulkerson迭加算法 含负费用的最小费用最大流 - 匹配
Hungary算法 最小点覆盖 最小路径覆盖 最大独立集问题 二分图最优完备匹配Kuhn-Munkras算法 不带权二分匹配:匈牙利算法 带权二分匹配:KM算法 一般图的最大基数匹配 一般图的赋权匹配问题 - 拓扑排序
- 弦图
- 稳定婚姻问题
|
搜索 | - 广搜的状态优化
利用M进制数存储状态 转化为串用hash表判重 按位压缩存储状态 双向广搜 A*算法 - 深搜的优化
位运算 剪枝 函数参数尽可能少 层数不易过大 双向搜索或者是轮换搜索 IDA*算法 - 记忆化搜索
|
动态规划 | - 四边形不等式理论
- 不完全状态记录
青蛙过河问题 利用区间dp - 背包类问题
0-1背包,经典问题 无限背包,经典问题 判定性背包问题 带附属关系的背包问题 + -1背包问题 双背包求最优值 构造三角形问题 带上下界限制的背包问题(012背包) - 线性的动态规划问题
积木游戏问题 决斗(判定性问题) 圆的最大多边形问题 统计单词个数问题 棋盘分割 日程安排问题 最***近问题(求出两数之比最接近某数/两数之和等于某数等等) 方块消除游戏(某区间可以连续消去求最大效益) 资源分配问题 数字三角形问题 漂亮的打印 邮局问题与构造答案 最高积木问题 两段连续和最大 2次幂和问题 N个数的最大M段子段和 交叉最大数问题 - 判定性问题的dp(如判定整除、判定可达性等)
模K问题的dp 特殊的模K问题,求最大(最小)模K的数 变换数问题 - 单调性优化的动态规划
1-SUM问题 2-SUM问题 序列划分问题(单调队列优化) - 剖分问题(多边形剖分/石子合并/圆的剖分/乘积最大)
凸多边形的三角剖分问题 乘积最大问题 多边形游戏(多边形边上是操作符,顶点有权值) 石子合并(N^3/N^2/NLogN各种优化) - 贪心的动态规划
最优装载问题 部分背包问题 乘船问题 贪心策略 双机调度问题Johnson算法 - 状态dp
牛仔射击问题(博弈类) 哈密顿路径的状态dp 两支点天平平衡问题 一个有向图的最接近二部图 - 树型dp
完美服务器问题(每个节点有3种状态) 小胖守皇宫问题 网络收费问题 树中漫游问题 树上的博弈 树的最大独立集问题 树的最大平衡值问题 构造树的最小环 |
数学 | 数论 | - 中国剩余定理
- 欧拉函数
- 欧几里得定理
- 欧几里德辗转相除法求GCD(最大公约数)
- 扩展欧几里得
- 大数分解与素数判定
- 佩尔方程
- 同余定理(大数求余)
- 素数测试
一千万以内:筛选法 一千万以外:米勒测试法 - 连分数逼近
- 因式分解
- 循环群生成元
- 素数与整除问题
- 进制位.
- 同余模运算
|
组合数学 | - 排列组合
- 容斥原理
- 递推关系和生成函数
- Polya计数法
Polya计数公式 Burnside定理 - N皇后构造解
- 幻方的构造
- 满足一定条件的hamilton圈的构造
- Catalan数
- Stirling数
- 斐波拉契数
- 调和数
- 连分数
- MoBius反演
- 偏序关系理论
- 加法原理和乘法原理
|
计算几何 | - 基本公式
叉乘 点乘 常见形状的面积、周长、体积公式 坐标离散化 - 线段
判断两线段(一直线、一线段)是否相交 求两线段的交点 - 多边形
判定凸多边形,顶点按顺时针或逆时针给出,(不)允许相邻边共线 判点在凸多边形内或多边形边上,顶点按顺时针或逆时针给出 判点在凸多边形内,顶点按顺时针或逆时针给出,在多边形边上返回0 判点在任意多边形内,顶点按顺时针或逆时针给出 判线段在任意多边形内,顶点按顺时针或逆时针给出,与边界相交返回1 多边形重心 多边形切割(半平面交) 扫描线算法 多边形的内核 - 三角形
内心 外心 重心 垂心 费马点 - 圆
判直线和圆相交,包括相切 判线段和圆相交,包括端点和相切 判圆和圆相交,包括相切 计算圆上到点p最近点,如p与圆心重合,返回p本身 计算直线与圆的交点,保证直线与圆有交点 计算线段与圆的交点可用这个函数后判点是否在线段上 计算圆与圆的交点,保证圆与圆有交点,圆心不重合 计算两圆的内外公切线 计算线段到圆的切点 点集最小圆覆盖 - 可视图的建立
- 对踵点
- 经典问题
平面凸包 三维凸包 Delaunay剖分/Voronoi图 |
计算方法 | - 二分法
二分法求解单调函数相关知识 用矩阵加速的计算 - 迭代法
- 三分法
- 解线性方程组
LUP分解 高斯消元 - 解模线性方程组
- 定积分计算
- 多项式求根
- 周期性方程
- 线性规划
- 快速傅立叶变换
- 随机算法
- 0/1分数规划
- 三分法求解单峰(单谷)的极值
- 迭代逼近
- 矩阵法
|
博弈论 | |
必要的知识储备
* 高等数学, 离散数学。
*一些基本算法和数据结构
(队列、栈、树、图、并查集、堆、 DFS、 BFS、最短路、最小生成树、
拓扑排序、动态规划、贪心、搜索、 KMP、哈希、 Trie、 AC 自动机、快速幂、逆元、费马小
定理、欧拉函数、素数筛选、分解质因数)
//一般这个过程需要很长的时间,推荐 Vjudge 上的 kuangbin 带你飞专题。
*一些进阶的算法以及复杂一些的数据结构(树状数组 线段树 平衡树 后缀数组 二分图匹
配 网络流 费用流 割点 桥 强联通 双联通 最近公共祖先 四大 DP(数位 dp 区间 dp 状压
dp 概率 dp) 博弈论 SG 函数 )