Вы находитесь на странице: 1из 43

1

E
S
T
R
U
C
T
U
R
A
S




D
I
S
C
R
E
T
A
S

I
I
Definicin: Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos:
Modelos matemticos de situaciones reales
Ejemplos:
Mapa de carreteras,
Plano del tren elctrico
Plano callejero
Red de PCs,
Plano de un circuito elctrico
Arboles genealgicos, etc.
Aplicaciones:
Compiladores y traductores, Redes, Planificacin, etc.
Origen: 1736 (Los Puentes de Knisberg. Euler)Desafortunadame
Dra. Norka Bedregal Alpaca
2
Definicin: Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Desafortunadamente no existe una terminologa estandarizada en
la teora de los grafos,
Por lo tanto es oportuno aclarar que las presentes definiciones
pueden variar ligeramente entre diferentes publicaciones de
estructuras de datos y de teora de grafos,
En general se puede decir que un grafo, es la representacin (para
nuestro caso) grfica de los datos de una situacin particular,
Ejemplo:
Los Angeles
Chicago
Boston
Nueva York
Mi ami
Fil adel f ia
Vuelos de lagunas aerolneas
Dra. Norka Bedregal Alpaca
Definicin: Grafo
Definicin: Grafo
Los grafos de manera general pueden ser considerados
diagramas o dibujos, de manera formal como un par de
conjuntos.
Un grafo G = (V, E) se define como el par formado por:
Un conjunto V cuyos elementos reciben el nombre de
vrtices. El conjunto V de vrtices del grafo, se denota por
V(G).
Un conjunto E de pares no ordenados de elementos
distintos llamados aristas. El conjunto E de aristas del grafo,
se denota por E(G).
La notacin general es:
V={v
1
, v
2
,..., v
n
}
E={(v
i
,v
j
); ( v
n
,,v
m
), ...}
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
3
Definicin: Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
Definicin: Grafo
Vrtices Adyacentes:
Dos vrtices v
i
, v
j
son adyacentes si son los extremos de una arista, es
decir, si el par de vrtices (v
i
, v
j
) es un elemento de E.
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
V={v
1
, v
2
, v
3
}
E={(v
1
,v
2
), (v
2
,v
3
), (v
1
,v
3
)}
Dra. Norka Bedregal Alpaca
4
Tipos de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Multigrafo: es un grafo con varias aristas entre dos vrtices.
V={v
1
, v
2
, v
3
}
E={(v
1
,v
2
), (v
2
,v
3
), (v
2
,v
3
), (v
1
,v
3
), (v
1
,v
3
)}
Pseudografo: tiene aristas cuyos extremos coinciden (origen y fin en el
mismo vrtice), tales aristas se denominan lazos.
V={v
1
, v
2
, v
3
}
E={(v
1
,v
1
), (v
1
,v
2
), (v
2
,v
2
), (v
1
,v
3
)}
Dra. Norka Bedregal Alpaca
Tipos de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Digrafo (grafo dirigido): A cada arista se le asigna un orden en sus
extremos, en el dibujo se indica con una flecha. Los pares que forman
los elementos de E son pares ordenados.
V={v
1
, v
2
, v
3
}
E={(v
1
,v
2
), (v
2
,v
3
), (v
3
,v
1
)}
Dra. Norka Bedregal Alpaca
5
Otra Definicin: Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafo:
Un grafo es una terna G = (V, E, T), en donde
V y E son conjuntos finitos,
T es una aplicacin que hace corresponder a cada elemento de A un
par de elementos de V.
Los elementos de V y de E se llaman, respectivamente, "vrtices" y
"aristas" de G,
T asocia entonces a cada arista con sus dos vrtices.
Dra. Norka Bedregal Alpaca
Grado de un vrtice
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Es el nmero de aristas que parten de l. El grado de un vrtice se
conserva por isomorfismo.
Dado un vrtice u de V(G), su grado es gr(u).
El vrtice y es de grado 3
El vrtice x es de grado 3
El vrtice z es de grado 3
El vrtice w es de grado 3
Dra. Norka Bedregal Alpaca
6
Subgrafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Sea G=(V,E) un grafo , un subgrafo de G es cualquier grafo
H=(V(H),E(H)), de modo que V(H) est contenido en V y E(H) est
contenido en E.
Un subgrafo se obtiene eliminando alguna(s) arista(s) y/o vrtice(s). Si
se suprime un vrtice, se suprimen todas las aristas que tienen por
origen o fin dicho vrtice.
G es un subgrafo de G, al suprimir el vrtice x y las aristas que llegan a
l.
Dra. Norka Bedregal Alpaca
Grafo Regular
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Un grafo es regular si todos los vrtices tienen el mismo grado, si
dicho grado es k, el grafo se denominar k-regular.
Dra. Norka Bedregal Alpaca
Los grafos G, G son grafos 3-regular y 2-regular.
La regularidad de grafos se conserva por isomorfismo.
7
Grafo Completo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Un grafo es completo si cada par de vrtices son los extremos de una
arista.
Dos grafos completos con el mismo nmero de vrtices son isomorfos.
Se designar el grafo completo con n vrtices por K
n
.
Se puede representar K
n
, para n mayor o igual a tres, mediante los
vrtices de un polgono regular P
n
de n lados siendo las aristas de K
n
los lados y todas las diagonales de P
n
.
Dra. Norka Bedregal Alpaca
Grafo Completo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Un grafo es completo si cada par de vrtices son los extremos de una
arista.
Para todo grafo G=(V, E) se verifica:
#(E) #(V) (#(V) -1).
Dado G=(V, E) tal que #(E) = #(V) (#(V) -1) entonces G es un
grafo completo.
En la figura , el grafo G es K
4
, el grafo G es K
3
.
Dra. Norka Bedregal Alpaca
8
Teorema: Suma de los Grados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Teorema:
es decir, la suma de los grados de los vrtices es igual al nmero de
aristas multiplicado por 2.
( ) ( ) E v gr
i
i
# 2 =

