1 --- 2
| / |
3 --- 4 --- 5
|
6
关节点:4(删 4 后 {5}、{6} 与 {1,2,3} 不连通)
桥:(4,5)、(4,6)
利用 DFS 树定义:dfn[v] 为 DFS 时间戳;low[v] 为 v 及子孙经回边能到达的最小 dfn。
low 计算:$low[u] = \min(dfn[u],\ \min\{dfn[w] \mid w\ \text{经回边可达的祖先}\},\ \min\{low[v] \mid v\ \text{是孩子}\})$
从顶点 1 开始 DFS,dfn / low 表:
| 顶点 | dfn | low |
|---|---|---|
| 1 | 1 | 1 |
| 2 | 2 | 1 |
| 3 | 3 | 1 |
| 4 | 4 | 2 |
| 5 | 5 | 5 |
| 6 | 6 | 6 |
关节判定:顶点 1(根)只有 1 个孩子 → 不是关节点;顶点 4:孩子 5 的 $low[5]=5 \geq dfn[4]=4$、孩子 6 的 $low[6]=6 \geq 4$ → 是关节点。桥判定:$low[5]=5 > 4$、$low[6]=6 > 4$ → (4,5)、(4,6) 是桥。
| 概念 | 判定条件 |
|---|---|
| 关节点(非根) | 存在孩子 v 使 $low[v] \geq dfn[u]$ |
| 关节点(根) | DFS 树有 ≥ 2 个孩子 |
| 桥 | $low[v] > dfn[u]$(严格大于) |
| 点双连通图 | 无关节点 |
| 边双连通图 | 无桥 |
(暂无关联知识点)
↑ 上方「在 Obsidian 中打开」可回到源笔记;本卡由独立知识点构成。