La acuñación de Sylver es un juego matemático para dos jugadores, inventado por John H. Conway . Se trata en el capítulo 18 de Formas ganadoras para sus juegos matemáticos . Este artículo resume ese capítulo.
Los dos jugadores se turnan para nombrar números enteros positivos mayores que 1 que no son la suma de múltiplos no negativos de números enteros previamente nombrados. El jugador que no pueda nombrar tal número pierde. Por ejemplo, si el jugador A abre con 2, B puede ganar nombrando 3.
Acuñación Sylver lleva el nombre de James Joseph Sylvester , quien demostró que si un y b son primos relativos enteros positivos, entonces ( a - 1) ( b - 1) - 1 es el número más grande que no es una suma de múltiplos no negativos de una y b . Por lo tanto, si una y B son los dos primeros se mueve en un juego de monedas Sylver, esta fórmula da el número más grande que todavía se pueden reproducir. De manera más general, si el máximo común divisor de los movimientos jugados hasta ahora es g , entonces solo quedan por jugar un número finito de múltiplos de g , y después de que se hayan jugado todos, g debe disminuir en el siguiente movimiento. Por lo tanto, todo juego de acuñación de sylver debe terminar finalmente. Cuando un juego de acuñación de sylver tiene solo un número finito de movimientos restantes, el número más grande que todavía se puede jugar se llama número de Frobenius , y encontrar este número se llama problema de la moneda .
Ejemplo
Un juego de muestra entre A y B:
- A abre con 5. Ahora ninguno de los jugadores puede nombrar 5, 10, 15, ....
- B nombres 4. Ahora ninguno de los jugadores puede nombrar 4, 5, 8, 9, 10 o cualquier número mayor que 11.
- A nombres 11. Ahora los únicos números restantes son 2, 3, 6 y 7.
- Nombres B 6. Ahora los únicos números restantes son 2, 3 y 7.
- A nombres 7. Ahora los únicos números restantes son 2 y 3.
- Nombres B 2. Ahora el único número que queda es 3.
- A nombra 3, sin dejar nada para B, y gana.
Cada uno de los movimientos de A fue hacia una posición ganadora.
Análisis
A diferencia de muchos juegos matemáticos similares, la acuñación de Sylver no se ha resuelto por completo, principalmente porque muchas posiciones tienen infinitos movimientos posibles. Además, el teorema principal que identifica una clase de posiciones ganadoras, debido a RL Hutchings, garantiza que dicha posición tiene una estrategia ganadora pero no identifica la estrategia. El teorema de Hutchings establece que cualquiera de los números primos 5, 7, 11, 13,…, gana como primer movimiento, pero se sabe muy poco sobre los movimientos ganadores posteriores: estas son las únicas aperturas ganadoras conocidas.
Cuando el máximo común divisor de los movimientos que se han realizado hasta ahora es 1, el conjunto restante de números que se puede jugar será un conjunto finito y se puede describir matemáticamente como el conjunto de espacios de un semigrupo numérico . Algunas de estas posiciones finitas, incluidas todas las posiciones después de que el segundo jugador haya respondido a una de las jugadas ganadoras de Hutchings, permiten una jugada especial que Sicherman llama "final". Un final es un número que solo se puede jugar de inmediato: jugar cualquier otro número lo descartaría. Si existe un finalista, siempre es el número más grande que todavía se puede jugar. Por ejemplo, después de las jugadas (4,5), el número más grande que todavía se puede jugar es 11. Jugar 11 no puede descartar números más pequeños, pero jugar cualquiera de los números más pequeños disponibles (1, 2, 3, 6 o 7) descartaría jugar 11, por lo que 11 es un final. Cuando existe un finalizador, el siguiente jugador puede ganar siguiendo un argumento de robo de estrategia . Si uno de los movimientos que no terminan puede ganar, el siguiente jugador realiza ese movimiento ganador. Y si ninguno de los movimientos que no terminan gana, entonces el siguiente jugador puede ganar jugando al final y obligando al otro jugador a realizar uno de los otros movimientos no ganadores. Sin embargo, aunque este argumento prueba que el próximo jugador puede ganar, no identifica una estrategia ganadora para el jugador. Después de jugar un número primo de 5 o más como primer movimiento, el primer jugador en un juego de acuñación de sylver siempre puede ganar si sigue esta estrategia final (no constructiva) en su próximo turno.
¿Hay alguna jugada de apertura ganadora no principal en la acuñación de Sylver?
Si hay otras aperturas ganadoras, deben ser 3 números suaves (números de la forma 2 i 3 j para enteros no negativos i y j ). Porque, si se juega cualquier número n que no sea de esta forma y no sea primo, entonces el segundo jugador puede ganar eligiendo un factor primo grande de n . Los primeros números de 3 suaves, 1, 2, 3, 4, 6, 8, 9 y 12, son todas aperturas perdedoras, para las cuales se conocen estrategias completas por las cuales el segundo jugador puede ganar. Según el lema de Dickson (aplicado a los pares de exponentes ( i , j ) de estos números), solo un número finito de números de 3 suaves pueden ser aperturas ganadoras, pero no se sabe si alguno de ellos lo es. Conway (2017) ofreció un premio de $ 1000 por determinar quién gana en el primer caso sin resolver, el movimiento de apertura 16, como parte de un conjunto de problemas de premios que también incluyen el problema de 99 gráficos de Conway , el espaciado mínimo de conjuntos de Danzer y la conjetura de thrackle. .
Referencias
- Berlekamp, Elwyn R .; Conway, John H .; Guy, Richard K. (1982). "18. El emperador y su dinero" (PDF) . Maneras ganadoras para sus juegos matemáticos , vol. II: Juegos en particular . Prensa académica. págs. 575–606.
- Conway, John H. (2017). "Cinco problemas de $ 1,000 (actualización de 2017)" (PDF) . Enciclopedia en línea de secuencias de enteros . Consultado el 12 de febrero de 2019 .
- Guy, Richard K. (1976). "Veinte preguntas sobre la acuñación de Sylver de Conway". Problemas de investigación. American Mathematical Monthly . 83 (8): 634–637. doi : 10.2307 / 2319892 . JSTOR 2319892 . Señor 1538138 .
- Guy, Richard K. (2004). Problemas no resueltos en teoría de números (3ª ed.). Springer-Verlag . C7. ISBN 978-0-387-20860-2. Zbl 1058.11001 .
- Michael, TS (2009). "6. De sellos a Sylver Coins". Cómo proteger una galería de arte y otras aventuras matemáticas discretas . Prensa JHU. pp. 169 -206. ISBN 9780801897047.
- Sicherman, George (2002). "Teoría y práctica de la acuñación de Sylver" (PDF) . Enteros . 2 . G2.
- Sylvester, James J. (1884). "Pregunta 7382". Preguntas matemáticas. Tiempos educativos . 41 : 21.