Unos cuantos problemas Asignacin de frecuencias de radio

Coloracin
Gregorio Hernndez Pealver UPM
Teora de Grafos

G=(V, A) V={emisoras}, dos emisoras son adyacentes si sus emisiones se solapan Se quiere partir V en conjuntos Vi de modo que los elementos de cada Vi no sean adyacentes. Y se intenta que el nmero de conjuntos sea el menor posible

Unos cuantos problemas Almacenamiento de productos peligrosos

G=(V, A) V={productos}, dos productos son adyacentes si no pueden almacenarse juntos Se quiere partir V en conjuntos Vi de modo que los elementos de cada Vi no sean adyacentes. Y se intenta que el nmero de conjuntos sea el menor posible

Unos cuantos problemas Horario de las conferencias en un Seminario

G=(V, A) V={conferencias}, dos conferencias son adyacentes si tienen oyentes comunes Se quiere partir V en conjuntos Vi de modo que los elementos de cada Vi no sean adyacentes. Y se intenta que el nmero de conjuntos sea el menor posible

Unos cuantos problemas Localizacin de registros en un programa

G=(V, A) V={variables}, dos variables son adyacentes si se usan al mismo tiempo Se quiere partir V en conjuntos Vi de modo que los elementos de cada Vi no sean adyacentes. Y se intenta que el nmero de conjuntos sea el menor posible

Coloracin de vrtices en un grafo

Vrtices adyacentes reciben diferente color Una 6-coloracin de G Los vrtices del mismo color forman una clase de color

V= V1V2V3V4V5V6
V1={amarillos}, V2={verdes}, V3={rojos},

Coloracin de vrtices en un grafo

Conceptos relacionados con la coloracin de vrtices Conjunto independiente de vrtices S V es independiente si no hay vrtices adyacentes S ={ }

Una 6-coloracin de G

S={ Una 4-coloracin de G El n cromtico de G es 4 (G) = 4 N de independencia de G

No hay 3-coloracin de G

(G) = 4

Clique o camarilla en un grafo S V es clique si dos vrtices cualesquiera de S son adyacentes

Propiedades del n cromtico

Si un grafo tiene n vrtices entonces (G) n (Kn) = n (G) = 2 G es un grafo bipartido (G) 3 G tiene ciclo impar Si G contiene a Kn 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)

