Vous êtes sur la page 1sur 10

1

Gregorio Hernndez Pealver


UPM
Teora de Grafos
Coloracin
G=(V, A) V={emisoras}, dos emisoras son adyacentes si
sus emisiones se solapan
Unos cuantos problemas
Asignacin de frecuencias de radio
Se quiere partir V en conjuntos V
i
de modo que los
elementos de cada V
i
no sean adyacentes.
Y se intenta que el nmero de conjuntos sea el menor
posible
G=(V, A) V={productos}, dos productos son adyacentes si
no pueden almacenarse juntos
Unos cuantos problemas
Almacenamiento de productos peligrosos
Se quiere partir V en conjuntos V
i
de modo que los
elementos de cada V
i
no sean adyacentes. Y se intenta
que el nmero de conjuntos sea el menor posible
G=(V, A) V={conferencias}, dos conferencias son
adyacentes si tienen oyentes comunes
Unos cuantos problemas
Horario de las conferencias en un Seminario
Se quiere partir V en conjuntos V
i
de modo que los
elementos de cada V
i
no sean adyacentes. Y se intenta
que el nmero de conjuntos sea el menor posible
G=(V, A) V={variables}, dos variables son adyacentes
si se usan al mismo tiempo
Unos cuantos problemas
Localizacin de registros en un programa
Se quiere partir V en conjuntos V
i
de modo que los
elementos de cada V
i
no sean adyacentes. Y se intenta
que el nmero de conjuntos sea el menor posible
Coloracin de vrtices en un grafo
Una 6-coloracin de G
Vrtices adyacentes reciben diferente color
V=V
1
V
2
V
3
V
4
V
5
V
6
V
1
={amarillos}, V
2
={verdes}, V
3
={rojos},
Los vrtices del mismo
color forman una clase de
color
2
Una 4-coloracin de G
Coloracin de vrtices en un grafo
Una 6-coloracin de G
No hay 3-coloracin de G
El ncromtico de G es 4
(G) =4
Conceptos relacionados con la coloracin de vrtices
Conjunto independiente de vrtices
S V es independiente si no hay vrtices adyacentes
S ={ }
S={ }
Nde independencia de G (G) =4
Clique o camarilla en un grafo
S V es clique si dos vrtices cualesquiera de S son
adyacentes
S={ }
Nde clique de G (G)=3
Si G contiene a K
n
como subgrafo,
entonces (G) n.
Los vrtices de una clique necesitan diferentes
colores, luego (G) (G)
Vrtices independientes pueden recibir el mismo
color, luego (G) n/(G)
Si un grafo tiene n vrtices entonces (G) n
(K
n
) =n
(G) =2 G es un grafo bipartido
(G) 3 G tiene ciclo impar
Propiedades del ncromtico
Grafo de Grtzsch
Teorema (Mycielski, 1955)
Para todo entero positivo c, existe un grafo sin tringulos
y de ncromtico c
Algoritmos de coloracin
Tipos:
Algoritmos secuenciales
Algoritmos que buscan conjuntos independientes
Heursticas:
Los vrtices de grado alto son difciles de colorear
Los vrtices con los mismos vecinos deben colorearse
al mismo tiempo
Si es posible, se debe asignar a muchos vrtices
el mismo color
3
Entrada: Una ordenacin de los vrtices de un grafo G
Salida: Una coloracin de los vrtices
Paso 1: Asignar el color 1 al vrtice v
1
Paso 2: Si hemos coloreado v
1
, v
2
, , v
k
con j colores, asignamos a
v
k+1
el color t, donde tj+1 es el mnimo color permitido para v
k+1
,
segn los colores ya asignados a sus vecinos.
Colores ={ }
1 2
3
4
5
6
Algoritmo secuencial bsico
En esta variante, debida a Welsh y Powell, se ordenan los
vrtices inicialmente de acuerdo a sus grados. Es decir,
ordenamos de forma que d(v
1
) d(v
2
) d(v
n
).
1 2
3
4
5
6
Una 4-coloracin con
el algoritmo bsico
2 6
4
5
1
3
Una 3-coloracin con la variante
Primero el de mayor grado
Esta variante se debe a Marble, Matula e Isaacson. Se ordenan
los vrtices en orden inverso. Primero se elige v
n
como el vrtice
de menor grado, luego se elige v
n-1
como el vrtice de menor
grado en G-{v
n
}, y as se contina recursivamente, examinando
los vrtices de menor grado y eliminndolos del grafo.
Matula-Marble-Isaacson
3-coloracin
1
6
5
2
3
4
7
Welsh-Powell
4-coloracin
1
2
3
4
5
6
7
El de menor grado el ltimo
Grado de color o grado de saturacin de un vrtice v es el n
de colores usados en los vecinos de v.
Algoritmo de Brelaz
1
6
5
2
3
4
7
gs(5)=2
gs(6)=1
El orden en que iremos coloreando vrtices depende del grado y
del grado de saturacin
Paso 1: Ordenar los vrtices en orden decreciente de grados
Paso 2: Coloreamos un vrtice de grado mximo con el color 1
Paso 3: Seleccionamos un vrtice, an sin colorear, con grado
de color mximo. Si hay varios, elegimos el de grado mximo.
Paso 4: Colorear el vrtice seleccionado en el paso 3 con el menor
color posible.
Paso 5: Si todos los vrtices se han coloreado, FIN.
En caso contrario, volver al paso 3.
Teorema
El algoritmo de Brelaz colorea con dos colores a los grafos bipartidos
4
Algoritmos secuenciales
atienden a la cota (G) (G)
Algoritmos que buscan conjuntos independientes
atienden a la cota (G) n/(G)
esta cota es mejor para grafos grandes
Si existe un algoritmo polinmico de coloracin que
usa a lo ms c (G) colores, entonces existe un
algoritmo polinmico que determina (G)
Si A*(G) es el nde colores usados por un algoritmo,
la mejor razn A*(G)/(G) alcanzada por un algoritmo
polinmico es del orden O(n(loglogn)
2
/(logn)
3
)
(Halldorsson, 1993)
Coloreando con listas de colores
Qusucede si en cada vrtice slo estn disponibles los colores
de una lista (que no es la misma en cada vrtice)?
Un grafo G es k-elegible si cualquier asignacin de k-listas de
colores a sus vrtices origina una coloracin propia
Si G es un grafo bipartido entonces (G)=2
Pero puede no ser 2-elegible
Con estas 2-listas
el grafo NO tiene
una coloracin propia
Si G es un grafo bipartido entonces (G)=2
Pero puede no ser 2-elegible
Con estas 2-listas
el grafo NO tiene
una coloracin propia
Radio coloring
FAP (FrequencyAssignment Problem) http://fap.zib.de/
Asignar frecuencias a los emisores minimizando interferencias
f:VN |f(u) f(v)|2 si u,v adyacentes
|f(u) f(v)|1 si dist(u,v)=2
a c
d b
Ndecolores 4
Rango 4
T-coloring FAP (FrequencyAssignment Problem)
Cadaaristatieneunas distancias entrecolores prohibidas T
uv
f:VN |f(u) f(v)|T
uv
colores 3
rango 4
colores 4
rango 3
5
Nmero cromtico y grado mximo
Teorema
Para todo grafo G se tiene (G) (G) +1
Basta colorear los vrtices del grafo de forma secuencial. Al asignar
color a cada vrtice sus vecinos ya coloreados sern, a lo ms,
Como se dispone de +1 colores, siempre queda uno libre.
La cota anterior no se puede mejorar:
(K
n
) =n = +1
(C
2k+1
) =3 = +1
Teorema(Brooks, 1941)
Sea G un grafo conexo que no es ni completo ni un ciclo
impar. Entonces (G) (G)
Demostracin si G no es regular
Basta buscar una ordenacin adecuada y colorear secuencialmente
v
n
serun vrtice tal que d(v
n
) < (que existe por la no regularidad).
v
n-1
, v
n-2
, sern los vecinos de v
n
luego los vecinos de v
n-1
, luego los de v
n-2
,
Como G es conexo estarn todos los vrtices
En v
1
, v
2
, , v
n
cada vrtice es adyacente, a lo ms, a -1 de los
anteriores. Luego al colorear en este orden bastan colores
Coloracin de aristas
ndice cromtico

