Sie sind auf Seite 1von 63

Teora de Grafos

Matemticas Discretas: Daniel A. Quinto Pazce


Semestre 2013 -I
1 Matematicas Discretas -
Daniel A. Quinto Pazce
Concepto Grafo:
Un grafo G=(V,A, ) es una estructura 3-tuple
formado por un conjunto de vertices y aristas
donde:
V = {Conjunto de vrtices o nodos} V ={v
1
,,v
n
}
A = {Conjunto de aristas o arcos} A = {e
1
,,e
m
}
=funcin incidencia
Grafos Dirigidos: Grafos no Dirigidos:
G:
b
c

a
2 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo:
3 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafos
4 Matematicas Discretas -
Daniel A. Quinto Pazce
Funcin de incidencia

V*V
= funcin de incidencia

: A

a -
Arista funcin
i
( ) = a a
1 1 1 2
2 2 2 3
3 3 3 4
n 1
( ) (a ) ( . )
( ) (a ) ( . )
( ) (a ) ( . )

( ) (a ) ( . )
n n n
a v v
a v v
a v v
a v v

+
=
=
=
=

5 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafos Dirigidos: Cuando todas las
aristas tienen una orientacin
LAZO o bucle: arista que une a un vrtice consigo
mismo
G:
b
c

= conjunto de nodos de arcos que salen


= conjunto de nodos de aristas que entran
+
I

