[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/u8gFwdZP]Juegos[/url].[/color][br][br]El juego Nim se hizo popular al aparecer en la película [url=https://www.filmaffinity.com/es/film667037.html]El año pasado en Marienbad[/url] (1961). En los últimos años, su popularidad aumentó en España al figurar en el programa televisivo [i]El hormiguero[/i], con el nombre de [url=https://www.youtube.com/watch?v=I4z2vEdPhyU]El juego de los 15 palos[/url].[br][br]Se disponen varios montones de objetos, que pueden ser palos, cerillas, monedas, o cualquier cosa. Aquí usaremos monedas. [b]Cada jugador, en su turno, puede coger todas las monedas que quiera, pero solo del montón que elija en su turno.[/b] Es obligatorio retirar al menos una moneda.[br][br]Hay dos versiones, denominadas "normal" y "misère". En la normal, gana el jugador que coge la última moneda. En la misère, pierde el que se lleva la última. La versión misère, la más habitual, es la que se juega tanto en la película como en el programa de televisión.[br][br]Para observar bien la estructura simétrica del juego, comencemos con pocos montones:[br][br][list][*]Con solo un montón de monedas, está claro que gana siempre el primer jugador, ya sea retirando todas las cerillas (versión normal) o retirando todas menos una (versión misère).[/*][/list][list][*]Ahora supongamos que tenemos dos montones de monedas, por ejemplo con 7 y 5 monedas. El primer jugador [b]puede ganar provocando la simetría[/b]: le basta retirar 2 monedas del primer montón, igualando así los montones, y después imitar lo que haga el otro jugador. La estrategia también vale para la versión misère, sin más que alterar la simetría cuando una de las pilas se reduzca a una o ninguna moneda.[br][/*][/list][list][*]Pero, ¿cómo provocar la simetría cuando hay más de dos montones, todos con un número diferente de monedas? Aquí entran las matemáticas. El resultado conocido como [b]Teorema fundamental de la numeración[/b] nos permite descomponer, de modo único, cada montón de monedas como suma de varias pilas, todas ellas potencias de 2. Ahora, como todas las pilas tienen el mismo tamaño, ¡podemos provocar la simetría entre ellas![br][/*][/list][br]La siguiente construcción comienza con 4 montones con 7, 5, 3 y 1 monedas (esta disposición se llama [i]Marienbad [/i]por ser la que aparece en la película; si se suprime la moneda suelta, resulta el juego de los 15 palos de [i]El hormiguero[/i]). Puedes usar los deslizadores de la izquierda para proponer cualquier otra disposición (con un máximo de 4 montones y 15 monedas por montón).[br][br]En la parte central puedes ver cada montón descompuesto en suma de varias pilas de monedas (a su derecha puedes ver la notación binaria correspondiente). Pues bien, la estrategia ganadora no puede ser más sencilla: [b]hay que emparejar las pilas[/b], es decir, hay que provocar que el número de cada una de las diferentes pilas sea siempre par. Para ello, basta localizar la mayor pila que se encuentre desparejada y eliminarla (si es la única desparejada) o reducirla (para poder emparejar el resto de pilas). [br][br]La construcción te ayudará a entender mejor la toma de decisiones. Recuerda que en la versión misère hay que romper la simetría poco antes del final del juego, procurando dejar al adversario un número impar de pilas con una sola moneda.

Dependiendo de las reglas, el tipo de descomposición puede variar. Veamos el siguiente ejemplo.[br][br]Ahora hay 30 monedas sobre la mesa. El primer jugador (A) puede retirar las que quiera, pero no todas. El segundo jugador (B) también puede retirar las que quiera, siempre que no superen el doble de las que retiró A. Sigue así el juego, retirando por turno cada jugador las que quiera, siempre y cuando no superen el doble de las que retiró el otro en su último robo. Gana el que se lleve la última moneda. [br][br]Este el llamado [i]Nim de Fibonacci[/i]. [b]Todo natural puede ser expresado de forma única como suma de números de Fibonacci[/b]; así, 30 se puede poner como 21+8+1. El jugador A puede ganar siempre, retirando sistemáticamente tantas monedas como indique el menor de estos sumandos (en la primera jugada, 1).

[color=#999999]Autor de la actividad y construcción GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]