Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoría de Grafos Quinto PDF
Teoría de Grafos Quinto PDF
1
Matemáticas 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 vértices o nodos} V ={v1,…,vn}
A = {Conjunto de aristas o arcos} A = {a1,…,am}
=función de incidencia
G:
a b
2
Matemáticas Discretas - Daniel A. Quinto Pazce
Grafo: definición de los arcos de un Grafo
:A V*V
a - ( a ) = ai
Arista función
G:
A B
B es la cola, C es la cabeza
C
(Nodo ) fuente
G: 1 2
A B
X4
X3 X9
X2 X6 X8 X5
NODOS o VERTICES
y
C
X10 D ARCOS o ARISTAS
X7
NODOS
V = { A , B ,C , D }
ARISTAS
A = { (A,B) , (A,C) , (A,D) , (B,A) , (B,D) , (C,A) , (C,D) , (D,A) , (D,B) , (D,C)}
:
ó Arcos : A = {x1, x2, x3, x4, x5, x6, x7, x8, x9, x10}
G: 1 B
A
(v, w) = (w, v)
V W
(2, 6) = (6, 2)
En cualquier grafo no
dirigido sin bucles se
c d cumple: n(n - 1)
#arcos =
( n = #nodos ), 2
G:
G:
Vj es la cabeza
Conjunto de Vértices Predecesores
Vi es la cola
(B) = {C, D}
Conjunto de Vértices Predecesores
(B) = {C, D, E , F}
d ( Xi) 2 | A |
Matemáticas Discretas - Daniel A. Quinto Pazce 13
TABLA DE GRADOS: Ejemplo:
Salen entran
2,3,4 2,3
1,4 2,1,4
1,4 1
2 1,2,3
d (Xi) d ( Xi) d ( Xi )
Teorema de Euler
d ( X 1 )=3 d ( X 1 ) =2 d ( X1 ) =5
d ( X 2 )=2 d ( X 2 ) =4 d(X 2 ) =6
d * ( X i ) Bucle
d ( X 3 )=2 d * ( X 3 )=1 d(X3) =3
d ( X 4)=1 d (X 4) =3 d(X 4 ) =4
Salen entran
d (Xi) d ( Xi) d ( Xi )
2,3 2,3
1,3 1,3
d ( X1) =2 d ( X1) =2
d ( X1 ) =4
1,2 1,2
d (X 2) =2 d (X 2) =2
d ( X 2 ) =4
d ( X 3 ) =2 d * ( X 3 ) =2 d ( X 3 ) =4
SALEN ENTRAN
X1 X2
X1 2,3,5 2,4
X2 1,3 1,3
X3
X3 2,4,5 1,2,4
X4 1,3 3,5
X4
X5 X5 4 1,3
X = {ciudades}
W = {costos}
Ejemplo:
Camino(X1,X4) = (X1,X2),(X2,X3),(X3,X2),(X2,X4)
Longitud (X1,X4) = 4
G ::
N(aristas)=
n(n - 1)
2
23
Matemáticas Discretas - Daniel A. Quinto Pazce
Grafo Conexo:
Si existe un camino entre cualquier par de vértices o para cualquier
par de vértices existe al menos un camino que los une.
G:
24
Matemáticas Discretas - Daniel A. Quinto Pazce
Grafo fuertemente conexo (GFC) :
Cuando para cada par de vértice existe un camino simple que los une, y
exige la presencia del bucle en cada vértice.
La matriz cuadrada que tiene por elementos la unidad lo representa GFC
1 1 1
M 1 1 1
1 1 1 3 x 3
CIRCUITO HAMILTONIANO
Es un circuito elemental que incluye a todos los vértices de un grafo
1 2
3 4
5 6
G:
1 5 6
2 3 7
4
Paso 2. Ciclo: (2, 3, 4, 2)
5 6 1
7 2 3
Paso 3. Ciclo: (1, 2, 3, 4, 2, 5, 7, 6, 3, 1) 4
5 6
1
3 7
Paso 2. Ciclo: (4, 5, 6, 4) 2
4
5 6
1
7
2 3
4
Paso 3. Ciclo: (1, 2, 3, 4, 5, 6, 4, 2, 5, 7, 6, 3, 1)
5 6
7 29
Matemáticas Discretas - Daniel A. Quinto Pazce
CIRCUITO EULERIANO
Cuando el grafo es conexo de camino cerrado y todos los vértices
tienen valencia par.
Dado un grafo G(V,A), un Subgrafo G’=(V’.A’) que cumple las sig. caract:
I) V’V ,V=0
II) A’A , A = 0
III) Las incidencias se conservan en G.
n 12 k ( k 1)
# subgrafos k 0 2
n
k
n = vértices
3 12 k ( k 1) 3 0 3 0 3 1 3 3
k 0 k 2 2 2 2 2
3
0 1 2 3
1 3 6 8 18 # ( subgrafos ) 18
G=(Z,W) :
37
Matemáticas Discretas - Daniel A. Quinto Pazce
Redefiniendo el grafo producto G x G´, se tiene el grafo G.
G:
a b c - -
b a c - e
c a - b d
d - c - e
e b - d -
G:
40
Matemáticas 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
1 , si un camino (i,j)
aij
0 , en otro caso
G(N,A):
1 2 3
1 0 1 1
A= 2 1 1 1
3 1 1 0
41
Matemáticas Discretas - Daniel A. Quinto Pazce
Ejercicio:
Hallar la matriz de adyacencia
a)
b)
42
Matemáticas Discretas - Daniel A. Quinto Pazce
Matriz de Incidencia
Es una matriz rectangular m*n de elementos [0,1,-1] de un grafo G
1 ca min o de (i, j)
A (aij )mxn / aij 1 ca min o de ( j, i)
0
, en otro caso
Ejemplo:
Ejercicio:
Dado la tabla como se muestra mas abajo, obtener el grafo 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 D 0 0
0 0
a1 a 2 a3 a 4 a5 a6 a7
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 x 5
1 0 0 0 0 1 0 0 0 0 1 0
0 1 1 1 0 0 1 0 0 1 0 1
0 1 0 1 1 0 0 0 0 0 0 0
c)
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
AK AK 1 A
bij >0
K=|v|
A1 A2 A3 AK BK
A A1
A2
A3
A4
B4
47
Matemáticas Discretas - Daniel A. Quinto Pazce
0 5 6 8
0 1 2 3
A=A1 A2 A3 A4 0 3 3 5
B4
0 2 3 3
bij 0
0 1 1 1 0 1 2 2
0 1 0 1
0 1 1 1
P A
3
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), permite determinar la matriz de adyacencia A
Wo=A ; donde A= ( aij )n*n , v (I, ,j)
K=|v|
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 ) )
W1=Wo
W2=W1
Para k=3:
Qo=A
K=|v| ALGORITMO DE WARSHALL
7 5 0 0 7 5
7 0 0 2 7 2
A Qo
0 3 0 0 3 k=1,2,3,4
4
0 1 0 4 1
7 5
7 12 2
Q1
3
4 9 1
7 5 7
7 12 2
Q2
10 3 5
4 9 1 11
(4,2)=4
(4,4)=6
7 5 7
7 12 2
Q3
10 3 5
4 4 1 6
1.-
2.-
información punteros
DEST ENL
puntero
Punteros:
Es una variable que contiene la dirección del siguiente elemento en memoria
TABLA DE ADYACENCIA
NODOS ADYACENTES
Ejemplo: A A,B,C
B C
C A,B
61
Matemáticas Discretas - Daniel A. Quinto Pazce
Representación enlazada:
A 1
B 4
C 5
1 A
2 A
3 B
C
4
C
5
A
6
B
7
64
Matemáticas Discretas - Daniel A. Quinto Pazce
Representación interna de un grafo dirigido:
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
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
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