Algoritmos y Programación en Pascal

312 Capítulo 15. Algoritmos de búsqueda y ordenación
procedure OrdenacionPorIntercambio(var v: tVector);
{Efecto: se ordena v ascendentemente}
var
i, j: tIntervalo;
aux: tElem;
begin
for i:= 1 to N-1 do
{Inv.: ∀ j, 1 ≤ j < i, ⇒ v[j] ≤ v[k], ∀ k tal que j ≤ k < N}
for j:= N downto i + 1 do
{Se busca el menor desde atrás y se sitúa en vi}
if v[j-1] > v[j] then begin {intercambio}
aux:= v[j];
v[j]:= v[j-1];
v[j-1]:= aux
end {if}
end; {OrdenacionPorIntercambio}
15.2.4 Ordenación rápida (Quick Sort)
El algoritmo de ordenación rápida 2 debido a Hoare, consiste en dividir el
vector que se desea ordenar en dos bloques. En el primer bloque se sitúan
todos los elementos del vector que son menores que un cierto valor de v que
se toma como referencia (valor pivote), mientras que en el segundo bloque se
colocan el resto de los elementos, es decir, los que son mayores que el valor
pivote. Posteriormente se ordenarán (siguiendo el mismo proceso) cada uno
de los bloques, uniéndolos una vez ordenados, para formar la solución. En la
figura 15.3 se muestran gráficamente las dos fases de ordenación.
Evidentemente, la condición de parada del algoritmo se da cuando el bloque
que se desea ordenar esté formado por un único elemento, en cuyo caso,
obviamente, el bloque ya se encuentra ordenado.
También se puede optar por detener el algoritmo cuando el número de elementos
del bloque sea suficientemente pequeño (generalmente con un número
aproximado de 15 elementos), y ordenar éste siguiendo alguno de los algoritmos
vistos anteriormente (el de inserción directa, por ejemplo).
❡❡
El número elegido de 15 elementos es orientativo. Se debería elegir dicha
cantidad mediante pruebas de ensayo para localizar el valor óptimo.
Aunque cualquier algoritmo de ordenación visto anteriormente sea “más
lento” (como veremos en el capítulo de complejidad algorítmica) que el Quick
Sort, este último pierde gran cantidad de tiempo en clasificar los elementos en
2 Quick Sort en inglés.