本文澄清一个常见误解：Tarjan割点算法在无向图中结果与边的添加顺序无关；若出现不同输出，根本原因在于图结构被错误建模（如未对称添加无向边），导致实际输入并非同一无向图。

本文澄清一个常见误解：tarjan割点算法在**无向图中结果与边的添加顺序无关**；若出现不同输出，根本原因在于图结构被错误建模（如未对称添加无向边），导致实际输入并非同一无向图。

Tarjan算法用于识别无向图中的割点（Articulation Points）——即删除后使连通分量数量增加的顶点。该算法基于深度优先搜索（DFS），依赖两个核心数组：disc[]（发现时间戳）和low[]（通过至多一条回边可达的最早祖先时间戳）。其正确性严格建立在图的无向性之上：每条无向边 (u, v) 必须在邻接表中双向表示为 u → v 和 v → u。

然而，在您提供的 Java 示例中，邻接表构建存在严重缺陷：所有边仅单向添加。例如，adj1.get(0).add(2) 仅添加了 0→2，但未添加 2→0；同理，adj1.get(2).add(1) 缺少 1→2。这使得程序实际处理的是一个有向图，而非预期的无向图。

由于 Tarjan 割点算法不适用于有向图（标准定义与判定逻辑均针对无向连通性），此时 DFS 遍历路径、回边识别及 low[] 更新均失效。不同边添加顺序会改变 DFS 的起始邻接顺序，进而影响遍历树结构和 low[] 计算，最终导致割点判断结果不一致——这并非算法缺陷，而是输入违规引发的未定义行为。

✅ 正确做法：对每条无向边 (u, v)，必须双向插入：

adj.get(u).add(v);
adj.get(v).add(u); // 关键！不可遗漏

以您的 Graph 1 为例，修正后的完整建图应为：

// 无向边 (0,2) → 双向
adj1.get(0).add(2); adj1.get(2).add(0);
// 无向边 (2,1) → 双向
adj1.get(2).add(1); adj1.get(1).add(2);
// 无向边 (0,4) → 双向
adj1.get(0).add(4); adj1.get(4).add(0);
// ... 其余边同理

经此修正，无论边以何种顺序添加，只要图拓扑相同，算法将稳定输出 零个割点——因为该图实际是一个环状嵌套结构（含三角形 0-1-2 和环 0-4-5-6-3-2），属于双连通图（biconnected），不存在割点。

⚠️ 注意事项：

• 切勿将 Tarjan 割点算法直接用于有向图；有向图需使用强连通分量（SCC）等不同模型。
• 验证图的无向性：对每个顶点 u，检查 v ∈ adj[u] 是否蕴含 u ∈ adj[v]。
• 时间戳 TIME 需在每次 AP() 调用前重置为 0（当前代码已正确实现）。
• 多连通分量图需确保对每个未访问节点启动独立 DFS（当前代码的外层循环已满足）。

总结：算法结果随边序变化，是数据结构未忠实表达无向图语义的明确信号。回归图论本质——无向边的对称性，是正确应用 Tarjan 算法的前提。修复邻接表构建逻辑后，结果将完全确定且符合理论预期。