Documente Academic
Documente Profesional
Documente Cultură
ESTRUCTURAS
Estructuras
Discretas II
Introduccin a la
Teora de Grafos
Dra. Norka Bedregal Alpaca
1
Definiciones: Grafos
Grafos
Grafos
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)
2
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafos
Grafos
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:
3
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Definicin: Grafo
Grafo
Definicin:
Los grafos de manera general pueden ser considerados
diagramas o dibujos, de manera formal como un par de
conjuntos.
Definicin: Grafo
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={v1, v2,..., vn}
E={(vi,vj); ( vn,,vm), ...}
4
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Definicin: Grafo
Grafo
Definicin:
5
Dra. Norka Bedregal Alpaca
GRAFOS - DIGRAFOS
Definicin: Grafo
Grafo
Definicin:
Vrtices Adyacentes:
Dos vrtices vi, vj son adyacentes si son los extremos de una arista, es
decir, si el par de vrtices (vi, vj) es un elemento de E.
V={v1, v2, v3}
E={(v1,v2), (v2,v3), (v1,v3)}
6
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Otros Tipos
Tipos de
de Grafos
Grafos
Otros
Multigrafo: es un grafo con varias aristas entre dos vrtices.
Definiciones: Grafos
Tipos de
de Grafos
Grafos
Tipos
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.
8
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Tipos de
de Grafos
Grafos
Tipos
Definiciones: Grafos
Otra Definicin:
Definicin: Grafo
Grafo
Otra
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.
10
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grado de
de un
un vrtice
vrtice
Grado
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
11
Dra. Norka Bedregal Alpaca
Subgrafo
Subgrafo
Definiciones: Grafos
12
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Subgrafo
Subgrafo
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.
13
Dra. Norka Bedregal Alpaca
Subgrafo Recubridor
Recubridor
Subgrafo
Definiciones: Grafos
Definicin
Dado un grafo (dirigido o no) G = (V, E), sea G1=(V1, E1) un subgrafo de G.
Si V1 = V, entonces G1 es un subgrafo recubridor de G.
Subgrafo Inducido
Inducido
Subgrafo
Definiciones: Grafos
Definicin
Sea G = (V, E) un grafo (dirigido o no). Si U V, el subgrafo de
G inducido por U es el subgrafo cuyo conjunto de vrtices es U y
que contiene todas las aristas (de G) de la forma:
1) (x, y), para x, y U, si G es dirigido o;
2) {x, y} para x, y U, si G no es dirigido
Se denota a este subgrafo como U.
Un subgrafo G de un grafo G = (V, E) es un subgrafo inducido si
existe U V tal que G = U.
15
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Subgrafo Inducido
Inducido
Subgrafo
Subgrafo Inducido
Inducido
Subgrafo
Definiciones: Grafos
EJEMPLO
Sea G el grafo de la figura.
Los subgrafos G1 y G2 de la figura son inducidos.
G1=U1 para U1 ={b, c, d, e}.
G2=U2 para U2={a, b, e, f}.
G3 no es un subgrafo inducido; los vrtices c, e estn en
G3, pero la arista {c, e} de (G) no est presente.
17
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafo Regular
Regular
Grafo
Un grafo es regular si todos los vrtices tienen el mismo grado, si
dicho grado es k, el grafo se denominar k-regular.
18
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafo Completo
Completo
Grafo
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 Kn, para n mayor o igual a tres, mediante los
vrtices de un polgono regular Pn de n lados siendo las aristas de Kn
los lados y todas las diagonales de Pn.
19
Dra. Norka Bedregal Alpaca
Grafo Complementario
Complementario
Grafo
Definiciones: Grafos
Definicin
Sea G un grafo no dirigido sin lazos con n vrtices. El complementario de G,
( G ) es el subgrafo de Kn formado por los n vrtices de G y todas las aristas
que no estn en G.
(Si G = Kn, es un grafo con n vrtices y ninguna arista. A este grafo se le
llama grafo nulo).
20
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafo Bipartito
Bipartito
Grafo
Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos
de modo que no haya adyacencias entre vrtices pertenecientes al
mismo conjunto
21
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Ejemplos de
de Grafos
Grafos
Ejemplos
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 Km,n donde m, n es el grado de
cada conjunto disjunto de vrtices.
En la figura se tienen los grafos K1,2, K3,3, y K2,5
22
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Matrices de
de Representacin
Representacin de
de un
un Grafo
Grafo
Matrices
Matriz de Adyacencia
Un grafo simple G = (V, E) con n nodos
Puede ser representado por su matriz de adyacencia A.
1 si {vi , v j } es un arco de G.
aij
0 en otro caso.
23
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Matrices de
de Representacin
Representacin de
de un
un Grafo
Grafo
Matrices
Matriz de adyacencia para K5.
a b c d e f
c
d
f
a
e
K5
e
f
24
Dra. Norka Bedregal Alpaca
Matrices de
de Representacin
Representacin de
de un
un Grafo
Grafo
Matrices
Definiciones: Grafos
Matriz de Incidencia
Sea G=(V, E) un grafo no dirigido. Suponga que v1,v2,vn son los
nodos y e1,e2,,em son los arcos de G.
La matriz de incidencia con respecto a este ordenamiento de V y E
es la matriz de orden nxm
mij
0 en otro caso.
25
Dra. Norka Bedregal Alpaca
Matrices de
de Representacin
Representacin de
de un
un Grafo
Grafo
Matrices
c
Definiciones: Grafos
e2
b
e1
e1
a
e2
e3
e4
e5 e6 e7 e8 e9 e10
e7
a
e3
e8
f e9
e6 e10
e5
d
e4
e
26
Dra. Norka Bedregal Alpaca
Caminos en
en un
un Grafo
Grafo
Caminos
Definiciones: Grafos
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.
{ v0 , (v0,v1), v1, (v1,v2) ,..., vn-1, (vn-1,vn) , vn }
A v0 y vn se les denomina extremos del camino.
Si x, y son vrtices (no necesariamente distintos) de un grafo no
dirigido G = (V, E). Un camino x-y en G es una sucesin alternada
finita (sin lazos)
x= x0, e1, x1, e2, x2, e3,...,en-1, xn-1, en, xn=y
de vrtices y aristas de G, que comienza en el vrtice x y termina en
el vrtice y y que contiene las n aristas
ei={xi-1, xi} donde 1in.
27
Dra. Norka Bedregal Alpaca
Caminos en
en un
un Grafo
Grafo
Caminos
Definiciones: Grafos
28
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Caminos en
en un
un Grafo
Grafo
Caminos
Definicin
Consideremos un camino x-y en un grafo no dirigido G = (V, E).
a) Si no se repite alguna arista en el camino x-y, entonces el camino
es un recorrido o camino elemental x-y.
b) Cuando ningn vrtice del camino x-y se presenta ms de una
vez, el camino es un camino simple x-y. El trmino ciclo se usa para
describir el camino simple cerrado.
29
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Caminos en
en un
un Grafo
Grafo
Caminos
x
Caminos en
en un
un Grafo
Grafo
Caminos
Definiciones: Grafos
Teorema
Sea G = (V, E) un grafo no dirigido, con a, b V, ab. Si existe un
camino elemental de a a b, entonces existe un camino simple de a a
b.
Demostracin.
Como hay al menos un camino elemental de a a b, se selecciona el
que tenga la longitud ms corta, digamos {a,x1},{x1,x2},...,{xn,b}.
Si este camino no es un camino simple, se tiene la situacin
{a,x1},{x1,x2},...,{xk-1,xk},{xk,xk+1},{xk+1,xk+2},...,
{xm-1,xm},{xm,xm+1},...,{xn,b},
donde k<m y xk=xm, posiblemente con k=0 y a(=x0)=xm, o m=n+1 y
xk=b(=xn+1). Pero entonces
{a,x1},{x1,x2},...,{xk-1,xk},{xm,xm+1},...,{xn,b}
es un camino elemental simple ms corto de a a b. 31
Dra. Norka Bedregal Alpaca
Grafo Conexo
Conexo
Grafo
Definiciones: Grafos
Definicin
Sea G = (V, E) un grafo no dirigido. Decimos que G es conexo si
existe un camino entre dos vrtices cualesquiera distintos de G.
Si e grafo G es dirigido y existe por lo menos un camino entre dos
vrtices cualesquiera entonces se dice que el grafo G es
fuertemente conexo.
Sin un grafo no cumple con las condiciones anteriores se dice que
es disconexo o no-conexo.
Arista de Separacin
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
32
Dra. Norka Bedregal Alpaca
Conectividad en
en Grafos
Grafos
Conectividad
Definiciones: Grafos
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.
Ejemplo:
Definiciones: Grafos
Conectividad en
en Grafos
Grafos
Conectividad
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.
34
Dra. Norka Bedregal Alpaca
Caminos en
en un
un Grafo
Grafo
Caminos
Definiciones: Grafos
Caminos en
en un
un Grafo
Grafo
Caminos
Definiciones: Grafos
Definicin
Para cualquier grafo G = (V, E), el nmero de componentes de G se
denota con (G).
36
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Isomorfismo de
de Grafos
Grafos
Isomorfismo
Definicin
Sean G1=(V1, E1) y G2=(V2, E2) dos grafos no dirigidos.
Una funcin f: V1 V2 es un isomorfismo de grafos si:
1) f es biyectiva
2) a, b V1, {a, b} E1 si y slo si {f(a), f(b)} E2.
37
Dra. Norka Bedregal Alpaca
Isomorfismo de
de Grafos
Grafos
Isomorfismo
Definiciones: Grafos
Ejemplo:
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)}
Isomorfismo de
de Grafos
Grafos
Isomorfismo
Definiciones: Grafos
Ejemplo:
f(d)=z
Isomorfismo de
de Grafos
Grafos
Isomorfismo
Definiciones: Grafos
Ejemplo:
Isomorfismo de
de Grafos
Grafos
Isomorfismo
Definiciones: Grafos
Ejercicio:
Determine si los grafos de la figura son isomorfos
41
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafo Etiquetado
Etiquetado
Grafo
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.
42
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Grafo Etiquetado
Etiquetado
Grafo
Ejemplo de grafo etiquetado
43
Dra. Norka Bedregal Alpaca
Definiciones: Grafos
Fin
Fin
44
Dra. Norka Bedregal Alpaca