Algoritmos y Programación en Pascal

314 Capítulo 15. Algoritmos de búsqueda y ordenación
izq i k der
v[l] < p v[m] = p v[n] > p
izq < l < i < m < k < n < der
Figura 15.4.
Donde Dividir v en dos bloques A y B se puede refinar en:
Elegir un elemento p (pivote) de v
para cada elemento del vector hacer
si elemento < p entonces
Colocar elemento en A, el subvector con los elementos de v
menores que p
en otro caso
Colocar elemento en B, el subvector con los elementos de v
mayores que p
❡❡
De cara a la implementación, y por razones de simplicidad y ahorro de
memoria, es preferible situar los subvectores sobre el propio vector original
v en lugar de generar dos nuevos arrays.
Con todo lo anterior, una implementación de este algoritmo podría ser:
procedure QuickSort(var v: tVector);
{Efecto: se ordena v ascendentemente}
procedure SortDesdeHasta(var v: tVector; izq,der: tIntervalo);
{Efecto: v[izq..der] está ordenado ascendentemente}
var
i,j: tIntervalo;
p,aux: tElem;
begin
i:= izq;
j:= der;
{se divide el vector v[izq..der] en dos trozos eligiendo como
pivote p el elemento medio del array}
p:= v[(izq + der) div 2];
{si i >= d el subvector ya está ordenado}
{Inv.: ∀ s, izq ≤ s < i, ⇒ v[s] < p
y ∀ t tal que j < t ≤ der ⇒ v[s] > p}