Observaciones:
Por lo tanto, todo grafo contiene (adems de los vrtices de grado
par) un nmero par (o cero) de vrtices de grado impar.
Si H es un subgrafo de G y el vrtice v V(H) contenido en V(G),
entonces:
gr
H
(v) gr
G
(v)
donde: gr
H
(v): grado del vrtice v como vrtice del grafo H
gr
G
(v): grado del vrtice v como vrtice del grafo G.
Dra. Norka Bedregal Alpaca
Grafo Bipartito
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos
de modo que no haya adyacencias entre vrtices pertenecientes al
mismo conjunto
9
Ejemplos de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
Todo grafo completo es regular porque cada vrtice tiene grado |V|-
1 al estar conectado con todos los otros vrtices.
Un grafo regular no tiene por qu ser completo
Un grafo bipartido regular se denota K
m,n
donde m, n es el grado de
cada conjunto disjunto de vrtices.
En la figura se tienen los grafos K
1,2
, K
3,3
, y K
2,5
Matrices de Representacin de un Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Matriz de Adyacencia
Dra. Norka Bedregal Alpaca
Un grafo simple G = (V, E) con n nodos
Puede ser representado por su matriz de adyacencia A.
1 si { , } es un arco de .
0 en otro caso.
i j
ij
v v G
a

10
Matrices de Representacin de un Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
Matriz de adyacencia para K
5
.
d
a
b
c
e a
c
e
f
K5
a 0 1 0 0 1 1
b 1 0 1 0 0 1
c 0 1 0 1 0 1
d 0 0 1 1 0 1
e 1 0 0 1 0 1
f 1 1 1 1 1 1
a b c d e f
Matrices de Representacin de un Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Matriz de Incidencia
Dra. Norka Bedregal Alpaca
Sea G=(V, E) un grafo no dirigido. Suponga que v
1
,v
2
,v
n
son los
nodos y e
1
,e
2
,,e
m
son los arcos de G.
La matriz de incidencia con respecto a este ordenamiento de V y E
es la matriz de orden nxm
1 cuando el arco es incidente a .
0 en otro caso.
j i
ij
e v
m

