Documente Academic
Documente Profesional
Documente Cultură
Se quiere partir V en conjuntos Vi de modo que los Se quiere partir V en conjuntos Vi de modo que los
elementos de cada Vi no sean adyacentes. Y se intenta elementos de cada Vi no sean adyacentes. Y se intenta
que el número de conjuntos sea el menor posible que el número de conjuntos sea el menor posible
1
Coloración de vértices en un grafo Conceptos relacionados con la coloración de vértices
S ={ }
S’={ }
Una 6-coloración de G Una 4-coloración de G
El nº cromático de G es 4
No hay 3-coloración de G Nº de independencia de G β(G) = 4
χ(G) = 4
2
Algoritmo secuencial básico “Primero el de mayor grado”
Entrada: Una ordenación de los vértices de un grafo G En esta variante, debida a Welsh y Powell, se ordenan los
Salida: Una coloración de los vértices vértices inicialmente de acuerdo a sus grados. Es decir,
Paso 1: Asignar el color 1 al vértice v1 ordenamos de forma que d(v1) ≥ d(v2) ≥ … ≥ d(vn).
Paso 2: Si hemos coloreado v1, v2, …, vk con j colores, asignamos a
vk+1 el color t, donde t≤j+1 es el mínimo color permitido para vk+1,
según los colores ya asignados a sus vecinos. 4 5 1 4
4 5 3 6 5 3
Colores ={ }
3 2 6
6 2 1
Una 4-coloración con
2 1 el algoritmo básico Una 3-coloración con la variante
3
−Algoritmos secuenciales Coloreando con listas de colores
atienden a la cota χ(G) ≥ ω(G) ¿Qué sucede si en cada vértice sólo están disponibles los colores
– Algoritmos que buscan conjuntos independientes de una lista (que no es la misma en cada vértice)?
– atienden a la cota χ(G) ≥ n/β(G)
– esta cota es mejor para grafos grandes
Un grafo G es k-elegible si cualquier asignación de k-listas de
– Si existe un algoritmo polinómico de coloración que colores a sus vértices origina una coloración propia
usa a lo más c χ(G) colores, entonces existe un
algoritmo polinómico que determina χ(G)
– Si A*(G) es el nº de colores usados por un algoritmo,
la mejor razón A*(G)/χ(G) alcanzada por un algoritmo
polinómico es del orden O(n(loglogn)2/(logn)3)
(Halldorsson, 1993)
FAP (Frequency Assignment Problem) http://fap.zib.de/ Cada arista tiene unas “distancias entre colores” prohibidas Tuv
Nº de colores 4
a c
Rango 4
colores 4
b d rango 3
4
Número cromático χ y grado máximo Δ Teorema (Brooks, 1941)
Elaboración de horarios
Coloración de aristas 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 períodos
lectivos diarios.
• Índice cromático
El problema de los horarios consiste en distribuir la docencia de modo
que se minimice el nº de períodos usados.
Representamos la situación por un grafo bipartido G con los vértices
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
χ1(G)=Δ χ1(G)=Δ +1 13-14
L1 L2 L3 L4
5
Si n es impar, Kn admite una n-coloración en las aristas
Propiedades del índice cromático 1
χ1(Kn)=n=Δ+1 si n es impar
• χ1(G)≥ Δ(G) 1
• χ1(C2p)=2, χ1(C2p+1)=3 5 2 2
3
4 6
4 3
5
6
Un ejemplo de cálculo de P(G,t) Coloreando mapas
= + = ( + )
+ ( + ) = K5 + 3 K4 + 2 K3
7
Pasemos el problema a grafos, Teorema de los cuatro colores
Todo grafo planar es 4-coloreable
M G(M)
• Triangulaciones planas
Todo grafo planar es 4-coloreable • Supongamos que existe un contraejemplo al Teorema. Tomamos
un contraejemplo mínimo que sea triangulación G. es decir
• G contiene un vértice v tal que d(v) ≤ 5 G no es 4-coloreable, pero G- {v} es 4-coloreable para todo v∈V(G)
• G contiene una de las siguientes configuraciones • Si G contiene las configuraciones (a) ó (b) contradicción
(a) (b)
ERROR
v descubierto por Heawood en 1890
(d)
G G-{v}
Subgrafo Rojo-aZul G(R,Z)
Cadena de Kempe rojo-azul contradicción
Color libre (amarillo) para v
8
Teorema de los cinco colores (Heawood, 1890)
Teorema de los cuatro colores
Todo grafo planar es 5-coloreable
• Siguiendo las ideas de Kempe falta sólo analizar
Ideas de Kempe
la configuración (d)
C(A,Z) • Mapas normales (Triangulaciones planas)
• Cadenas de Kempe
Contradicción • Probar 4CT comprobando que la existencia de un
v contraejemplo mínimo lleva a contradicción
C(R,V)
• Conjunto INEVITABLE de configuraciones
G G-{v}