Buenas, estuve haciendo cuentas con un razonamiento combinatorio y me dió que con un sistema de n bits que tenga distancia 3 o más, voy a poder representar la siguiente cantidad de números:
Que sería dados 2 códigos cualesquiera, operamos con XOR y eso tiene que dar al menos 3 1's, es decir, el problema se reduce a elegir 3 lugares (o 4, 5, 6...) de los n que tenemos.
Quisiera poder demostrar la desigualdad que aparece en la hoja 4 de las notas de códigos y errores, no se si voy bien encaminado...
[EDIT] Bueno, me dí cuenta que estoy contando más de una vez algunos números, por ejemplo si tengo el 1100 y el 0011, con distancia 4 y el 1100 contra el 1000, con distancia 1...