🔢 mathematics

The Ordered Zeckendorf Game

Este artículo introduce y analiza el juego ordenado de Zeckendorf, una variante combinatoria que impone restricciones de orden y movimientos de intercambio, demostrando que altera significativamente la dinámica estratégica respecto a la versión clásica, garantiza la terminación en la descomposición de Zeckendorf mediante un monovariante estrictamente decreciente y establece que su complejidad temporal varía linealmente en el caso más corto y cuadráticamente en el más largo.

Autores originales: Ivan Bortnovskyi, Michael Lucas, Steven J. Miller, Iana Vranesko, Ren Watson, Cameron White

Publicado 2026-03-31

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ivan Bortnovskyi, Michael Lucas, Steven J. Miller, Iana Vranesko, Ren Watson, Cameron White

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

¡Hola! Imagina que tienes un juego de bloques de construcción mágicos. Estos bloques no son de plástico, sino que son números especiales llamados Números de Fibonacci (1, 2, 3, 5, 8, 13...).

Este artículo presenta un nuevo juego llamado "El Juego Zeckendorf Ordenado". Para entenderlo, primero veamos cómo funcionaba el juego "viejo" y luego qué hace nuevo este.

1. El Juego Viejo: Una Caja de Bloques Desordenada

Imagina que tienes una caja llena de bloques pequeños (todos valen 1). Tienes dos jugadores, el Jugador 1 y el Jugador 2.

La regla: Pueden tomar dos bloques iguales y fusionarlos en uno más grande, o tomar un bloque grande y romperlo en dos más pequeños.
El problema: En el juego antiguo, el orden no importaba. Podías agarrar cualquier bloque de la caja. Los matemáticos descubrieron que, si tienes más de 2 bloques, el Jugador 2 siempre gana. ¡Es como si tuviera un truco secreto! Esto hacía el juego un poco aburrido porque el resultado estaba decidido desde el principio.

2. El Nuevo Juego: Una Línea de Bloques con Reglas Estrictas

Los autores de este paper crearon una versión más difícil y emocionante. Aquí es donde entra la magia de este artículo:

La Línea: En lugar de una caja desordenada, los bloques están puestos en una fila ordenada, como soldados en formación.
La Regla de Vecindad: Solo puedes tocar bloques que estén pegados uno al lado del otro. No puedes saltar bloques para agarrar a los que están lejos.
El Nuevo Truco (El "Cambio"): Ahora hay una nueva jugada: puedes cambiar de lugar a dos bloques vecinos si están en el orden incorrecto (como si un soldado alto se pusiera delante de uno bajo para arreglar la fila).

¿Por qué es importante?
Al obligar a los jugadores a pensar en el orden y en la posición, el juego se vuelve mucho más estratégico. Ya no es aburrido. De hecho, los autores descubrieron algo sorprendente:

En el juego viejo, el Jugador 2 ganaba casi siempre.
En este nuevo juego ordenado, el Jugador 1 gana casi siempre (en todos los casos probados hasta el número 25, excepto uno). ¡El orden ha devuelto la ventaja al que empieza!

3. ¿Cómo termina el juego?

El objetivo es llegar a una configuración final única y perfecta, llamada la Descomposición de Zeckendorf.

Imagina que tienes que construir una torre. Al final, la torre debe tener bloques de tamaños específicos que no se tocan (no puedes tener un bloque de 5 y otro de 3 juntos, por ejemplo).
El juego siempre termina en esta configuración final. Los matemáticos del paper probaron que nunca se puede quedar atrapado en un bucle infinito; el juego siempre se acaba.

4. ¿Cuánto dura el juego? (La carrera de velocidad vs. la maratón)

Los autores se preguntaron: ¿Cuál es la forma más rápida de ganar y la más lenta?