I
a
6 Matematicas Discretas -
Daniel A. Quinto Pazce
a
b
entrada
=2
loop
Entran
salen
1 2
3
(Nodo ) fuente
(Nodo) sumidero o pozo
G:
En cualquier grafo dirigido sin bucles
puede existir o no los nodos llamados:
FUENTE Y SUMIDERO o pozo
las aristas son relaciones muchos a muchos entre nodos...
7 Matematicas Discretas -
Daniel A. Quinto Pazce
A
B
C
D
X1
X5
X7
X2
X3
X4
X6
X9
X8
X10
Ejemplo:
V = { A , B ,C , D } nodos
A = { (A,B) , (A,C) , (A,D) , (B,A) , (B,D) , (C,A) , (C,D) , (D,A) , (D,B) , (D,C)} aristas
Arcos = A={x1,x2,x3,x4,x5,x6,x7,x8,x9,x10}
:
NODOS
ARCOS O ARISTAS
8 Matematicas Discretas -
Daniel A. Quinto Pazce
.
.
.
.
.
.
Grafos no Dirigidos: Cuando todas las
aristas no tienen una orientacin
G:
1 2
3 4
9 Matematicas Discretas -
Daniel A. Quinto Pazce
G:
a b
c d
En cualquier grafo no
dirigido sin bucles se
cumple:
#arcos =
( n = #nodos ),
2
1) - n(n
G:
G:
10 Matematicas Discretas -
Daniel A. Quinto Pazce
CONJUNTO de Vrtices Sucesores
{ }
( ) /( , ) Xi Vj V Vi Vj A
+
I = e e
Conjunto de Vrtices Predecesores
{ }
( ) /( , ) Xi Vj V Vj Vi A

I = e e
EN GRAFOS DIRIGIDOS
11 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejemplo:
Conjunto de Vrtices Sucesores
(B) = {C, D}
Conjunto de Vrtices Predecesores
(B) = {C, D, E , F}
+
I

I
12 Matematicas Discretas -
Daniel A. Quinto Pazce
Grado o Valencia de un Vrtice:
Grado Interior :Nmero de aristas que entran
| ) ( | ) ( Xi Xi d

I =
Grado Exterior : Nmero de aristas que salen
| ) ( | ) ( Xi Xi d
+ +
I =
Grado de un Vrtice: Nmero de arcos que inciden en l.
) ( ) ( ) ( Xi d Xi d Xi d
+
+ =
Teorema de Euler:
En todo grafo la suma de los grados de los vrtices es igual a dos veces el
nmero de aristas
( ) 2| | d Xi A =

13 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejemplo:
) ( Xi d
+
) ( Xi d

) (
1
X d
+
) (
1
X d

18 ) ( =

Xi d
) (
1
X d
) (
2
X d
+
) (
2
X d

) (
2
X d
) (
3
X d
+
) (
3
*
X d

) (
3
X d
) (
4
X d
+
) (
4
X d

) (
4
X d
=3 =2 =5
=2 =4 =6
=2 =1 =3
=1 =3 =4
) (Xi d
loop X d
i
= ) (
*
i
d(X ) 18
( ) 1 ( ) 1
i i
propiedades
Max d X V Min d X V
+
=
= = +

14 Matematicas Discretas -
Daniel A. Quinto Pazce
Teorema:
4
1
( ) 2( ) verificando
18 2(9)
18 18_
i
d Xi A
cumple
=
=
=
=

Ejercicio:
Dada la tabla encontrar el grafo
) ( Xi d
+
) ( Xi d

) (Xi d
) (
1
X d
+
) (
1
X d

) (
1
X d
) (
2
X d
+
) (
2
X d

) (
2
X d
) (
3
X d
+
) (
3
*
X d

) (
3
X d
=2 =2 =4
=2 =2 =4
=1 =1 =2
Salen entran
2,3 2
1,3 1,2,3
2 1,2,3
15 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejercicio: generar el grafo dirigido
) ( Xi d
+
) ( Xi d

) (Xi d
) (
1
x
) (
4
x
) (
2
x
) (
5
x
) (
3
x
=3
=2 =5
=2
=2 =4
=3
=3 =6
=2
=2 = 4
=1
=2 =3
Salen entran
3,2,5 2,4
1,3 1,3
4,2,5 1,2,4
3,1 3,5
4 1,3
16 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafos Etiquetados o Ponderado:
Un grafo G es etiquetado si cada vrtice y aristas estn asociados con cierta
informacin. Las aristas son asignadas: pesos, costos, tiempos, longitudes.
Los nodos son asignados: lugares o ciudades.
X = {ciudades}
W= {costos}
17 Matematicas Discretas -
Daniel A. Quinto Pazce
Camino:
Es una secuencia de arcos, tales que el vrtice extremo de cada
arco es a su vez origen del siguiente arco, excepto el ltimo
Ejemplo:
Camino (X1, X4) =(X1,U1,X2,U3,X3,U5,X2,U4,X4)
= U1.U3,U5,U4
18 Matematicas Discretas -
Daniel A. Quinto Pazce
Camino Simple:
Es el conjunto de aristas que no incluyen dos veces la misma arista (todos
sus arcos son distintos). Todos los V. son = (excepto el 1 y el U =)
Camino Elemental:
Es el conjunto de aristas, que no incluyen el mismo vrtices dos veces
O cuando no utiliza un mismo vrtice dos veces
Por tanto todo camino elemental es simple y el recproco no es cierto.
Circuito:
Es el camino cerrado donde el vrtice inicial y final coinciden. En grafos
no dirigidos las aristas deben ser diferentes.
Circuito Simple:
Es un camino simple cerrado, o cuando todos los arcos que lo
forman son distintos
Circuito Elemental:
Es un camino elemental cerrado, o cuando todos los vrtices
que lo forman son distintos.
19 Matematicas Discretas -
Daniel A. Quinto Pazce
LONGITUD DE UN CAMINO
Es el nmero de aristas que contiene un camino.
Longitud = numero de nodos - 1
Camino(X1,X4) = (X1,X2),(X2,X3),(X3,X2),(X2,X4)
Longitud (X1,X4) = 4
20 Matematicas Discretas -
Daniel A. Quinto Pazce
Vrtices (Nodos) Adyacentes:
Si existe una arista que los une. Todos los nodos unidos a X1,
mediante una arista U1
Aristas adyacentes
Si comparten un vrtice comn
21 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo Completo
Cuando cada par de vrtices est unido por una arista. Cada vrtice
esta unido con todos los dems. Grafo completo con n vrtices: Kn.
G:
N (aristas)= n(n-1); donde n: nmero de nodos.
G:
N(aristas)= (n(n-1))/2
22 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo Conexo:
Si hay un camino entre cualquier par de vrtices.
para cualquier par de vrtices existe al menos un camino que los
une
G:
23 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo fuertemente conexo:
Cuando para cada vrtice existe un camino simple que los une.
Se exige la presencia del bucle en cada nodo.
La matriz cuadrada tiene por elementos la unidad.
3 3
1 1 1
1 1 1
1 1 1
x
M
(
(
(

=
24 Matematicas Discretas -
Daniel A. Quinto Pazce
Camino Hamiltoniano:
En un grafo conexo, que posee un camino cerrado: es un camino
Hamiltoniano cuando contiene exactamente una vez a todos y a cada
uno de los vrtices o que incluye a todos los vrtices.
CIRCUITO HAMILTONIANO
Un circuito elemental que incluye a todos los
vrtices de un grafo
25 Matematicas Discretas -
Daniel A. Quinto Pazce
Camino Hamiltoniano:
1
2
3
5
4
6
26 Matematicas Discretas -
Daniel A. Quinto Pazce
Camino Euleriano:
Cuando contiene exactamente una vez a todos y a cada uno de las
arcos, y tiene valencia par. O si es simple y adems contiene a todos
los arcos del grafo.
G :
27 Matematicas Discretas -
Daniel A. Quinto Pazce
Circuitos de Euler.
Ejemplo.
Paso 1. Ciclo: (1, 2, 5, 7, 6, 3, 1)
Paso 2. Ciclo: (2, 3, 4, 2)
Paso 3. Ciclo: (1, 2, 3, 4, 2, 5, 7, 6, 3, 1)
Paso 2. Ciclo: (4, 5, 6, 4)
Paso 3. Ciclo: (1, 2, 3, 4, 5, 6, 4, 2, 5, 7, 6, 3, 1)
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
28 Matematicas Discretas -
Daniel A. Quinto Pazce
Circuito Euleriano:
Cuando el grafo es conexo y todos los vrtices tienen valencia par de
camino cerrado
29 Matematicas Discretas -
Daniel A. Quinto Pazce
Subgrafo:
Dado un grafo G, un Subgrafo G de un grafo G es el grafo G=(V.A)
que cumple:
Cada arista en G es incidente de G
i) V_V , V = 0
ii) A_A , A = 0
III) Las incidencias se conservan en G.
30 Matematicas Discretas -
Daniel A. Quinto Pazce
En general se obtienen muchos subgrafos
) 1 (
2
1
0
2 #

=

|
|
.
|

\
|
=
k k
n
k
k
n
subgraf os
31 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejemplo: Caso de un Grafo no dirigido
18 ) ( # 18 8 6 3 1
2
3
3
2
2
3
2
1
3
2
0
3
2
3
3 1 0 0
) 1 (
2
1
3
0
= > = + + + =
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|

=

subgraf os
k
k k
k
32 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo Isomorfo:
Dos grafos G y G son isomorfos si existe una correspondencia biunivoca
uno a uno entre sus vrtices y aristas de modo que las incidencias se
conservan
33 Matematicas Discretas -
Daniel A. Quinto Pazce
Grafo Isomorfo de grafo no dirigido:
34 Matematicas Discretas -
Daniel A. Quinto Pazce
Producto de grafos:
Sea el grafo G(N ,A) y el grafo G(N , A), el producto de grafos es otro grafo G=(Z,W)
n(arcos)=n(A) x n(A)
n(nodos)=n(N) x n(N)
Ejemplo:
35 Matematicas Discretas -
Daniel A. Quinto Pazce
Hallar el producto de grafos G(N ,A) x G(N , A)
n(arcos)=4x3=12
n(nodos)=3x2=6
G=(Z,W)
36 Matematicas Discretas -
Daniel A. Quinto Pazce
Redefiniendo:al grafo producto
37 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejercicios: Obtener el grafo producto
Dado:
Dado:
38 Matematicas Discretas -
Daniel A. Quinto Pazce
Matrices:
Matriz de Adyacencia:
La matriz de adyacencia es la matriz cuadrada de un grafo G
A= (aij) n*n tal que
Ejemplo: Dado G, obtener la matriz de adyacencia.
G(N,A):
0 1 1 3
1 1 1 2
1 1 0 1
3 2 1
A =
1 , si un camino (i,j)
0 , en otro caso
ij
a
-

=
`
)
39 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejercicio:
Hallar la matriz de adyacencia
A.-
B.-
40 Matematicas Discretas -
Daniel A. Quinto Pazce
Matriz de Incidencia
Es una matriz rectangular m*n de elementos [0,1,-1] de un grafo G
1 min ( , )
( ) / 1 min ( , )
0 ,
ij mxn ij
ca o de i j
A a a ca o de j i
en otro caso
-

= = -

Ejemplo:
41 Matematicas Discretas -
Daniel A. Quinto Pazce
1 2 3 4 5 6 7
1 1 1 1 0 0 1 0
2 1 0 1 1 1 0 1
3 0 1 0 0 1 1 1
a a a a a a a



3x7
Ejercicio:
Generar el grafo:
5 3
0 0 0 1 1
1 1 1 0 1
0 1 1 1 0
x
|
|
|
.
|

\
|

+

|
|
|
|
|
|
|
|
.
|

\
|






1 1 0 1 0 0 0 1 0 0 0 0
0 0 1 0 1 0 0 0 0 0 0 0
0 0 0 1 1 1 1 0 0 1 0 1
0 0 0 0 0 0 0 1 1 0 1 0
1 0 1 0 0 1 0 0 1 1 1 0
0 1 0 0 0 0 1 0 0 0 0 1
A.-
B.-
42 Matematicas Discretas -
Daniel A. Quinto Pazce
Matriz de caminos: A
a)Mtodo de suma de matrices
b)Mtodo de algoritmos de Warschall
Mtodo de la suma de matrices
Dado el grafo G , determinar la matriz de adyacencia A

= + + + + +
k
k
B A A A A A ...
4 3 2 1
ij
b
>0
K=|v|
1, si existe camino (i,j)
0, en otro caso
1 0
2 1
3 2
1
1 2 3

K K
K
K
A A A
A A A
A A A
A A A
A A A A B

=
=
=
=
+ + + =

,
=
i j
p
43 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejemplo:
4 4
2
3
0 1 1 1
0 0 0 1
1, 2, 3, 4
0 1 0 1
0 0 1 0
0 1 1 1 0 1 1 1 0 1 1 2
0 0 0 1 0 0 0 1 0 0 1 0
0 1 0 1 0 1 0 1 0 0 1 1
0 0 1 0 0 0 1 0 0 1 0 1
0 1 1 2 0 1 1 1
0 0 1 0 0 0 0 1
0 0 1 1 0 1 0 1
0 0 0 1 0 0 1 0
x
A k
A
A
| |
|
|
= =
|
|
|
\ .
| || | | |
| | |
| | |
= =
| | |
| | |
| | |
\ .\ . \ .
| || |
| |
| |
=
| |
| |
|
\ .\ .
4
0 1 2 2
0 1 0 1
0 1 1 1
0 0 1 1
0 1 2 2 0 1 1 1 0 2 2 3
0 1 0 1 0 0 0 1 0 0 1 1
0 1 1 1 0 1 0 1 0 1 1 2
0 0 1 1 0 0 1 0 0 1 1 1
A
| |
|
|
=
|
|
| |
\ .
| || | | |
| | |
| | |
= =
| | |
| | |
| | |
\ .\ . \ .
1 2 3 4
4
A A A A A B = + + + =

44
Daniel A. Quinto Pazce
1 2 3 4
0 5 6 8
0 1 2 3
A=A 4
0 3 3 5
0 2 3 3
0
0 1 1 1
0 1 1 1

0 1 1 1
0 1 1 1
A A A B
bij
P
| |
|
|
+ + + = =
|
|
|
\ .
>
| |
|
|
=
|
|
|
\ .

Mtodo del Algoritmo de Warschall:


Dado el grafo G (V, A), determinar la matriz de adyacencia A
Wo=A ; donde A= ( ) n*n v (I, ,j)
K=|v|
)) , ( ) , ( ( ) , ( ) , ( , 0
1 1 1
j k W k i W j i W j i W n K
k k k k
. v = s <
ij
a
45 Matematicas Discretas -
Daniel A. Quinto Pazce
1 1 0 0
1 1 1 0
1 0 1 0
2 2 1 0

3
= A
Camino 2: longitud 3
Para el ejercicio anterior:
4 4
0 1 0 0
1 0 1 0
1 0 0 0
1 1 1 0
x
A
|
|
|
|
|
.
|

\
|
=
Matriz de Adyacencia
0 1 1 1
0 0 0 1
1, 2, 3, 4
0 1 0 1
0 0 1 0
k
| |
|
|
=
|
|
|
\ .
Wo=
Para k=1:
No existe cambio o variacion
W1=Wo
46 Matematicas Discretas -
Daniel A. Quinto Pazce
W
1
(i, j) = W
0
(i, j) v (W
0
(i, 1) . W
0
(1, j )
Para k=2:
2 1 1 1
( , ) ( , ) ( ( , 2) (2, )) W i j W i j W i W j = v .
3
4 1
no existe cambio o variacin.
W2=W1
Para k=3:
3 2 2 2
( , ) ( , ) ( ( , 3) (3, )) W i j W i j W i W j = v .
4 4
2 1
(4,2)=1
(4,4)=1
|
|
|
|
|
.
|

\
|
=
1 1 1 0
1 0 1 0
1 0 0 0
1 1 1 0
3 W
47 Matematicas Discretas -
Daniel A. Quinto Pazce
Para K=4:
4 3 3 3
( , ) ( , ) ( ( , 4) (4, )) W i j W i j W i W j = v .
4
4 3
3 2
2 1
(2,2)=1
(2,3)=1
(3,3)=1
4
0 1 1 1 0 1 1 1
0 1 1 1 0 1 1 1
, =
0 1 1 1 0 1 1 1
0 1 1 1 0 1 1 1
W P
| | | |
| |
| |
=
| |
| |
| |
\ . \ .
Que es respuesta equivalente al anterior
48 Matematicas Discretas -
Daniel A. Quinto Pazce
Entonces P = W
4
Matriz de caminos P
MATRIZ DE CAMINOS MINIMOS P DEL GRAFO G(V,A):
Dado el grafo ponderado, obtener su matriz A
A=(a
ij
)/

aij >0
W , si existe el camino (i,j)

,otro caso
Q =
Qo=A
K=|v|
1 1 1
lg de Warschall
0 , ( , ) ( ( , ), ( ( , ) ( , )))
( , ), que es la matriz de caminos minimos
k k k k
k
A oritmo
k n Q i j MIN Q i j Q i k Q k j
P Q i j

< s = +
=
49 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejemplo:
|
|
|
|
|
.
|

\
|




= =
|
|
|
|
|
.
|

\
|
=
1 4
3
2 7
5 7
0 1 0 4
0 0 3 0
2 0 0 7
0 0 5 7
Qo A
k=1,2,3,4
50 Matematicas Discretas -
Daniel A. Quinto Pazce
Para K=1:
1 0 0 1
( , ) ( ( , ), ( ( ,1) (1, )))
k
Q i j MIN Q i j Q i Q j

= +
4 ) 4 (
) 5 ( 2 2 ) 7 (
) 7 ( 1 1 ) 7 (
Existe variacin
(2,2)=12
(4,2)=9
|
|
|
|
|
.
|

\
|




=
1 9 4
3
2 12 7
5 7
1 Q
51 Matematicas Discretas -
Daniel A. Quinto Pazce
Para K=2:
2 1 1 1
( , ) ( ( , ), ( ( , 2) (2, ))) Q i j MIN Q i j Q i Q j = +
4 ) 9 (
) 2 ( 4 3 ) 3 (
) 12 ( 2 2 ) 12 (
) 7 ( 1 1 ) 5 (
Existe variacin
(1,4)=7
(3,1)=10
(3,4)=5
(4,4)=11
|
|
|
|
|
.
|

\
|

=
11 1 9 4
5 3 10
2 12 7
7 5 7
2 Q
52 Matematicas Discretas -
Daniel A. Quinto Pazce
Para K=3:
3 2 2 2
( , ) ( ( , ), ( ( , 3) (3, ))) Q i j MIN Q i j Q i Q j = +
) 5 ( 4
) 3 ( 2
) 10 ( 1 4 ) 1 (
Existe variacin
(4,2)=4
(4,4)=6
|
|
|
|
|
.
|

\
|

=
6 1 4 4
5 3 10
2 12 7
7 5 7
3 Q
53 Matematicas Discretas -
Daniel A. Quinto Pazce
Para K=4:
4 3 3 3
( , ) ( ( , ), ( ( , 4) (4, ))) Q i j MIN Q i j Q i Q j = +
) 6 ( 4 4 ) 6 (
) 1 ( 3 3 ) 5 (
) 4 ( 2 2 ) 2 (
) 4 ( 1 1 ) 7 (
Existe variacin (1,3)=8
(2,1)=6
(2,2)=6
(2,3)=3
(3,1)=9
(3,3)=6
7 5 8 7 7 5 8 7
6 6 3 2 6 6 3 2
4 ( )
9 3 6 5 9 3 6 5
4 4 1 6 4 4 1 6
Q P P Mnimos
| | | |
| |
| |
= = => =
| |
| |
| |
\ . \ .
54 Matematicas Discretas -
Daniel A. Quinto Pazce
Ejercicio:
Encontrar la matriz de caminos mnimos por el algoritmo de Warschall
1.-
2.-
55 Matematicas Discretas -
Daniel A. Quinto Pazce
Representacin de un grafo:
Lista de Vrtices:
INFO SIG ADY
informacin punteros
Lista de aristas:
DEST ENL
puntero
Punteros:
Es una variable que contiene la direccin del siguiente elemento en memoria
a)INICIO : Nodo de inicio
56 Matematicas Discretas -
Daniel A. Quinto Pazce
b)ADISP: Espacio disponible(aristas)
c)NDISP : Espacio disponible (nodos)
Ejemplo:
TABLA DE ADYACENCIA
NODOS adyacentes
A A,B,C
B C
C A,B
57 Matematicas Discretas -
Daniel A. Quinto Pazce
Representacin enlazada:
58 Matematicas Discretas -
Daniel A. Quinto Pazce
59 Matematicas Discretas -
Daniel A. Quinto Pazce
Tabla Inicial de Vrtices (TIV):
A 1
B 4
C 5
Tabla Final de Adyacentes (TFA):
A
A
B
C
C
A
B
1
2
3
4
5
6
7
60 Matematicas Discretas -
Daniel A. Quinto Pazce
Representacin interna de un grafo dirigido:
61 Matematicas Discretas -
Daniel A. Quinto Pazce
62 Matematicas Discretas -
Daniel A. Quinto Pazce
63 Matematicas Discretas -
Daniel A. Quinto Pazce
INFO C B A D
SIG 8 4 1 6 3 0 2 0
ADY 3 0 8 0 5 0 0 11
1 2 3 4 5 6 7 8
DEST 3B 5A 3B 5A 3B 5A 8D
ENL 4 12 10 6 0 13 0 2 1 0 7 0 0
1 2 3 4 5 6 7 8 9 10 11 12 13
INICIO = 5
NDISP = 7
ADISP =9
EJERCICIO: OBTENER EL GRAFO G

Das könnte Ihnen auch gefallen