MO640 - Exercícios - Sobre a aula de 2007-04-25

O Algoritmo 1 apresentado na seção "Basic sorting" do texto de Anne Bergeron, 2005, é não-determinístico, pois se em um dado momento tivermos mais de uma reversão de "score" máximo, qualquer uma delas pode ser aplicada. Mas, será que o resultado final do Algoritmo 1 começando com uma dada permutação é único? Isso depende da permutação dada? Argumente em favor de sua resposta.