S={

N de clique de G

(G)= 3

Grafo de Grtzsch

Algoritmos de coloracin
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 Tipos:

Teorema (Mycielski, 1955)

Para todo entero positivo c, existe un grafo sin tringulos y de n cromtico c

Algoritmos secuenciales Algoritmos que buscan conjuntos independientes

Algoritmo secuencial bsico

Entrada: Una ordenacin de los vrtices de un grafo G Salida: Una coloracin de los vrtices Paso 1: Asignar el color 1 al vrtice v1 Paso 2: Si hemos coloreado v1, v2, , vk con j colores, asignamos a vk+1 el color t, donde tj+1 es el mnimo color permitido para vk+1, segn los colores ya asignados a sus vecinos. 5 6 2 1

Primero el de mayor grado

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(v1) d(v2) d(vn).

4 3

5 6 5

4 3

4 3

Colores ={

2 1 Una 4-coloracin con el algoritmo bsico

Una 3-coloracin con la variante

El de menor grado el ltimo

Esta variante se debe a Marble, Matula e Isaacson. Se ordenan los vrtices en orden inverso. Primero se elige vn como el vrtice de menor grado, luego se elige vn-1 como el vrtice de menor grado en G-{vn}, y as se contina recursivamente, examinando los vrtices de menor grado y eliminndolos del grafo. 3 2 7 1 4 Welsh-Powell 4-coloracin 5 6 7 1 3 6 5 4

Algoritmo de Brelaz
Grado de color o grado de saturacin de un vrtice v es el n de colores usados en los vecinos de v. 5 6 7 1 2 El orden en que iremos coloreando vrtices depende del grado y del grado de saturacin 3 4 gs(5)=2 gs(6)=1

2 Matula-Marble-Isaacson 3-coloracin

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

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 n de 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

Qu sucede 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

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

Pero puede no ser 2-elegible

Con estas 2-listas el grafo NO tiene una coloracin propia

Radio coloring
FAP (Frequency Assignment Problem) http://fap.zib.de/

T-coloring
f:VN

FAP (Frequency Assignment Problem)

Cada arista tiene unas distancias entre colores prohibidas Tuv

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
N de colores Rango 4 4

|f(u) f(v)|Tuv

colores 3 rango 4

colores 4 rango 3

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.

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 vn ser un vrtice tal que d(vn) < (que existe por la no regularidad). vn-1, vn-2, sern los vecinos de vn luego los vecinos de vn-1, luego los de vn-2, Como G es conexo estarn todos los vrtices En v1, v2, , vn cada vrtice es adyacente, a lo ms, a -1 de los anteriores. Luego al colorear en este orden bastan colores

La cota anterior no se puede mejorar: (Kn) = n = + 1 (C2k+1) = 3 = + 1

Elaboracin de horarios

Coloracin de aristas
ndice cromtico

En una escuela hay r profesores, P1, P2, , Pr y s aulas L1, L2, , Ls. Cada profesor Pi debe explicar en el aula Lj durante wij perodos lectivos diarios. El problema de los horarios consiste en distribuir la docencia de modo que se minimice el n de perodos usados. Representamos la situacin por un grafo bipartido G con los vrtices P={P1, P2, , Pr} y L={L1, L2, , Ls} y wij aristas de Pi a Lj P1 P2 P3 P4
9-10 10-11 11-12 12-13 13-14

1(G)=

1(G)= +1

L1

L2

L3

L4

Algoritmos de coloracin de aristas

SECUENCIAL 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 a1 Paso 2: Si hemos coloreado a1, a2, , ak con los colores {1, 2,..., j}, asignamos a ak+1 el color t, donde tj+1 es el mnimo color permitido para ak+1, segn los colores ya asignados a sus aristas vecinas.

Algoritmos de coloracin de aristas

INDEPENDENCIA - EMPAREJAMIENTOS 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

Propiedades del ndice cromtico

1(G) (G) 1(C2p)=2, 1(C2p+1)=3

Si n es impar, Kn admite una n-coloracin en las aristas 1 1(Kn)=n=+1 si n es impar 1 5 2 3 4 3 5 4 6 2

Si G es un grafo bipartido entonces 1(G)=(G)

Si n es par bastan n-1 colores

1(Kn)=n-1= si n es par

Otra aplicacin Calendario de una competicin liguera Cmo se elabora el calendario de la liga de ftbol? Una coloracin de aristas de K20

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

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 cromtico de G

Contando Contando coloraciones coloraciones

Propiedades
Si e es una arista de G entonces P(G-e,t)= P(G,t) + P(G*e,t)

Propiedades
Si t <(G) entonces P(G, t)=0 P(Kn, t)= t(t1)(t 2)(t n+1) Si T es un rbol P(T,t)= t(t-1)n-1

1 5 2

=
G-e G

+
G*e

La funcin P(G,t) es un polinomio tn - qtn-1+ +zt y la suma de los coeficientes es cero

Un ejemplo de clculo de P(G,t) +

Coloreando mapas
= ( + )

+ (

) = K5 + 3 K4 + 2 K3

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) = = t57 t4 +19 t3 23 t2 +10 t

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?

Un poco de historia Francis Guthrie, 1850 Augustus de Morgan, 1852, 1860 Arthur Cayley, 1878 Alfred Kempe, 1879 Amer. J. Math. Tait, Temple Percy Heawood, 1890, Quart. J. P. A. Math. Appel, Haken, 1976 Robertson, Sanders, Seymour, Thomas, 1997

Mapa: Grafo plano conexo y sin puentes

Pasemos el problema a grafos, M G(M)

Teorema de los cuatro colores

Todo grafo planar es 4-coloreable Triangulaciones planas

M es k-coloreable G(M) es k-coloreable

Teorema de los cuatro colores

Todo grafo planar es 4-coloreable G contiene un vrtice v tal que d(v) 5 G contiene una de las siguientes configuraciones

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-coloreable para todo vV(G) Si G contiene las configuraciones (a) (b)

contradiccin

(a)

(b)

(a)

(b)

(c)

(d)

La prueba de Kempe
Si G contiene la configuracin (c)

La prueba de Kempe
Si G contiene la configuracin (d)

ERROR
v G G-{v}
descubierto por Heawood en 1890

(d)
Subgrafo Rojo-aZul G(R,Z) Cadena de Kempe rojo-azul Color libre (amarillo) para v

contradiccin

Teorema de los cinco colores (Heawood, 1890) Teorema de los cuatro colores
Todo grafo planar es 5-coloreable Siguiendo las ideas de Kempe falta slo analizar
la configuracin (d)

Ideas de Kempe C(A,Z) Contradiccin Mapas normales (Triangulaciones planas) Cadenas de Kempe Probar 4CT comprobando que la existencia de un contraejemplo mnimo lleva a contradiccin Conjunto INEVITABLE de configuraciones

v G G-{v}

C(R,V)

Otro conjunto inevitable

(a)

(b)

(c)

(d)

(a) Notacin {

(b) ,

(c) }
k

Kempe intent probar que cada una de estas configuraciones no puede aparecer en un contraejemplo mnimo. Fall con (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

grado 5 grado 6 grado k

Una configuracin reducible El diamante de Birkhoff (1913) 4CT es cierto si n<37

Entre 1960 y 1970 Heesch desarrolla las tcnicas para probar inevitabilidad y reducibilidad. Un anillo de tamao 13 tiene 66430 4-coloraciones distintas. Para probar su reducibilidad debemos usar CADA una de ellas para producir una 4-coloracin del grafo total En 1976 Appel y Haken terminan, con ayuda del ordenador, el anlisis exhaustivo de la reducibilidad de un conjunto de 1936 configuraciones todas ellas con anillo de tamao 14 Robertson et al. (1997) rebajan a 633 configuraciones y simplifican las reglas de descarga (32 en vez de +300). Algoritmo O(n2)

Coloracin de grafos en la RED

The Graph Coloring Page. El lugar donde empezamos la bsqueda http://www.cs.ualberta.ca/~joe/Coloring/index.html

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