Kosaraju算法、Tarjan算法分析及證明--強連通分量的線性算法

一、背景介紹 強連通分量是有向圖中的一個子圖，在該子圖中，所有的節點都可以沿着某條路徑訪問其他節點。強連通性是一種非常重要的等價抽象，因爲它滿足 自反性：頂點V和它本身是強連通的 對稱性：如果頂點V和頂點W是強連通的，那麼頂點W和頂點V也是強連通的 傳遞性：如果V和W是強連通的，W和X是強連通的，那麼V和X也是強連通的 強連通性可以用來描述一系列屬性，如自然界中物種之間的捕食關係，互相捕食的物種可

>>阅读原文<<