Primero, tienes un error que considero simplemente tipográfico, porque en el resto lo hace bien en:
scanf("%i", dato);
debe ser:
scanf("%i", &dato);
^
^
En cuanto al algoritmo, sup
no debe ser igual a filas, sino a filas - 1
que es el último índice válido del array.
Los pasos serían los siguientes:
En cada iteración, calculamos la posición media entre ambos límites:
(indice superior + indice inferior) / 2
Si el dado es igual al de la posición media terminamos, lo hemos encontrado.
Si el dato es mayor que el valor medio se cambia el límite inferior para que sea la mitad más uno.
Si el dato es menor que el valor medio se cambia el límite superior para que sea la mitad menos uno.
Si llegamos al punto en el que el límite inferior es mayor que el superior, el elemento no está en el array ordenado y terminamos.
El principal error está en los puntos 3 y 4. El índice mitad
ya ha sido comprobado, por lo que no debe formar parte del siguiente rebanado, el problema más importante con ésto es hacer inf = mitad;
en vez de inf = mitad + 1;
en el punto 3. Ésto ocasiona que termines con ciclos infinitos, por ejemplo:
Partimos de:
dato = 8 array = [4, 5, 6]
1ª. Iteración
inf = 0 sup = 3 mitad = (3 + 0) / 2 = 1 Como array[1] < 8: inf = mitad = 1
2ª. Iteración
inf = 1 sup = 3 mitad = (3 + 1) / 2 = 2 Como array[2] < 8: inf = mitad = 2
3ª. Iteración
inf = 2 sup = 3 mitad = (3 + 2) / 2 = 2 Como array[2] < 8: inf = mitad = 2
Volvemos a estar como en la 2ª iteración, de aquí ya no sales...
Debería ser algo así:
inf = 0;
sup = filas - 1;
while (inf <= sup)
{
mitad = (sup + inf) / 2;
if (matriz1[mitad] == dato)
{
printf("Dato %d encontrado posicion %d", dato, mitad);
break;
}
else if (matriz1[mitad] > dato)
sup = mitad - 1;
else
inf = mitad + 1;
}
if (inf > sup)
printf("Dato %d no encontrado", dato);
Por eficiencia, en vez de encadenar if
cuando sabes que de cumplirse uno el otro no va a ser cierto nunca (por tanto no tiene sentido que se evalúe siquiera), usa else if - else
. Con if
encadenados todas las condiciones se evalúan, con else if
si alguna del bloque anteriormente se evaluó como cierta el resto ya no serán evaluadas.
El cálculo de mitad
en los condicionales, aunque no afecta al algoritmo, es innecesario también, dado que en la siguiente iteración se recalcula al inicio de la misma.