EL NIM (Un juego de estrategia binaria).

Hay un juego, el Nim, que basa su estrategia ganadora en el cdigo binario. Los jugadores son dos y las reglas son las siguientes: se colocan en una mesa algunos montoncitos de fsforos de los que, por turno, cada jugador puede quitar todos los fsforos que quiera retirando fsforos de un solo montn, inclusive, el montn entero; el que consiga llevarse el ltimo fsforo es el ganador. Si intentamos jugar una partida juntos, nos daremos cuenta que no es un juego sencillo, sobre todo en sus primeros movimientos, porque no resulta fcil saber cuntos fsforos conviene retirar en cada jugada para lograr quedarse con la ltima y ganar as la partida. Supongamos que tenemos cuatro montoncitos de uno, tres, cinco y siete fsforos respectivamente. Dejamos por cortesa, que sea el lector que haga el primer movimiento

y ste empieza por quitar dos fsforos del montn que tiene cinco:

Nos toca a nosotros y quitamos seis del montoncito que tiene siete, que, de esta forma, se queda con un solo fsforo.

Despus de la primera jugada, la situacin de los montones es 1, 3, 3 y 1:

Le toca al lector y suponemos que retirar en su totalidad uno de los montoncitos de tres fsforos que han quedado. Entonces, nosotros quitamos el segundo montoncito que tambin es de tres fsforos. La situacin es la que nos describe la siguiente figura:

Qu hace nuestro lector? Se da por vencido? En el juego del Nim subyace una estrategia binaria, que podemos dominar desde la primera jugada. No en vano, o por cortesa, le hemos dejado al lector que jugara primero: si lo hubisemos hecho nosotros, difcilmente habramos retirado el ltimo fsforo. Cul es la estrategia oculta? Vamos a transcribir los nmeros de fsforos de los cuatro montoncitos, es decir 1, 3, 5 y 7, en cdigo binario: 1(10) 1(2) 3(10) 11(2) 5(10) 101(2) 7(10) 111(2) Observando los nmeros en binario se tiene que en la primera columna, de izquierda a derecha, hay dos unidades; en la segunda otras dos y, en la tercera, cuatro. Cuando se presenta una situacin as, el que juega primero le da al otro necesariamente la oportunidad de ganar la partida. Basta hacer de forma que el nmero de las unidades sea par en cada columna.

La situacin inicial de nuestra partida presentaba ya esta caracterstica: 1(2) 11(2) 101(2) 111(2) 224(10) por consiguiente, al dejar que empezara a jugar el lector, no hemos hecho ms que aduearnos de la estrategia ganadora. De hecho, sean cuales fueran las jugadas de nuestro lector, tendr que crear necesariamente un nmero impar en las unidades de alguna columna. Para que nos demos cuenta, analizaremos a la luz de esta estrategia la situacin que se crea quitando dos fsforos del montoncito que tiene cinco: quedarn 1, 3 y 7 fsforos, lo que en cdigo o binario, corresponde a 1(2), 11(2), 11(2) y 111(2). 1(2) 11(2) 11(2) 111(2) 134(10) Hay nada menos que dos columnas con un nmero impar de unidades. Nuestra jugada, que consiste en quitar seis fsforos del montn que tena siete, no ha hecho ms que restablecer un nmero par de unidades en cada columna: 1(2) 11(2)

11(2)

1(2)

134(10)

La siguiente jugada de nuestro lector (retirar entero el montn de tres fsforos) habra podido no crear nuevamente algn nmero impar en una de las dos columnas o en ambas: 1(2) 11(2)

1(2)

13(10) Finalmente, nosotros hemos quitado las tres cerillas del montn: 1(2)

1(2)

2(10) Hemos llegado al final cuando quedaban dos montoncitos con un nico fsforo cada uno y le tocaba al lector.