🔢 mathematics

Structural Conjectures for 4 x n Chomp: Unique Extension, Asymptotic Ratios, and Period-112 Geometry

Este artículo presenta un estudio computacional extenso del juego Chomp 4 x n, tabulando más de 4,3 millones de posiciones P para proponer cuatro conjeturas estructurales sobre extensiones únicas, relaciones asintóticas, patrones modulares de periodo 112 y geometría de conos lineales que revelan una estructura determinista más rica en el juego de la sospechada anteriormente.

Autores originales: Arnav Garg

Publicado 2026-04-30

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Arnav Garg

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un juego llamado Chomp jugado sobre una barra de chocolate rectangular. La barra está formada por una cuadrícula de cuadrados. Dos jugadores se turnan. En tu turno, eliges un cuadrado y lo "comes", junto con todo lo que está arriba y a la derecha de él. ¿La trampa? El cuadrado superior izquierdo está envenenado. Si te ves obligado a comer ese último cuadrado, pierdes.

Los matemáticos han descubierto la estrategia ganadora para barras de chocolate muy pequeñas o muy específicas, pero para una barra que tiene 4 cuadrados de ancho y n cuadrados de largo, el patrón era un misterio hasta ahora.

Este artículo es como una historia de detectives masiva y de alta velocidad, donde el autor utilizó una computadora ultrarrápida para mapear cada una de las "posiciones perdedoras" (un punto donde el jugador cuyo turno es perderá si el oponente juega perfectamente) para barras de chocolate de hasta 500 cuadrados de largo.

Esto es lo que encontró el autor, explicado de forma sencilla:

1. La Regla de "Uno y Listo" (Extensión Única)

Piensa en la barra de chocolate como si tuviera cuatro filas. Las tres filas superiores tienen ciertas longitudes (llamémoslas A, B y C).

El Descubrimiento: El autor encontró que para cualquier combinación específica de longitudes de las tres filas superiores, existe como máximo una longitud específica para la cuarta fila que crea una "posición perdedora".
La Analogía: Imagina que estás construyendo una torre con tres bloques de tamaños específicos. Si quieres que la torre sea "inestable" (una posición perdedora), solo hay una talla específica de cuarto bloque que la hará inestable. No puedes elegir cualquier cuarto bloque; las matemáticas fuerzan una única respuesta. Esto sugiere que el juego es mucho más predecible y "determinista" de lo que nadie pensaba.

2. La "Proporción Áurea" del Chocolate (Ratios Asintóticos)

A medida que la barra de chocolate se vuelve más y más larga (imagina estirarla hasta el infinito), el autor notó que las filas se asientan en una forma específica.

El Descubrimiento: Las longitudes de las filas dejan de cambiar aleatoriamente y comienzan a seguir un patrón fijo. Si la fila superior tiene una longitud de 100, la segunda fila siempre tendrá una longitud de aproximadamente 76 unidades, la tercera de unos 50 y la cuarta de unos 22.
La Analogía: Es como un árbol creciendo. No importa cuán alto crezca el árbol, las ramas siempre crecen en las mismas proporciones relativas. El autor calculó estas "tasas de crecimiento", pero aún no pudo encontrar una fórmula matemática simple (como una fracción) para describirlas exactamente. Están cerca de algunos números famosos, pero el secreto exacto sigue oculto.

3. El "Ritmo Oculto" (Periodo-112)

El autor buscó un patrón repetitivo en los datos, como un compás en una canción.

El Descubrimiento: Los datos repiten un patrón específico cada 112 pasos.
La Analogía: Imagina un reloj que no hace tic cada segundo, sino que tiene un ritmo complejo que se reinicia cada 112 tics. El autor encontró que este ritmo es probablemente una mezcla de dos ritmos más pequeños: uno que se repite cada 7 pasos (heredado de la versión del juego de 3 filas) y otro misterioso que se repite cada 8 pasos. El número 112 es simplemente el "mínimo común múltiplo" donde estos dos ritmos se sincronizan perfectamente.

4. La Forma de "Embudo" (Geometría del Cono Lineal)

Si graficas todas las posibles "posiciones perdedoras", no parecen una nube aleatoria de puntos.

