Coloración de gráficos acíclicos

En la teoría de grafos, una coloración acíclica es una coloración de vértice (adecuada) en la que cualquier subgráfico de dos colores no tiene ciclos . El número cromático acíclico A( G ) de un gráfico G es el menor número de colores necesarios en cualquier coloración acíclica G .

La coloración acíclica a menudo se asocia con gráficos en superficies no planas.

Límites superiores

A( G ) ≤ 2 si y solo si G no tiene ciclos.

Los límites de A( G ) en términos del grado máximo Δ( G ) del gráfico G incluyen lo siguiente:

Un hito en el estudio de la coloración acíclica es la siguiente respuesta positiva a la conjetura de Grünbaum:

Teorema. (Borodín 1979)

A( G ) ≤ 5 si G es plano.

Grünbaum (1973) introdujo una coloración acíclica y un número cromático acíclico e hizo una conjetura, que fue probada por Borodin. Borodin tardó varios años de verificación diligente de 450 configuraciones para demostrarlo. Una consecuencia de este teorema es que cualquier gráfico plano se puede descomponer en un conjunto independiente y dos bosques . (Stein 1970, 1971)

Algoritmos y complejidad

El problema de determinar si A( G ) ≤ 3 se cumple es NP-completo (Kostochka 1978). Coleman y Cai ( Coleman, Cai 1986 ) demostraron que el problema sigue siendo NP-completo incluso para grafos bipartitos.

Gebremedhin y otros ( Gebremedhin, Tarafdar, Pothen, Walther 2008 ) demostraron que cualquier coloración adecuada de los vértices de un grafo cordal es una coloración acíclica. Dado que es posible encontrar una coloración óptima para grafos cordales en tiempo O(n+m) , lo mismo es cierto para una coloración acíclica en esta clase de grafos.

Skulrattanakulchai ( Skulrattanakulchai 2004 ) presenta un algoritmo lineal en el tiempo para la coloración acíclica de un gráfico de grado máximo ≤ 3 en 4 colores o menos . Yadav y Satish ( Yadav, Satish 2008 ) describen un algoritmo de coloreado de gráficos acíclicos lineales en el tiempo con un grado máximo ≤ 5 usando 8 colores o menos, así como un algoritmo para colorear un gráfico con un grado máximo ≤ 6 usando 12 colores o menos.

Véase también

Notas

Enlaces

Enlaces externos