Dureza del número cromático fraccionario aproximado en gráficos de grados acotados

Respuestas:

11

Si.

Si entendí correctamente, la prueba del Teorema 1.6 en Khot (2001) establece que es NP-difícil distinguir entre los siguientes dos casos, incluso si nos centramos en gráficos de grado acotado de grado suficientemente alto:

  1. Hay una coloración .k
  2. La relación entre el número de vértices y el tamaño máximo de un conjunto independiente es al menos .klog(k)/25

Desde la perspectiva del número cromático fraccional, estos dos casos son:

  1. El número cromático fraccional es como máximo .k
  2. El número cromático fraccional es al menos .klog(k)/25

Ahora debemos recordar que necesitamos grados suficientemente altos (en función de ). Pero hasta donde puedo ver, la prueba tiene, por ejemplo, el siguiente corolario conveniente que podría ser suficiente para sus propósitos:k

  • Dado cualquier constante , no son constantes y de tal manera que el siguiente problema en NP-duro: dada una gráfica de grado máximo , debe decidir si el número cromática fraccionada de es como máximo o al menos .αΔcGΔGcαc

Por supuesto, esto ya implica que no hay PTAS, a menos que P = NP.

Jukka Suomela
fuente
Seguramente el último corolario tiene algunos otros modificadores en las constantes, de lo contrario, esto es muy conocido por los pequeños valores de , y ...Δc1c2
Andrew D. King
@ AndrewD.King: Correcto, puede hacer que cualquiera de ellos sea arbitrariamente grande, etc. Pero quizás podría publicar una respuesta que muestre que la versión simple del corolario se puede derivar usando técnicas más antiguas y fáciles, creo que ya sería suficiente para responder la pregunta de OP?
Jukka Suomela
@JukkaSuomela Quiero decir que, como se dijo, esto no prueba la dureza APX. Por ejemplo, es bien conocido (Holyer, SICOMP, 1980) que determinar el índice cromático de un gráfico cúbico es NP-duro, lo que significa que es NP-difícil determinar si el número cromático de un gráfico lineal con un grado máximo 4 es o no. es 4. Lo que creo que quiere decir es: Dada cualquier constante , existen constantes , y tales que , ... ¿Es eso correcto? kΔc1c2kc1<c2
Andrew D. King el
@ AndrewD.King: Sí, editaré la respuesta; con suerte tendrá más sentido de esa manera. :)
Jukka Suomela