El juego de trillizos se define por un conjunto finito de elementos y una multisistema finita que contiene tripletes de elementos. Dos jugadores se turnan para elegir elementos de hasta que se toman todos los elementos. Luego, la puntuación de cada jugador es el número de trillizos de en los que tiene al menos 2 elementos.
Un argumento estándar de robo de estrategia muestra que el primer jugador siempre puede anotar al menos . Supongamos por contradicción que es falso. Entonces el segundo jugador puede anotar más de . Pero entonces el primer jugador, copiando la estrategia ganadora del segundo jugador, puede anotar más de también. Esto es una contradicción ya que la suma de los puntajes es .
PREGUNTA: ¿cuál es una estrategia explícita para que el primer jugador obtenga una puntuación de al menos ?
EDITAR: Aquí hay una estrategia explícita para que el primer jugador obtenga al menos . A cada triplete en , asigne un potencial basado en el número de sus elementos tomados por el (primer, segundo) jugador:
La estrategia del jugador 1 es: elegir un elemento que maximice la suma potencial. Suponga que ese elemento es el elemento elegido a continuación por el jugador 2 es . Afirmo que la suma potencial después de estos dos movimientos aumenta débilmente:
- El potencial de un triplete que no contiene ni ni no cambia.
- El potencial de un triplete que contiene tanto y cambios de a , que es siempre al menos tan grande.
- El potencial de un triplete que contiene y no aumenta en ;
- El potencial de un triplete que contiene y no disminuye en ; es fácil verificar en la tabla que (la disminución al ir hacia la derecha es como máximo el aumento al bajar).
Con todo, la suma potencial aumenta en la suma de sobre todos los tripletes que contienen , y disminuye en (como máximo) la suma de sobre todos los tripletes que contienen . Al elegir , la primera suma es débilmente mayor. Entonces, la suma potencial aumenta débilmente.
Entonces la suma potencial final es al menos . Al final, un triplete tiene potencial ( ) si es ganado por el jugador 1 (2), por lo que la suma potencial final es igual al puntaje del jugador 1.
fuente
Respuestas:
Esta no es una prueba completa, pero aquí hay una justificación de por qué las conjeturas conocidas implican que el juego puede ser computacionalmente difícil de resolver. A saber, voy a argumentar que encontrar el primer movimiento correcto ya es probablemente complicado.
Como primer paso, sostenemos que el juego de los trillizos es más difícil (en el sentido apropiado) que el juegoDenser Induced Subgraph definido de la siguiente manera.
Esquema de prueba:
Con esto en mente, podemos recurrir a algunos de los trabajos en la literatura de detección de subgrafías densas. Hay un montón de trabajo relevante sobre esto al que se puede recurrir, pero por simplicidad de análisis recurriré a una conjetura particular sobre la dificultad de encontrar gráficos aleatorios densos en gráficos aleatorios dispersos (creo que esta dependencia se puede eliminar con solo un poco más de reflexión, pero esto no pretende ser una prueba formal).
Suponga que el gráfico fue aumentado y que hay un componente inusualmente denso. Dado que ningún algoritmo de poli-tiempo puede detectar de manera confiable la presencia de este subgrafo denso, tampoco puede muestrear confiablemente un vértice de este componente denso (por ejemplo, debido a la auto-reducibilidad). Por lo tanto, dado que (desde la perspectiva del Jugador A) está seleccionando un vértice aleatorio de un gráfico puro de Erdos-Renyi, no importa mucho qué vértice A elija (hasta un pequeño cambio en su puntaje que terminará sin importar 1r r−1 r
Por lo tanto, a pesar de que el juego se resuelve muy débilmente para el jugador A, es poco probable que A sea computacionalmente factible que A juegue incluso el primer movimiento de la estrategia ganadora.
Aquí tampoco debería ser difícil lograr un enfoque basado en la dureza del problema de subgrafo más denso "normal", y componer la reducción con un resultado de dureza de aproximación probablemente se pueda usar para obtener algún tipo de dureza basada en conjeturas más convencionales ( por ejemplo, ETH). No estoy seguro de cuál puede ser la dificultad de subir a la dureza NP (o más allá).
fuente