Está en la página 1de 45

DMATIC. ETS Ingenieros Informáticos.

UPM Victoria Zarzosa Rodríguez

TEMA 4: Planaridad. Coloración de grafos

• Planaridad

• Coloración

1
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo: Las casas de Dudeney

Se desea dotar a tres casas de suministro de agua, gas y electricidad.


¿Es posible trazar las conducciones sin que se crucen?

Depósito de agua

A
B

Central eléctrica
C
Depósito de gas

2
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo: circuitos impresos

3
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definiciones

• Un grafo G es planar si existe una representación plana del


grafo de forma que las aristas se corten sólo en los vértices.

• Mapa o grafo plano es una representación plana de un grafo.

• M es un mapa conexo si es una representación plana de un


grafo conexo G.

4
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplos

1) El siguiente grafo es planar.


a a
b
e b e

d c
d c
2) El grafo K4 es planar.
a
a b

d c d
c b
5
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definiciones

• Caras son las regiones conexas en que un mapa divide al


plano, incluyendo la región exterior no acotada.

• Dos caras de un mapa son adyacentes si los caminos cerrados


que definen sus bordes tienen alguna arista común.

• Grado de una cara en un mapa es el número de aristas del


camino cerrado que la bordea, que no siempre es un ciclo.

6
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo
a

d f
c b
Caras

C1={a, b, c, a}, no acotada, bordeada por un ciclo de grado 3


C2 = {e, f, d, e}, acotada, bordeada por un ciclo de grado 3
C3 = {a, b, c, a, e, f, d, e, a}, acotada, bordeada por un
recorrido cerrado de grado 8 que no es un ciclo.
7
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Teorema
Sean G = ( V, A ) un grafo y d (R) el grado de cada cara o
región R de una representación plana de G entonces

 d ( R)  2 card A
R

Teorema de Euler
Si G = ( V, A ) es un grafo conexo y planar con n = card V,

q = card A, c = card {caras de una representación plana de G }

entonces nq+c=2

8
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Teorema
Si G = ( V, A ) es un grafo plano con n = card V, q = card A,
c = card {caras de una representación plana de G} y k
componentes conexas entonces nq+c=k+1

Demostración
Si se añaden k  1 aristas a G se consigue un grafo G’ conexo y
con n’ = n, c’ = c y q’ = q + k  1. En G’ se cumple que

n’  q’ + c’ = 2  n  ( q + k  1 ) + c = 2  n  q + c = k + 1

9
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definición

Cintura de un grafo G es la longitud del ciclo mínimo en G.

Corolario

Si G es simple, conexo, planar con n  3 y cintura (G) = z


entonces

z(n  2) 2( n  2 )
q , c
z2 z2

10
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Demostración
Si G es simple, no existen bucles (z =1) ni aristas múltiples
(z = 2 ), luego d( R )  z  3,  región R de G, entonces

 d (R)  2 q
2q
cz  c
R
z

Si G es planar, con n  3 entonces


2q  z2 z(n  2)
2nqcnq  n q  q 
z  z  z2
2n  2 
Además, se tiene que c=q n+ 2 
z2
11
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo
K5 no es planar

n = 5, q = 10

tiene ciclos de longitud 3

cintura ( K5 ) = z = 3

z(n  2)
q  3( n  2 )
z2
Corolario
Kn no es planar,  n  5.
12
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo
K3,3 no es planar
A B C
n = 6, q =9

no tiene ciclos de longitud 3

cintura ( K3,3 ) = z = 4

z ( n  2)
q  2( n  2)
gas electricidad agua z2

Corolario
Kr,s es planar si y sólo si r = 1 o r = 2 .
13
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo

El grafo de Petersen G no es planar

G n = 10 , q = 15

no tiene ciclos de longitud 3, 4

cintura (G) = z = 5

z(n  2) 5
q  (n  2)
z2 3

14
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definición
G y G’ son grafos homeomorfos si se puede obtener G a
partir de G’ por inserción o borrado de vértices de grado 2
en sus aristas (esto es una subdivisión elemental).

Teorema de Kuratowski (1930)

El grafo G es planar si y sólo si no contiene ningún


subgrafo homeomorfo a K5 ni a K3,3.

15
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplos
Grafos de Kuratowski

K5 K3,3

Subdivisión de K5 Subdivisión de K3,3

16
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo
El grafo G no es planar ya
G a
que contiene un subgrafo H

d b homeomorfo a K3,3
e

j c
f
Si se suprimen en G las
i aristas {c j, g j} y el vértice f
g h
resulta el subgrafo H

17
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

H
b d h
a
H
d b a i
e g

j c

c e j
h i
g
Subdivisión de K3,3

Si se suprimen en H los vértices {a, g, i} de grado 2, resulta


que el subgrafo H de G es homeomorfo a K3,3 .
18
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definición

Contracción de un grafo G = (V, A) con una arista u v es un grafo

G  u v = (V’, A’) tal que V’ = (V{u, v}) {u’}

A’ = (A{u v} ) {w u’ | w u A ó w v A}

Ejemplo

