Nivel 8

Quicksort verificado (experto)

La corrección de un algoritmo con el mismo método: especificación, terminación, permutación y ordenamiento.

Adaptado de: Capítulo: Corrección del algoritmo Quicksort.

Contenido

1. Qué significa «correcto»
2. El algoritmo y su terminación
3. Corrección I: permutación
4. Corrección II: ordenamiento
5. Ejemplos y auditoría