acmer-coach 1.0.0

package/assets/knowledge/DEPENDS.yaml

@@ -0,0 +1,391 @@
+# ══════════════════════════════════════════════════════════════
+# DEPENDS.yaml — 知识点前置关系（唯一真相源）
+#
+# 语义：requires = 学这个节点之前，必须先掌握的直接前置。
+#   ⚠️ 必须显式写全，不靠 parent 顶替 ——
+#      parent 是「分类归属」（这俩放一起讲），requires 是「前置」（不会这个学不了那个）。
+#   只写「直接」前置：A→B→C 时 C 只写 B。传递隐含的会被 _fill_fix.py 自动清掉。
+#   空列表 [] = 根节点；条目不存在 = 还没铺（不是根）。
+#
+# 维护：改本文件 → 跑 coach/build_map.py 重新生成 MAP.yaml
+#       看形状 → 跑 coach/analyze_map.py
+#
+# 进度：首轮已铺完 349/349，0 未铺。
+#   ⚠️ **首轮质量参差** —— 依赖边是人工整理的，没有逐条复核过。
+#      存疑的边见文件内注释（如 PQ 树当根）。欢迎提 issue 修正。
+# ══════════════════════════════════════════════════════════════
+
+meta:
+  version: 1
+  updated: 2026-09-12
+  edge_count: 401
+
+requires:
+  # ── 专题 ──
+  RMQ: [倍增, 线段树]
+  并查集应用: [并查集]
+  括号序列: [栈, 动态规划基础]
+  线段树与离线询问: [线段树, 离线算法]
+
+  # ── 动态规划 ──
+  DAG 上的 DP: [动态规划基础, 拓扑排序]
+  DP 优化: [动态规划基础]
+  其它 DP 方法: [动态规划基础]
+  动态 DP: [动态规划基础, 树链剖分]
+  动态规划基础: [递归 & 分治, 枚举]
+  区间 DP: [动态规划基础]
+  单调队列/单调栈优化: [动态规划基础, 单调队列, 单调栈]
+  四边形不等式优化: [区间 DP]
+  插头 DP: [状压 DP]
+  数位 DP: [动态规划基础, 位运算]
+  斜率优化: [单调队列/单调栈优化]
+  树形 DP: [动态规划基础, DFS（搜索）]
+  概率 DP: [动态规划基础, 概率论]
+  状压 DP: [动态规划基础]
+  状态设计优化: [区间 DP]
+  背包 DP: [动态规划基础]
+  计数 DP: [动态规划基础, 排列组合]
+  记忆化搜索: [递归 & 分治]
+
+  # ── 图论 ──
+  2-SAT: [强连通分量]
+  AHU 算法: [树哈希]
+  BFS（图论）: [图的存储, 队列]
+  DFS（图论）: [图的存储, 递归 & 分治]
+  LGV 引理: [组合数学, 行列式]
+  Prüfer 序列: [树基础]
+  Stoer–Wagner 算法: [图的存储]
+  k 短路: [最短路]
+  一般图最大匹配: [增广路]
+  一般图最大权匹配: [一般图最大匹配, 二分图最大权匹配]
+  上下界网络流: [网络流]
+  二分图: [图的存储]
+  二分图最大匹配: [增广路, 二分图]
+  二分图最大权匹配: [二分图最大匹配]
+  割点和桥: [连通性相关, DFS（图论）]
+  动态树分治: [树分治]
+  双连通分量: [连通性相关, DFS（图论）]
+  同余最短路: [最短路, 线性同余方程]
+  哈密顿图: [图的存储]
+  图上随机游走: [图的存储, 概率论]
+  图匹配: [图的匹配]
+  图的匹配: [图论相关概念]
+  图的存储: [图论相关概念]
+  图的着色: [图的存储]
+  图论相关概念: []
+  圆方树: [双连通分量]
+  增广路: [图的匹配, DFS（图论）]
+  差分约束: [最短路]
+  平面图: [欧拉图]
+  弦图: [图的匹配]
+  强连通分量: [连通性相关, DFS（图论）]
+  拆点: [网络流]
+  拓扑排序: [有向无环图]
+  支配树: [DFS（图论）]
+  斯坦纳树: [状压 DP]
+  最大团搜索算法: [图的存储, DFS（搜索）]
+  最大流: [网络流, 增广路]
+  最小割: [网络流]
+  最小树形图: [最小生成树]
+  最小环: [最短路]
+  最小生成树: [并查集, 排序]
+  最小直径生成树: [最小生成树, 最短路]
+  最短路: [二叉堆, BFS（图论）]
+  最近公共祖先: [倍增, DFS（图论）]
+  有向无环图: [图的存储]
+  树上启发式合并: [DFS（图论）]
+  树上问题: [树基础]
+  树上随机游走: [树基础, 概率论]
+  树分治: [DFS（图论）]
+  树哈希: [树基础, 字符串哈希]
+  树基础: [图的存储]
+  树的直径: [树基础]
+  树的重心: [树基础]
+  树链剖分: [DFS（图论）, 线段树]
+  欧拉图: [图的存储]
+  点/边连通度: [连通性相关]
+  环计数问题: [图的存储]
+  矩阵树定理: [高斯消元, 行列式]
+  网络流: [BFS（图论）]
+  虚树: [最近公共祖先]
+  费用流: [网络流]
+  连通性相关: [图的存储]
+
+  # ── 字符串 ──
+  AC 自动机: [字典树 (Trie), 前缀函数与 KMP 算法]
+  Boyer–Moore 算法: [字符串匹配]
+  Lyndon 分解: [字符串基础]
+  Main–Lorentz 算法: [前缀函数与 KMP 算法]
+  Manacher: [字符串匹配]
+  Z 函数（扩展 KMP）: [前缀函数与 KMP 算法]
+  前缀函数与 KMP 算法: [字符串匹配]
+  后缀平衡树: [二叉搜索树 & 平衡树]
+  后缀数组 (SA): [倍增, 基数排序]
+  后缀树: [后缀自动机 (SAM)]
+  后缀自动机 (SAM): [字典树 (Trie), 自动机]
+  回文树: [字典树 (Trie)]
+  字典树 (Trie): [字符串基础]
+  字符串匹配: [字符串基础]
+  字符串哈希: [字符串基础]
+  字符串基础: []
+  广义后缀自动机: [后缀自动机 (SAM)]
+  序列自动机: [字符串基础]
+  最优原地后缀排序算法: [后缀数组 (SA)]
+  最小表示法: [字符串基础]
+  标准库: [字符串基础]
+  自动机: [字符串基础]
+
+  # ── 搜索 ──
+  A*: [启发式搜索, 二叉堆]
+  Alpha-Beta 剪枝: [优化]
+  BFS（搜索）: [队列]
+  DFS（搜索）: [递归 & 分治]
+  Dancing Links: [DFS（搜索）]
+  IDA*: [迭代加深搜索, A*]
+  优化: [DFS（搜索）]
+  双向搜索: [BFS（搜索）]
+  启发式搜索: [BFS（搜索）]
+  回溯法: [DFS（搜索）]
+  迭代加深搜索: [DFS（搜索）, BFS（搜索）]
+
+  # ── 数学 ──
+  Berlekamp–Massey 算法: [常系数齐次线性递推]
+  Chirp Z 变换: [快速傅里叶变换]
+  Entringer Number: [排列组合]
+  Eulerian Number: [排列组合]
+  Jordan标准型: [对角化]
+  Meissel–Lehmer 算法: [筛法, 数论分块]
+  Min_25 筛: [筛法, 杜教筛]
+  Pell 方程: [连分数, 二次域]
+  Powerful Number 筛: [筛法, 莫比乌斯反演]
+  Schreier–Sims 算法: [群论]
+  Stern–Brocot 树与 Farey 序列: [连分数]
+  中国剩余定理: [线性同余方程]
+  乘法逆元: [欧拉定理 & 费马小定理, 线性同余方程]
+  二次剩余: [乘法逆元]
+  二次域: [二次剩余]
+  二进制集合操作: [位运算]
+  代数基本定理: [复数]
+  伯努利数: [指数生成函数]
+  位运算: []
+  傅里叶-莫茨金消元法: [线性规划]
+  公平组合游戏: [博弈论]
+  内积和外积: [向量]
+  分拆数: [排列组合]
+  分解质因数: [素数]
+  初等变换: [矩阵]
+  剩余: [同余方程]
+  升幂引理: [欧拉定理 & 费马小定理]
+  单纯形算法: [矩阵]
+  博弈论: []
+  卡特兰数: [排列组合]
+  卢卡斯定理: [排列组合, 乘法逆元]
+  原根: [欧拉定理 & 费马小定理]
+  反常游戏: [公平组合游戏]
+  同余方程: [数论基础]
+  向量: []
+  图论计数: [组合数学, Prüfer 序列]
+  基本概念: [概率论]
+  复数: []
+  多项式与生成函数: []
+  多项式初等函数: [复数, 多项式与生成函数]
+  多项式多点求值|快速插值: [多项式与生成函数, 快速傅里叶变换]
+  多项式平移|连续点值平移: [多项式与生成函数]
+  多项式牛顿迭代: [多项式初等函数, 牛顿迭代法]
+  威尔逊定理: [素数, 同余方程]
+  容斥原理: [排列组合]
+  对角化: [特征多项式]
+  常系数齐次线性递推: [矩阵, 快速幂]
+  平衡三进制: [进位制]
+  序理论: []
+  康托展开: [排列组合]
+  弧度制与坐标系: []
+  循环连分数: [连分数]
+  快速傅里叶变换: [复数]
+  快速幂: [倍增]
+  快速数论变换: [快速傅里叶变换, 原根]
+  快速沃尔什变换: [快速傅里叶变换, 位运算]
+  抽屉原理: [组合数学]
+  拉格朗日插值: [多项式与生成函数]
+  指数生成函数: [普通生成函数]
+  排列组合: [组合数学]
+  数值积分: [数值算法]
+  数值算法: []
+  数论: [数论基础]
+  数论分块: [数论基础]
+  数论基础: []
+  斐波那契数列: [组合数学]
+  斯特林数: [容斥原理]
+  普通生成函数: [组合数学]
+  最大公约数: [数论基础]
+  杜教筛: [莫比乌斯反演, 数论分块]
+  条件概率与独立性: [基本概念]
+  杨氏矩阵: [排列组合]
+  概率不等式: [随机变量]
+  概率论: []
+  欧拉函数: [分解质因数, 同余方程]
+  欧拉定理 & 费马小定理: [欧拉函数]
+  洲阁筛: [筛法, 莫比乌斯反演]
+  牛顿迭代法: [数值算法]
+  特征多项式: [行列式, 线性映射]
+  狄利克雷生成函数: [普通生成函数, 数论基础]
+  矩阵: [线性代数]
+  离散对数: [原根]
+  符号: []
+  符号化方法: [指数生成函数]
+  筛法: [素数]
+  类欧几里德算法: [最大公约数, 数论分块]
+  素数: [数论基础]
+  线性代数: []
+  线性同余方程: [最大公约数, 同余方程]
+  线性基: [位运算]
+  线性映射: [线性空间]
+  线性空间: [向量]
+  线性规划: []
+  组合数学: []
+  置换和排列: [组合数学]
+  置换群: [置换和排列]
+  群论: [置换群]
+  范德蒙德卷积: [排列组合]
+  莫比乌斯反演: [容斥原理, 欧拉函数]
+  行列式: [初等变换]
+  裴蜀定理: [最大公约数]
+  贝尔数: [斯特林数]
+  进位制: []
+  连分数: [数论基础]
+  错位排列: [容斥原理]
+  随机变量: [条件概率与独立性]
+  随机变量的数字特征: [随机变量]
+  非公平组合游戏: [公平组合游戏]
+  高斯消元: [矩阵]
+  高精度计算: [模拟, 字符串基础]
+
+  # ── 数据结构 ──
+  2-3 树: [二叉搜索树 & 平衡树]
+  AA 树: [二叉搜索树 & 平衡树]
+  AVL 树: [二叉搜索树 & 平衡树]
+  B 树: [二叉搜索树 & 平衡树]
+  B+ 树: [B 树]
+  Euler Tour Tree: [动态树]
+  K-D Tree: [线段树]
+  Leafy Tree: [二叉搜索树 & 平衡树]
+  Link Cut Tree: [动态树]
+  PQ 树: []
+  ST 表: [倍增]
+  Size Balanced Tree: [二叉搜索树 & 平衡树]
+  Splay 树: [二叉搜索树 & 平衡树]
+  Sqrt Tree: [分块思想]
+  Top Tree: [Link Cut Tree]
+  Treap: [二叉搜索树 & 平衡树, 二叉堆]
+  WBLT: [二叉搜索树 & 平衡树]
+  二叉堆: [堆]
+  二叉搜索树 & 平衡树: [递归 & 分治]
+  分块套树状数组: [树套树, 分块思想]
+  分块思想: [前缀和 & 差分]
+  划分树: [线段树]
+  动态树: [Splay 树]
+  区间最值操作 & 区间历史最值: [线段树]
+  单调栈: [栈]
+  单调队列: [队列]
+  可持久化可并堆: [可持久化数据结构, 左偏树]
+  可持久化块状数组: [可持久化数据结构, 块状数组]
+  可持久化字典树: [可持久化数据结构, 字典树 (Trie)]
+  可持久化平衡树: [可持久化数据结构, 二叉搜索树 & 平衡树]
+  可持久化数据结构: [线段树]
+  可持久化线段树: [线段树]
+  哈希表: [链表]
+  块状数据结构: [前缀和 & 差分]
+  块状数组: [分块思想]
+  块状链表: [分块思想, 链表]
+  堆: []
+  左偏树: [二叉堆]
+  左偏红黑树: [红黑树]
+  平衡树套线段树: [树套树, 二叉搜索树 & 平衡树]
+  并查集: []
+  并查集复杂度: [并查集]
+  手指树: [链表]
+  替罪羊树: [二叉搜索树 & 平衡树]
+  李超线段树: [线段树]
+  析合树: [单调栈]
+  栈: []
+  树分块: [分块思想]
+  树套树: [线段树]
+  树状数组: [前缀和 & 差分, 倍增]
+  树状数组套权值线段树: [树套树, 树状数组]
+  笛卡尔树: [二叉搜索树 & 平衡树, 单调栈]
+  红黑树: [二叉搜索树 & 平衡树]
+  线段树: [递归 & 分治]
+  线段树套平衡树: [树套树, 二叉搜索树 & 平衡树]
+  线段树套线段树: [树套树]
+  跳表: [链表]
+  配对堆: [二叉堆]
+  链表: []
+  队列: []
+  霍夫曼树: [二叉堆]
+
+  # ── 杂项 ──
+  15-puzzle: [BFS（搜索）]
+  CDQ 分治: [递归 & 分治, 排序]
+  Garsia–Wachs 算法: [二叉堆]
+  Kahan 求和: [模拟, 复杂度]
+  主元素问题: [枚举]
+  分数规划: [二分]
+  双指针: [枚举]
+  在一台机器上规划任务: [贪心]
+  字节顺序: [位运算]
+  悬线法: [前缀和 & 差分]
+  整体二分: [二分]
+  格雷码: [位运算]
+  模拟退火: [随机化]
+  爬山算法: [随机化]
+  珂朵莉树/颜色段均摊: [分块思想, 线段树]
+  离散化: [排序]
+  离线算法: [排序]
+  约瑟夫问题: [模拟]
+  莫队算法: [分块思想, 排序]
+  表达式求值: [栈]
+  计算理论基础: []
+  随机函数: [随机化]
+  随机化: [概率论]
+  随机化技巧: [随机化]
+
+  # ── 算法基础 ──
+  tim排序: [归并排序, 插入排序]
+  二分: [排序, 复杂度]
+  倍增: [二分]
+  冒泡排序: [排序]
+  前缀和 & 差分: [枚举]
+  基数排序: [计数排序]
+  堆排序: [二叉堆]
+  复杂度: []
+  希尔排序: [插入排序]
+  归并排序: [递归 & 分治]
+  快速排序: [递归 & 分治]
+  排序: []
+  排序应用: [排序]
+  排序相关 STL: [排序]
+  插入排序: [排序]
+  构造: [枚举]
+  枚举: []
+  桶排序: [计数排序]
+  模拟: []
+  计数排序: [排序]
+  贪心: [排序]
+  选择排序: [排序]
+  递归 & 分治: []
+  锦标赛排序: [排序]
+
+  # ── 计算几何 ──
+  Pick 定理: [二维计算几何基础]
+  三维计算几何基础: [向量]
+  三角剖分: [二维计算几何基础]
+  二维计算几何基础: [向量, 弧度制与坐标系]
+  凸包: [二维计算几何基础]
+  半平面交: [二维计算几何基础]
+  反演变换: [二维计算几何基础]
+  平面最近点对: [二维计算几何基础]
+  扫描线: [二维计算几何基础]
+  旋转卡壳: [凸包]
+  计算几何杂项: [二维计算几何基础]
+  距离: [二维计算几何基础]
+  随机增量法: [随机化]

