Teoría de Grafos

PARTE 2

Matemáticas Discretas: Daniel A. Quinto Pazce

Semestre 2019 - II

1
Matemáticas Discretas - Daniel A. Quinto Pazce
 Producto de grafos:
Se tiene 2 grafos G(V,A) y G’(V´, A´ ), el producto de grafos es otro grafo G=(Z,W)
Se genera por las incidencias de los arcos de los nodos en cada grafos
Numero (vértices) = n(V) x n(V´) = 3 x 2 = 6
Numero (arcos) = n(A) x n(A´) = 4 x 3 = 12
Ejemplo: Obtenga el Producto de grafo G x G*

Matemáticas Discretas - Daniel A. Quinto Pazce 2

 Elegimos: dos nodos
X1 Y1 sus incidencias
: X2Y2
:
X2Y2 X1Y1 X1Y2 X3Y1 X3Y2

Matemáticas Discretas - 3
Daniel A. Quinto Pazce
El producto de grafos G(Z, W) = G(V ,A) x G(V´ , A´)

n(vértices) = 3x2=6 n(arcos) =4x3 =12

G=(Z,W) :

4
Matemáticas Discretas - Daniel A. Quinto Pazce
Redefiniendo el grafo producto G x G´, se tiene el grafo G.

G:

Matemáticas Discretas - Daniel A. Quinto Pazce 5

Dado la tabla como se muestra mas abajo, obtener el grafo G:

a b c - -
b a c - e
c a - b d
d - c - e
e b - d -

G:

Matemáticas Discretas - Daniel A. Quinto Pazce 6

Ejercicios de obtención del producto de grafos

Obtener el grafo producto :

Dado: los grafos. Obtener el Grafo pr5oducto

7
Matemáticas Discretas - Daniel A. Quinto Pazce
Matrices:
Matriz de Adyacencia:
A nxn Es la matriz cuadrada de un grafo G. V vs V
A= (aij) n*n tal que
1 , si un camino (i,j)
aij
0 , en otro caso

Ejemplo: Dado G (V,E), obtener la matriz de adyacencia.

G(N,A):
1 2 3
1 0 1 1
A= 2 1 1 1
3 1 1 0

8
Matemáticas Discretas - Daniel A. Quinto Pazce
Ejercicio:
Hallar la matriz de adyacencia

a)

b)

9
Matemáticas Discretas - Daniel A. Quinto Pazce
Matriz de Incidencia
Es una matriz rectangular Am*n de elementos [0,1,-1] de un grafo G.
V vs A
1 ca min o de (i, j )
A (aij )mxn / aij 1 ca min o de ( j, i)
0 , en otro caso

Ejemplo:

Matemáticas Discretas - Daniel A. Quinto Pazce 10

 a1 a 2 a3 a 4 a5 a 6 a 7
1 1 1 1 0 0 1 0 Los arcos:
2 1 0 1 1 1 0 1 Vertical de
3 0 1 0 0 1 1 1 +a-
3x7

Ejercicio:
Dado las tablas, se pide generar los grafos G:

0 A 0 B 0 C
A B B A C -B
C 0 C 0 -A 0
A B 0 0 0 0
0 0 A B 0 0
C A D 0 0 0
0 0 0 D 0 0

Matemáticas Discretas - Daniel A. Quinto Pazce 11

 Ejercicio: Generar el grafo:

a1 a 2 a3 a 4 a5 a 6 a 7
a) 1 1 1 1 0 0 1 0
2 1 0 1 1 1 0 1
3 0 1 0 0 1 1 1

0 1 1 1 0
b) 1 0 1 1 1
1 1 0 0 0 3 x5

1 0 0 0 0 1 0 0 0 0 1 0
0 1 1 1 0 0 1 0 0 1 0 1
c) 0 1 0 1 1 0 0 0 0 0 0 0
1 0 1 0 0 1 1 1 1 0 0 0
0 0 0 0 0 0 0 1 0 1 0 0
0 0 0 0 1 0 0 0 1 0 1 1

Matemáticas Discretas - Daniel A. Quinto Pazce 12

MATRIZ DE CAMINOS P DEL GRAFO G(V,E):

a) Método de suma de matrices

b) Método de algoritmos de Warshall

A) Método de la suma de matrices

Dado el grafo G , determinar la matriz de adyacencia A
A1 A0 A
V
A2 A1 A
3 2
AK Bk bij > 0
A A A K 1

AK AK 1 A K=|v| = k1, k2, ….kn

