¿Qué es la dureza UG y en qué se diferencia de la dureza NP en función de la conjetura de los juegos únicos?

22

Hay muchos resultados de inaplicabilidad que se basan en la conjetura de los juegos únicos. Por ejemplo,

Suponiendo la conjetura de los juegos únicos, es NP-difícil aproximar el problema de corte máximo dentro de un factor R para cualquier constante R > R GW .

(Aquí R GW = 0.878 ... es la relación de aproximación del algoritmo Goemans-Williamson).

Sin embargo, algunas personas prefieren usar el término " UG-hard " como:

Es difícil UG aproximar el problema de corte máximo dentro de un factor R para cualquier constante R > R GW .

¿Es esto último solo una abreviatura de lo primero, o significan declaraciones diferentes?

Tsuyoshi Ito
fuente
+1 Muy bien. Gracias Tsuyoshi por arrojar luz sobre este importante concepto en la teoría de la complejidad.
Mohammad Al-Turkistany

Respuestas:

15

NicosM publicó originalmente una versión anterior de esta respuesta como respuesta a la pregunta " Consecuencias de que los juegos únicos sean un problema de NPI ". Como resultó que no respondía lo que quería preguntar, lo moví a esta pregunta.

Respuesta corta: significan declaraciones diferentes. Lo último implica lo primero, pero lo primero no implica necesariamente lo segundo.

Respuesta larga: recuerde que el único problema del juego es el siguiente problema de promesa.

Problema de juego único con los parámetros k ∈ℕ y ε , δ > 0 (1− ε > δ )
Instancia : Un juego único de dos rondas G de dos jugadores con tamaño de etiqueta k .
Sí, prometo : G tiene un valor de al menos 1− ε .
Sin promesa : G tiene valor como máximo δ .

La conjetura de los juegos únicos dice:

Conjeturas de juegos únicos. Para todas las constantes ε y δ , existe una constante k tal que el único problema del juego con los parámetros k , ε y δ es NP-completo.

Considere los resultados de la siguiente forma:

(1) Suponiendo la conjetura de los juegos únicos, el problema X es NP-difícil.

(Un ejemplo de X es el problema de aproximar el corte máximo dentro de algún factor constante R > R GW ).

La mayoría (si no todos) de los resultados del formulario (1) en realidad prueban el siguiente hecho:

(2) existen constantes varepsilon y delta tal que para cada constante k , el problema juego único con los parámetros k , ε , y δ es reducible a X .

Es fácil verificar que (2) implica (1). Sin embargo, (2) implica más que (1): por ejemplo, suponga que un día podemos demostrar que una variante de la conjetura de los juegos únicos donde "NP-complete" se reemplaza por " GI -hard". Entonces (2) implica que X también es GI-hard. (1) no implica esto. Esta es la razón por la cual algunas personas consideran que la afirmación (1) no es la mejor manera de establecer el teorema: (1) es más débil de lo que realmente se demuestra, y la diferencia podría ser importante.

Aunque (2) es una declaración más precisa de lo que se demuestra, es claramente bocado. Esta es la razón por la cual la gente se le ocurrió una taquigrafía: "El problema X es muy difícil" es una abreviatura de (2).

Tsuyoshi Ito
fuente
8
Esto parece análogo a las dos afirmaciones: "(1) Suponiendo que P! = NP, X no tiene un algoritmo de tiempo polinómico" y "(2) X es NP-hard". (2) implica (1), pero (1) no implica (2). En la práctica, generalmente probamos (2), aunque a menudo decimos (1) que expliquemos el significado de la prueba a personas que no están familiarizadas con la dureza NP.
Robin Kothari
1
@ TsuyoshiIto podría considerar aceptar su propia respuesta :). En realidad se recomienda, y esta es una buena referencia q / a para futuros googlers.
Suresh Venkat
@Suresh: Gracias. Probablemente lo haré, pero el sistema requiere que espere 48 horas después de publicar la pregunta antes de aceptar mi propia respuesta.
Tsuyoshi Ito
@ TsuyoshiIto: Ah, no me di cuenta de eso. suena bien.
Suresh Venkat
@ TsuyoshiIto: buena respuesta clara! lo siento, no hice un seguimiento de su solicitud para hacer que mis comentarios fueran una respuesta a la otra pregunta: estaba muy ocupado, en parte perezoso, en parte no sentía que la pregunta revisada fuera una pregunta en absoluto.
Sasho Nikolov