package/assets/knowledge/LICENSE

@@ -0,0 +1,41 @@
+本目录下的知识资产（MAP.yaml / DEPENDS.yaml / NODE_ENTRY.yaml / NODE_META.yaml）
+**不是 MIT**，适用 CC BY-SA 4.0。原因见下。
+
+## 来源
+
+这些文件的知识点与分类**取自 OI Wiki**：
+<https://github.com/OI-wiki/OI-wiki>
+
+生成链路：`coach/extract_oiwiki.py` 读 OI Wiki 的 `mkdocs.yml` 导航（351 条）
+→ 得到 `oiwiki_tree.json` → `coach/build_map.py` 结合 `DEPENDS.yaml`
+（人工整理的前置关系）生成 `MAP.yaml`。
+
+## 上游许可
+
+OI Wiki 的 README 原文（`README.md:104-110`）：
+
+> 除特别注明外，项目中除了代码部分均采用 **(Creative Commons BY-SA 4.0)
+> 知识共享署名 - 相同方式共享 4.0 国际许可协议** 及附加的
+> [The Star And Thank Author License](https://github.com/zTrix/sata-license) 进行许可。
+>
+> 换言之，使用过程中您可以自由地共享、演绎，但是必须署名、以相同方式共享、
+> 分享时没有附加限制，而且应该为 GitHub 仓库点赞（Star）。
+
+## 因此
+
+- 本目录的内容**必须署名 OI Wiki Team**
+- 分发演绎版本时**必须沿用 CC BY-SA 4.0**（相同方式共享）
+- 上游还请求给仓库点个 star：<https://github.com/OI-wiki/OI-wiki>
+
+CC BY-SA 的 share-alike 只作用于**衍生部分**，不会传染本仓库里独立的代码
+（那些仍是 MIT，见仓库根的 `LICENSE`）。这里把它单独分开、单独声明，就是为了
+让这条边界清楚。
+
+## 哪部分是原创的
+
+- `DEPENDS.yaml` 里的**前置关系边**是人工整理的，不是从 OI Wiki 抄的
+  —— 但因为它和知识点集合打包在一起，一并按 CC BY-SA 处理最省事也最稳妥。
+- `NODE_ENTRY.yaml` 是从题池算出来的统计值。
+- `NODE_META.yaml` 的 `tier` 标注是人工判断。
+
+⚠️ **前置边首轮未经逐条复核**，见 `DEPENDS.yaml` 文件头。欢迎提 issue 修正。