Teoría de gráficas

Coloración de gráficas

Omar Carbajal Bonal

Facultad de Matemáticas

14 de diciembre de 2020

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Antecedentes históricos: el problema de los 4 colores

La primera referencia hacia el problema de colorear gráficas se tiene

documentada del año 1852, cuando Augustus de Morgan le envió
una carta a Sir William Hamilton, donde le contó acerca de una
duda de uno de sus alumnos, Frederick Guthrie, sobre el número de
colores necesarios para colorear regiones de un mapa que comparten
una frontera, de modo que dos regiones adyacentes no tengan el
mismo color. Este mismo número Guthrie conjeturó que era 4.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Una solución propuesta por De Morgan fue asignar un vértice por
cada región del mapa y unir mediante aristas a las regiones que
compartan frontera. A esto se le conoce como gráfica dual del
mapa.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Un intento por resolver esta conjetura vendría hasta 1878 cuando
Alfred Kempe publicó una demostración que años después en 1890
Percy Heawood encontró un error en su demostración. Heawood no
pudo resolver este error pero pudo demostrar que para colorear
cualquier mapa con solo 5 colores.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Finalmente, esta conjetura encuentra una solución positiva en 1977,
cuando Appel y Haken, con ayuda de una computadora presentan
una polémica prueba, pues no fue del todo bien recibida en la
comunidad matemática la idea de que una demostración se apoyara
en algoritmos.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Coloración de vértices

Definición:
Sea G una gráfica. Una coloración de G es una asignación de
elementos de un conjunto, llamados colores a los vértices de G de
manera que a cada v ∈ V (G ) le corresponde un color y solamente
uno. Una coloración que emplea k colores es k − coloración.

Definición:
Sea G una gráfica. Una coloración propia o buena coloración de
G es una asignación de elementos de un conjunto, llamados
colores a los vértices de G de manera que cualesquiera
u, v ∈ V (G ) con uv ∈ E (G ) el color de u es distinto al de v .

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Definición:
Una k−coloración de los vértices de G es una asignación de k
colores a los vértices de G de forma que dos vértices adyacentes
tienen colores distintos. Si G tiene una k−coloración, entonces
decimos que G es k−coloreable.

Observación:
Para cualquier k−coloración de una gráfica G , k ≤ |V (G )|.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Definición:
El menor número entero k tal que la gráfica G es coloreable se le
conoce como número cromático y se denota por χ(G ).

Definición:
Dada una coloración de una gráfica G al conjunto cuyos elementos
son todos los vértices a los que se les ha asignado un mismo color
se le llama clase crómatica.

Definición:
Una buena coloración, o coloración propia, es una función
ϕ : V → [c], con la propiedad de que si uv ∈ E , entonces
ϕ(u) 6= ϕ(v ).

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Definición:
Sea G una gráfica y V̄ (G ) ⊆ V (G ). V̄ (G ) es un conjunto
independiente si y solamente si para cualesquiera u, v ∈ V̄ (G )
sucede que uv 6∈ E (G ).

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Omar Carbajal Bonal Facultad de Matemáticas
Teoría de gráficas
 El siguiente teorema nos da una cota superior, en terminos del
grado máximo para el número cromático de una gráfica.
Teorema:
Sea G una gráfica con grado máximo ∆(G ), entonces
χ(G ) ≤ ∆(G ) + 1.

Demostración: Se utilizará inducción matemática sobre el orden

de G .
1 Base de la inducción.
Si|V (G )| = 1. Entonces G es isomorfa a K1 , entonces
∆(G ) = 0 y el resultado se sigue.
2 Hipótesis de inducción.
Supongamos que el resultado es válido para toda gráfica con k
vértices.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 3 Paso inductivo.
Sea G una gráfica con k + 1 vértices y grado máximo
∆(G ) = d. Sea v ∈ V (G ) y sea G 0 = G − v . Obsérvese que
|V (G 0 )| = k y ∆(G 0 ) ≤ d. Entonces aplicando la hipótesis de
inducción tenemos χ(G 0 ) ≤ ∆(G 0 ) + 1 ≤ d + 1, es decir, G 0 es
(d + 1)−coloreable. Ahora podemos obtener una
(d + 1)−coloración de G al colorear a v con cualquier color
que no haya sido asignado a los vértices adyacentes a v (esto
se puede hacer pues d(v ) ≤ d).

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Definición:
Una gráfica G es crítica si χ(H) < χ(G ) para toda subgráfica
propia H de G . Además, decimos que una gráfica es k−crítica si es
k−cromática y crítica.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Teorema
Si G es una gráfica k−crítica, entonces δ(G ) ≥ k − 1.

Demostración: Se procede por contradicción.

