本目录保存适合连续阅读的详细教程；Templates/ 下的 Typst 内容则面向算法竞赛纸质模板，优先提供可以在赛场快速检索的结论、公式和算法步骤。
- 上游模板同步维护指南：说明 GitHub 权威来源、受管路径、检查/应用命令、自动 PR 和新增模板的文字入口要求。
- 杨表（Young Tableaux）详细教程：从整数分拆、杨图和钩长公式讲到 RSK、Schensted 与 Greene 定理，包含证明、例题和练习。
- 杨表纸质速查版：竞赛常用性质、计数公式及行插入/逆插入流程。
- 2-SAT：蕴含图、配对反边与强连通分量：重点解释为什么每条蕴含必须显式加入逆否边，并给出省略后的误判反例。
- Dilworth 定理、Mirsky 定理与 DAG 覆盖：整理两个极值定理、二分图匹配算法及传递闭包边界。
- 支配树：Lengauer–Tarjan 算法教程：只保留支配树必要前置、半支配点、LINK/EVAL、桶、正序修正及当前结构体对应关系。
- 支配树纸质速查版：竞赛常用性质与原样
DominantTree结构体。