La Carrera de Velocidad (Juego más corto): Si los jugadores son muy eficientes y solo fusionan bloques sin perder tiempo, el juego termina muy rápido. La duración es simplemente la diferencia entre cuántos bloques empezaste y cuántos terminas.
La Maratón (Juego más largo): Si los jugadores quieren alargar el juego lo máximo posible (haciendo muchos cambios de lugar y rompiendo bloques), el juego puede durar muchísimo.
- Los autores descubrieron que si el número de bloques iniciales es $n$ , el juego más largo dura aproximadamente $n^2 / 2$ .
- Analogía: Si tienes 10 bloques, el juego corto dura unos pocos pasos, pero el juego largo podría durar 50 pasos. Si tienes 100 bloques, el juego largo podría durar 5,000 pasos. ¡Crece muy rápido!

5. El Comportamiento Aleatorio (El "Caos" Controlado)

También jugaron miles de veces eligiendo movimientos al azar (como si tiraran un dado para decidir qué hacer).

El hallazgo: La cantidad de pasos que tardan en terminar no sigue una curva normal (como una campana). Sigue una curva extraña llamada log-normal.
Analogía: Imagina que lanzas una moneda. La mayoría de las veces, el juego termina en un tiempo "promedio", pero a veces, por pura suerte, el juego se alarga muchísimo más de lo esperado, creando una "cola" larga en la gráfica. Es como si la mayoría de las carreras fueran cortas, pero de vez en cuando, alguien se pierde en un laberinto gigante y tarda horas.

Resumen en una frase

Este paper toma un juego matemático antiguo donde uno de los jugadores siempre ganaba, le añade reglas de "orden y vecindad" para hacerlo justo y estratégico, y demuestra que ahora el primer jugador tiene la ventaja, además de calcular exactamente cuánto puede durar el juego si los jugadores deciden hacerlo largo o corto.

Es como pasar de un juego de mesa simple donde el destino está escrito, a un ajedrez donde cada movimiento en la fila cambia todo el tablero.

Resumen Técnico: El Juego de Zeckendorf Ordenado

1. Planteamiento del Problema

El artículo introduce y analiza una variante combinatoria de dos jugadores basada en el Teorema de Zeckendorf, el cual establece que todo entero positivo tiene una descomposición única como suma de números de Fibonacci no consecutivos ( $F_1=1, F_2=2, F_{i+1}=F_i+F_{i-1}$ ).

Contexto: En el "Juego de Zeckendorf Clásico" (estudiado previamente), los jugadores operan sobre un multiconjunto no ordenado de números de Fibonacci. Se ha demostrado que en esta versión, el Jugador 2 tiene una estrategia ganadora dominante para todo $n > 2$ , lo que limita la complejidad estratégica.
Nueva Propuesta: Los autores proponen el Juego de Zeckendorf Ordenado. En esta variante:
- El estado inicial es una lista ordenada de $n$ copias de $F_1$ .
- Las operaciones (fusionar, dividir) están restringidas a elementos adyacentes.
- Se introduce una nueva jugada: el cambio (switch), que permite intercambiar elementos adyacentes desordenados ( $F_i, F_j$ con $i > j$ ) para restaurar el orden ascendente y permitir futuras operaciones.
Objetivo: Determinar si la imposición de restricciones de orden y la adición de movimientos de cambio alteran la dinámica del juego, creando un paisaje estratégico más rico y equilibrado.

2. Metodología

El estudio combina teoría de juegos combinatorios, análisis asintótico y simulación computacional extensiva.

Definición Formal: Se definen cinco movimientos legales:
1. Fusión: $(F_i, F_{i+1}) \to F_{i+2}$ .
2. Fusión de Unos: $(F_1, F_1) \to F_2$ .
3. División: $(F_i, F_i) \to (F_{i-2}, F_{i+1})$ para $i > 2$ .
4. División de Dos: $(F_2, F_2) \to (F_1, F_3)$ .
5. Cambio (Switch): $(F_i, F_j) \to (F_j, F_i)$ si $i > j$ .
Monovariantes: Para probar la terminación, se construye una función monótona estrictamente decreciente $f(S)$ que combina el "desorden" (inversiones) y el "peso total" (índices de Fibonacci).
Estrategias y Límites: Se propone una estrategia heurística llamada Estrategia de Juego Largo (LGS) para maximizar la duración del juego y se utilizan grafos de transición de estados para analizar la estructura de las repeticiones de términos de alto índice.
Simulación: Se ejecutaron 10,000 simulaciones de juegos aleatorios para analizar la distribución de la longitud de las partidas y los resultados de victoria.

