Coloracin de Aristas de Grafos de Intervalo

Mario Canales Alcayaga Mnica Villanueva Ilufi1

mario.canales@123.cl mvilla@diinf.usach
Departamento de Ingeniera Informtica, Universidad de Santiago de Chile
Avenida Ecuador 3659, Estacin Central
Casilla 10233, Santiago
Chile

Resumen
Una coloracin propia de las aristas de un grafo es la asignacin de un color a cada arista, de tal
forma que aristas adyacentes no posean el mismo color. Se denomina ndice cromtico (G) de un
grafo G al nmero mnimo de colores necesarios para realizar esta coloracin. Determinar el ndice
cromtico, para un grafo cualquiera, es un problema NP-completo. G(V, E) es un grafo de intervalo
si es posible asignar a cada vrtice del grafo, un intervalo en la recta real, tal que los vrtices son
adyacentes si sus respectivos intervalos se interceptan. El objetivo de este trabajo es ilustrar un
algoritmo polinomial que determina el ndice cromtico y realiza una coloracin ptima de las
aristas de un grafo de intervalo s y solo si el subgrafo inducido por la vecindad cerrada del vrtice
con mayor grado tiene un nmero par de vrtices o un nmero impar de vrtices con un nmero de
aristas mayor que el lmite dado por Plantholt.

Palabras Claves: teora de grafos, grafo de intervalo, coloracin de aristas.

1
Financiado por Proyecto DICYT N 9819VI Universidad de Santiago de Chile.
 1. Definiciones y Notaciones

G(V, E) denota un grafo conexo, sin lazos y sin aristas mltiples, V(G) el conjunto de
vrtices y E(G) el conjunto de aristas de G. El grado d(v) de un vrtice v es el nmero de
aristas que inciden sobre l. El grado mximo de G corresponde al mayor grado de un
vrtice en G y cuando d(v) = , v se denomina vrtice universal. Una clique K de G es un
conjunto de vrtices todos adyacentes entre s y una clique es maximal si no existe otra que
la contenga en forma propia. Un subgrafo H=(VH, EH) de G(V, E) es un grafo tal que VH
V y EH E. Si EH consta de todas las aristas (v, w) en E, tal que v y w estn en VH,
entonces H es un subgrafo inducido de G por el conjunto de vrtices VH. El conjunto de
adyacencia de un vrtice v se denota por N(v) y es el conjunto de vrtices adyacentes a v.
La vecindad cerrada de v se define como N[v] = {v} N(v).
Una coloracin propia de las aristas de un grafo G(V, E) es la asignacin de un color a cada
arista de G de tal forma que no existan dos aristas adyacentes con el mismo color. El ndice
cromtico, (G), es el nmero mnimo de colores necesarios para colorear en forma propia
las aristas de G. En 1964 Vizing [4] obtiene uno de los resultados ms importantes
relacionado con coloracin de aristas, al demostrar que, para cualquier grafo de grado
mximo su ndice cromtico es o + 1. Este resultado dio inicio al problema conocido
como problema de clasificacin que consiste en clasificar cada grafo en una de dos
clases, dependiendo si (G) = o (G) = + 1. Este problema ha sido resuelto para
ciertas clases de grafos, para los que se han desarrollado algoritmos que, en tiempo
polinomial, colorean sus aristas con el nmero mnimo de colores.
Teorema (Planholt [3]). Un grafo G(V, E) con |V| = n de la forma n = 2s + 1, con s IN0, m
aristas y al menos un vrtice universal pertenece a la clase 1 s y slo si m 2s2.
2. Grafos de Intervalo y Coloracin de Aristas

