# Conjetura del Juego Único

En teoría de la complejidad computacional, la Conjetura del Juego Único es una conjetura hecha por Subhash Khot en 2002. La conjetura postula que el problema de determinar el valor aproximado de un determinado tipo de juego, conocido como un juego único, tiene complejidad algorítmica NP-hard. Tiene amplias aplicaciones en la teoría de la dureza de aproximación. Si esto es cierto, entonces para muchos problemas importantes no es sólo demasiado difícil conseguir una solución exacta (como postula el problema P contra NP), sino también muy difícil obtener una buena aproximación. Hay implicaciones importantes para problema de satisfacción de restricciones que surgen en una amplia variedad de disciplinas.
La conjetura es inusual y el mundo académico parece acerca uniformemente dividido sobre si es cierto o no.

## Formulaciones

La conjetura de juegos únicos puede afirmar en un número de maneras equivalentes.

### Cobertura de la etiqueta única

La siguiente formulación de la conjetura de juegos únicos se utiliza a menudo en la dureza de la aproximación. La conjetura postula la NP-hardness del siguiente problema promesa conocido como cobertura de las etiquetas a restricciones de unicidad. Para cada arista, los colores de los dos vértices están restringidos a algunos pares ordenados particulares. En particular, las restricciones únicas significan que para cada arista ninguno de los pares ordenados tiene el mismo color para el mismo nodo.
Esto significa que una instancia de la cubierta de etiqueta con restricciones únicas más de un alfabeto de tamaño k puede representarse como un grafo junto con una colección de permutacioness p$_e$: [k] -> [k], una para cada arista e del grafo. Una asignación a una instancia de la cubierta etiqueta da a cada vértice de G un valor en el conjunto [k], a menudo llamados “colores”.
Tales casos están fuertemente limitados en el sentido de que el color de un vértice define de forma exclusiva los colores de sus vecinos, y por lo tanto para todo su componente conectado. Por lo tanto, si la instancia de entrada admite una asignación válida, entonces tal asignación se puede encontrar de manera eficiente iterando sobre todos los colores de un solo nodo.En particular, el problema de decidir si una instancia dada admite una asignación satisfactoria puede ser resuelto en tiempo polinomial.
El valor de una instancia de cubierta de etiqueta única es la fracción de las limitaciones que pueden ser satisfechas por cualquier asignación. Para las instancias que pueden ser satisfechas, el valor es 1 y es fácil de encontrar. Por otro lado, parece ser muy difícil determinar el valor de un juego insatisfacible, ni siquiera aproximadamente. La conjetura de juegos única formaliza esta dificultad.
Más formalmente, el problema de cobertura de etiqueta del intervalo (c, s) con restricciones de unicidad es el siguiente problema promesa (L$_{si}$, L$_{no}$):
* L$_{si}$ = {G: Algunas asignaciones satisfacen al menos c-fracciones de limitaciones en G G}
* L$_{no}$ = {G: Cada asignación satisface a lo sumo s-fracciones de las restricciones en G}
donde G es una instancia del problema de cobertura etiqueta con restricciones de unicidad.
Los juegos únicos conjeturan estados que por cada par suficientemente pequeño de constantes e, d> 0, existe una constante k tal que el problema de cobertura etiqueta en el intervalo (1 - d, e) con restricciones únicas sobre alfabeto de tamaño k es NP-hard.
En lugar de grafos, el problema de cobertura de la etiqueta se puede ser formulado en términos de ecuaciones lineales. Por ejemplo, supongamos que tenemos un sistema de ecuaciones lineales sobre los enteros módulo 7:
    ${\begin{aligned}x_{1}&\equiv 2\cdot x_{2}{\pmod {7}}\\x_{2}&\equiv 4\cdot x_{5}{\pmod {7}}\\&\ \ \vdots \\x_{1}&\equiv 2\cdot x_{7}{\pmod {7}}.\end{aligned}}$
Esta es una instancia del problema de cobertura etiqueta a restricciones de unicidad. Por ejemplo, la primera ecuación corresponde a la permutación p$_{(1,2)}$ where p$_{(1,2)}$(x$_1$) = 2x$_2$ módulo 7.

### Sistemas de prueba de dos prover

