Algoritmos y Programación en Pascal

15.2. Ordenación de arrays 317
El algoritmo Merge Sort puede esbozarse como sigue:
si v es de tamaño 1 entonces
v ya está ordenado
si no
Dividir v en dos subvectores A y B
fin {si}
Ordenar A y B usando Merge Sort
Mezclar las ordenaciones de A y B para generar el vector ordenado.
En este caso, el paso Dividir v en dos subvectores A y B consistirá en:
Asignar a A el subvector [v1, . . . , vn div 2]
Asignar a B el subvector [vn div 2+1, . . . , vn]
mientras que Mezclar las ordenaciones de A y B consistirá en desarrollar un
procedimiento (que llamaremos Merge) encargado de ir entremezclando adecuadamente
las componentes ya ordenadas de A y de B para obtener el resultado
buscado.
De acuerdo con este diseño se llega a la implementación que se muestra a
continuación. Al igual que en la implementación de Quick Sort, se sitúan los
subvectores sobre el propio vector original v en lugar de generar dos nuevos
arrays.
procedure MergeSort(var vector: tVector);
{Efecto: se ordena vector ascendentemente}
procedure MergeSortDesdeHasta(var v: vector; izq, der: integer);
{Efecto: se ordena v[izq..der] ascendentemente}
var
centro : tIntervalo;
procedure Merge(vec: tVector; iz, ce, de: tIntervalo;
var w: tVector);
{Efecto: w := mezcla ordenada de los subvectores v[iz..ce] y
v[ce+1..de]}
var
i,j,k: 1..N;
begin {Merge}
i:= iz;
j:= ce + 1;
k:= iz;
{k recorre w, vector que almacena la ordenación total}
while (i