组目录:排序与基础算法族栈队列与单调结构族堆与优先队列族并查集族区间查询与分块族线段树族可持久化数据结构族平衡二叉搜索树族高级树结构族哈希与链表族动态规划基础族DP优化族高级DP族搜索算法族图基础与遍历最短路族生成树族连通性族网络流族二分图与匹配族树算法族欧拉与哈密顿族图论高级专题字符串匹配族字典树与AC自动机族后缀结构族后缀自动机族回文族Lyndon与周期族数论基础族数论进阶族数论高级族组合计数基础族组合进阶族多项式与FFT族生成函数族线性代数族概率族数值方法族大整数与数制族凸包族平面扫描与几何求交计算几何基础与度量树链剖分与动态树可持久化数据结构分块与根号算法莫队算法族高级线段树与离线专题(topic 域)调度与其他专题IO与常数优化族位运算族Python竞赛特性族调试与对拍族随机化与元启发式族博弈论族离线与杂项技巧族竞赛策略族工具链族前沿趋势组
组简介
本组 7 个知识点，属于 图论 域，覆盖阶段 intermediate / advanced。
优先级分布：P0 ×1 · P1 ×4 · P2 ×1 · P3 ×1
阶段分布：advanced ×2 · intermediate ×5
节点目录 (7 个)
| 节点 ID | 名称 | 阶段 | 优先级 | 简介 | 例题数 |
|---|---|---|---|---|---|
| tarjan-scc | Tarjan强连通分量 | intermediate | P0 | 有向图强连通分量，DFS+dfn/low O(V+E)，缩点成DAG | 3 |
| cut-vertex | 割点(关节点) | intermediate | P1 | 删除后使图极大连通分量数增加的点，Tarjan(dfn/low)判定O(V+E)，根节点需特判子节点数 | 3 |
| bridge | 割边(桥) | intermediate | P1 | 删除后使图不连通的边，Tarjan判定low[v]>dfn[u]得桥O(V+E)，有重边需按边编号处理 | 3 |
| bcc | 双连通分量(BCC) | intermediate | P1 | 点双(无割点)/边双(无桥)极大连通子图，Tarjan+栈分解，O(V+E)，点双缩点得圆方树 | 3 |
| two-sat | 2-SAT | intermediate | P1 | 2-适定性问题：布尔方程(a∨b)型约束，建蕴含图+SCC判定，用SCC反拓扑序赋解O(V+E) | 3 |
| dominator-tree | 支配树 | advanced | P2 | 有向图支配关系树：Lengauer-Tarjan算法O((V+E)α)，DAG/树有特例O((V+E)log)解法 | 2 |
| block-forest | 圆方树 | advanced | P3 | 点双连通缩点的树形结构：原图点=圆点、点双=方点，把一般无向图问题转化为树上问题 | 3 |
学习路径提示
本组内存在 2 条前置依赖边（prerequisite），推荐先掌握前置知识点，再进入依赖它的节点。
推荐阅读顺序（拓扑序）
- 割点(关节点) → 双连通分量(BCC)点双连通分量建立在割点概念上
- 割边(桥) → 双连通分量(BCC)边双连通分量建立在桥概念上