Sunteți pe pagina 1din 44

DISCRETAS II

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.

V={v1, v2, v3}


E={(v1,v2), (v2,v3), (v2,v3), (v1,v3), (v1,v3)}
Pseudografo: tiene aristas cuyos extremos coinciden (origen y fin en
el mismo vrtice), tales aristas se denominan lazos.

V={v1, v2, v3}


E={(v1,v1), (v1,v2), (v2,v2), (v1,v3)}
7
Dra. Norka Bedregal Alpaca

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.

V={v1, v2, v3}


E={(v1,v2), (v2,v3), (v3,v1)}

8
Dra. Norka Bedregal Alpaca

Definiciones: Grafos

Tipos de
de Grafos
Grafos
Tipos

La figura proporciona un ejemplo de un grafo dirigido sobre V= {a,


b, c, d, e} con E= {(a, a), (a, b), (a, d), (b, c)}.
En general si no se especifica que un grafo G es dirigido o no,
supondremos que es no dirigido.
9
Dra. Norka Bedregal Alpaca

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

Qu tipo de subestructura nos sirve para analizar un grafo?


Es posible trazar dos grafos que parezcan distintos pero que tengan la
misma estructura subyacente?
Definicin
Si G = (V, E) es un grafo (dirigido o no), entonces G1 = (V1, E1) es un
subgrafo de G si
V1 V y E1 E,
donde cada arista de E1 es incidente con los vrtices de V1.

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.

G es un subgrafo de G, al suprimir el vrtice x y las aristas que


llegan a l.

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.

Los subgrafos G3 y G4 son subgrafos recubridores del grafo G en la parte a)


de la figura anterior. Los grafos dirigidos G y G son dos grafos
recubridores de G en la parte b).
14
Dra. Norka Bedregal Alpaca

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

Para los subgrafos de la figura, se ve que G2 es un subgrafo


inducido de G pero el subgrafo G1 no es un subgrafo inducido ya
que no aparece la arista {a, d}.
16
Dra. Norka Bedregal Alpaca

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.

Los grafos G, G son grafos 3-regular y 2-regular.


La regularidad de grafos se conserva por isomorfismo.

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).

En a) aparece un grafo no dirigido de cuatro vrtices.


Su complementario se muestra en la parte b).
En el complementario el vrtice a est aislado.

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

1 cuando el arco e j es incidente a vi .

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

Matriz de incidencia para K5.

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

Longitud del camino


La longitud de un camino es n, el nmero de aristas que hay en el
camino (Si n = 0, no existen aristas, x = y, y el camino se denomina
trivial).
Camino cerrado
Cualquier camino x-y donde x = y (y n > 1) es un camino cerrado o
ciclo. En caso contrario, el camino es abierto.

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

En el grafo de la figura se cumple:


Es K4 completo
{ x, y, w, z, y } es un camino
{ x, y, w } es un camino simple
{ x, y, w, z, x } es un ciclo
30
Dra. Norka Bedregal Alpaca

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:

Son puntos de corte: {e, d, c }. La arista: (e,d), es33un istmo.


Dra. Norka Bedregal Alpaca

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

Un grafo es conexo si y slo si tiene solamente una componente.

Por lo tanto, un grafo no dirigido G = (V, E) es disconexo si y slo si


V puede separarse en al menos dos subconjuntos V1, V2 tales que no
haya una arista en E de la forma {x, y} donde xV1 e yV2.
Definicin Para cualquier grafo G = (V, E), el nmero de
componentes de G se denota con (G).
35
Dra. Norka Bedregal Alpaca

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).

Mtodo para determinar si un grafo es conexo


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 An-1
Si todos sus elementos son 0, el grafo es conexo.

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.

Cuando existe tal funcin, G1 y G2 son grafos isomorfos.

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)}

f(w)=t, f(x)=s, f(y)=v, f(z)=u


38
Dra. Norka Bedregal Alpaca

Isomorfismo de
de Grafos
Grafos
Isomorfismo

Definiciones: Grafos

Ejemplo:

Para los grafos de las partes a) y b) de la figura, la funcin f


definida por
f(a)=w, f(b)=x, f(c)=y,

f(d)=z

da como resultado un isomorfismo.


(De hecho cualquier correspondencia uno a uno entre {a, b, c, d} y
{w, x, y, z} ser un isomorfismo, ya que ambos grafos son
completos).
En consecuencia en lo que se refiere a la estructura estos grafos se
consideran iguales, cada uno es isomorfo al grafo 39
K 4.
Dra. Norka Bedregal Alpaca

Isomorfismo de
de Grafos
Grafos
Isomorfismo

Definiciones: Grafos

Ejemplo:

Para los grafos c) y d) de la figura se necesita un poco ms de


cuidado. La funcin g definida por:
g(m)=r, g(n)=s, g(p)=t, g(q)=u
es uno a uno y sobre.
Sin embargo, aunque {m, q} es una arista del grafo de la parte c),
{ g(m), g(q)} = {r, u} no es una arista del grafo de la parte d).
En consecuencia, la funcin g no define un isomorfismo de grafos.
40
Dra. Norka Bedregal Alpaca

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

S-ar putea să vă placă și