algebra matricial y teoría de grafos - … · algebra matricial y teoría de grafos unidad 3:...

89
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

Upload: lekhanh

Post on 13-Oct-2018

222 views

Category:

Documents


0 download

TRANSCRIPT

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,

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,

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,

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,

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,

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,

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

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

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

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,

Á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,

Á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,

Á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,

Á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,

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,

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,

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