El algoritmo produce una n-tupla ordenada "R" de vértices, que es el nuevo orden de los vértices.