u

19
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Teorema de Wagner

El grafo G es planar si y sólo si no contiene ningún


subgrafo contractible a K5 ni a K3, 3.

Ejemplo

El grafo de Petersen contiene un subgrafo contractible a K5

20
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo

G a El grafo G no es planar ya
b que contiene un subgrafo H
e
contractible a K5
d
c
f
Se contraen las aristas {ae, ci}
j
i en G y resulta G contractible
g h
aH

21
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

H a=e b=j
a=e b

d c=i
f f c=d
j

g h
g=h

Si se contraen las aristas {c d, g h, b j } en H resulta que


H es contractible a K5
22
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

TEMA 6: Planaridad. Coloración de grafos

• Planaridad

• Coloración

23
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

La noción de mapa nos permite enunciar el

“Problema del mapa de los cuatro colores” planteado por


Frederick Guthrie a Auguste De Morgan, que escribe a
William Hamilton (1852):

¿Se puede colorear cualquier mapa plano con cuatro colores


distintos de modo que no haya dos regiones adyacentes con el
mismo color?

24
DMATIC. ETS Ingenieros Informáticos. UPM
Coloración de mapas Victoria Zarzosa Rodríguez

25
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Coloración de vértices

26
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

• Colorear mapas equivale a colorear las caras de un grafo plano.

• Colorear mapas equivale a colorear los vértices del grafo dual

del grafo plano.

• Si M es un mapa y G* es el grafo dual del mapa M,


M es coloreable con k colores  G* es kcoloreable

Teorema del mapa de los cuatro colores


Si G es un grafo planar, entonces G es 4coloreable

27
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definiciones
Sean G = ( V, A ) un grafo
C = { 1, 2, ..., k } un conjunto de colores, k  

• Coloración con k colores del grafo G es una aplicación

 : V  C tal que

si a = {u, v}  A entonces  (u)   (v).

• G es kcoloreable si existe una coloración de G con k


colores

•  (G)  número cromático de G


 mínimo k   tal que G es kcoloreable .
28
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplos

1.  (Kn) = n

2, si n es par
2.  (Cn) = 
3, si n es impar

 3 , si n es impar
3.  (Wn) = 
 4 , si n es par

29
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo

G contiene a W6
G es 4  coloreable luego (G)  4

(G) = 4

30
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Proposición

G es bipartido  (G) = 2.

Ejemplos

a) Si Pn es un camino de n vértices, entonces  (Pn) = 2

b) Si Qn es un cubo n dimensional, entonces  (Qn) = 2

c) Si T es árbol, entonces (T) = 2

31
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Definición
Grado de color o grado de saturación ds (v) de un vértice v V

es el número de colores usados en los vértices adyacentes a v.


v5
Ejemplo v6
v4 ds (v5) = 2
v7
v3
ds (v6) = 1
v1
v2
Algoritmo Dsatur (Brelaz, 1979)

El orden de coloración de los vértices depende del grado


del vértice d (v) y de su grado de saturación ds (v) .
32
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Sigue una estrategia voraz:

Se asignan colores a los vértices ordenadamente,

de forma que cada vértice reciba el primer color que no

haya sido asignado a ninguno de sus vértices adyacentes.

No es óptimo:

El número de colores que utiliza es   (G).

El algoritmo Dsatur es exacto para grafos bipartidos.


33
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Algoritmo Dsatur (Brelaz, 1979)

Entrada: V = { v1, v2, ..., vn } ordenados con d(v1)  d(v2)  ...  d(vn)

C = { 1, 2, ..., k } un conjunto de colores, k  .

Paso 1. Colorear un vértice de grado máximo con color 1.

Paso 2. Elegir un vértice sin colorear, con grado de saturación máximo.

Si hay varios, elegir el de mayor grado en el subgrafo no coloreado.

Paso 3. Colorear el vértice seleccionado en el paso 2 con el menor color posible.

Paso 4. Si todos los vértices se han coloreado, FIN.

En caso contrario, volver al paso 2.

Salida: Una coloración de los vértices de G.


34
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo : algoritmo Dsatur (Brelaz, 1979)

a b

c d
color 1 =
e
color 2 =
f
g h color 3 =

i j

Orden de coloración de los vértices: [d, c, f, j, i, a, e, h, b, g]

35
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Vértices a b c d e f g h i j

Grado-color/ 0 0 0 0 0 0 0 0 0 0
Grado en subgrafo sin colorear 5 3 4 6 3 4 3 2 3 5
Grado-color/ 0 1 1 1 1 1 1 0 0
Grado en subgrafo sin colorear 5 2 3 2 3 2 1 3 5
Grado-color/ 1 1 1 2 1 1 0 1
Grado en subgrafo sin colorear 4 2 2 2 2 1 3 4
Grado-color/ 1 1 1 1 1 1 2
Grado en subgrafo sin colorear 4 2 2 2 1 2 3
Grado-color/ 1 1 1 1 1 2
Grado en subgrafo sin colorear 4 1 2 1 1 1
Grado-color/ 1 1 1 1 1
Grado en subgrafo sin colorear 3 1 2 1 1
Grado-color/ 1 1 1 1
Grado en subgrafo sin colorear 0 1 0 1
Grado-color/ 1 1 2
Grado en subgrafo sin colorear 0 0 0
Grado-color/ 1 1
Grado en subgrafo sin colorear 0 0

