Tarjan's strongly connected component