Documentos de Académico
Documentos de Profesional
Documentos de Cultura
• Planaridad
• Coloración
1
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
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
3
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Definiciones
4
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Ejemplos
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
6
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Ejemplo
a
d f
c b
Caras
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,
entonces nq+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 nq+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
Corolario
z(n 2) 2( n 2 )
q , c
z2 z2
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
Ejemplo
K5 no es planar
n = 5, q = 10
cintura ( K5 ) = z = 3
z(n 2)
q 3( n 2 )
z2
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
cintura ( K3,3 ) = z = 4
z ( n 2)
q 2( n 2)
gas electricidad agua z2
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
G n = 10 , q = 15
cintura (G) = z = 5
z(n 2) 5
q (n 2)
z2 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).
15
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Ejemplos
Grafos de Kuratowski
K5 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
Definición
Ejemplo
u
u´
19
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Teorema de Wagner
Ejemplo
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
• Planaridad
• Coloración
23
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
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
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
: V C tal que
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
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
No es óptimo:
Entrada: V = { v1, v2, ..., vn } ordenados con d(v1) d(v2) ... d(vn)
a b
c d
color 1 =
e
color 2 =
f
g h color 3 =
i j
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)
a b
c d
color 1 =
e
color 2 =
f
g h color 3 =
i j
38
DMATIC. ETS Ingenieros Informáticos. UPM Vértice Color Victoria Zarzosa Rodríguez
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
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
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
V color
El algoritmo de Brelaz colorea con 4 colores. a 2
G e 1
a b f 3
f
g 3
g c h 2
e d i 1
j k j 2
43
DMATIC. ETS Ingenieros Informáticos. UPM Victoria Zarzosa Rodríguez
Ejemplos
Teoremas
1. (G) (G) + 1
45