尋找強大的連接組件？

Question

我的書定義了一種在線性時間內找到有向圖的強連通分量的方法。 此外，其他幾種尋找強連通組件的算法（即Tarjan算法）也能夠在線性時間內找到組件。

然而，所有這些算法都要求圖形的頂點以遞減的后置值（頂點留下的時間）排序。 常見的排序算法（如Mergesort）需要O（n log n）時間。

因此，如果通過post值排序頂點列表需要O（n log n）時間，這些算法如何設法完成在線性時間內完成強連接組件的定位？

Answer 1

由於“時間”（測量后期值的類型）作為時間的函數（深度優先搜索程序執行的步驟數）單調不減少，因此足以將每個節點附加到緊接着后的列表中。遍歷離開它。 在遍歷結束時，列表按排序順序排列。

或者，由於post值是以多項式為界的整數，因此在某些機器模型上，可以使用例如基數排序在線性時間內對它們進行排序。