Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3:...
Transcript of Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3:...
![Page 1: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/1.jpg)
Algebra Matricial y Teoría de Grafos
Unidad 3: Nociones de teoría de grafos
Luis M. Torres
Escuela Politécnica del Litoral
Quito, Enero 2008
Maestría en Control de Operaciones y Gestión Logística – p.1
![Page 2: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/2.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.2
![Page 3: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/3.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.2
![Page 4: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/4.jpg)
Todo empezó en Königsberg...
Kaliningrado (2005)exclave ruso en el marbáltico...
Maestría en Control de Operaciones y Gestión Logística – p.3
![Page 5: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/5.jpg)
Todo empezó en Königsberg...
Kaliningrado (2005)exclave ruso en el marbáltico...
Königsberg (∼ 1750)... puerto del antiguoimperio prusiano
Maestría en Control de Operaciones y Gestión Logística – p.3
![Page 6: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/6.jpg)
...con un problema de puentes
El Pregel atraviesa laciudad formando dosislas
Maestría en Control de Operaciones y Gestión Logística – p.4
![Page 7: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/7.jpg)
...con un problema de puentes
El Pregel atraviesa laciudad formando dosislas
Problema:Cruzar cada uno delos siete puentesexactamente una vez
Maestría en Control de Operaciones y Gestión Logística – p.4
![Page 8: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/8.jpg)
Leonhard Euler
1707, Bâle1783, St. Petersburgo
trabajos en análisis
consolidación de lasmatemáticas puras
(1736) teoría de grafos
Maestría en Control de Operaciones y Gestión Logística – p.5
![Page 9: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/9.jpg)
Volviendo a los puentes...
Maestría en Control de Operaciones y Gestión Logística – p.6
![Page 10: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/10.jpg)
Volviendo a los puentes...
Cuatro orillas...
Maestría en Control de Operaciones y Gestión Logística – p.6
![Page 11: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/11.jpg)
Volviendo a los puentes...
Cuatro orillas...
... unidas por sietepuentes ...
Maestría en Control de Operaciones y Gestión Logística – p.6
![Page 12: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/12.jpg)
Volviendo a los puentes...
Cuatro orillas...
... unidas por sietepuentes ...
Idea:Olvidar la ciudad,retener la estructura!
Maestría en Control de Operaciones y Gestión Logística – p.6
![Page 13: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/13.jpg)
Matemáticas discretas
Problemas:
Caminos eulerianos
Caminos más cortos
Arboles generadores
Flujos máximos
Programación lineal yentera
...
Maestría en Control de Operaciones y Gestión Logística – p.7
![Page 14: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/14.jpg)
Matemáticas discretas
Problemas:
Caminos eulerianos
Caminos más cortos
Arboles generadores
Flujos máximos
Programación lineal yentera
...
Aplicaciones:
Logística
Transporte
Telecomunicaciones
Redes de distribución
Secuenciamientogenético
...
Maestría en Control de Operaciones y Gestión Logística – p.7
![Page 15: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/15.jpg)
El problema del ADAC
pedidos, unidades,contratistas...
Maestría en Control de Operaciones y Gestión Logística – p.8
![Page 16: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/16.jpg)
El problema del ADAC
Central de despacho
Maestría en Control de Operaciones y Gestión Logística – p.8
![Page 17: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/17.jpg)
El problema del ADAC
Plan de rutas
Maestría en Control de Operaciones y Gestión Logística – p.8
![Page 18: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/18.jpg)
El problema del ADAC
Plan de rutas
Objetivo:Diseñar un algoritmo de optimizaciónpara el enrutamiento de las unidades
Maestría en Control de Operaciones y Gestión Logística – p.8
![Page 19: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/19.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
u2 e2
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 20: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/20.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
e2
u2
T1
1 r1
0 r2
1 r3
1 u1
0 u2
cT1
xT1
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 21: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/21.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
e2
u2
T1 T2
1 0 r1
0 1 r2
1 1 r3
1 0 u1
0 1 u2
cT1cT2
xT1xT2
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 22: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/22.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
e2
u2
T1 T2 T3 T4
1 0 0 1 r1
0 1 0 0 r2
1 1 0 0 r3
1 0 1 0 u1
0 1 0 0 u2
cT1cT2
cT3cT4
xT1xT2
xT3xT4
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 23: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/23.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
e2
u2
T1 T2 T3 T4 . . . TN
1 0 0 1 . . . r1
0 1 0 0 . . . r2
A 1 1 0 0 . . . r3
1 0 1 0 . . . u1
0 1 0 0 . . . u2
cT cT1cT2
cT3cT4
. . . cTN
xT
xT1xT2
xT3xT4
. . . xTN
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 24: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/24.jpg)
Formulando el IP
Idea:Definir una variable binaria por cada ruta de servicio.
e3
e1
u1
u2
u1
e2
u2
T1 T2 T3 T4 . . . TN
1 0 0 1 . . . r1
0 1 0 0 . . . r2
A 1 1 0 0 . . . r3
1 0 1 0 . . . u1
0 1 0 0 . . . u2
cT cT1cT2
cT3cT4
. . . cTN
xT
xT1xT2
xT3xT4
. . . xTN
Formular un enormeProblema deParticionamiento(IP):
min cTx
s.t.
Ax = 1
x ∈ {0, 1}N
Maestría en Control de Operaciones y Gestión Logística – p.9
![Page 25: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/25.jpg)
Y los puentes?
Maestría en Control de Operaciones y Gestión Logística – p.10
![Page 26: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/26.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.11
![Page 27: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/27.jpg)
Conceptos básicos
Definición:Un grafo es un par ordenado G = (V,E) donde:
V es un conjunto finito
E es un multiconjunto de la formaE ⊆ {{i, j} : i ∈ V, j ∈ V }
Maestría en Control de Operaciones y Gestión Logística – p.12
![Page 28: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/28.jpg)
Conceptos básicos
Definición:Un grafo es un par ordenado G = (V,E) donde:
V es un conjunto finito
E es un multiconjunto de la formaE ⊆ {{i, j} : i ∈ V, j ∈ V }
Ejemplo:
1
2
3
4
5
V = {1, 2, 3, 4, 5}
E = {{1, 2} , {1, 3} , {2, 4} ,
{3, 4} , {3, 5} , {4, 5}}
Maestría en Control de Operaciones y Gestión Logística – p.12
![Page 29: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/29.jpg)
Conceptos básicos
Definición:Un grafo es un par ordenado G = (V,E) donde:
V es un conjunto finito
E es un multiconjunto de la formaE ⊆ {{i, j} : i ∈ V, j ∈ V }
Ejemplo:
1
2
3
4
5
V = {1, 2, 3, 4, 5}
E = {{1, 2} , {1, 3} , {2, 4} ,
{3, 4} , {3, 5} , {4, 5}}
Los elementos de V se llaman nodos de G,los elementos de E son las aristas de G.Designaremos en adelante:
n := |V | m := |E|
Maestría en Control de Operaciones y Gestión Logística – p.12
![Page 30: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/30.jpg)
Conceptos básicos
una arista e ∈ E es incidente a un nodo i ∈ V si i ∈ e
Maestría en Control de Operaciones y Gestión Logística – p.13
![Page 31: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/31.jpg)
Conceptos básicos
una arista e ∈ E es incidente a un nodo i ∈ V si i ∈ e
dos nodos i, j ∈ V son adyacentes si {i, j} ∈ E
Maestría en Control de Operaciones y Gestión Logística – p.13
![Page 32: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/32.jpg)
Conceptos básicos
una arista e ∈ E es incidente a un nodo i ∈ V si i ∈ e
dos nodos i, j ∈ V son adyacentes si {i, j} ∈ E
el conjunto de nodos adyacentes a un cierto nodo i ∈ V
es la vecindad por nodos de i:
NV (i) := {j ∈ V : ij ∈ E}
Maestría en Control de Operaciones y Gestión Logística – p.13
![Page 33: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/33.jpg)
Conceptos básicos
una arista e ∈ E es incidente a un nodo i ∈ V si i ∈ e
dos nodos i, j ∈ V son adyacentes si {i, j} ∈ E
el conjunto de nodos adyacentes a un cierto nodo i ∈ V
es la vecindad por nodos de i:
NV (i) := {j ∈ V : ij ∈ E}
el conjunto de aristas incidentes a un cierto nodo i ∈ V
es la vecindad por aristas de i:
NE(i) := {ij ∈ E}
Maestría en Control de Operaciones y Gestión Logística – p.13
![Page 34: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/34.jpg)
Conceptos básicos
el grado por nodos de un nodo i es la cardinalidad desu vecindad por nodos (; cantidad de nodosadyacentes):
dV (i) := |NV (i)|
el grado por aristas de un nodo i es la cardinalidad desu vecindad por aristas (; cantidad de aristasincidentes):
dE(i) := |NE(i)|
Usaremos en adelante el término grado para referirnosal grado por aristas:
d(i) := dE(i)
Maestría en Control de Operaciones y Gestión Logística – p.14
![Page 35: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/35.jpg)
Conceptos básicos
Cadenas y senderos
Una cadena P es una sucesión de aristas donde dosaristas consecutivas tienen siempre un nodo en común; trayectoria sobre el grafo
P := 〈{i0, i1} , {i1, i2} , . . . , {ik−1, ik}〉
Una cadena que no repite aristas se llama sendero
Un sendero es elemental si no repite nodos
Un sendero es cerrado si termina donde empezó(i0 = ik)
Maestría en Control de Operaciones y Gestión Logística – p.15
![Page 36: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/36.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 37: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/37.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 38: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/38.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 39: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/39.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 40: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/40.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 41: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/41.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {1, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 42: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/42.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {1, 3}, {1, 2}〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 43: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/43.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Una cadena en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {1, 3}, {1, 2}〉
Maestría en Control de Operaciones y Gestión Logística – p.16
![Page 44: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/44.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 45: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/45.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 46: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/46.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, {3, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 47: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/47.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 48: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/48.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 49: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/49.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {2, 3}〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 50: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/50.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {2, 3}〉
Maestría en Control de Operaciones y Gestión Logística – p.17
![Page 51: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/51.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 52: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/52.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈{1, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 53: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/53.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈{1, 3}, {3, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 54: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/54.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 55: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/55.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {2, 4}〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 56: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/56.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero elemental en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {2, 4}〉
Maestría en Control de Operaciones y Gestión Logística – p.18
![Page 57: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/57.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 58: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/58.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 59: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/59.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 60: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/60.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 61: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/61.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 62: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/62.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {2, 3}, 〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 63: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/63.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {2, 3}, {1, 2}〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 64: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/64.jpg)
Conceptos básicos
Ejemplo:
1
2
3
4
5
Un sendero cerrado en G:
P := 〈{1, 3}, {3, 5}, {4, 5}, {3, 4}, {2, 3}, {1, 2}〉
Maestría en Control de Operaciones y Gestión Logística – p.19
![Page 65: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/65.jpg)
Conceptos básicos
Cadenas orientadas y caminos
Una cadena orientada P es una sucesión de arcosdonde el extremo final de cada arco es el extremoinicial de su sucesor
P := 〈(i0, i1), (i1, i2), . . . , (ik−1, ik)〉
Una cadena orientada que no repite arcos se llamacamino
Un camino es elemental si no repite nodos
Un camino es cerrado si termina donde empezó(i0 = ik)
Maestría en Control de Operaciones y Gestión Logística – p.20
![Page 66: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/66.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.21
![Page 67: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/67.jpg)
Representación computacional
Matriz de adyacencia:Dado un grafo G = (V,E), definimos su matriz deadyacencia M(G) ∈ MV ×V por medio de:
mij :=
{
1, si i y j con nodos adyacentes0, caso contrario
Maestría en Control de Operaciones y Gestión Logística – p.22
![Page 68: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/68.jpg)
Representación computacional
Matriz de adyacencia:Dado un grafo G = (V,E), definimos su matriz deadyacencia M(G) ∈ MV ×V por medio de:
mij :=
{
1, si i y j con nodos adyacentes0, caso contrario
Ejemplo:
1
2
3
4
5 M(G) =
0 1 1 0 0
1 0 0 1 0
1 0 0 1 1
0 1 1 0 1
0 0 1 1 0
Maestría en Control de Operaciones y Gestión Logística – p.22
![Page 69: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/69.jpg)
Representación computacional
Matriz de incidencia:Dado un grafo G = (V,E), definimos su matriz de incidenciaH(G) ∈ MV ×E por medio de:
hij :=
{
1, si la arista j es incidente al nodo i
0, caso contrario
Maestría en Control de Operaciones y Gestión Logística – p.23
![Page 70: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/70.jpg)
Representación computacional
Matriz de incidencia:Dado un grafo G = (V,E), definimos su matriz de incidenciaH(G) ∈ MV ×E por medio de:
hij :=
{
1, si la arista j es incidente al nodo i
0, caso contrario
Ejemplo:
1
2
3
4
5 H(G) =
1 1 0 0 0 0
1 0 1 0 0 0
0 1 0 1 1 0
0 0 1 1 0 1
0 0 0 0 1 1
Maestría en Control de Operaciones y Gestión Logística – p.23
![Page 71: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/71.jpg)
Representación computacional
Listas de adyacencia:Dado un grafo G = (V,E), almacenamos para cada nodoi ∈ V una lista con su vecindad.
Maestría en Control de Operaciones y Gestión Logística – p.24
![Page 72: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/72.jpg)
Representación computacional
Listas de adyacencia:Dado un grafo G = (V,E), almacenamos para cada nodoi ∈ V una lista con su vecindad.
Ejemplo:
1
2
3
4
5
L[1] = 〈2, 3〉
L[2] = 〈1, 4〉
L[3] = 〈1, 4, 5〉
L[4] = 〈2, 3, 5〉
L[5] = 〈3, 4〉
Maestría en Control de Operaciones y Gestión Logística – p.24
![Page 73: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/73.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.25
![Page 74: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/74.jpg)
Dos problemas clásicos
Problema del sendero euleriano:Dado un grafo G = (V,E), determinar si existe un senderocerrado que visite todas las aristas de G.
Maestría en Control de Operaciones y Gestión Logística – p.26
![Page 75: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/75.jpg)
Dos problemas clásicos
Problema del sendero euleriano:Dado un grafo G = (V,E), determinar si existe un senderocerrado que visite todas las aristas de G.
Problema del ciclo hamiltoniano:Dado un grafo G = (V,E), determinar si existe un senderocerrado elemental que visite todos los nodos de G.
Maestría en Control de Operaciones y Gestión Logística – p.26
![Page 76: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/76.jpg)
Y los puentes?
Maestría en Control de Operaciones y Gestión Logística – p.27
![Page 77: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/77.jpg)
Y los puentes?
Teorema:Un grafo admite unsendero euleriano cerradosi y sólo si todos susnodos tienen grado par.
Maestría en Control de Operaciones y Gestión Logística – p.27
![Page 78: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/78.jpg)
Y los puentes?
Teorema:Un grafo admite unsendero euleriano cerradosi y sólo si todos susnodos tienen grado par.
En contraste, el problema del ciclohamiltoniano es muy difícil ...
Maestría en Control de Operaciones y Gestión Logística – p.27
![Page 79: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/79.jpg)
Construyendo un circuito euleriano
Fase I: Orientación euleriana
Seleccionar un nodo i con aristas incidentes sinorientar
Iniciar un recorrido en i, empleando únicamente aristassin orientar
Terminar al llegar nuevamente a i
Orientar las aristas del recorrido
Repetir el proceso anterior mientras existan aristas sinorientar
Maestría en Control de Operaciones y Gestión Logística – p.28
![Page 80: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/80.jpg)
Construyendo un circuito euleriano
Fase II: Búsqueda primero en profundidad (DFS)
seleccionar un nodo i ∈ V
procesar(i)
procesar(i)
marcar los arcos entrantes a i
para todo arco saliente no marcado (i, j): procesar(j)
Maestría en Control de Operaciones y Gestión Logística – p.29
![Page 81: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/81.jpg)
Construyendo un circuito euleriano
Fase II: Búsqueda primero en profundidad (DFS)
seleccionar un nodo i ∈ V
procesar(i)
procesar(i)
marcar los arcos entrantes a i
para todo arco saliente no marcado (i, j): procesar(j)
El orden de procesamiento de los nodosrefleja un sendero euleriano
Maestría en Control de Operaciones y Gestión Logística – p.29
![Page 82: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/82.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.30
![Page 83: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/83.jpg)
Árbol generador de peso mínimo
Ciclos, circuitos y conexidad
Un ciclo es un sendero elemental cerrado
Un circuito es un camino elemental cerrado
Un grafo se llama conexo si para cada par de vérticesi, j ∈ V existe un sendero que tiene i y j por extremos
Un grafo se llama fuertemente conexo si para cada parde vértices i, j ∈ V existen un camino desde i hacia j yun camino desde j hacia i
Maestría en Control de Operaciones y Gestión Logística – p.31
![Page 84: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/84.jpg)
Árbol generador de peso mínimo
Árboles
Un bosque es un grafo sin ciclos
Un árbol es un grafo conexo sin ciclos
Dado un grafo G = (V,E), un árbol generador para G
es un subgrafo de G que es un árbol y contiene todoslos nodos de V
Maestría en Control de Operaciones y Gestión Logística – p.32
![Page 85: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/85.jpg)
Árbol generador de peso mínimo
Problema del árbol generador de peso mínimo[Minimum Spanning Tree, MST]Dado un grafo G con pesos sobre las aristas, encontrar unárbol generador tal que la suma de los pesos de susaristas sea mínima.
a
b
c
d
e
f
-22
0
2 1
10 4
-5
2
7
Maestría en Control de Operaciones y Gestión Logística – p.33
![Page 86: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/86.jpg)
Árbol generador de peso mínimo
Algoritmo de Kruskal
1. Ordenar las aristas por sus pesos (ascendentemente)
2. T := ∅
3. Para i := 1, . . . ,m
4. e := i-ésima arista de la lista
5. Añadir e a T si no forma ciclos con las demásaristas en T
Maestría en Control de Operaciones y Gestión Logística – p.34
![Page 87: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/87.jpg)
Contenido
Motivación
Conceptos básicos
Representaciones computacionales
Problema del sendero euleriano
Problema del árbol generador de peso mínimo
Problemas de caminos más cortos
Maestría en Control de Operaciones y Gestión Logística – p.35
![Page 88: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/88.jpg)
Caminos más cortosProblema de caminos más cortos[Shortest Path Problem, SPP]Dados un grafo dirigido D con pesos (longitudes) sobre losarcos y un nodo de salida s ∈ V , encontrar caminos delongitud mínima desde s hacia los demás nodos.
La longitud de un camino es la suma de las longitudes de
los arcos que lo componen.
Maestría en Control de Operaciones y Gestión Logística – p.36
![Page 89: Algebra Matricial y Teoría de Grafos - … · Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito,](https://reader031.fdocuments.co/reader031/viewer/2022022701/5bc10b5109d3f2840b8be597/html5/thumbnails/89.jpg)
Caminos más cortosEjemplo:
c
b
a
f
e
d
i
h
g
1
0
0
1
1
0
1
2
1
2
1
2
3
2
3
2
2
1
2
3
Maestría en Control de Operaciones y Gestión Logística – p.37