El Descubrimiento: Forman una forma ordenada, similar a un embudo (un cono). A medida que las filas se vuelven más largas, la "anchura" de las posiciones perdedoras válidas crece en una línea recta y predecible.
La Analogía: Imagina verter arena en un embudo. La arena no se acumula aleatoriamente; forma un cono suave y ensanchado. El autor encontró que las posiciones perdedoras "válidas" en este juego encajan en una forma similar, suave y ensanchada, con un pequeño bamboleo causado por ese ritmo de 112 pasos mencionado anteriormente.

¿Por qué es esto importante?

Antes de este artículo, la versión de 4 filas de Chomp era una caja negra. Sabíamos que el primer jugador suele ganar, pero no sabíamos por qué ni cómo estaban dispuestas las posiciones perdedoras.

El autor encontró 4,3 millones de posiciones perdedoras específicas.
Demostró que el juego probablemente está gobernado por reglas estrictas (la "Extensión Única") en lugar del caos.
Encontró un ritmo oculto (112) que controla la estructura del juego.

Lo que el artículo NO dice:

No afirma que esto ayude a resolver otros juegos (como el Ajedrez o el Go).
No afirma que esto tenga aplicaciones médicas o del mundo real.
No prueba que estas reglas sean 100% ciertas para tableros infinitos; solo prueba que se mantienen ciertas para el rango de 500 pasos que probaron. El autor los llama "conjeturas" (suposiciones fuertes basadas en evidencia) en lugar de leyes probadas.

En resumen, el autor tomó un juego desordenado y complejo, ejecutó una simulación masiva por computadora y descubrió que, bajo el caos, hay una estructura muy ordenada, rítmica y predecible esperando ser comprendida plenamente.

Aquí se presenta un resumen técnico detallado del artículo "Conjeturas Estructurales para Chomp 4 × n: Extensión Única, Ratios Asintóticos y Geometría de Periodo-112" de Arnav Garg.

1. Enunciado del Problema

El artículo investiga el juego combinatorio Chomp jugado en una cuadrícula rectangular de $4 \times n$ .

Reglas del Juego: Los jugadores se alternan eliminando un cuadrado y todos los cuadrados situados arriba y a la derecha de él. El cuadrado superior izquierdo $(1,1)$ está "envenenado"; el jugador obligado a tomarlo pierde.
Objetivo: Identificar las posiciones P (posiciones ganadoras para el jugador anterior, o posiciones perdedoras para el jugador cuyo turno es).
Contexto: Mientras que los casos $1 \times n$ y $2 \times n$ están completamente resueltos, y el caso $3 \times n$ tiene soluciones algorítmicas parciales, el caso $4 \times n$ carecía de un análisis computacional sistemático. El artículo tiene como objetivo llenar esta brecha tabulando las posiciones P e identificando patrones estructurales subyacentes.

2. Metodología

El autor desarrolló un solver retrogrado optimizado en C++ para calcular las posiciones P para anchos de tablero hasta $n = 500$ .

Representación del Estado:
- Las posiciones se representan como tuplas no decrecientes $(a, b, c, d)$ donde $a \ge b \ge c \ge d \ge 0$ , denotando el número de cuadrados en cada fila.
- Empaquetado de Bits: Cada tupla se codifica en un único entero uint64 utilizando cuatro campos de 16 bits para minimizar el uso de memoria y maximizar la velocidad de hash.
Diseño del Algoritmo:
- Almacenamiento Disperso: Solo las posiciones P se almacenan en un conjunto hash. El solver descarta las posiciones N (ganadoras para el jugador actual) tan pronto como se encuentra un movimiento hacia una posición P conocida.
- Evaluación de Abajo hacia Arriba: Los estados se procesan en orden creciente de la cantidad total de celdas, asegurando que todos los sucesores se resuelvan antes de evaluar un estado.
Rendimiento:
- Se calcularon 4.316.097 posiciones P para $n \le 500$ .
- Tiempo de ejecución: ~70 minutos en un procesador Apple M4.
- Uso de memoria: Uso máximo de 45 MB.
Verificación:
- Validado contra la fórmula conocida de $2 \times n$ (donde $c=d=0$ implica $b=a-1$ ).
- Verificado cruzadamente con un solver independiente en Python para el subcaso $3 \times n$ ( $d=0$ ) hasta $n=50$ .
- Se corrigió un error inicial de alineación de columnas en la salida de datos.

3. Contribuciones y Resultados Clave

El análisis del conjunto de datos calculado condujo a cuatro conjeturas estructurales principales:

A. Conjetura 1: Propiedad de Extensión Única

