En la teoría de juegos combinatorios , los juegos poset son juegos matemáticos de estrategia , que generalizan muchos juegos conocidos como Nim y Chomp . [1] En tales juegos, dos jugadores comienzan con un poset (un conjunto parcialmente ordenado ) y se turnan para elegir un punto del poset, eliminándolo y todos los puntos que son mayores. El jugador que se queda sin un punto para elegir, pierde.
Como se Juega
Dado un conjunto parcialmente ordenado ( P , <), sea
denotar la poset formado mediante la eliminación de x de P .
Un juego poset en P , jugado entre dos jugadores llamados convencionalmente Alice y Bob , es el siguiente:
- Alice elige un punto x ∈ P ; reemplazando así P con P x , y luego pasa el turno a Bob, quien juega en P x , y pasa el turno a Alice.
- Un jugador pierde si es su turno y no hay puntos para elegir.
Ejemplos de
Si P es un conjunto finito totalmente ordenado , entonces el juego en P es exactamente el mismo que el juego en un juego de Nim con un montón de tamaño | P |. Porque, en ambos juegos, es posible elegir un movimiento que conduzca a un juego del mismo tipo cuyo tamaño sea cualquier número menor que | P |. De la misma manera, un juego poset con una unión disjunta de órdenes totales equivale a un juego de Nim con múltiples montones con tamaños iguales a las cadenas del poset.
Un caso especial de Hackenbush , en el que todos los bordes son verdes (pueden ser cortados por cualquier jugador) y cada configuración toma la forma de un bosque , puede expresarse de manera similar, como un juego poset en un poset en el que, para cada elemento x , hay como máximo un elemento y para el que x cubre y . Si x cubre y , entonces y es el padre de x en el bosque en el que se juega el juego.
Chomp puede expresarse de manera similar, como un juego poset sobre el producto del total de pedidos de los que se ha eliminado el infimum .
Valor Grundy
Los juegos de Poset son juegos imparciales , lo que significa que todos los movimientos disponibles para Alice también estarían disponibles para Bob si se le permitiera pasar a Alice , y viceversa. Por lo tanto, según el teorema de Sprague-Grundy , cada posición en un juego poset tiene un valor de Grundy, un número que describe una posición equivalente en el juego de Nim. El valor Grundy de un poset puede calcularse como el número menos natural que no es el valor Grundy de cualquier P x , x ∈ P . Es decir, [2]
Este número puede usarse para describir la jugabilidad óptima en un juego poset. En particular, el valor de Grundy es distinto de cero cuando el jugador cuyo turno tiene una estrategia ganadora, y cero cuando el jugador actual no puede ganar contra el juego óptimo de su oponente. Una estrategia ganadora en el juego consiste en moverse a una posición cuyo valor de Grundy sea cero, siempre que sea posible.
Robo de estrategia
Un argumento de robo de estrategia muestra que el valor de Grundy es distinto de cero para cada poset que tiene un supremum . Para, sea x el supremo de un conjunto P parcialmente ordenado . Si P x tiene el valor de Grundy cero, entonces P tiene un valor distinto de cero, según la fórmula anterior; en este caso, x es un movimiento ganador en P . Si, por otro lado, P x tiene un valor de Grundy distinto de cero, entonces debe haber un movimiento ganador y en P x , de modo que el valor de Grundy de ( P x ) y sea cero. Pero asumiendo que x es un valor superior, x > y y ( P x ) y = P y , por lo que el movimiento ganador y también está disponible en P y nuevamente P debe tener un valor de Grundy distinto de cero. [1]
Por razones más triviales, un poset con un mínimo también tiene un valor de Grundy distinto de cero: moverse al mínimo es siempre un movimiento ganador.
Complejidad
Decidir el ganador de un juego poset finito arbitrario es completo para PSPACE . [3] Esto significa que, a menos que P = PSPACE, calcular el valor de Grundy de un juego poset arbitrario es computacionalmente difícil.
Referencias
- ^ a b Soltys, Michael; Wilson, Craig (2011), "Sobre la complejidad de la computación de estrategias ganadoras para juegos poset finitos", Teoría de los sistemas informáticos , 48 (3): 680–692, CiteSeerX 10.1.1.150.3656 , doi : 10.1007 / s00224-010- 9254-Y , MR 2770813.
- ^ Byrnes, Steven (2003), "Periodicidad del juego de Poset" (PDF) , Integers , 3 (G3): 1–16, MR 2036487.
- ^ Grier, Daniel (2012), "Decidir que el ganador de un juego Arbitrary Finite Poset es PSPACE-Complete", Autómatas, lenguajes y programación , Lecture Notes in Computer Science, 7965 , págs. 497–503, arXiv : 1209.1750 , Bibcode : 2012arXiv1209.1750G , doi : 10.1007 / 978-3-642-39206-1_42 , ISBN 978-3-642-39205-4.