Eu estudei o SCC e algoritmos sobre eles, e vi que as pessoas quase sempre mencionam que o algoritmo de Kosaraju encontra o SCC e também as ordena em um tipo topológico (invertido).

Minha pergunta é: o algoritmo de Tarjan também não encontra um tipo topológico (invertido)? Descobri que não é mencionado (pelo menos de onde li, exceto a Wikipedia).

Eu estive pensando sobre isso e faz todo o sentido. Quando tarjans_dfs é chamado em algum nó u, todos os SCCs acessíveis a partir de você serão encontrados antes do SCC de você. Estou errado?

A Wikipedia diz que realmente o encontra:

"Embora não haja nada de especial na ordem dos nós em cada componente fortemente conectado, uma propriedade útil do algoritmo é que nenhum componente fortemente conectado será identificado antes de qualquer um de seus sucessores. Portanto, a ordem na qual os componentes fortemente conectados são identificado constitui um tipo topológico reverso do DAG formado pelos componentes fortemente conectados ".

É minha ideia, ou é muito mais conhecido que o algoritmo de Kosaraju encontra a ordem topológica do que o fato de o Tarjan também encontrar?