Algoritmo de Tarjan para calcular componentes fortemente conectados de um grafo
