tarjan 割点算法严格适用于无向图，其正确性依赖于图结构的对称性；若实现中隐含方向性（如邻接表遍历顺序影响 dfs 树形态），或误将有向图逻辑用于无向图，会导致割点识别错误。
tarjan 割点算法严格适用于无向图，其正确性依赖于图结构的对称性；若实现中隐含方向性（如邻接表遍历顺序影响 dfs 树形态），或误将有向图逻辑用于无向图，会导致割点识别错误。
在您提供的 Java 实现中，看似构造的是无向图，但实际建图过程仅单向添加边，导致图在逻辑上被当作有向图处理。例如：
adj1.get(0).add(2); // 仅添加 0→2 adj1.get(2).add(1); // 仅添加 2→1 // …… 缺少反向边：如 adj1.get(2).add(0)、adj1.get(1).add(2) 等
这使得邻接表不满足无向图的基本要求——即若存在边 (u, v)，则 u 的邻接表中应含 v，且 v 的邻接表中也必须含 u。当前代码构建的是一个有向图，而 Tarjan 的割点算法（基于 DFS 树、disc[]/low[] 和回边判定）仅对无向图有明确定义和理论保证。对有向图直接套用该算法，结果不可靠，且会因 DFS 遍历顺序（即邻接表中邻居的排列顺序）不同而产生差异——这正是您观察到 Graph 1 输出 {0, 2} 而 Graph 2 输出 {0, 4, 5, 6} 的根本原因。
✅ 正确做法：显式构建无向图
每条无向边 (u, v) 必须双向插入：
// 正确：为无向图添加边
void addEdge(ArrayList<ArrayList<Integer>> adj, int u, int v) {
adj.get(u).add(v);
adj.get(v).add(u); // 关键！补全反向边
}应用后，两组输入将构建出完全相同的无向图结构，Tarjan 算法也将稳定输出一致结果：该图实际不存在任何割点（即为双连通图）。验证如下：
- 顶点集
{0,1,2,3,4,5,6}构成一个环状强连通结构（含三角形0-1-2-0、链式0-4-5-6-3-2），任意顶点删除后其余顶点仍连通； - 理论上，一个双连通无向图的割点数量为 0。
⚠️ 注意事项
- 不要混淆「无向图的割点」与「有向图的关节点（strong articulation point）」：后者定义更复杂，需使用不同的算法（如 Italiano 等提出的有向图强连通分量分解方法）；
-
low[u] = Math.min(low[u], disc[v])中的v != parent判断，仅能识别无向图中的“回边”，若图非无向，该条件失去意义； -
TIME使用静态变量虽可行，但在多图并发调用时存在风险，建议改为局部传参或重置机制。
? 总结
边序敏感 ≠ 算法缺陷，而是建图错误暴露了底层假设的失效。确保邻接表严格无向，是 Tarjan 割点算法正确运行的前提。修复建图逻辑后，算法将输出稳定、符合图论定义的结果：对于您给出的图，所有测试用例均返回空割点集 —— 这才是正确的答案。
