P.

Reyes
Introduccin
Se desea dotar a tres casas de tres suministros diferentes: agua, gas y electricidad,
ser posible llevar a cabo la infraestructura necesaria sin que se crucen las
conducciones de los distintos fluidos?
Compaa de aguas
i
s
c
r
e
t
a
p g
m

t
i
c
a

DCasa A
Casa C
M
a
t
e
m
Casa B
C l l i Central elctrica
Compaa de gas
P.Reyes
Captulo 6: Grafos planos
Introduccin.
Grafos planos.
i
s
c
r
e
t
a
Grafo dual.
m

t
i
c
a

D
M
a
t
e
m
P.Reyes
Grafos planos
Matemtica
Discreta
Una representacin grfica de un grafo en una superficie S (por ejemplo el plano) se
dice que es una inmersin en S si dos aristas no se cortan en puntos que no sean
vrtices del grafo.
n
o
s
a
f
o
s

p
l
a
G
r
a
Inmersin en el plano
Un grafo se dice que es un grafo plano si admite una inmersin en el plano.
Tema 4: 3
P.Reyes
Grafos planos
Matemtica
Discreta
n
o
s
a
f
o
s

p
l
a
K
4
S es un grafo plano
G
r
a
K
5
NO es un grafo plano ????
Tema 4: 4
P.Reyes
Grafos planos
Matemtica
Discreta
v
1
v
2
C
1
v
3
n
o
s
C
2
C
5
v
5
v
4
cara exterior
a
f
o
s

p
l
a
C
2
C
3
C
4
v
6
v
7
v
8
G
r
a
v
9
Caras de un grafo plano
Aristas
aristas puente
aristas frontera
Tema 4: 5
aristas frontera
P.Reyes
Grafos planos
C
1
v
1
v
2
Matemtica
Discreta
C
1
C
v
3
PROPIEDADES: Sea G=(V,A) un grafo plano:
Las aristas frontera de cada cara
C
2
C
5
v
5
v
4
interior o acotada forman un ciclo.
Si se elimina una arista l de un ciclo, el
grafo G l tiene una cara menos
n
o
s
C
3
C
4
v
6
v
7
v
8
grafo G-l tiene una cara menos.
Si una arista forma parte de un ciclo, es
frontera de dos caras exactamente.
a
f
o
s

p
l
a
v
9
En la frontera de cada cara hay al menos
tres aristas.
G
r
a
Si G tiene c caras y a aristas: 3 c 2 a
Si G tiene c caras y a aristas (de las cuales f son
frontera, es decir, separan dos caras) y cada cara tiene
al menos d aristas en la frontera:
d c 2 f 2 a
Tema 4: 6
P.Reyes
Grafos planos
Tests de planaridad
Matemtica
Discreta
Frmula de Euler: Si G=(V,A) es un grafo plano conexo, con c caras, a aristas y v vrtices:
v + c = a +2
Induccin en a:
v = 2; c = 1; a=1
Si a=1
v + c = a + 2
n
o
s
Supongamos que es cierto para todo grafo con a-1 aristas
a
f
o
s

p
l
a
Sea G un grafo plano conexo con a aristas, c caras y v vrtices
Si G es un rbol c = 1; v = a + 1
v + c = a + 1 + 1 = a + 2
G
r
a
Si G NO es un rbol
G-l tiene a-1
aristas, c-1 caras
y v vrtices
Sea l una arista
de un ciclo
v + c -1 = a -1 + 2
Tema 4: 7
v + c = a + 2
P.Reyes
Grafos planos
Tests de planaridad
Matemtica
Discreta
Frmula de Euler (para grafos no conexos): Si G=(V,A) es un grafo plano, con c caras, a
aristas, v vrtices y d componentes conexas:
v + c = a + d + 1 v + c a + d + 1
n
o
s
G
1
G
2
G
d
G
3
a
f
o
s

p
l
a
v
1
+ c
1
= a
1
+ 2 v
2
+ c
2
= a
2
+ 2 v
3
+ c
3
= a
3
+ 2 v
d
+ c
d
= a
d
+ 2
G
r
a
= a = c + (d-1) = v
v
1
+ v
2
+ + v
d
+ c
1
+ c
2
++ c
d
= a
1
+ a
2
++ a
d
+ 2 d
Tema 4: 8
v + c= a + d + 1
P.Reyes
Grafos planos
Tests de planaridad
Matemtica
Discreta
Un grafo plano G=(V,A) se dice que es un grafo plano maximal si al aadir una arista entre
dos vrtices no adyacentes cualesquiera, deja de ser plano.
v
2
n
o
s
v
4
v
3
a
f
o
s