Un juego único es un caso especial de dos prover una sola ronda (2P1R) juego. Una juego de dos prover de una sola ronda tiene dos jugadores (también conocidos como provers) y un árbitro. El árbitro envía a cada jugador una pregunta extraída de una distribución de probabilidad conocida, y los jugadores cada uno deberá enviar una respuesta. Las respuestas provienen de un conjunto de tamaño fijo. El juego se especifica mediante un predicado que depende de las preguntas enviadas a los jugadores y las respuestas dadas por ellos.
Los jugadores pueden decidir una estrategia de antemano, aunque no pueden comunicarse entre sí durante el juego. Los jugadores ganan si el predicado se satisface con sus preguntas y sus respuestas.
Una juego de dos prover de una sola ronda se llama un juego único si para cada par de preguntas y todas las respuestas a la primera pregunta, hay exactamente una respuesta a la segunda pregunta que se traduce en una victoria para los jugadores, y viceversa. El valor de un juego es la probabilidad máximo de ganar para los jugadores a través de todas las estrategias.
Los juegos únicos conjeturan estados que por cada par suficientemente pequeño de constantes e,, d > 0,, existe una constante k tal que el siguiente problema promesa (Lyes, Lno) (L$_{si}$, L$_{no}$) es NP-hard:
* L$_{si}$ = {G: el valor de G es al menos 1 − d}
* L$_{no}$ = {G: el valor de G es a lo sumo e}
donde G es un juego único cuyas respuestas provienen de un conjunto de tamaño k.

### Pruebas probabilísticamente comprobables

Alternativamente, la conjetura de juegos único postula la existencia de un cierto tipo de pruebas probabilísticamente comprobables para problemas en NP.
Un juego único puede ser visto como un tipo especial de prueba no adaptativa probabilísticamente comprobable con la complejidad de consulta 2, donde para cada par de posibles consultas del verificador y cada posible respuesta a la primera consulta, hay exactamente una posible respuesta a la segunda consulta que hace que el verificador acepte, y viceversa.
Los juegos únicos conjeturan estados que por cada par suficientemente pequeño de constantes e, d> 0 existe una constante K tal que todo problema en NP tiene una prueba probabilísticamente comprobable sobre un alfabeto de tamaño K con completitud 1 - d, e solidez y complejidad de aleatoriedad O (log (n)) lo cual es un juego único.

## Relevancia

Resultados aproxmados asumiendo P ≠ NP vs la CJU :
| Problema | Polinomial(tiempo aprox.) | NP | UG |
| Max 2-Sat | 0.940. | 0.954...+e | 0.940...+e |
| Max Cut | 0.878. | 0.941...+e | 0.878...+e |
| Min Vertex Cover | 2 | 1.360...-e | 2-e |
La conjetura de juegos únicos fue introducido por Subhash Khot en 2002 con el fin de avanzar en algunas cuestiones en la teoría de la dureza de aproximación.
La verdad de la conjetura de juegos únicos implicaría la optimalidad de muchos algoritmos de aproximación conocidos (suponiendo que P ≠ NP).Por ejemplo, la relación de aproximación alcanzado por el algoritmo de Goemans and Williamson para aproximar el corte máximo en un grafo es óptimo dentro de cualquier constante aditiva asumiendo la conjetura de juegos únicos y P ≠ NP.
Una lista de resultados conocidos de la conjetura de juegos único se muestra en la tabla a la derecha junto con los correspondientes mejores resultados para la débil suposición de P ≠ NP. Una constante de c+e or c-e significa que el resultado es válido para cada constante (con respecto al tamaño del problema) estrictamente mayor que o menor que c, respectivamente.

## Discusión y alternativas

Actualmente no existe un consenso en cuanto a la certeza de la conjetura de juegos único. Ciertas formas más fuertes de la conjetura han sido refutadas.
Una forma diferente de la conjetura postula que distinguir el caso cuando el valor de un juego único es al menos 1 − d de cuando el valor es como máximo e es imposible para los algoritmos en tiempo polinómico (pero tal vez no NP-hard). Esta forma de la conjetura todavía sería útil para aplicaciones en la dureza de la aproximación.
La constante d > 0 en las formulaciones anteriores de la conjetura es necesario a menos que P = NP. Si se elimina el requisito de singularidad la declaración correspondiente se sabe que es cierto por el teorema de repetición paralelo, incluso cuando d = 0.
En 2010, Arora, Barak y Steurer encontraron un algoritmo de aproximación de tiempo subexponencial para problemas de juegos únicos.