Algoritmos y Programación en Pascal

15.1. Algoritmos de búsqueda en arrays 305
vacío). Este algoritmo de búsqueda recibe el nombre de búsqueda binaria, ya
que va dividiendo el vector en dos subvectores de igual tamaño.
Vamos ahora a realizar una implementación de una función siguiendo el algoritmo
de búsqueda binaria realizando un diseño descendente del problema, del
cual el primer refinamiento puede ser:
Asignar valores iniciales extInf, extSup, encontrado;
Buscar elem en v[extInf..extSup];
Devolver el resultado de la función
Refinando Asignar valores iniciales se tiene:
extInf:= 1;
extSup:= N;
{se supone que N es el tama~no del array inicial}
encontrado:= False;
En un nivel más refinado de Buscar elem en v[extInf..extSup] se tiene:
mientras el vector no sea vacío y
no se ha encontrado el valor c hacer
calcular el valor de posMed;
si v[posMed] = elem entonces
actualizar el valor de encontrado
si no
actualizar los valores extInf o extSup según donde esté elem
Refinando devolver el resultado de la función obtenemos:
si se ha encontrado el valor entonces
BusquedaBinaria:= posMed;
si no
BusquedaBinaria:= 0;
Con todo esto, una posible implementación sería:
function BusquedaBinaria(v: tVector; elem: tElem): tIntervalo;
{PreC.: v está ordenado crecientemente}
{Dev. 0 (si elem no está en v) ó i (si v[i] = elem)}
var
extInf, extSup, {extremos del intervalo}
posMed: tIntervalo; {posición central del intervalo}
encontrado: boolean;