11
Matrices de Representacin de un Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dra. Norka Bedregal Alpaca
Matriz de incidencia para K
5
.
d
a
b
c
e a
c
e
f
e
2
e
1
e
3
e
4
e
5
e
8
e
7
e
6
e
10
e
9
a 1 0 0 0 1 1 0 0 0 0
b 1 1 0 0 0 0 1 0 0 0
c 0 1 1 0 0 0 0 1 0 0
d 0 0 1 1 0 0 0 0 1 0
e 0 0 0 1 1 0 0 0 0 1
f 0 0 0 0 0 1 1 1 1 1
e
1
e
2
e
3
e
4
e
5
e
6
e
7
e
8
e
9
e
10
Caminos en un Grafo
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Camino
Un camino en un grafo G es una sucesin finita de vrtices y aristas
alternos, donde cada arista tiene por extremos los vrtices
adyacentes.
{ v
0
, (v
0
,v
1
), v
1
, (v
1
,v
2
) ,..., v
n-1
, (v
n-1
,v
n
) , v
n
}
A v
0
y v
n
se les denomina extremos del camino.
Longitud del camino
Es el nmero de aristas que contiene.
Camino cerrado
Un camino es cerrado si los extremos coinciden, v
0
= v
n
.
En un grafo (no un multigrafo), un camino puede expresarse por la
sucesin de vrtices
{ v
0
, v
1
,..., v
n-1
, v
n }
Dra. Norka Bedregal Alpaca
12
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Camino simple:
En la sucesin de vrtices no hay ninguno repetido.
Ciclo
Es un camino cerrado donde el primero y ltimo vrtice son el mismo
(camino simple cerrado).
En un multigrafo se considera ciclo a aquellos caminos cerrados que
no repiten aristas.
Grafo Conexo:
Un grafo es conexo si para cada par de vrtices existe un camino que
los conecta, en caso contrario se dice que es desconexo.
Caminos en un Grafo
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafo Conexo:
Un grafo es conexo si para cada par de vrtices existe un camino que
los conecta, en caso contrario se dice que es desconexo.
Grafo Conexo
Dra. Norka Bedregal Alpaca
Una arista de un grafo G se dice de separacin si G es conexo pero
al suprimir la arista se divide en dos componentes conexos
13
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafo Conexo
Dra. Norka Bedregal Alpaca
Un mtodo para comprobar si un grafo es conexo es el siguiente:
Se halla la matriz de adyacencia y se eleva a la (n-1)-sima
potencia
Se calcula la suma de las potencias de A hasta A
n-1
Si todos sus elementos son 0, el grafo es conexo.
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Caminos en un Grafo
w
x
y
z
En el grafo de la figura se cumple:
Es K
4
completo
{ x, y, w, z, y } es un camino
{ x, y, w } es un camino simple
{ x, y, w, z, x } es un ciclo
Dra. Norka Bedregal Alpaca
14
Isomorfismo de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Definicin:
Dos grafos son isomorfos, si cada par de vrtices adyacentes de
uno de los grafos, se corresponde con un par de vrtices
adyacentes del otro.
Sean G=(V, E) y G=(V, E) dos grafos
y sea f: V V una biyeccin tal que:
(u,v) E, si y solo si (f(u),f(v)) E
esta biyeccin se denomina isomorfismo de G a G.
Dos grafos isomorfos pueden ser representados por
figuras aparentemente diferentes.
Dra. Norka Bedregal Alpaca
Isomorfismo de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
V(G)={w, x, y, z}
E(G)={(x,y), (x,z), (x,w), (y,z), (y,w), (w,z)}
V(H)={t, s, v, u}
E(H)={(s,v), (s,u), (s,t), (v,u), (v,t), (t,u)}
f(w)=t, f(x)=s, f(y)=v, f(z)=u
Dra. Norka Bedregal Alpaca
15
Isomorfismo de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Dos grafos NO son isomorfos si:
i) no tienen el mismo nmero de vrtices
ii) no tienen el mismo nmero de aristas
iii) los vrtices no son de mismo grado
iv) el orden de los ciclos no es el mismo
Dra. Norka Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Camino Euleriano:
Recorrer de un solo trazo sin levantar el lpiz del papel
Problema de los puentes de Knisberg (Euler, 1736)
Dra. Norka Bedregal Alpaca
16
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Camino Euleriano:
Es un camino que conecta todas las aristas del grafo, apareciendo
cada una de ellas una sola vez, si sus extremos coinciden se trata de un
ciclo euleriano.
Grafo Euleriano
Es aquel grafo conexo que admite un ciclo euleriano.
LEMA:
1. En un grafo euleriano, todos los vrtices tienen grado par.
2. Hay grafos conexos no eulerianos que admiten camino
euleriano, si dos de sus vrtices tienen grado impar.
Dra. Norka Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Teorema:
Un grafo conexo es euleriano si y slo si cada vrtice tiene grado
par.
LEMA:
Sea H un grafo tal que todo vrtice de H tiene grado par. Si u y v son dos
vrtices de H que son adyacentes entonces existe un circuito g que
contiene la arista (u,v).
Dra. Norka Bedregal Alpaca
17
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos
Teorema:
Sea G= (V, E) un grafo con V ,
G no tiene vrtices aislados y posee un camino euleriano cerrado
G es conexo y todos sus vrtices son de grado par
0 a 1 b 2 g 5 i 8 j 9 0
Ejemplo:
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Las componentes conexas son:
Grafos Eulerianos y Hamiltonianos
Dra. Norka Bedregal Alpaca
18
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos
Teorema:
Sea G= (V, E) un grafo sin vrtices aislados,
G posee un camino euleriano no cerrado
G es conexo y tiene dos vrtices de grado impar
Ejemplo:
a 1 b 0 i 11 c 10 h 5 f 9 b 2 c 3 e 4 f 6 g 7 h 8 i 12 a
i 11 c 10 h 5 f 9 b 2 c 3 e 4 f 6 g 7 h 8 i 12 a 1 b
Dra. Norka Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Camino hamiltoniano:
Es un camino simple que contiene todos los vrtices del grafo sin
repetir ninguno.
Ciclo hamiltoniano:
Es un camino hamiltoniano cerrado.
Grafo Hamiltoniano:
Es un grafo que contiene un ciclo hamiltoniano.
Dra. Norka Bedregal Alpaca
19
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Observaciones:
Todo grafo completo contiene un ciclo hamiltoniano.
Sea G=(V, E) un grafo tal que #(V) 3, si G es hamiltoniano, para
cada subconjunto U de V, el subgrafo de G cuyos vrtices son V-U y
sus aristas son todas las de G que tienen extremos en V-U, tienen a lo
ms #(U) componentes.
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos
Caminos Hamiltonianos (Digrafos)
Para cada digrafo completo existe un camino hamiltoniano
Grafo Completo:
Un digrafo D se dice completo si cada pareja de vrtices distintos
estn unidos por, al menos, un arco.
Dra. Norka Bedregal Alpaca
20
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Caso 1:
Grafos Eulerianos y Hamiltonianos
Caso 2: Existe i
Caso 3:
Dra. Norka Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Observaciones:
Todo grafo completo contiene un ciclo hamiltoniano.
Sea G=(V, E) un grafo tal que #(V) 3, si G es hamiltoniano, para
cada subconjunto U de V, el subgrafo de G cuyos vrtices son V-U y
sus aristas son todas las de G que tienen extremos en V-U, tienen a lo
ms #(U) componentes.
Dra. Norka Bedregal Alpaca
21
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Definiciones:
Sea G=(V, E) un grafo conexo, se llama punto de corte a un vrtice v
de G, de modo que el subconjunto Gv de G con vrtices V-{v} y cuyas
aristas son aquellas de E cuyos vrtices estn en V-{v} no es conexo.
Se llama istmo a una arista a de G de modo que el grafo (V, E-{a}) no
es conexo.
Son puntos de corte: {e, d, c }. La arista: (e,d), es un istmo.
Ejemplo:
Dra. Norka Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Observaciones:
Sea un grafo G=(V, E) que posee k componentes conexas, se
verifica la desigualdad: #(E) (#(V) - k) (#(V) - k+1).
Si G=(V, E) se verifica: #(E) > (#(V) - 1)(#(V) -2). G es grafo
conexo con una componente.
Todo grafo completo es hamiltoniano.
Todo grafo con un punto de corte no es hamiltoniano.
Dra. Norka Bedregal Alpaca
22
Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Para multigrafos:
Si un multigrafo es euleriano, todo vrtice de G tiene grado par.
Si un multigrafo G tiene un camino euleriano no cerrado, entonces
G tiene exactamente dos vrtices con grado impar.
Si todos los vrtices de un multigrafo conexo tienen grado par
entonces dicho multigrafo es euleriano.
Si un multigrafo conexo tiene exactamente dos vrtices con grado
impar, entonces, admite un camino euleriano no cerrado.
Dra. Norka Bedregal Alpaca
Exploracin de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Matriz de adyacencia:
Sea G=(V, E) un grafo con V={v
1
,..., v
n
}.
Se denomina matriz de Adyacencia M= < m
ij
>de orden p x p, a la matriz
cuyas entradas son 1 0 bajo la siguiente ley:
m
ij
= 1 si ( v
i
, v
j
) E.
m
ij
= 0 si ( v
i
. v
j
) E.
Para digrafos:
m
ij
= 1 si ( v
i
, v
j
) E y la orientacin de la arista es vi vj.
m
ij
= 0 si ( v
i
, v
j
) E, o bien, ( v
i
, v
j
) E pero la
orientacin de la arista es vj vi.
Dra. Norka Bedregal Alpaca
23
Exploracin de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
La matriz de adyacencia de un grafo o digrafo, posee toda la
informacin para reconstruir el grafo o digrafo.
(
(
(
(

=
(
(
(
(

=
0 0 1 0
0 0 0 1
0 1 0 0
0 0 1 0
0 0 1 0
0 0 1 1
1 1 0 1
0 1 1 0
B A
Dos grafos con la misma matriz de adyacencia, son isomorfos. Dos
grafos isomorfos pueden tener distinta matriz de adyacencia si se
permutan el orden de los vrtices.
Ejemplo:
AB
Dra. Norka Bedregal Alpaca
Exploracin de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Teorema:
Sea M la matriz de adyacencia de un grafo (digrafo) G con p
vrtices, p>1.
Entonces la entrada (i, j) de la matriz M
n
=M..
n
..M es el nmero de
caminos de caminos de longitud n con extremos v
i
y v
j
(en el caso de
digrafos es el nmero de caminos de longitud n con origen v
i
y fin
v
j
).
Observacin:
Sea M la matriz de adyacencia de un grafo G con p vrtices, p>2.
Sea C = M
p-1
+ M
p-2
+ ... + M, existe un camino entre v
i
y v
j
si y
slo si la entrada en el lugar (i,j) de la matriz C es no nula.
Esto da un criterio para saber si un grafo es conexo.
Dra. Norka Bedregal Alpaca
24
Exploracin de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
SCriterio: Grafo Conexo-matriz de adyacencia
Sea la matriz de adyacencia de un grafo G con p vrtices, p > 2.
Sea C = M
p-1
+ M
p-2
+ ... + M.
El grafo G es conexo, si y solo si, todas las entradas de C son no
nulas.
Ejemplo:
Considere el grafo definido por la siguiente matriz
(
(
(
(

=
0 0 1 0
0 0 1 1
1 1 0 1
0 1 1 0
A
Dra. Norka Bedregal Alpaca
Exploracin de Grafos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
SLuego, la matriz C ser:
A A A C + + =
2 3
En la matriz A
2
aparecen el nmero de caminos de longitud 2
existentes entre los vrtices v
i
, v
j
, por ejemplo, existe 1 camino de
longitud 2 entre los vrtices v
1
, v
3
; y no existe ningn camino de
longitud 2 entre los vrtices v
4
,, v
2
Todas las entradas de la matriz C son no nulas, por lo que el grafo A
es conexo.
(
(
(
(

+
(
(
(
(

+
(
(
(
(

=
0 0 1 0
0 0 1 1
1 1 0 1
0 1 1 0
1 1 0 1
1 2 1 1
0 1 3 1
1 1 1 2
0 1 3 1
1 2 4 3
3 4 2 4
1 3 4 2
C
(
(
(
(

=
1 2 4 2
2 4 6 5
4 6 5 6
2 5 6 4
Dra. Norka Bedregal Alpaca
25
Grafos Etiquetados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafo o Digrafo etiquetado,
Se dice que un grafo o un digrafo es etiquetado si sus aristas tienen
asignado un nmero.
A la etiqueta de una arista a de G se le suele designar longitud de a.
Dado un camino, en un grafo etiquetado, se denomina longitud del
camino a la suma de las etiquetas de las aristas, si todas las
etiquetas son 1, la longitud del camino, en un grafo etiquetado,
coincide con la longitud de un camino en un grafo o digrafo.
Dados dos vrtices de un grafo etiquetado, se denomina distancia
entre tales vrtices, a la suma de los valores de sus aristas, por el
camino de longitud mnima.
Dra. Norka Bedregal Alpaca
Grafos Etiquetados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Ejemplo de grafo etiquetado
Dra. Norka Bedregal Alpaca
26
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Dra. Norka Bedregal Alpaca
Grafos Planos
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
En la representacin grfica, cada vrtice es un punto del plano, y
cada arista es una lnea que une a sus dos vrtices.
Si el dibujo puede efectuarse sin que haya superposicin de lneas, se
dice que G es un grafo plano.
Por ejemplo, el siguiente es un grafo plano:
puesto que es equivalente a este otro:
Dra. Norka Bedregal Alpaca
27
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Mapa
Es una representacin plana (sin cruce de aristas) de un grafo
plano.
Un mapa es conexo, si el grafo que representa es conexo.
Un mapa divide al plano en varias regiones, y su nmero se
representa por # (R )
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Las reas que permanecen conexas cuando las aristas son
eliminadas se
denominan regiones.
Todo grafo plano tiene exactamente una nica regin no acotada
llamada la regin exterior.
Los vrtices y aristas incidentes con una regin R se denominan la
frontera de R.
Grafos Planos
Regin
Exterior
G tiene 5 Regiones.
Observacin:
#v = 8
#e =11
# r =5
#v + # r - #e = 2
Dra. Norka Bedregal Alpaca
28
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Un mapa de K
4
divide al plano en 4 regiones, cada regin en un mapa
est bordeado por un camino cerrado en el grafo.
Un poliedro regular define un mapa del grafo formado por sus vrtices
y sus aristas.
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Grado de una regin
El grado de una regin es la longitud del camino cerrado que la bordea.
Teorema de las regiones
La suma de los grados de las regiones es igual al nmero de aristas
multiplicado por 2.
( ) ( ) E R gr
i
i
# 2 =

Dra. Norka Bedregal Alpaca


29
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Teorema (Frmula de Euler)
Sea M un mapa conexo, con # (R) regiones, que represente al grafo
G=(V, E), entonces:
#(V) - #(E) + #(R) = 2, es decir, #(R) + #(V) = #(E) + 2
Observacin 1
Sea G=(V, E) un grafo plano conexo, con #(V) > 2, entonces
#( E) 3 #(V) - 6
5 vrtices y 10 aristas:
10 > (3*5) - 6= 9 Entonces K
5
no es
plano.
#(V) =4, #(E) = 6
6=(3*4)-6=6 Entonces K
4
es plano.
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Demostracin Teorema de Euler:
Grafos Planos
Se procede por induccin.
Si q=0. Entonces G= K
1
por lo que r=1, p=1,q=0 y 1+1-0=2 se cumple.
Se supone que se cumple para q = k-1.
Sea G un grafo de tamao p con r regiones y se cumple que
p + r k -1=2
Se prueba para un grafo G de k aristas con p vrtices y r regiones.
Si G es un rbol se tiene que q = p-1 y r =1. Entonces p+1-p+1=2 y se cumple.
Si G no es un rbol entonces tiene un ciclo. Se elimina una arista de ese
ciclo con lo que G-e tiene orden p, tamao k-1 y r-1 regiones. Entonces como
q= k-1 se sabe que es cierto y se tiene que:
p + r - 1 (k-1) = 2 o lo que es lo mismo
p + r k = 2 que es lo que se quera probar.
Dra. Norka Bedregal Alpaca
30
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Observacin 2
Sea G=(V, E) un grafo plano conexo, con #(V) > 2 que no contiene
ningn subgrafo isomorfo a K
3
, entonces
#(E) 2 #(V) - 4.
Todo grafo completo K
r
, con r > 2 tiene un subgrafo isomorfo con
K
3
.
6 vrtices y 9 aristas:
9 > 2*6 - 4
Entonces K
3,3
no es plano.
Observacin 3
Los nicos grafos completos planos son los K
n
para n={1, 2, 3, 4}.
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Definicin:
Un grafo plano se dice maximal si para cualquier par de vrtices u, v no
adyacentes de G, el grafo G + (u, v) no es plano.
Teorema: Si G es plano maximal (v, e) con v 3. Entonces e = 3v - 6.
Si se dibuja G de forma que sea un mapa con r regiones entonces cada
regin es un triangulo. Si no:
Si se suman todas las aristas de todos los tringulos de forma independiente,
se tendra 3r. Como cada arista toca dos regiones, este numero seria 2e.
Es decir 3r =2e r = 2e/3.
Por el teorema de Euler:
v e + r = 2 => v = e r + 2 => v = e 2e/3 + 2 => v = e/3 + 2
=> e = 3v - 6 Dra. Norka Bedregal Alpaca
31
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Consecuencia: Si G es plano (v, e) con p 3. Entonces e 3v - 6.
Si G es maximal, entonces por el teorema anterior e = 3v-6.
Si no es maximal, se aade aristas hasta que sea maximal plano (v,e).
Entonces v = v e < e. Con lo que e < e = 3 v- 6 = 3v - 6.
Teorema: Todo grafo plano tiene un vrtice de grado 5 o menos
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Subdivisin elemental de un grafo:
Una subdivisin elemental de un grafo G es otro grafo, donde se
sustituye una arista por un nuevo vrtice unido a los extremos de
la arista suprimida por dos nuevas aristas.
En un mapa se trata de aadir un vrtice sobre el interior de
una arista existente.
Una subdivisin de un grafo G es el grafo obtenido efectuando
un nmero finito (puede ser 0) de subdivisiones elementales
sucesivas.
Dra. Norka Bedregal Alpaca
32
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Teorema de Kuratowski
Un grafo G es plano si y solo si, no contiene subgrafos que sean
isomorfos a una subdivisin de K5, o K3,3.
Dra. Norka Bedregal Alpaca
33
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Algoritmo para ver si un grafo es plano:
1.- Encontrar un ciclo que contenga todos los vrtices del grafo
2.-Dibujar las aristas que no han sido usadas dentro y fuera del grafo
sin que se intersecten.
Ejemplo:
a
e
b
f g
c d
h
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
a
e
b
f g
c d
h
a f c h
d g b e
Dra. Norka Bedregal Alpaca
34
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
a
e
b
f g
c d
h
a
f c
h
d g b e
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Ejemplo:
Plano
No Plano
Dra. Norka Bedregal Alpaca
35
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Planos
Pseudomultigrafo dual ( G
M
)
El pseudomultigrafo dual G
M
de un mapa M se construye de la
siguiente forma:
1. En medio de cada regin del mapa se pone un vrtice, es decir,
cada regin se sustituye por un vrtice.
2. Cada vrtice se une con una arista a otro vrtice de las regiones
adyacentes. Dos regiones de un mapa son adyacentes si los
caminos que las bordean tienen una arista en comn
3. Los vrtices y las aristas antiguas se eliminan.
Dra. Norka Bedregal Alpaca
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Grafos Coloreados
Len
Hurn Conejo
Hmster
Tigre
Len Tigre
Hmster
Conejo
Hurn
Dra. Norka Bedregal Alpaca
36
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Una coloracin de un grafo G es una asignacin de colores (o nmeros)
a los vrtices de G de forma que vrtices adyacentes tenga distintos
colores.
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Coloracin
Es una aplicacin que asigna colores distintos a regiones
adyacentes.
Si se transforma un grafo en un pseudomultigrafo dual resulta que
la coloracin asigna colores distintos a dos vrtices que estn
unidos por una arista.
Grafo Coloreado
Sea G=(V, E) un grafo y C={1, 2, ..., k} un conjunto de k colores.
Una coloreamiento con k colores del grafo G es un aplicacin
: V C
de modo que si u, v V y (u ,v) E, entonces (u) (v)
Luego se dice que G es un grafo coloreado
Dra. Norka Bedregal Alpaca
37
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Observacin
Todo grafo plano admite una coloracin con cuatro colores.
Grafo Bipartito
Es el grafo cuyo mapa admite un coloreamiento con dos colores.
Un grafo es bipartito, si y solo si, no tiene ciclos con longitud impar.
El grafo anterior es bipartito, en cambio K
4
no es bipartito, no admite un
coloreamiento con dos colores.
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Nmero cromtico de un grafo X(G)
Es el menor nmero natural k tal que existe un coloreamiento con k colores
Teorema de los cinco colores:
Cinco colores son suficientes para colorear todo mapa plano.
Dra. Norka Bedregal Alpaca
38
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Algoritmo de coloracin : no necesariamente usa el menor numero de
colores
1. i=1
2. c=1
Mientras i < # vrtices
contador = 0
Mientras contador =/= 0
-Ordenar los colores adyacentes a v
i
en orden no
decreciente y formar la lista L
i .
-Si c no aparece en L
i
asignar c a v
i
y hacer
contador = 1
si no c = c+1
i=i+1
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
L
1
= v
5
(0) v
7
(0)
i=1, c=1
(0)
(0)
(0)
(0)
(0)
(0) (1)
(0)
(0)
Dra. Norka Bedregal Alpaca
39
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(0)
(0)
(0)
(0)
(1)
(0)
(0)
L
2
= v
3
(0) v
4
(0) v
8
(0)
i=2, c=1
(1)
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(0)
(0)
(0)
(0)
(1)
(0)
L
3
= v
2
(1) v
6
(0)
i=3, c=1
(1)
i=3, c=2
(2)
Dra. Norka Bedregal Alpaca
40
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(0)
(0)
(0)
(1)
(0)
L
4
= v
2
(1) v
5
(0) v
6
(0)
i=4, c=2
(1)
(2)
(2)
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(0)
(0)
(1)
(0)
L
5
= v
1
(1) v
4
(2) v
8
(0)
i=5, c=2
(1)
(2)
(2)
i=5, c=3
(3)
Dra. Norka Bedregal Alpaca
41
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(0)
(1)
(0)
L
6
= v
2
(1) v
3
(2) v
4
(2)
(1)
(2)
(2)
i=6, c=3
(3)
(3)
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(0)
(1)
(0)
L
7
= v
1
(1) v
8
(0)
(1)
(2)
(2)
(3)
(3)
i=7, c=3
(3)
Dra. Norka Bedregal Alpaca
42
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
v
1
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(1)
(0)
L
8
= v
2
(1) v
5
(3) v
7
(3)
(1)
(2)
(2)
(3)
(3)
i=8, c=3
(3)
i=8, c=3
(4)
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Ejemplo:
v
7
v
8
v
2
v
5
v
4
v
6
v
3
v
1
Dra. Norka Bedregal Alpaca
43
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
Solucin
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(3)
(2)
(3)
(2)
(3)
(1)
v
1
(1)
(4)
Una mejor solucin
v
7
v
8
v
2
v
5
v
4
v
6
v
3
(1)
(2)
(1)
(2)
(1)
(2)
v
1
(1)
(2)
Dra. Norka Bedregal Alpaca
Grafos Coloreados
G
R
A
F
O
S

-
D
I
G
R
A
F
O
S
FIN