A1 A2 A3 AK BK

pi, j = 1, si existe camino (i,j) Entonces P = Bk

0, en otro caso

Matemáticas Discretas - Daniel A. Quinto Pazce 13

Ejemplo: 0 1 1 1
0 0 0 1
A k 1, 2,3, 4
0 1 0 1
0 0 1 0 4 x4
0 1 1 1 0 1 1 1 0 1 1 2
0 0 0 1 0 0 0 1 0 0 1 0
A2
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 1 2 2
0 0 1 0 0 0 0 1 0 1 0 1
A3
0 0 1 1 0 1 0 1 0 1 1 1
0 0 0 1 0 0 1 0 0 0 1 1
0 1 2 2 0 1 1 1 0 2 2 3
4 0 1 0 1 0 0 0 1 0 0 1 1
A
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 A1 A2 A3 A4 B4
14
Matemáticas Discretas - Daniel A. Quinto Pazce
 0 5 6 8
0 1 2 3
A=A1 A2 A3 A4 B4
0 3 3 5
0 2 3 3
bij 0
0 1 1 1 0 1 2 2
0 1 1 1 3 0 1 0 1
P A
0 1 1 1 0 1 1 1
0 1 1 1
0 0 1 1
Camino 2: longitud 3
Método del Algoritmo de Warschall:
Dado el grafo G (V, A), determinar la matriz de Caminos P de G.

Wo=A ; donde A= ( aij )n*n , v (I, ,j)

K=|v|

0 K n,Wk (i, j ) Wk 1 (i, j ) (Wk 1 (i, k ) Wk 1 (k , j ))

Matemáticas Discretas - Daniel A. Quinto Pazce 15

Para el ejercicio anterior:
0 1 1 1
0 0 0 1
A
0 1 0 1
0 0 1 0 4x4 De la Matriz de Adyacencia, hacemos:

0 1 1 1
0 0 0 1
Wo= k 1, 2,3, 4
0 1 0 1
0 0 1 0

Para k=1:
W1(i, j) = W0(i, j) v (W0(i, 1) W0(1, j ) )

No existe cambio o variacion

W1=Wo

Matemáticas Discretas - Daniel A. Quinto Pazce 16

Para k=2:

W2 (i, j) = W1(i, j) v (W1 (i, 2) W1 (2, j ) )

1 4
no existe cambio o variación.
3

W2=W1

Para k=3:

W3 (i, j) = W2 (i, j) v (W2 (i, 3) W2 (3, j ) )

1 2
(4,2)=1 0 1 1 1 4 4
(4,4)=1 0 0 0 1
W3
0 1 0 1
0 1 1 1

Matemáticas Discretas - Daniel A. Quinto Pazce 17

Para K=4:
W4 (i, j) = W3 (i, j) v (W3 (i, 4) W3 (4, j ) )
1 2
(2,2)=1
(2,3)=1
2 3
(3,3)=1
3 4
4
0 1 1 1 0 1 1 1
0 1 1 1 0 1 1 1
W4 , P=
0 1 1 1 0 1 1 1
0 1 1 1 0 1 1 1

Entonces P = W4 , Matriz de caminos P de G

Que es respuesta equivalente al anterior

Matemáticas Discretas - Daniel A. Quinto Pazce 18

MATRIZ DE CAMINOS MINIMOS DEL GRAFO G(V,A): Alg. de Warschall
Dado el grafo G(V,E) ponderado. Se obtiene la matriz de adyacencia pond.
Obtener la matriz de caminos Mínimos Anxn=(aij) / aij >0

W , si existe el camino (i,j)

Q=
, otro caso

Qo=A
K=|v| ALGORITMO DE WARSHALL

