Un juego posicional[1][2] es una especie de juego combinatorio para dos jugadores. Está descrito por:
Durante el juego, los jugadores reclaman alternativamente posiciones no reclamadas anteriormente, hasta que uno de los jugadores gana. Si todas las posiciones en se toman mientras ningún jugador gana, el juego se considera un empate.
El ejemplo clásico de un juego posicional es tic-tac-toe. En él, contiene los 9 cuadrados del tablero de juego, contiene las 8 líneas que determinan una victoria (3 horizontales, 3 verticales y 2 diagonales), y el criterio ganador es: el primer jugador que tenga un conjunto ganador completo gana. Otros ejemplos de juegos posicionales son Hex y el juego de cambio de Shannon.
Para cada juego posicional hay exactamente tres opciones: o el primer jugador tiene una estrategia ganadora , o el segundo jugador tiene una estrategia ganadora, o ambos jugadores tienen estrategias para hacer cumplir un empate.[2] La principal cuestión de interés en el estudio de estos juegos es cuál de estas tres opciones se mantiene en cualquier juego en particular.
Un juego posicional es finito, determinista y tiene información perfecta; por lo tanto, en teoría, es posible crear el árbol completo del juego y determinar cuál de estas tres opciones es válida. En la práctica, sin embargo, el árbol del juego puede ser enorme. Por lo tanto, los juegos posicionales generalmente se analizan mediante técnicas combinatorias más sofisticadas.
A menudo, la entrada a un juego posicional se considera un hipergrafo. En este caso:
Hay muchas variantes de juegos posicionales, que difieren en sus reglas y en sus criterios de ganancia.
La siguiente tabla enumera algunos juegos posicionales específicos que fueron ampliamente estudiados en la literatura.
Nombre | Posiciones | Conjuntos ganadores |
---|---|---|
Tic-tac-toe multidimensional | Todos los cuadrados en una caja multidimensional | Todas las líneas rectas |
Juego de cambio de Shannon | Todos los bordes de un grafo | Todos los caminos de s a t |
Sim | Todos los bordes entre 6 vértices | Todos los triángulos [conjuntos perdedores] |
Juego de camarilla (también conocido como juego de Ramsey) | Todos los bordes de un grafo completo de tamaño n | Todas las camarillas de tamaño k |
Juego de conexión | Todos los bordes de un grafo completo | Todos los spanning trees |
Juego de hamiltoncidad | Todos los bordes de un grafo completo | Todos los caminos hamiltonianos |
Juego de no planaridad | Todos los bordes de un grafo completo | Todos los subgrafos no planos |
Juego de progresión aritmética | Los números {1, ..., n} | Todas las progresiones aritméticas de tamaño k |