3. Contribuciones y Resultados Clave

A. Terminación y Estado Final

Teorema 1.3: Se demuestra que el juego siempre termina en un número finito de movimientos.
Estado Final: El estado terminal es único: la descomposición de Zeckendorf de $n$ expresada como una secuencia estrictamente creciente de números de Fibonacci. Esto se garantiza porque cualquier configuración que no cumpla la condición de Zeckendorf permite al menos un movimiento legal.

B. Longitud del Juego (Acotaciones)

Longitud Mínima (Proposición 1.4): La longitud mínima posible es exactamente $n - Z(n)$ , donde $Z(n)$ es el número de términos en la descomposición de Zeckendorf de $n$ . Esto se logra mediante una estrategia "greedy" (codiciosa) que fusiona pares adyacentes lo más rápido posible sin realizar cambios.
Longitud Máxima (Teorema 1.5 y 1.11):
- Se establece una cota superior: $M(n) \le \frac{n(n-1)}{2}$ .
- Mediante el análisis de la estrategia LGS, se demuestra una cota inferior asintótica: $M(n) \ge \frac{n^2}{2} - n \log_\phi(n) + o(n \log_\phi(n))$ .
- Resultado Asintótico (Corolario 1.12): La longitud máxima del juego crece cuadráticamente:
  $M(n) = \frac{n^2}{2} - \Theta(n \log_\phi(n))$
  donde $\phi$ es la razón áurea.

C. Dinámica de Victoria (Estrategia Ganadora)

Contraste con el Juego Clásico: A diferencia del juego no ordenado (donde el Jugador 2 gana siempre para $n>2$ ), en la versión ordenada, el Jugador 1 tiene una ventaja significativa.
Hallazgo Empírico: Para todos los valores $n \le 25$ , el Jugador 1 puede forzar una victoria, con la única excepción en $n=18$ , donde el Jugador 2 gana. Esto sugiere que la restricción de orden restaura el equilibrio y aumenta la profundidad estratégica.
Complejidad Computacional: Determinar la estrategia ganadora para $n > 25$ es computacionalmente inviable con fuerza bruta debido a la explosión combinatoria del árbol de juego.

D. Comportamiento Probabilístico

Conjetura 3.2: Las simulaciones de juegos aleatorios (donde cada movimiento legal tiene la misma probabilidad) sugieren que la distribución de la longitud de las partidas converge a una distribución log-normal a medida que $n \to \infty$ .
Simetría: En juegos aleatorios, la probabilidad de victoria para ambos jugadores parece ser aproximadamente igual, a pesar de la ventaja del Jugador 1 en el juego óptimo.

4. Significado e Impacto

Nuevos Retos Algorítmicos: El juego introduce un marco de decisión combinatoria local (adyacencia) que es computacionalmente rico y estratégicamente profundo, desafiando las técnicas tradicionales de minimax debido al tamaño del espacio de estados.
Teoría de Números y Juegos: El trabajo conecta la teoría de representaciones de enteros (Zeckendorf) con la teoría de juegos combinatorios, mostrando cómo las restricciones estructurales (orden) pueden transformar completamente la dinámica de un juego (de dominio del Jugador 2 a ventaja del Jugador 1).
Generalizaciones: Abre la puerta a investigar variantes con otras relaciones de recurrencia (secuencias $k$ -bonacci) y dinámicas de múltiples jugadores o alianzas.
Herramientas Analíticas: La construcción de monovariantes específicos para juegos con restricciones de orden y el análisis de la distribución log-normal de longitudes de juego aportan nuevas herramientas metodológicas para el campo de los juegos numéricos.

En conclusión, el Juego de Zeckendorf Ordenado no es solo una variación trivial, sino un sistema complejo que revela comportamientos emergentes, límites asintóticos precisos y una dinámica de victoria que desafía las expectativas basadas en su contraparte no ordenada.