dureza de aproximar el número cromático en gráficos con grado acotado

12

Estoy buscando resultados de dureza en la coloración de vértices de gráficos con grado acotado.

Dado un gráfico , sabemos que para cualquier ϵ > 0 , es difícil aproximar χ ( G ) dentro de un factor de | V | 1 - ϵ a menos que NP = ZPP [ 1 ]. Pero, ¿qué pasa si el grado máximo de G está limitado por d ? ¿Hay alguna relación de dureza de la forma d 1 - ϵ (para algunos ϵ ) en este caso?G(V,E)ϵ>0χ(G)|V|1ϵNP=ZPPGdd1ϵϵ

Una pregunta más fácil es: la dureza de aproximar el número cromático de borde de las hipergrafías cuando su tamaño de borde está limitado por . ¿Podemos esperar una relación de dureza d 1 - ϵ en este caso? (por ejemplo, para cualquier ϵ > 0 )dd1ϵϵ>0

¡Gracias por tu atención!

afshi7n
fuente
3
puedes rellenar una instancia difícil con vértices aislados
Sasho Nikolov
2
Sí, pero si pone un límite finito en el tamaño de la instancia difícil desde la que comienza, deja de ser difícil.
David Eppstein
1
@Sasho ¿Cómo pueden ayudar los vértices aislados cuando no aumentan el número cromático ni el grado máximo?
afshi7n
2
@DavidEppstein seguro, este relleno sólo demuestra algo si y d son todavía polinómicamente relacionados. OP, ese es precisamente el punto. comienzas con una instancia con d vértices (por lo tanto, un grado máximo como máximo d ) para la cual es difícil aproximar χ dentro de d 1 - ϵ . agregue n - d vértices aislados. χ permanece igual y el grado máximo permanece d . esto es polytime si N = d O ( 1 ) . así que para cualquier número entero kndddχd1ϵndχdN=dO(1)k, existen instancias con un grado máximo para el cual es difícil aproximar χ dentro de d 1 - ϵd=n1/kχd1ϵ
Sasho Nikolov
Actualización: NP-difícil de aproximar dentro de un factor de | V | 1 - ϵ sin suposiciones adicionales. χ(G)|V|1ϵ
Cyriac Antony

Respuestas:

9

Como señaló David, el artículo de Khot, "Resultados de inaproximabilidad mejorados para MaxClique, número cromático y coloración de gráfico aproximada", Teorema 1.6, dice que es NP-difícil de colorear gráfico colorable con 2 Ω ( ( log K ) 2 ) colores para gráficos con grado como máximo 2 2 ( log K ) 2 , para una constante K suficientemente grande . En otras palabras, para gráficos de grado d , es difícil colorear 2 K2Ω((logK)2)22(logK)2Kd : gráfico coloreable conlogdcolores.2loglogdlogd

Para obtener un mejor límite de grado, probablemente pueda usar ideas del documento de Trevisan "Resultados de no aproximabilidad para problemas de optimización en instancias de grado limitado". La observación clave es que el gráfico producido por la reducción FGLSS es una unión de subgrafos bipartitos completos, y uno puede reemplazar cada uno de ellos con un dispersor bipartito que es mucho más escaso. Idea similar utilizada en muchos resultados, como Chan http://eccc.hpi-web.de/report/2012/110/ , Teorema 1.4 / Apéndice D.

Creo que esto debería darte algo así como 2clogdddc0<c<1

El grado encuadernado en el artículo que Michael mencionó es similar al de Khot, es decir, exponencial del caso de solidez. Por supuesto, el enfoque de dispersión anterior también mejora esto, pero probablemente no dará mejores constantes para su propósito.

sangxia
fuente
2Ω(loglogd)22Ω(loglogd)
logd/2loglogdlogd/(loglogd)3dcd
1
dc
8

3

Δ3Δ4

vb le
fuente
8

En el documento FOCS'01 de Khot, "Resultados de inaproximidad mejorados para MaxClique, número cromático y coloración aproximada de gráficos", hay un resultado de aproximación para colorear gráficos de grados limitados: probablemente sea más débil de lo que desea, pero al menos está en la dirección correcta.

kk2kO(logk)exp((logk)2/25)dO(logd)

David Eppstein
fuente
logd
¿Por qué no le preguntas a Khot?
Chandra Chekuri
1
@chandra Acaba de enviar un correo electrónico y le preguntó, ¡gracias por la sugerencia! Actualizaré aquí si recibí respuesta.
afshi7n
klogk/25exp((klogk)/25)2k1/3
k(logk)/25exp((klogk)/25)
4

Este resultado puede ser útil:

Δk=ΔΔ+1k3

T. Emden-Weinert, S. Hougardy, B. Kreuter, Gráficos de colores únicos y la dureza de los gráficos para colorear de gran circunferencia, Combin. Probab Comput 7 (4) (1998) 375–386

Mohammad Al-Turkistany
fuente