Un grafo es de intervalo si puede ser representado por una serie finita de intervalos en la
recta real, de tal forma que dos vrtices son adyacentes si sus respectivos intervalos tienen
un punto en comn. Una caracterizacin muy importante para estos grafos es relativa a sus
cliques maximales que indica que en un grafo de intervalo sus cliques maximales pueden
ser linealmente ordenadas de forma tal que, para cada vrtice las cliques que lo contienen
quedan consecutivas.
Un cuadrado latino de orden n es una matriz cuadrada de n smbolos en la cual cada
smbolo ocurre slo una vez en cada fila y cada columna. Esta herramienta es muy utilizada
para colorear las aristas de un grafo completo Kn, donde la arista que une los vrtices (vi, vj)
tiene por color el elemento de la matriz cuadrado latino que est en la posicin (i, j) [2].

Propiedad:
Sea G(V, E) un grafo de intervalo, entonces G puede ser coloreado en forma ptima s el
subgrafo H1(V1, E1) de G con mayor cardinalidad inducido por la vecindad cerrada de un
vrtice de grado mximo, cumple con una de las siguientes restricciones:
1. |V1| = n1 par. En este caso (G) = .
2. |V1| = n1 impar, n1 = 2s+1, s en IN0, y m1 > 2s2. En este caso (G) = + 1.
La demostracin se realiza por el algoritmo que proporciona la coloracin de las aristas del
grafo.

Algoritmo Colorear
Entrada: un grafo de intervalo G y el orden lineal de las k cliques maximales.
Paso 1: determinar H1=(V1, E1), mayor subgrafo inducido por la vecindad cerrada de un
vrtice de grado mximo en G.
Paso 2: determinar las cliques cubiertas por H1. Construr una matriz cuadrado latino P de
orden |V1| y una matriz M de orden |k| x |V1|. Inicializar M con un valor distinto a las
etiquetas de V.
Paso 3: agregar V1 a la matriz M en cualquier posicin. M, en la fila i-sima, tendr los
vrtices que forman el i-simo subgrafo inducido.
Paso 4: obtener Ca, una clique adyacente no coloreada, segn el orden lineal.
Repetir:
- Obtener Hi =(Vi, Ei) subgrafo inducido por los vrtices de Ca ms aquellos vrtices de
las cliques ya coloreadas que intersectan Ca. Agregar Vi a la matriz M.
- Obtener la clique adyacente Ca no coloreada an.
Hasta que todas las cliques estn coloreadas.

Salida: M tendr en la posicin M[i, j] los vrtices de los subgrafos inducidos creados
anteriormente. La arista que une los vrtices v1=M[i, j] y v2= M[i, k] tiene el color P[j, k].

El algoritmo Colorear construye una coloracin de las aristas de un grafo de intervalo en

tiempo polinomial. Dado G(V, E) un grafo de intervalo con n vrtices y m, requiere:
O(n2): obtener el subgrafo inducido H1(V1, E1)
O(n): determinar las cliques cubiertas por el subgrafo inducido H1(V1, E1).
O(n2): ciclo paso 4.
O(n+m): algoritmo de reconocimiento de grafos de intervalo de Booth y Leuker .
Es importante observar que un grafo de intervalo tiene a lo mas n cliques maximales.

3. Conclusin

En este trabajo se presenta un algoritmo polinomial para colorear las aristas de un grafo de
intervalo, dado un orden lineal de sus cliques maximales, basado en la tcnica de cuadrados
latinos. Este problema es NP-completo para un grafo cualquiera.

Referencias Bibliogrficas

[1] K. Booth y G. Leuker, Testing for the consecutive ones property, interval graphs and
planarity testing using PQ- Tree algorithms, J Computer Systems Sci 13, 335 379, 1976.
[2] C. Ortiz, Sobre Coloraao das arestas de um grafo, Thesis D. Sc., COPPE-UFRJ,
Ro de Janeiro, Brasil, 1994.
[3] M. Plantholt, The chromatic index of graphs with a spanning star, J. of Graph
Theory 5, 45-53, 1981.
[4] V. Vizing, The chromatic class of a multigraph, Cybernetics 3, 32 41, 1965.