El formalizar un algoritmo de búsqueda binaria también requiere que seamos más precisos sobre el significado del “elemento medio” de un arreglo. (E...

El formalizar un algoritmo de búsqueda binaria también requiere que seamos más precisos sobre el significado del “elemento medio” de un arreglo. (En la figura 11.5.2 este asunto fue dejado de lado al seleccionar n cuidadosamente). Si el arreglo consiste de un número par de elementos, hay dos elementos en la parte media. Por ejemplo, a[6] y a[7] están por igual en la parte media del siguiente arreglo. a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 10 tres elementos dos elementos medios tres elementos En un caso como este, el algoritmo debe elegir cuál tomar de los dos elementos medios, el más pequeño o el más grande. La opción es arbitraria, cualquiera que sea. Escribiremos el algoritmo para elegir el más pequeño. El índice del más pequeño de los dos elementos medios es el piso del promedio de los índices superior e inferior del arreglo. Es decir, si inf el índice inferior del arreglo, sup el índice superior del arreglo y med el menor de los dos índices medios del arreglo, entonces med inf sup 2 En este caso, inf 3 y sup 10, así el índice del “elemento medio” es med 3 10 2 13 2 6 5 6 El siguiente es un algoritmo formal para una búsqueda binaria.