low[v] >= dfn[u] 表示子树v无法绕过u回溯到其祖先，故u为割点；若用>会漏判low[v]==dfn[u]（返祖边恰连u）的情形。
割点判定条件中 low[v] >= dfn[u] 的含义是什么
这个不等式是判断非根节点 u 是否为割点的核心。其中 dfn[u] 是 DFS 遍历时给 u 分配的时间戳（首次访问序号），low[v] 是以 v 为根的子树中，能通过至多一条返祖边回溯到的最小 dfn 值。
当对 u 的某个子节点 v 满足 low[v] >= dfn[u]，说明 v 及其后代无法绕过 u 回到 u 的祖先——删掉 u 后，v 所在连通分量就与图其余部分断开。
注意：该条件只适用于 u 不是 DFS 树根的情况；根节点是否为割点，只看它有多少个互不连通的子树（即独立的 DFS 子调用次数 ≥ 2）。
为什么不能用 low[v] > dfn[u] 判定非根割点
用严格大于会漏判一种关键情形：当存在一条返祖边恰好连回 u 自身（即 v 能回溯到 u，但无法再往上），此时 low[v] == dfn[u]。删掉 u 后，v 子树仍无法连向 u 的祖先，所以 u 仍是割点。
常见错误是写成 low[v] > dfn[u]，导致把这种“刚好卡在边界”的割点忽略。
正确逻辑是：
- 若
u是 DFS 根：统计直接子节点数量，≥ 2 即为割点 - 若
u非根：对每个子节点v，检查是否low[v] >= dfn[u]；任一满足即为割点
low 值更新时必须跳过父边，否则会误算
low[u] 初始化为 dfn[u]，然后在 DFS 过程中尝试从邻接点更新：low[u] = min(low[u], dfn[v])（对返祖边），或 low[u] = min(low[u], low[v])（对树边）。但关键在于：遇到父节点时必须跳过，否则会把父节点的 low 值反向传回来，破坏定义。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实现上常用两种方式避免：
- 传入父节点 ID，遍历时跳过
v == parent - 用边索引代替节点遍历（如链式前向星），并跳过反向边
没跳过父边的典型表现是：整个图的 low 值全被拉成 1，所有节点都误判为非割点。
dfn 和 low 数组要初始化为 0，且仅对未访问节点赋值
常见错误是把 dfn 初始化为 -1 或其他标记值，但在比较 low[v] >= dfn[u] 前没确认 v 已被访问（即 dfn[v] != 0）。如果 v 是未访问邻居，那它属于树边分支，应递归进入，而非拿它的 dfn[v]（此时为 0）去更新 low[u]。
正确做法：
- 初始化
dfn[]和low[]全为 0 - DFS 中，对每个邻接点
v：- 若
dfn[v] == 0：是树边，递归处理后用low[v]更新low[u] - 若
v != parent && dfn[v] != 0：是返祖边，用dfn[v]更新low[u]
- 若
容易忽略的是：返祖边判断必须同时满足「不是父节点」和「已被访问」，缺一不可。
真正难的不是公式本身，而是理解 low[v] >= dfn[u] 本质上刻画的是“子树出口被封死”这一拓扑事实；所有实现细节——跳父边、初始化、判访状态——都是为了不让这个不等式被污染。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
