Hola Esteban,
Tu razonamiento tiene aciertos, pero creo que hay algunas cosas que se están mezclando con la demostración de la cota inferior para los algoritmos de ordenamiento.
En principio, no entiendo qué querés decir con "..., ya quedaría determinado un orden de
según un 
dado.".
El algoritmo de búsqueda binaria tiene que ser capaz de distinguir a partir de
comparaciones, 
posibles posiciones del arreglo. Con esa información, y con la hipótesis del tamaño del alfabeto (tener en cuenta que con tamaño de alfabeto menor o igual a 2, no se cumple), deberías poder hacer la demostración, sin pasar por el concepto de "orden".
Cualquier duda volvé a consultar.
Saludos,
Guillermo
Tu razonamiento tiene aciertos, pero creo que hay algunas cosas que se están mezclando con la demostración de la cota inferior para los algoritmos de ordenamiento.
En principio, no entiendo qué querés decir con "..., ya quedaría determinado un orden de
según un dado.".El algoritmo de búsqueda binaria tiene que ser capaz de distinguir a partir de
comparaciones, posibles posiciones del arreglo. Con esa información, y con la hipótesis del tamaño del alfabeto (tener en cuenta que con tamaño de alfabeto menor o igual a 2, no se cumple), deberías poder hacer la demostración, sin pasar por el concepto de "orden".Cualquier duda volvé a consultar.
Saludos,
Guillermo