La conjetura es inusual y el mundo académico parece acerca uniformemente dividido sobre si es cierto o no.
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.
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.
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.
La constante d > 0 en las formulaciones anteriores de la conjetura es necesario a menos que P = NP.