圖論 —— 圖的連通性 —— Tarjan 求強連通分量

【概述】 Tarjan 算法是基於對圖深度優先搜索的算法，每個強連通分量爲搜索樹中的一棵子樹。 搜索時，把當前搜索樹中未處理的節點加入一個堆棧，回溯時可以判斷棧頂到棧中的節點是否爲一個強連通分量。 【基本思路】 定義 DFN(u) 爲節點 u 搜索的次序編號（時間戳），即是第幾個被搜索到的，Low(u) 爲 u 或 u 的子樹能夠追溯到的最早的棧中節點的次序號。 每次找到一個新點 i，有：DFN(

>>阅读原文<<