0<K<=|v|, QK (i, j) = Min (Qk-1 (i, j), (QK-1 (i, K) +QK-1(K, j ) )

QK = P , matriz de camino Mínimo de G.

Matemáticas Discretas - Daniel A. Quinto Pazce 19

Ejemplo: Dado el Grafo G(V, E): obtener la matriz de caminos mínimos P.

7 5 0 0 7 5
7 0 0 2 7 2
A Qo k=1,2,3,4
0 3 0 0 3
4 0 1 0 4 1

Matemáticas Discretas - Daniel A. Quinto Pazce 20

Para K=1:
Q1(i, j) = Min ( Q0(i, j), ( Q0(i, 1) + Q0(1, j ) ))
(7 ) 1 1 (7 )
(2,2)=12
(4,2)=9
(7 ) 2 2 (5)
Existe variación ( 4) 4

7 5
7 12 2
Q1
3
4 9 1

Matemáticas Discretas - Daniel A. Quinto Pazce 21

Para K=2:

Q2(i, j) = Min ( Q1(i, j), (Q1(i, 2) + Q1(2, j ) ))

(5) 1 1 (7 )
(1,4)=7 (12) 2 2 (12)
(3,1)=10 (3) 3 4 (2)
(9) 4
(3,4)=5
Existe variación
(4,4)=11

7 5 7
7 12 2
Q2
10 3 5
4 9 1 11

Matemáticas Discretas - Daniel A. Quinto Pazce 22

Para K=3:
Q3(i, j) = Min ( Q2(i, j), (Q2(i, 3) + Q2(3, j ) ))
(1) 4 1 (10)
Existe variación 2 (3)
4 (5)

(4,2)=4
(4,4)=6

7 5 7
7 12 2
Q3
10 3 5
4 4 1 6

Matemáticas Discretas - Daniel A. Quinto Pazce 23

Para K=4:
Q4(i, j) = Min ( Q3(i, j), (Q3(i, 4) + Q3(4, j ) ))
(7 ) 1 1 ( 4)
( 2) 2 2 ( 4)
(5) 3 3 (1)
(6) 4 4 (6)

(1,3)=8 Existe variación

(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
Q4 P P ( Mínimos )
9 3 6 5 9 3 6 5
4 4 1 6 4 4 1 6

Matemáticas Discretas - Daniel A. Quinto Pazce 24

Ejercicio:
Encontrar la matriz de caminos mínimos por el algoritmo de Warschall

1.-

2.-

Matemáticas Discretas - Daniel A. Quinto Pazce 25

Matemáticas Discretas - Daniel A. Quinto Pazce 26
 Representación de grafos:
Lista de Vértices (V) :

INFO SIG ADY

información punteros

Lista de aristas (A):

DEST ENL

puntero

Punteros:
Es una variable que contiene la dirección del siguiente elemento en memoria

a)INICIO : Nodo de inicio

Matemáticas Discretas - Daniel A. Quinto Pazce 27

 b) ADISP: Espacio disponible de (aristas)

c) NDISP : Espacio disponible de (nodos)

TABLA DE ADYACENCIA

NODOS ADYACENTES

Ejemplo: A A,B,C
B C
C A,B

28
Matemáticas Discretas - Daniel A. Quinto Pazce
 Representación enlazada:

Matemáticas Discretas - Daniel A. Quinto Pazce 29

REPRESENTACION DE UN GRAFO EN MEMORIA

Matemáticas Discretas - Daniel A. Quinto Pazce 30

Tabla Inicial de Vértices (TIV):

A 1

B 4

C 5

Tabla Final de Adyacentes (TFA):

1 A

2 A
3 B

C
4
C
5
A
6
7 B

31
Matemáticas Discretas - Daniel A. Quinto Pazce
Representación interna de un grafo dirigido:

Matemáticas Discretas - Daniel A. Quinto Pazce 32

Matemáticas Discretas - Daniel A. Quinto Pazce 33
 INFO C B A D
INICIO = 5 SIG 8 4 1 6 3 0 2 0
NDISP = 7
ADY 3 0 8 0 5 0 0 11
ADISP =9
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 12 7 0 0

1 2 3 4 5 6 7 8 9 10 11 12 13

Matemáticas Discretas - Daniel A. Quinto Pazce 34

 INFO C B A D
INICIO = 5 SIG 8 4 1 6 3 0 2 0
NDISP = 7
ADY 3 0 8 0 5 0 0 11
ADISP =9
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 12 5 0 0

1 2 3 4 5 6 7 8 9 10 11 12 13

Matemáticas Discretas - Daniel A. Quinto Pazce 35

 EJERCICIO 3: OBTENER EL GRAFO G

INFO C B A D
INICIO = 5 SIG 8 4 1 6 3 0 2 0
NDISP = 7
ADY 3 0 8 0 5 0 0 11
ADISP =9
1 2 3 4 5 6 7 8

DEST 3B 5A 3B 1C 5A 3B 5A 8D

ENL 4 12 10 6 12 13 0 2 1 12 5 7 0

1 2 3 4 5 6 7 8 9 10 11 12 13

Matemáticas Discretas - Daniel A. Quinto Pazce 36

MD – 2018-II

FIN TEMA

Matemáticas Discretas - 37
Daniel A. Quinto Pazce