Grado-color/ 1
Grado en subgrafo sin colorear 0

Orden de coloración 6 9 2 1 7 3 10 8 5 4

Color asignado 1 2 2 1 2 3 2 3 2 1
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Algoritmo secuencial

Entrada: V = { v1, v2, ..., vn } ordenados con d(v1)  d(v2)  ...  d(vn)

C = { 1, 2, ..., k } un conjunto de colores, k  .

Paso 1. Colorear un vértice de grado máximo con color 1.

Paso 2. Elegir un vértice sin colorear, con grado máximo.

Paso 3. Colorear el vértice seleccionado en el paso 2 con el menor color posible.

Paso 4. Si todos los vértices se han coloreado, FIN.

En caso contrario, volver al paso 2.

Salida: Una coloración de los vértices de G.


37
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Ejemplo : algoritmo secuencial

a b

c d
color 1 =
e
color 2 =
f
g h color 3 =

i j

Orden de coloración de los vértices: [d, a, j, c, f, b, e, g, h, i]

38
DMATIC. ETS Ingenieros Informáticos. UPM Vértice Color Victoria Zarzosa Rodríguez

Ejemplo : algoritmo secuencial a 1


h 2

Utiliza 4 colores f 2
k 1
q n 2
p a
b d 2
o
e 3
n c g 3
i 1
d
m j 3
l 3
e
l m 1
f o 1
k p 3
g
j q 4
h
i b 2
c 3 39
DMATIC. ETS Ingenieros Informáticos. UPM Vértice Color Victoria Zarzosa Rodríguez

Ejemplo : algoritmo de Brelaz a 1


h 2

Utiliza 3 colores g 3
f 2
p q
a e 3
b
d 2
o
k 1
n c
j 3
i 1
m d
l 3

e m 1
l p 1
f q 3
k o 2
g
j n 3
h
i b 2
c 3 40
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Vértices a h f k n d e g i j l m o p q b c
d(v) 7 7 4 4 4 3 3 3 3 3 3 3 3 3 3 2 2

ds(v) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

ds(v) 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1

ds(v) 1 0 0 1 1 2 0 0 0 0 0 0 0 1 1

ds(v) 2 1 0 1 1 1 1 1 1 0 0 0 1 1

ds(v) 1 0 1 2 1 1 1 1 0 1 0 1 1

ds(v) 1 0 2 1 1 1 1 0 1 0 1 1

ds(v) 1 0 1 1 1 1 0 1 1 1 1

ds(v) 1 1 2 2 1 0 1 1 1 1

ds(v) 1 2 2 1 0 1 1 1 1

ds(v) 1 2 1 0 1 1 1 1

ds(v) 1 2 0 1 1 1 1

ds(v) 1 0 1 1 1 1

ds(v) 1 1 2 1 1

ds(v) 1 2 1 1

ds(v) 2 1 1

ds(v) 1 1

ds(v) 2
Orden 1 2 4 7 15 6 5 3 9 8 10 11 14 12 13 16 17
Color 1 2 2 1 3 2 3 3 1 3 3 1 2 1 3 2 3

41
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

El algoritmo de Brelaz no halla el número cromático del grafo G.

Ejemplo
V c e g i a h j k b d f
Color 1 1 2 2 1 1 3 4 2 2 2
i h s(v) 1 1 1 1
s(v) 1 1 1 1 1 1
G s(v) 1 1 1 1 1 1 1
a s(v) 1 1 1 1 1 1 1
b
f s(v) 1 2 2 1 1 1
s(v) 1 3 1 1 1
g c s(v) 1 1 1 1
s(v) 1 1 1
e d s(v) 1 1
j k s(v) 1

Utiliza 4 colores  (G)  4


42
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

V color
El algoritmo de Brelaz colorea con 4 colores. a 2

Sin embargo, existe una coloración con 3 colores b 3


c 1
 (G)  3
i h d 2

G e 1
a b f 3
f
g 3

g c h 2

e d i 1
j k j 2

G no es bipartido, entonces  (G) > 2   (G) = 3 k 3

43
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Teorema de Brooks (1941)


Si G es un grafo conexo, no completo y no es un ciclo impar,
con (G) = máx { d(v) / v  V }, entonces  (G)  (G).

Ejemplos

• Los grafos completos Kn son conexos, regulares y verifican

(G) = máx { d(v) / v  V } = n1 <  (G) = n

• Los ciclos impares Cn son conexos, regulares y verifican

(G) = máx { d(v) / v  V } = 2 <  (G) = 3


44
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez

Teoremas

Sea G un grafo y (G) = máx { d(v) / v  V }, se cumple que

1.  (G)  (G) + 1

2. Si G es conexo y no regular, entonces  (G)  (G)

45

También podría gustarte