Tarjan算法通过一次DFS和low数组求强连通分量、割点与桥。关键区别：SCC的low仅由栈内顶点更新；无向图按边编号跳过父边；桥判定为low[v]>disc[u]，割点为low[v]≥disc[u]，根节点需单独统计子树。文章还对比了Kosaraju算法、递归与迭代实现，指出链式图存在递归深度风险，并给出对拍实验与工程建议。