这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
2020-2021:teams:alchemist:teamskill [2020/05/13 21:47] mountvoom [计算几何] |
2020-2021:teams:alchemist:teamskill [2020/05/15 20:02] (当前版本) hardict [数论] |
||
---|---|---|---|
行 5: | 行 5: | ||
^ 知识点 ^^^ Max.D.^ Hardict ^ MountVoom ^ | ^ 知识点 ^^^ Max.D.^ Hardict ^ MountVoom ^ | ||
- | | 最短路 | Dijstra || | | | | + | | 最短路 | Dijstra || | Y | | |
- | | ::: | SPFA || | | | | + | | ::: | SPFA || | Y | | |
- | | ::: | 线段树优化建图 || | | | | + | | ::: | 线段树优化建图 || | Y | | |
- | | 生成树 | Prim || | | | | + | | 生成树 | Prim || | Y | | |
- | | ::: | Kruskal || | | | | + | | ::: | Kruskal || | Y | | |
- | | 回路 | 欧拉回路 || | | | | + | | 回路 | 欧拉回路 || | Y | | |
- | | ::: | 哈密顿回路 || | | | | + | | ::: | 哈密顿回路 || | Y | | |
- | | 平面图 | 欧拉定理 || | | | | + | | 平面图 | 欧拉定理 || | ? | | |
- | | ::: | 平面图判定 || | | | | + | | ::: | 平面图判定 || | Y | | |
- | | 连通分量 | 有向图 | 强连通分量 | | | | | + | | 连通分量 | 有向图 | 强连通分量 | | Y | | |
- | | ::: | 无向图 | 割点和桥 | | | | | + | | ::: | 无向图 | 割点和桥 | | Y | | |
- | | ::: | ::: | 点双联通分量 | | | | | + | | ::: | ::: | 点双联通分量 | | Y | | |
- | | ::: | ::: | 边双联通分量 | | | | | + | | ::: | ::: | 边双联通分量 | | Y(只有板子) | | |
- | | 路径问题 | K 短路 || | | | | + | | 路径问题 | K 短路 || | Y | | |
- | | ::: | 差分约束系统 || | | | | + | | ::: | 差分约束系统 || | Y | | |
- | | 生成树 | 次小生成树 || | | | | + | | 生成树 | 次小生成树 || | Y | | |
- | | ::: | 最优比率生成树 || | | | | + | | ::: | 最优比率生成树 || | Y | | |
- | | 拓扑排序 ||| | | | | + | | 拓扑排序 ||| | Y | | |
- | | 2-SAT(注意复杂度) ||| | | | | + | | 2-SAT(注意复杂度) ||| | Y | | |
| 稳定婚姻系统 ||| | | | | | 稳定婚姻系统 ||| | | | | ||
| 环空间 ||| | | | | | 环空间 ||| | | | | ||
- | | 三元环计数 ||| | | | | + | | 三元环计数 ||| | Y | | |
| LGV Lemma ||| | | | | | LGV Lemma ||| | | | | ||
| 最小点基 ||| | | | | | 最小点基 ||| | | | | ||
行 34: | 行 34: | ||
^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ||
- | | 定理 | 最大匹配与最小边覆盖 || | | | | + | | 定理 | 最大匹配与最小边覆盖 || | Y | | |
| ::: | 最大独立集与最小点覆盖 || | | | | | ::: | 最大独立集与最小点覆盖 || | | | | ||
- | | ::: | 最大流最小割 || | | | | + | | ::: | 最大流最小割 || | Y | | |
| ::: | König 定理:二分图最大匹配与最小点覆盖 || | | | | | ::: | König 定理:二分图最大匹配与最小点覆盖 || | | | | ||
| ::: | 二分图最小割与最小点权覆盖 || | | | | | ::: | 二分图最小割与最小点权覆盖 || | | | | ||
- | | 最大流 | Dinic(注意特殊图复杂度) || | | | | + | | 最大流 | Dinic(注意特殊图复杂度) || | Y | | |
- | | ::: | 有上下界的最大流 || | | | | + | | ::: | 有上下界的最大流 || | Y | | |
- | | 最小割 | 最小割 || | | | | + | | 最小割 | 最小割 || | Y | | |
- | | ::: | 平面图最小割 || | | | | + | | ::: | 平面图最小割 || | Y | | |
| ::: | 最小点权覆盖集与最大点权独立集 || | | | | | ::: | 最小点权覆盖集与最大点权独立集 || | | | | ||
- | | ::: | 最大权闭合子图 || | | | | + | | ::: | 最大权闭合子图 || | Y | | |
- | | ::: | 0/1 分数规划 | 最大密度子图 | | | | | + | | ::: | 0/1 分数规划 | 最大密度子图 | | Y | | |
| ::: | 全局最小割 || | | | | | ::: | 全局最小割 || | | | | ||
- | | 费用流 | SPFA 费用流 / zkw 费用流 || | | | | + | | 费用流 | SPFA 费用流 / zkw 费用流 || | Y | | |
| ::: | 最小费用可行流 || | | | | | ::: | 最小费用可行流 || | | | | ||
| ::: | 消圈定理 || | | | | | ::: | 消圈定理 || | | | | ||
- | | ::: | LP 对偶费用流 || | | | | + | | ::: | LP 对偶费用流 || | Y | | |
- | | 二分图 | 最大匹配 | 匈牙利算法(注意复杂度) | | | | | + | | 二分图 | 最大匹配 | 匈牙利算法(注意复杂度) | | Y | | |
- | | ::: | ::: | 最大流算法 | | | | | + | | ::: | ::: | 最大流算法 | | Y | | |
| ::: | ::: | 覆盖集和独立集 | | | | | | ::: | ::: | 覆盖集和独立集 | | | | | ||
| ::: | ::: | DAG 的链与反链 | | | | | | ::: | ::: | DAG 的链与反链 | | | | | ||
| ::: | ::: | 一般图最大匹配 | | | | | | ::: | ::: | 一般图最大匹配 | | | | | ||
| ::: | 带权二分图匹配 | KM 算法(注意复杂度) | | | | | | ::: | 带权二分图匹配 | KM 算法(注意复杂度) | | | | | ||
- | | ::: | 霍尔定理 || | | | | + | | ::: | 霍尔定理 || | | [[2020-2021:teams:alchemist:mountvoom:hallTheorem|Y]] | |
===== 字符串 ===== | ===== 字符串 ===== | ||
行 83: | 行 83: | ||
^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ||
- | | FFT | FFT || | | | | + | | FFT | FFT || | Y | | |
- | | ::: | NTT || | | | | + | | ::: | NTT || | Y | | |
- | | ::: | 任意模数 FFT || | | | | + | | ::: | 任意模数 FFT || | Y | | |
- | | 多项式 | 多项式乘法 || | | | | + | | 多项式 | 多项式乘法 || | Y | | |
- | | ::: | 多项式除法 / 取余 || | | | | + | | ::: | 多项式除法 / 取余 || | Y | | |
- | | ::: | 多项式求逆 || | | | | + | | ::: | 多项式求逆 || | Y | | |
- | | ::: | 多项式一顿操作 || | | | | + | | ::: | 多项式一顿操作 || | Y | | |
- | | 常系数齐次线性递推 | 常系数齐次线性递推优化矩阵快速幂 || | | | | + | | 常系数齐次线性递推 | 常系数齐次线性递推优化矩阵快速幂 || | Y | | |
- | | ::: | BM 求最短递推式 || | | | | + | | ::: | BM 求最短递推式 || | Y | | |
- | | ::: | 扩展 BM 求最短递推式 || | | | | + | | ::: | 扩展 BM 求最短递推式 || | Y(只有板子) | | |
- | | 位运算卷积 | 子集卷积 || | | | | + | | 位运算卷积 | 子集卷积 || | Y(只写过几道) | | |
- | | ::: | FWT || | | | | + | | ::: | FWT || | Y | | |
- | | 生成函数 | 普通生成函数 || | | | | + | | 生成函数 | 普通生成函数 || | Y | | |
- | | ::: | 指数型生成函数 || | | | | + | | ::: | 指数型生成函数 || | Y | | |
- | | 拉格朗日插值 ||| | | | | + | | 拉格朗日插值 ||| | Y | | |
- | | 分治 FFT ||| | | | | + | | 分治 FFT ||| | Y | | |
===== 数论 ===== | ===== 数论 ===== | ||
^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ||
- | | 素性判断 | MillerRobin(注意效率) || | | | | + | | 素性判断 | MillerRobin(注意效率) || | Y | | |
- | | ::: | PollardRho(注意效率) || | | | | + | | ::: | PollardRho(注意效率) || | Y | | |
- | | 离散变换 | 同余方程 | 大步小步 | | | | | + | | 离散变换 | 同余方程 | 大步小步 | | Y | | |
- | | ::: | ::: | 扩展大步小步 | | | | | + | | ::: | ::: | 扩展大步小步 | | Y | | |
- | | ::: | ::: | 中国剩余定理 | | | | | + | | ::: | ::: | 中国剩余定理 | | Y | | |
- | | ::: | ::: | 扩展中国剩余定理 | | | | | + | | ::: | ::: | 扩展中国剩余定理 | | Y | | |
- | | ::: | 二次剩余 || | | | | + | | ::: | 二次剩余 || | Y | | |
| ::: | 三次剩余 || | | | | | ::: | 三次剩余 || | | | | ||
| ::: | N 次剩余 || | | | | | ::: | N 次剩余 || | | | | ||
| ::: | 任意模数 N 次剩余 || | | | | | ::: | 任意模数 N 次剩余 || | | | | ||
- | | 欧几里得 | 扩展欧几里德 || | | | | + | | 欧几里得 | 扩展欧几里德 || | Y | | |
- | | ::: | 二元一次不定方程求解 || | | | | + | | ::: | 二元一次不定方程求解 || | Y | | |
- | | ::: | 类欧几里得 || | | | | + | | ::: | 类欧几里得 || | Y | | |
- | | 置换群 | Burnside 引理 || | | | | + | | 置换群 | Burnside 引理 || | Y | | |
- | | ::: | Pólya 定理 || | | | | + | | ::: | Pólya 定理 || | Y(需要复习) | | |
- | | 反演 | Mobius 反演 || | | | | + | | 反演 | Mobius 反演 || | Y | | |
- | | ::: | 二项式反演 || | | | | + | | ::: | 二项式反演 || | Y | | |
| ::: | Stirling 反演 || | | | | | ::: | Stirling 反演 || | | | | ||
| ::: | Lagrange 反演 || | | | | | ::: | Lagrange 反演 || | | | | ||
- | | 筛法 | 线筛积性函数 || | | | | + | | 筛法 | 线筛积性函数 || | Y | | |
- | | ::: | 杜教筛 || | | | | + | | ::: | 杜教筛 || | Y | | |
| ::: | 洲阁筛 || | | | | | ::: | 洲阁筛 || | | | | ||
- | | ::: | min_25 筛 || | | | | + | | ::: | min_25 筛 || | Y | | |
| 矩阵 | 高斯消元 | 异或方程组 | | | | | | 矩阵 | 高斯消元 | 异或方程组 | | | | | ||
- | | ::: | ::: | 求行列式 | | | | | + | | ::: | ::: | 求行列式 | | Y | | |
- | | ::: | ::: | 辗转相除法高斯消元 | | | | | + | | ::: | ::: | 辗转相除法高斯消元 | | Y | | |
| ::: | 特征值与特征方程 || | | | | | ::: | 特征值与特征方程 || | | | | ||
- | | ::: | 矩阵的逆 || | | | | + | | ::: | 矩阵的逆 || | Y | | |
| 排列组合 | Stirling 数 || | | | | | 排列组合 | Stirling 数 || | | | | ||
- | | ::: | Lucas 定理 || | | | | + | | ::: | Lucas 定理 || | Y | | |
- | | ::: | 扩展 Lucas 定理 || | | | | + | | ::: | 扩展 Lucas 定理 || | Y | | |
- | | 容斥原理 | 递推容斥系数计算 || | | | | + | | 容斥原理 | 递推容斥系数计算 || | Y | | |
- | | ::: | minmax 容斥 || | | | | + | | ::: | minmax 容斥 || | Y | | |
- | | Fibonacci 数列 | 相关性质 || | | | | + | | Fibonacci 数列 | 相关性质 || | Y | | |
| ::: | 皮萨诺周期 || | | | | | ::: | 皮萨诺周期 || | | | | ||
| 博弈论 | Nim 游戏 | 各种 Nim 游戏有待补充 | | | | | | 博弈论 | Nim 游戏 | 各种 Nim 游戏有待补充 | | | | | ||
- | | ::: | SG 函数 / SG 定理 || | | | | + | | ::: | SG 函数 / SG 定理 || | Y | | |
| ::: | 纳什均衡 || | | | | | ::: | 纳什均衡 || | | | | ||
| ::: | 威佐夫博弈 || | | | | | ::: | 威佐夫博弈 || | | | | ||
| ::: | 不平等博弈 / Surreal Number || | | | | | ::: | 不平等博弈 / Surreal Number || | | | | ||
- | | 杂项 | 威尔逊定理 || | | | | + | | 杂项 | 威尔逊定理 || | Y | | |
- | | ::: | 鸽笼原理 || | | | | + | | ::: | 鸽笼原理 || | Y | | |
| ::: | Ramsey 定理 || | | | | | ::: | Ramsey 定理 || | | | | ||
| ::: | 棋盘多项式 || | | | | | ::: | 棋盘多项式 || | | | | ||
- | | ::: | Catalan 数 || | | | | + | | ::: | Catalan 数 || | Y | | |
===== 数据结构 ===== | ===== 数据结构 ===== | ||
行 166: | 行 166: | ||
| ::: | Huffman 树 || | | | | | ::: | Huffman 树 || | | | | ||
| ::: | 笛卡尔树 || | | | | | ::: | 笛卡尔树 || | | | | ||
- | | ::: | 左偏树 / 可并堆 || (曾经) | | | | + | | ::: | 左偏树 / 可并堆 || | | | |
| ::: | 虚树 || | | | | | ::: | 虚树 || | | | | ||
| ::: | 基环树 || | | | | | ::: | 基环树 || | | | | ||
- | | ::: | 斯坦纳树 || - | - | | | + | | ::: | 斯坦纳树 || | | | |
- | | ::: | 树套树 || | | 并不熟练 | | + | | ::: | 树套树 || | | | |
| ::: | 树上启发式合并(DSU on tree) || | | | | | ::: | 树上启发式合并(DSU on tree) || | | | | ||
| ::: | Prufer 序列 || | | | | | ::: | Prufer 序列 || | | | | ||
| ::: | K-D Tree || | | | | | ::: | K-D Tree || | | | | ||
- | | 线段树 | 李超线段树 || | | (需要整理板子) | | + | | 线段树 | 李超线段树 || | | | |
| ::: | 区间 min-max 操作 || | | | | | ::: | 区间 min-max 操作 || | | | | ||
- | | 仙人掌 | 仙人掌基础 || | | (需要重看边双连通分量) | | + | | 仙人掌 | 仙人掌基础 || | | | |
| ::: | 动态仙人掌 || | | | | | ::: | 动态仙人掌 || | | | | ||
| 可持久化结构 | 可持久化权值线段树(主席树) || | | | | | 可持久化结构 | 可持久化权值线段树(主席树) || | | | | ||
行 189: | 行 189: | ||
^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ^ 知识点 ^^^ Max.D. ^ Hardict ^ MountVoom ^ | ||
- | | 数位 DP ||| 不太会 | | | | + | | 数位 DP ||| | | | |
- | | 插头 DP ||| (一点点) | | | | + | | 插头 DP ||| | | | |
| 背包 DP | 可逆背包 || | | | | | 背包 DP | 可逆背包 || | | | | ||
| ::: | 子树合并类背包(及其时间复杂度证明) || | | | | | ::: | 子树合并类背包(及其时间复杂度证明) || | | | | ||
行 231: | 行 231: | ||
| ::: | ::: | 真正的树上莫队 | | | | | | ::: | ::: | 真正的树上莫队 | | | | | ||
| 二进制集合枚举 | 子集枚举 || | | | | | 二进制集合枚举 | 子集枚举 || | | | | ||
- | | ::: | 超集枚举 || (现学现卖) | | | | + | | ::: | 超集枚举 || | | | |
| 位运算 | bitset 及其应用 || | | | | | 位运算 | bitset 及其应用 || | | | | ||
| ::: | 位运算匹配字符串 || | | | | | ::: | 位运算匹配字符串 || | | | | ||
- | | 自适应 Simpson 积分 ||| (不熟练) | | | | + | | 自适应 Simpson 积分 ||| | | | |
| 拟阵 ||| | | | | | 拟阵 ||| | | | | ||
- | | 随机算法(爬山法 / 模拟退火 / 遗传算法) ||| 模拟退火 | 模拟退火 | (模拟退火) | | + | | 随机算法(爬山法 / 模拟退火 / 遗传算法) ||| | | | |
- | | pb_ds ||| | 会用 rb_tree | | | + | | pb_ds ||| | | | |