Diagnóstico

Una búsqueda que a veces no termina

Un servicio se cuelga de vez en cuando al buscar un id. Con la mayoría de los ids responde enseguida. El código:

Texto

mientras bajo < alto:    medio ← (bajo + alto) / 2    si a[medio] < x:        bajo ← medio    si no:        alto ← medio

Un servicio se cuelga de vez en cuando al buscar un id; con la mayoría responde enseguida. Usa medio ← (bajo + alto) / 2, y bajo ← medio cuando a[medio] es menor que x. ¿Qué hipótesis explica el cuelgue y cómo la verificas?alto ← medio deja el intervalo igual cuando a[medio] ≥ x; buscando un valor menor que todosEl array no está ordenado en ese id; comprobar que cada valor es menor o igual que el siguiente en todo el arrayLa suma bajo + alto desborda con arrays enormes; probar con un array de más de mil millones de valoresCon bajo ← medio, si queda una posición y a[medio] es menor que x el intervalo no cambia; probar un x mayor que todos