ordem topologica termina sem verificação de ciclos no grafo