1
(G)=
1
(G)= +1
Elaboracin de horarios
En una escuela hay r profesores, P
1
, P
2
, , P
r
y s aulas L
1
, L
2
, , L
s
.
Cada profesor P
i
debe explicar en el aula L
j
durante w
ij
perodos
lectivos diarios.
El problema de los horarios consiste en distribuir la docencia de modo
que se minimice el nde perodos usados.
Representamos la situacin por un grafo bipartido G con los vrtices
P={P
1
, P
2
, , P
r
} y L={L
1
, L
2
, , L
s
} y w
ij
aristas de P
i
a L
j
P
4 P
1
P
2
P
3
L
2
L
3
L
4
L
1
9-10
10-11
11-12
12-13
13-14
Algoritmos de coloracin de aristas
Entrada: Una ordenacin de las aristas de un grafo G
Salida: Una coloracin de las aristas
Paso 1: Asignar el color 1 a la arista a
1
Paso 2: Si hemos coloreado a
1
, a
2
, , a
k
con los colores {1, 2,..., j},
asignamos a a
k+1
el color t, donde tj+1 es el mnimo color permitido
para a
k+1
, segn los colores ya asignados a sus aristas vecinas.
SECUENCIAL
Algoritmos de coloracin de aristas
Entrada: Un grafo G
Salida: Una k-coloracin de las aristas de G
Iniciar k:=1
Paso 1: Encontrar un emparejamiento mximo M de G, y
colorear todas las aristas de M con el color k.
Hacer G:=G-M
Paso 2: Si A(G)=, FIN. En caso contrario hacer k:=k+1
y volver al paso 1
INDEPENDENCIA - EMPAREJ AMIENTOS
6
Propiedades del ndice cromtico

