強連通分量-Tarjin算法

在有向圖G中，如果兩個頂點間至少存在一條路徑，稱兩個頂點強連通(strongly connected)。如果有向圖G的每兩個頂點都強連通，稱G是一個強連通圖。非強連通圖有向圖的極大強連通子圖，稱爲強連通分量(strongly connected components)。 下圖中，子圖{1,2,3,4}爲一個強連通分量，因爲頂點1,2,3,4兩兩可達。{5},{6}也分別是兩個強連通分量。 直接根據

>>阅读原文<<