p
l
a
v
1
G
r
a
grafo plano NO maximal grafo plano maximal
Si un grafo plano G=(V,A) es maximal (y tiene al menos dos caras), las caras estn limitadas
por tringulos (ciclos de longitud 3).
Tema 4: 9
P.Reyes
Grafos planos
Tests de planaridad
Matemtica
Discreta
Si un grafo plano G=(V,A) es maximal (y tiene al menos dos caras), las caras estn limitadas
por tringulos (ciclos de longitud 3).
Teorema: Si G=(V,A) es un grafo plano maximal, con a aristas y
v vrtices (v 3):
a = 3v - 6
n
o
s
Las caras estn limitadas por tringulos y
cada arista es frontera de dos caras:
a
f
o
s

p
l
a
f l i l
3 c = 2 a
G
r
agrafo plano maximal
v + c = a + 2
(Euler)
a = 3v - 6
Corolario: Si G=(V,A) es un grafo plano con a aristas y v vrtices:
Tema 4: 10
a 3v - 6
P.Reyes
Grafos planos
Tests de planaridad
Matemtica
Discreta
Corolario: Si G=(V,A) es un grafo plano con a aristas y v vrtices:
a 3v - 6
n
o
s
K
3,3
a
f
o
s

p
l
a
K
5
5 ti 10 i t
6 vrtices y 9 aristas
G
r
a5 vrtices y 10 aristas
y
K
3,3
verifica el test
K
5
NO ES PLANO
No obstante, K
3,3
NO ES PLANO:
K
3,3
bipartito: 4c2a
2018
Tema 4: 11
Euler: c=5
2018
P.Reyes
Grafos planos
Teorema de Kuratowski
Matemtica
Discreta
Dado un grafo G=(V,A) se llama subdivisin del grafo G al nuevo grafo G
obtenido subdividiendo alguna(s) arista(s) de G.
n
o
s
a
f
o
s

p
l
a
G
r
a
Teorema de Kuratowski: Un grafo es plano si y slo si no Teorema de Kuratowski: Un grafo es plano si, y slo si, no
contiene ningn subgrafo isomorfo a K
5
ni a K
3,3
, ni a
subdivisiones de ellos.
Tema 4: 12
P.Reyes
Grafos planos
Matemtica
Discreta
Teorema de Kuratowski: Un grafo es plano si, y slo si, no
contiene ningn subgrafo isomorfo a K
5
ni a K
3,3
, ni a
subdivisiones de ellos.
v
1
n
o
s
v
3
1
a
f
o
s

p
l
a
v
2
G
r
a
v
2
v
3
v
1
El grafo de Petersen NO ES PLANO, ya
que contiene una subdivisin de K
3,3
.
Tema 4: 13
P.Reyes
Grafo dual
Matemtica
Discreta
Dado un grafo plano G=(V,A) y una inmersin en el plano, definiremos el grafo dual de G
(respecto de la inmersin), representado por G*=(V*,A*):
1) Cada cara de G se identifica con un vrtice de G* 1) Cada cara de G se identifica con un vrtice de G*
2) Cada arista l de G da lugar a una arista de G*, entre los
dos vrtices identificados por las caras que separa la arista l
n
o
s
G tiene tantas aristas como G*
G* es un grafo plano
a
f
o
s

p
l
a
G puede ser un grafo simple y en
cambio G* un multigrafo
G
r
a
G* contiene un lazo si, y slo si, G
tiene una arista puente.
Si G tiene c caras, a aristas y v vrtices, y G* tiene
c* caras, a* aristas y v* vrtices, entonces
v* c c* v a* a
Tema 4: 14
v* = c c* = v a* = a
P.Reyes
Grafo dual
Matemtica
Discreta
Teorema de los cuatro colores : Todo grafo plano es
4-coloreable.
(K Appel y W Haken 1976) (K. Appel y W. Haken, 1976)
n
o
s
a
f
o
s

p
l
a
G
r
a
Tema 4: 15