1
(G) (G)

1
(C
2p
)=2,
1
(C
2p+1
)=3
Si G es un grafo bipartido entonces
1
(G)=(G)
Si n es impar, K
n
admite una n-coloracin en las aristas
1
2
4
5
3

1
(K
n
)=n=+1 si n es impar
Si n es par bastan n-1 colores

1
(K
n
)=n-1= si n es par
6
1
2
3
4
5
Otra aplicacin
Calendario de una competicin liguera
Cmo se elabora el calendario de la liga de ftbol?
Una coloracin de aristas de K
20
Teorema (Vizing, 1964)
Si G es un grafo simple entonces
(G)
1
(G) (G) +1
La demostracin conduce a un algoritmo eficiente para
obtener una (+1)-coloracin en las aristas de un grafo
Calcular el ndice cromtico de un grafo es un problema
NP-completo
Si t <(G) entonces P(G, t)=0
Contando coloraciones
Dados un grafo G y t colores, de cuntas formas podemos
colorear los vrtices de G con esos t colores? P(G, t)
La funcin P(G, ) se llama polinomio cromticode G
1
2
4
5
3
P(K
n
, t)=t(t1)(t 2)(t n+1)
Si T es un rbol P(T,t)= t(t-1)
n-1
Propiedades
Contando coloraciones
Si e es una arista de G entonces P(G-e,t)= P(G,t) +P(G*e,t)
+ =
G-e G G*e
La funcin P(G,t) es un polinomio
t
n
- qt
n-1
++zt
y la suma de los coeficientes es cero
Contando coloraciones
Propiedades
7
Un ejemplo de clculo de P(G,t)
=
+
=
+ ( )
= K
5
+3 K
4
+2 K
3
P(G,t) =t (t-1)(t-2)(t-3)(t-4) +3 t (t-1)(t-2)(t-3)+2 t (t-1)(t-2) =
=t
5
7 t
4
+19 t
3
23 t
2
+10 t
+ ( + )
Coloreando mapas
El Problema de los cuatro colores
Se pueden colorear las regiones de cualquier mapa en
el plano con slo cuatro colores, de forma que regiones
adyacentes reciban diferente color?
Mapa: Grafo plano conexo y sin puentes
Un poco de historia
Francis Guthrie, 1850
Augustusde Morgan, 1852, 1860
Arthur Cayley, 1878
AlfredKempe, 1879 Amer. J . Math.
Tait, Temple
PercyHeawood, 1890, Quart. J . P. A. Math.
Appel, Haken, 1976
Robertson, Sanders, Seymour, Thomas, 1997
8
Pasemos el problema a grafos,
M
G(M)
M es k-coloreable G(M) es k-coloreable
Teorema de los cuatro colores
Todo grafo planar es 4-coloreable
Triangulaciones planas
Teorema de los cuatro colores
Todo grafo planar es 4-coloreable
G contiene una de las siguientes configuraciones
(a) (b) (c) (d)
G contiene un vrtice v tal que d(v) 5
La prueba de Kempe
Supongamos que existe un contraejemplo al Teorema. Tomamos
un contraejemplo mnimo que sea triangulacin G. es decir
G no es 4-coloreable, pero G- {v} es 4-coloreablepara todo vV(G)
Si G contiene las configuraciones (a) (b)
(a)
(b)
contradiccin
Color libre (amarillo) para v
La prueba de Kempe
Si G contiene la configuracin (c)
v
G G-{v}
Subgrafo Rojo-aZul G(R,Z)
Cadena de Kemperojo-azul
contradiccin
La prueba de Kempe
Si G contiene la configuracin (d)
ERROR
(d)
descubierto por Heawooden 1890
9
Si G contiene la configuracin (d)
Contradiccin, G s es 4-coloreable
La prueba de Kempe Mapa de Heawood
(1890)
El error de Kempe Mapa de Heawood
(1890)
con 4 colores
C(A,Z)
C(R,V)
Teorema de los cinco colores (Heawood, 1890)
Todo grafo planar es 5-coloreable
Siguiendo las ideas de Kempefalta slo analizar
la configuracin (d)
G
v
G-{v}
Contradiccin
Teorema de los cuatro colores
Ideas de Kempe
Mapas normales (Triangulaciones planas)
Cadenas de Kempe
Probar 4CT comprobando que la existencia de un
contraejemplo mnimo lleva a contradiccin
Conjunto INEVITABLE de configuraciones
10
(a) (b) (c) (d)
Kempeintentprobar que cada una de estas configuraciones no
puede aparecer en un contraejemplo mnimo. Fallcon (d)
Una configuracin es REDUCIBLE si no puede aparecer en un
contraejemplo mnimo.
Probar el Teorema de los cuatro colores consiste en hallar un
conjunto INEVITABLE de configuraciones REDUCIBLES
(a) (b) (c)
Otro conjunto inevitable
Notacin { , }
grado 5
grado 6
grado k k
Una configuracin reducible
El diamante de Birkhoff (1913)
4CT es cierto si n<37
Entre 1960 y 1970 Heeschdesarrolla las tcnicas para
probar inevitabilidady reducibilidad.
Un anillo de tamao 13 tiene 66430 4-coloraciones
distintas. Para probar su reducibilidaddebemos usar
CADA una de ellas para producir una 4-coloracin del
grafo total
En 1976 Appel y Hakenterminan, con ayuda del
ordenador, el anlisis exhaustivo de la reducibilidadde un
conjunto de 1936 configuraciones todas ellas con anillo
de tamao 14
Robertsonet al. (1997) rebajan a 633 configuraciones y
simplifican las reglas de descarga (32 en vez de +300).
Algoritmo O(n
2
)
El Teorema de los cuatro colores en la RED
Un poco de historia
http://www-history.mcs.st-andrews.ac.uk/history/HistTopics/
The_four_colour_theorem.html
Una excelente pgina con un resumen de la demostracin de
Robertson, Sanders, Seymour y Thomas de 1996
http://www.math.gatech.edu/~thomas/FC/fourcolor.html
Coloracin de grafos en la RED
TheGraphColoringPage. El lugar donde empezamos la bsqueda
http://www.cs.ualberta.ca/~joe/Coloring/index.html