1

E
S
T
R
U
C
T
U
R
A
S




D
I
S
C
R
E
T
A
S

I
I
E
S
T
R
U
C
T
U
R
A
S




D
I
S
C
R
E
T
A
S

I
I
E
S
T
R
U
C
T
U
R
A
S




D
I
S
C
R
E
T
A
S

I
I
Definicin: Grafo Definicin: Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
2
Definicin: Grafo Definicin: Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Definicin: Grafo 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

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Dra. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Definicin: Grafo 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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
4
Tipos de Grafos Tipos de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Tipos de Grafos Tipos de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
5
Otra Definicin: Grafo Otra Definicin: Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grado de un vrtice Grado de un vrtice
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
6
Subgrafo Subgrafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
SSea 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafo Regular Grafo Regular
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Los grafos G, G son grafos 3-regular y 2-regular.
La regularidad de grafos se conserva por isomorfismo.
7
Grafo Completo Grafo Completo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafo Completo Grafo Completo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
8
Teorema: Suma de los Grados Teorema: Suma de los Grados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafo Bipartito Grafo Bipartito
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Dra. Dra. Norka Norka Bedregal Alpaca 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 Ejemplos de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Dra. Dra. Norka Norka Bedregal Alpaca 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 Matrices de Representacin de un Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Matriz de Adyacencia
Dra. Dra. Norka Norka Bedregal Alpaca 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 Matrices de Representacin de un Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Matriz de Incidencia
Dra. Dra. Norka Norka Bedregal Alpaca 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 Matrices de Representacin de un Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Dra. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Matriz de incidencia para K
5
.
ddd
aaa
bbb
ccc
eee aaa
ccc
eee
fff
eee
222
eee
111
eee
333
eee
444
eee
555
eee
888
eee
777
eee
666
eee
10 10 10
eee
999
a a a 111 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0
bbb 111 111 0 0 0 0 0 0 0 0 0 0 0 0 111 0 0 0 0 0 0 0 0 0
ccc 0 0 0 111 111 0 0 0 0 0 0 0 0 0 0 0 0 111 0 0 0 0 0 0
ddd 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 111 000
eee 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 111
fff 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
eee
111
eee
222
eee
333
eee
444
eee
555
eee
6 6 6
eee
7 7 7
eee
8 8 8
eee
999
eee
10 10 10
Caminos en un Grafo Caminos en un Grafo
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
12
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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 Caminos en un Grafo
Dra. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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 Grafo Conexo
Dra. Dra. Norka Norka Bedregal Alpaca 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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafo Conexo Grafo Conexo
Dra. Dra. Norka Norka Bedregal Alpaca 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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Caminos en un Grafo 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
14
Isomorfismo de Grafos Isomorfismo de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Isomorfismo de Grafos Isomorfismo de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
15
Isomorfismo de Grafos Isomorfismo de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
16
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
17
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
19
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Eulerianos y Hamiltonianos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
20
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
21
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
22
Grafos Eulerianos y Hamiltonianos Grafos Eulerianos y Hamiltonianos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Exploracin de Grafos Exploracin de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
23
Exploracin de Grafos Exploracin de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Exploracin de Grafos Exploracin de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
24
Exploracin de Grafos Exploracin de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Exploracin de Grafos Exploracin de Grafos
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
25
Grafos Etiquetados Grafos Etiquetados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Etiquetados Grafos Etiquetados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
27
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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 Grafos Planos
Regin
Exterior
G tiene 5 Regiones.
Observacin:
#v = 8
#e =11
# r =5
#v + # r - #e = 2
Dra. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
28
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca

29
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Demostracin Teorema de Euler:
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
30
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
31
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
32
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
33
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
Grafos Planos 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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

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

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
37
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
38
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
39
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
40
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
41
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
42
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
43
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
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. Dra. Norka Norka Bedregal Alpaca Bedregal Alpaca
Grafos Coloreados Grafos Coloreados
G
R
A
F
O
S

G
R
A
F
O
S

G
R
A
F
O
S

---
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
D
I
G
R
A
F
O
S
FIN