¿Error en el ejemplo rápido (libro K&R C)?
Este ordenamiento rápido debe clasificar "v [izquierda] ... v [derecha] en orden creciente"; copiado (sin comentarios) del lenguaje de programación C por K&R (segunda edición):
void qsort(int v[], int left, int right)
{
int i, last;
void swap(int v[], int i, int j);
if (left >= right)
return;
swap(v, left, (left + right) / 2);
last = left;
for (i = left+1; i <= right; i++)
if (v[i] < v[left])
swap(v, ++last, i);
swap(v, left, last);
qsort(v, left, last-1);
qsort(v, last+1, right);
}
Creo que hay un error en
(left + right) / 2
Suppose left = INT_MAX - 1 y right = INT_MAX. ¿No resultaría esto en un comportamiento indefinido debido al desbordamiento de enteros?