Enunciado: Para cualquier tripleta válida de longitudes de fila $(a, b, c)$ , existe como máximo un entero $d$ tal que $(a, b, c, d)$ es una posición P.
Implicación: El mapa de proyección $\pi: (a, b, c, d) \to (a, b, c)$ es inyectivo sobre el conjunto de posiciones P.
Significado: Esto sugiere que el juego $4 \times n$ es un "levantamiento determinista" del juego $3 \times n$ . Aunque no toda $(a, b, c)$ se extiende a una posición P (solo ~20% lo hacen), si existe una extensión, la longitud de la cuarta fila $d$ está forzada de manera única. Esto contrasta con el caso $3 \times n$ , donde no se había establecido previamente tal mapeo inyectivo simple.

B. Conjetura 2: Ratios Asintóticos

Enunciado: A medida que el ancho del tablero $a \to \infty$ $a \to \infty$ , los ratios de las longitudes de fila en las posiciones P convergen a constantes fijas:
- $b/a \to L_1 \approx 0.762$
- $c/a \to L_2 \approx 0.499$
- $d/a \to L_3 \approx 0.224$
Metodología: Estimado mediante medianas con ventanas, ventanas deslizantes y ajuste de curvas de ley de potencias.
Observación: No se encontró una identidad algebraica exacta para estas constantes. Sin embargo, $L_3 \approx 0.224$ está notablemente cerca de $\cos(3\pi/7) \approx 0.2225$ , lo que sugiere una posible relación algebraica oculta.

C. Conjetura 3: Estructura Modular de Periodo-112

Enunciado: El conjunto de tripletes $(a, b, c)$ que se extienden a posiciones P exhibe una estructura modular con un periodo fundamental de 112.
Evidencia:
- El análisis de autocorrelación de la secuencia de valores de $d$ muestra un pico agudo en el retraso 112.
- Un clasificador logístico que utiliza solo $c$ y $(a-b) \pmod{112}$ predice la extensibilidad con una precisión del 79%.
- Las pruebas de chi-cuadrado confirman que el módulo 112 proporciona la separación estadística más fuerte ( $\chi^2 = 12.433$ ) en comparación con otros módulos.
Interpretación: $112 = \text{mcm}(7, 8) \times 2$ . El factor de 7 probablemente proviene de la periodicidad del subjuego $3 \times n$ , mientras que el factor de 8 permanece sin explicación (descartando artefactos de empaquetado de bits).

D. Conjetura 4: Geometría de Cono Lineal

Enunciado: El conjunto de tripletes extensibles $(a, b, c)$ forma un cono lineal en $\mathbb{R}^3$ .
Geometría: Para un $c$ fijo, el rango válido de $(a, b)$ forma una banda contigua. El ancho de esta banda crece linealmente con $c$ :
$\text{ancho}(c) \approx \frac{11}{8} \cdot c + f(c \pmod{112})$
donde $f$ es una función periódica acotada. La pendiente $11/8 = 1.375$ se derivó de mediciones basadas en rebanadas.

4. Significado y Direcciones Futuras

Perspectiva Estructural: Los hallazgos sugieren que el Chomp $4 \times n$ posee una estructura más rica y determinista de lo que se sospechaba anteriormente, potencialmente más simple que el caso $3 \times n$ debido a la propiedad de "Extensión Única".
Generalización: El autor hipotetiza que la propiedad de Extensión Única puede generalizarse al Chomp $k \times n$ para todo $k$ , implicando que todos los juegos de Chomp están determinados recursivamente por el caso resuelto $2 \times n$ .
Preguntas Abiertas:
1. Demostración: ¿Se puede demostrar la propiedad de Extensión Única combinatoriamente?
2. Límites Algebraicos: ¿Son los ratios asintóticos raíces de un polinomio común?
3. Dimensiones Superiores: ¿Se cumple esto para $5 \times n$ ? (Requiere un espacio de estados de $O(n^5)$ ).
4. Origen del Periodo: ¿Cuál es la fuente del componente de periodo-8 en el ciclo de 112?
5. Forma Cerrada: ¿Se pueden describir los ~20% de tripletes extensibles mediante una máscara de forma cerrada?

El artículo también señala la presentación de la secuencia de valores de $d$ a la Enciclopedia en Línea de Secuencias de Enteros como A395126. El código y los datos están disponibles públicamente a través del repositorio GitHub del autor.