Como mencionó @Marzio, el siguiente juego se conoce como Geografía Generalizada .
Dado un gráfico y un vértice inicial , el juego se define de la siguiente manera:v ∈ V
En cada turno (dos jugadores alternando), un jugador elige , y luego sucede lo siguiente:
- , así como todos sus bordes, se retira de .
- (es decir, se actualiza para ser el vértice ).
El jugador que se ve obligado a seleccionar un "callejón sin salida" (es decir, un vértice sin bordes salientes) pierde.
¿En qué familias de gráficos es la estrategia óptima computable en tiempo polinómico?
Por ejemplo, es fácil ver que si es un DAG, entonces podemos calcular fácilmente la estrategia óptima para los jugadores.
Respuestas:
La geografía generalizada (GG) es completa para PSPACE incluso en gráficos bipartitos planos dirigidos, pero, como se informa en:
Hans L. Bodlaender, Complejidad de los juegos de formación de caminos , Ciencias de la Computación Teórica, Volumen 110, Número 1, 15 de marzo de 1993, Páginas 215-245
GG (y algunas otras variantes completas de PSPACE) se pueden resolver en tiempo lineal en gráficos de ancho de árbol acotado.
NOTA LATERAL: una de las variantes de Geografía Generalizada que recientemente se ha demostrado que completa PSPACE es Tron ( juego de Light Cycles ): dado un gráfico no dirigido, dos jugadores eligen dos vértices iniciales diferentes y luego se turnan, moviéndose a un adyacente vértice de su respectivo anterior en cada paso. El juego termina cuando ambos jugadores ya no pueden moverse. El jugador que atravesó más vértices gana (se conjetura que fue completado por PSPACE en 1990 por Bodlaender y Kloks).
Tillmann Miltzow, Tron, un juego combinatorio sobre gráficos abstractos (2011)
Editar : Hice un pequeño programa para probar el juego en pequeños gráficos de cuadrícula sólida rectangular (no dirigido), y el resultado sugiere que también es solucionable en tiempo polinómico para esta clase de gráficos (suponiendo que el primer nodo elegido por el jugador A es el nodo superior izquierdo):
Curiosamente, se obtiene la misma matriz si el jugador A puede elegir un nodo inicial arbitrario.
Como se dijo en los comentarios, creo que no se conoce la complejidad de decidir si hay una estrategia ganadora cuando se juega GG en gráficos de cuadrícula sólidos (con formas arbitrarias, pero sin agujeros) y probablemente no sea tan fácil demostrar algo sobre (de hecho, el problema, algo relacionado) de decidir si un gráfico de cuadrícula sólida tiene un camino hamiltoniano todavía está abierto, aunque decidir si un gráfico de cuadrícula sólida tiene un ciclo hamiltoniano es tiempo polinómico solucionable).
Una nota trivial final: GG es tiempo polinómico solucionable también en gráficos completos.
fuente
fuente