Turno actual --
Restantes --
Puede retirar --
Pulsa "Iniciar juego" para comenzar

Selecciona cuántos retirar:

Historial

¿Qué es el Juego de Bachet?

El Juego de Bachet (también conocido como Juego de Sustracción) es un juego matemático de dos jugadores con información perfecta. Hay N objetos y dos jugadores alternan tomando entre 1 y M objetos. El jugador que toma el último objeto gana.

La regla (M+1)

La idea clave: el primer jugador tiene una estrategia ganadora si y solo si N NO es múltiplo de (M+1). Si N mod (M+1) = 0, el segundo jugador siempre gana con juego óptimo.

N mod (M+1) ≠ 0 → Primer jugador gana

N mod (M+1) = 0 → Segundo jugador gana

Estrategia ganadora

Si es tu turno y los objetos restantes N no son múltiplo de (M+1), toma exactamente N mod (M+1) objetos. Esto deja a tu oponente con un múltiplo de (M+1), una posición perdedora. Cualquiera que tome (k objetos), tú tomas (M+1-k) en tu siguiente turno.

Conexión con aritmética modular

El Juego de Bachet trata fundamentalmente de aritmética modular. Las posiciones "seguras" son exactamente aquellas donde el conteo es 0 mod (M+1). Cada par de movimientos puede totalizar M+1, así que si dejas a tu oponente en 0 mod (M+1), no puede escapar.

Conexión con Nim

El Juego de Bachet es un caso especial del juego matemático Nim. El teorema de Sprague-Grundy proporciona una solución completa para todos los juegos combinatorios imparciales, incluyendo el Juego de Bachet. El valor Grundy de una posición con n objetos es n mod (M+1).

Aplicaciones

  • Fundamentos de teoría de juegos combinatoria
  • Diseño de algoritmos y programación dinámica
  • Teoría de números y aritmética modular
  • Pensamiento estratégico en escenarios competitivos
  • Enseñanza de razonamiento matemático y demostración

Convención Misere

En la versión misere, el jugador que toma el ÚLTIMO objeto PIERDE. La estrategia cambia significativamente: si N mod (M+1) = 1, estás en posición perdedora; de lo contrario, toma objetos para dejar un conteo de 1 mod (M+1).

Máximo variable

En lugar de un M fijo, el máximo a retirar podría aumentar cada turno (ej., duplicarse). Estas variantes crean estructuras matemáticas más ricas y pueden no tener soluciones cerradas simples.

Juegos de conjunto de sustracción

Generaliza más allá de 1 a M: permite retirar de un conjunto específico S de números (ej., S = {1, 3, 4}). El análisis usa el teorema de Sprague-Grundy, calculando valores Grundy para cada posición.

Versiones de múltiples pilas

Con múltiples pilas, el juego se vuelve equivalente a Nim. La estrategia ganadora usa XOR binario (nim-sum) de los tamaños de pila. Si el nim-sum no es cero, el primer jugador gana.

Nim Fibonacci

Una variante elegante donde el máximo que puedes retirar es el doble de lo que tu oponente acaba de tomar. El teorema de Zeckendorf proporciona la estrategia ganadora usando representaciones de números Fibonacci.

Claude Gaspard Bachet de Méziriac (1581-1638)

Bachet fue un matemático, lingüista y poeta francés. Es conocido por su libro de 1612 "Problèmes plaisants et délectables qui se font par les nombres", uno de los primeros libros sobre matemáticas recreativas.

Contribuciones a las matemáticas

  • Escribió uno de los primeros libros de matemáticas recreativas (1612)
  • Estudió secuencias tipo Fibonacci y sus propiedades
  • Tradujo la "Aritmética" de Diofanto al latín (1621)
  • Su traducción inspiró a Fermat a escribir el Último Teorema de Fermat al margen
  • Estudió cuadrados mágicos y puzzles numéricos

Historia de la teoría de juegos

Aunque Bachet describió el juego en 1612, el análisis matemático formal llegó mucho más tarde. John von Neumann y Oskar Morgenstern establecieron la teoría de juegos como disciplina matemática en 1944. El teorema de Sprague-Grundy (1935-1939) proporcionó herramientas para analizar juegos combinatorios imparciales.

Origen chino

En la tradición matemática china, este juego se conoce como "Ba Shang Bo Yi" (Juego de Bachet). Se ha usado extensivamente en educación matemática en China para enseñar pensamiento estratégico y aritmética modular.