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: 1. En cada iteración, calculamos la posición media entre ambos límites: (indice superior + indice inferior) / 2 2. Si el dado es igual al de la posición media terminamos, lo hemos encontrado. 3. Si el dato es mayor que el valor medio se cambia el límite inferior para que sea la **mitad más uno**. 4. Si el dato es menor que el valor medio se cambia el límite superior para que sea la **mitad menos uno**. 5. 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.