Tarjan 算法（Tarjan’s Algorithm）是一类以 Robert Tarjan 命名的图算法；在 强连通分量 语境下，通常指用一次 DFS 求出有向图所有 SCC 的线性时间算法。 它在搜索过程中为每个顶点维护访问次序和能回溯到的最早栈内顶点。当某个顶点无法再回到更早的栈内顶点时，就可以从栈顶弹出一整个强连通分量。