Supongase que existe una gráfica G que es k−crítica de modo que
δ < k − 1 y sea v un vértice de grado δ en G .
Como G es k−crítica, (G − v ) es (k − 1)−coloreable.
Sean {[c1 ], [c2 ], . . . , [cn−1 ]} las clases cromáticas de una
(k − 1) − coloracin de (G − v ). Como el grado de v es igual a
δ < k − 1 en G , v es adyacente a menos de k − 1 vértices, por lo
tanto, existe una clase cromática [cj ] tal que v no es adyacente a
alguno de los vértices de esta clase. Entonces
{[c1 ], [c2 ], . . . , [cj ], . . . , [ck−1 ]} es una (k − 1)−coloración de G , lo
cual es una contradicción. Por lo tanto δ(G ) ≥ k − 1.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Corolario:
Toda gráfica k−cromática tiene al menos k vértices de grado k − 1.

Demostración: Sea G una gráfica k−cromática y sea H una

subgráfica k−crítica de G . Por el teorema anterior, todo vértice de
H tiene grado al menos k + 1 en H, y por lo tanto también en G .
Como H es k−crítica, entonces H tiene al menos k vértices y por
lo tanto el resultado se sigue.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Definición:
Una coloración de una gráfica G es óptima si utiliza el mínimo
número de colores. Es decir, una k−coloración es óptima si y sólo si
χ(G ) = k

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Algoritmo Greedy

Sea G una gráfica con V (G ) = {v1 , v2 , . . . , vn }.

1 Asigna el primer color c1 al primer vértice v1 .
2 Al vértice v2 le asignamos el color c1 si este no es adyacente a
v1 ; en caso contrario le asignamos el color c2 .
3 El vértice vi es coloreado con el primer color posible en la lista
ordenada de colores, es decir, le asignamos el primer color que
no ha sido asignado a alguno de los vecinos de vi .

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Omar Carbajal Bonal Facultad de Matemáticas
Teoría de gráficas
Coloración por aristas

Este conecepto es análogo al de coloreación de vértices, pero se le

asignan colores a los aristas.
Definición:
Sea G una gráfica. Una k−coloración por aristas de G es una
asignación de k colores a los aristas de G de manera que dos aristas
adyacentes por un vértice tengan colores distintos. Se dice que G es
k − coloreable si G tiene una k−coloracion por aristas.

Esto puede verse como una función que va del conjunto de aristas a
un conjunto de colores, donde f (e1 ) 6= f (e2 ). La notación de esto
es f : E → {1, 2, . . . , k}

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 De mismo modo que con la coloración de vértices, la coloración de
aristas corresponde a una partición de aristas, donde a cada
elemento le llamamos clase cromática a cada conjunto
independiente de aristas, es decir, si e1 y e2 pertenecen a la misma
clase cromatica [k], entonces e1 ∩ e2 = ∅.
El número cromático para aristas de G se define como
χ0 (G ) = mı́n{k ∈ N : ∃k-coloración}

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Teorema
Sea n ≥ 2, entonces:
1 χ0 (Kn ) = n − 1, si n es par,
2 χ0 (Kn ) = n, si n es impar.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
Demostración

Sea n > 1. Para cada vértice se tienen n − 1 vértices que inciden en

estos, por lo tanto el número cromático es al menos n − 1. Si tal
coloración existe entonces consideramos alguna en particular, cada
arista de este color une un par de puntos de la gráfica. Si n es
impar esto es imposible, por lo tanto para n impar son necesarios n
colores.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Por otro lado, etiquetando los vértices con un numero del 1 a n y
númerando los colores del 0 a n − 1, podemos colorear cada arista
ij tomando en cuenta su suma i + j y tomando el módulo n. Como
para cada residuo tenemos un color distinto hemos obtenido una
coloración de aristas de n colores.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Ahora supongamos que n es par. Seleccionemos un vértice v de Kn
y consideremos la gráfica Kn − v . Es inmediato ver que Kn − v es
una gráfica completa con n − 1 vértices. Además, como n es par,
entonces n − 1 es impar. Por lo tanto sabemos que existe una
(n − 1)-coloración de las aristas de Kn − v . Ahora, como cada
vértice en Kn − v tiene exactamente n − 2 aristas incidentes, se
sigue que en cada vértice hay un color que no aparece. En dicha
coloración podemos observar que en cada vértice hay un color que
no aparece. Ahora agreguemos el vértice v y consideremos a la
gráfica Kn .

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Podemos colorear las aristas que van del vértice v a cada uno de los
vértices de la gráfica y la coloreamos con el color que no aparece en
dicho vértice. Esto nos dá una (n − 1)- coloración de Kn y por lo
tanto χ0 (Kn ) ≤ n − 1.
Es fácil ver que Kn no tiene una (n − 2)-coloración pues cada
vértice es incidente con n − 1 aristas.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas