IND2209 Investigacion de Operaciones

Captulo 6. Programacion en Redes

Armin L
uer Villagra
Departamento de Ciencias de la Ingeniera
Universidad Andr
es Bello

29 de octubre de 2015

Introducci
on a los flujos en
redes

Introduccion a los flujos en redes

Ya hemos visto como modelar y resolver problemas que tienen

variables continuas y discretas.

Una nueva forma de modelar es utilizar un enfoque de teora

de grafos.

Parten de la nocion de puntos, conexiones y movimientos entre

ellos.
Ejemplos.

I
I
I
I

Redes de transporte.
Problemas de inventario.
Trafico vehicular.
Etc.

Ejemplos...

Fuente: metro.cl

Ejemplos...

Fuente: http://visual.merriam-webster.com

Ejemplos...

Fuente: http://digitalurban.blogspot.com

Conceptos b
asicos

Conceptos basicos de grafos

I

Un grafo es una estructura matematica que permite describir

situaciones donde puntos discretos se conectan, o bien una abstraccion que represente movimiento de entidades, balances de
alg
un tipo, etc.

Geometricamente un grafo se representa mediante puntos, tambien llamados nodos o v

ertices, y trazos que los unen, denominados arcos o aristas.

Conceptos basicos de grafos (cont.)

Definicion
Un grafo dirigido G (N, A) es un par formado por un conjunto
finito no vaco N = {1, . . . , n}, cuyos elementos se llaman nodos, y
un conjunto A de pares ordenados de elementos de N llamados
arcos. Se denota |N| = n y |A| = m.
Cuales son N y A en la figura?

Conceptos basicos de grafos (cont.)

Definicion
Se denota (i, j) el arco orientado desde el nodo i al j. Se dice que
el arco (i, j) es incidente en los nodos i y j.

Definicion
En un grafo, dos nodos son adyacentes si estan conectados directamente
por un arco.

Definicion
El grado de un nodo es la n
umero de arcos que entran o salen del nodo.
Se denota g (i) el grado del nodo i.

Conceptos basicos de grafos (cont.)

Definicion
Dado un grafo G = (N, A), un subgrafo de G es un grafo G 0 = (N 0 , A0 ) donde
N 0 N, A0 A.

Definicion
Un camino entre dos nodos i y j, en un grafo orientado G , es una secuencia de
nodos y arcos de G que comunican a i con j. Si los arcos van en la direcci
on
desde i a j se denominan arcos hacia adelante, y en otro caso hacia atr
as.

Definicion
Un camino s
olo con arcos hacia adelante se denomina camino dirigido. En otro
caso, se le denomina cadena.

Definicion
Un circuito en un grafo orientado es un camino donde el nodo inicial y final
coinciden.

Conceptos basicos de grafos (cont.)

Definicion
Un grafo es conexo si existe un camino entre cada par de nodos.

Definicion
Un
arbol es un grafo conexo y sin circuitos.

Definicion
Se denomina
arbol generador de G = (N, A) al subgrafo G 0 tal que N 0 = N y
0
G es un
arbol.

Definicion
Un grafo es bipartito si puede dividirse el conjunto de nodos N en dos
subconjuntos disjuntos, tales que no existan arcos entre nodos de un mismo
conjunto de la partici
on.

Representaci
on de un
grafo

Representacion de un grafo

Sea un grafo G = (N, A). Este

puede representarse mediante alguna de las siguientes
formas (u otras).

Definicion
La matriz de incidencia nodo-arco tiene tantas filas como nodos y tantas columnas
como arcos. Se define de la siguiente forma:

E = (eka ) =

1,
1,

0,

si el arco a comienza en el nodo k.

si el arco a termina en el nodo k.
en otro caso.

Definicion
La matriz de adyacencia nodo-nodo tiene tantas filas y columnas como nodos tenga el
grafo. Se define de la siguiente forma:


A = aij =

1,
0,

si (i, j) A
en otro caso.

Conceptos basicos flujos en redes

Dado un grafo G = (N, A) conexo,

Definicion
Se denomina flujo a una funci
on que hace corresponder a cada arco (i, j) A
un valor real fij . Se acostumbra llamar red al sistema formado por el grafo y
una funci
on de flujos.

Definicion
Un flujo ex
ogeno es aquel que se suma (o resta) en un nodo, y que no
corresponde al flujo que llega (o sale) desde un nodo mediante arcos. Se utiliza
para representar oferta (o demanda).

Convencion
Todos flujos que salen de un nodo se suman, los que entran se restan.

Problema de flujo a costo

mnimo

Problema de flujo a costo mnimo

I Supongamos que buscamos transportar al menor costo posible un produc-

to (commodity) entre un conjunto discreto de puntos N. Se conoce la

demanda
P u oferta en cada uno de ellos, denotada bi , i N. Se supone
que
as, existen un conjunto A de tramos que unen
iN bi = 0. Adem
en forma directa distintos pares de estos puntos. Se conoce la cantidad
mnima y m
axima que debe circular por cada tramo, denotados lij y uij ,
(i, j) A. Se conoce el costo unitario de transporte desde un nodo i N
a otro j N, denotado cij , (i, j) A.
I El modelo resultante, ya que (N, A) define un grafo, es como sigue,

Variables
I fij : flujo que circula por el arco (i, j) A.

Funci
on objetivo (minimizar costos totales)
X
min
cij fij
(i,j)A

Problema de flujo a costo mnimo (cont.)

Restricciones
I Conservaci
on de flujo

fij

j:(i,j)A

fji = bi , i N

j:(j,i)A

I Cotas de las variables

lij fij uij , (i, j) A

Matricialmente, esto equivale a,
min
s.a.

cT f
Ef = b
l f u

Algoritmo simplex
especializado para redes.

Algoritmo simplex especializado para redes.

I Para resolver una instancia del problema de flujo a costo mnimo puede

utilizarse una especializaci

on del algoritmo simplex.
I Para esto, partamos del problema sin cotas superiores e inferiores nulas, es

decir.

min

cij fij

(i,j)A

FR) s.a.

X
j:(i,j)A

fij

fji = bi , i A

j:(j,i)A

fij 0,

(i, j) A

Utilizaremos un resultado importante,

Teorema
Sea el problema FR) definido sobre un grafo G , y sea B una base factible del
problema. Los arcos asociados a las variables b
asicas de B forman un
arbol
generador de G .

Algoritmo simplex especializado para redes. (cont.)

Veamos los elementos necesarios.
I

Costos reducidos
Se calculan como cij = cij i + j . Sabemos que cij = 0 si
es basica. Con esto tendremos n 1 ecuaciones pero n valores a determinar (los i ). Basta fijar el valor de una de ellas
arbitrariamente para poder determinar todos los valores.

Convencion
Se hara 1 = 0 en toda iteraci
on en que se requieren calcular los
valores del vector .
I

Criterio de entrada a la base

Se eligira como variable candidata a entrar a la base, aquella
que tenga el costo reducido negativo de mayor valor absoluto.

Algoritmo simplex especializado para redes. (cont.)

Criterio de salida de la base

I

Si la base anterior no es
optima (existe alg
un cij < 0), una
variable fp puede entrar a la base.
De no salir otra variable fq , se formara un ciclo, ya que toda
base es un arbol generador. Pero al aumentar el flujo en el arco
p, algunos arcos aumentaran su flujo, y otros disminuiran. La
variable que sale es aquella que primero llega a flujo 0.
Formalmente, si Cp es el conjunto son los arcos que disminuyen
su flujo si aumenta el flujo fp , entonces la variable fq que sale
sera,

q = argminjCp {fj }
Esto se ve mejor con un ejemplo.

Algoritmo simplex especializado para redes. (Ejemplo)