Algoritmos y Programación en Pascal

15.2. Ordenación de arrays 313
Separar
Ordenar
sort
izq der
p
Pivote
v[l] < p p v[n] > p
izq < l < p k < n < der
sort sort
Figura 15.3.
los dos bloques, por lo que, cuando el número de elementos es pequeño, no es
“rentable” utilizar Quick Sort.
En este apartado vamos a desarrollar el algoritmo Quick Sort con la primera
condición de parada, dejando al lector el desarrollo de la segunda versión.
Este algoritmo sigue el esquema conocido con el nombre de divide y vencerás
(véase el apartado 20.2) que, básicamente, consiste en subdividir el problema
en dos iguales pero de menor tamaño para posteriormente combinar las dos
soluciones parciales obtenidas para producir la solución global.
El seudocódigo correspondiente al primer nivel en el diseño descendente del
algoritmo Quick Sort es:
si v es de tamaño 1 entonces
v ya está ordenado
si no
Dividir v en dos bloques A y B
con todos los elementos de A menores que los de B
fin {si}
Ordenar A y B usando Quick Sort
Devolver v ya ordenado como concatenación
de las ordenaciones de A y de B