Modelos de Redes

Optimizacin de redes es un tipo especial de modelo en programacin lineal. Los

modelos de redes tienen tres ventajas importantes con respecto a la programacin
lineal.
1. Pueden resolverse muy rpidamente. Problemas que con programacin
lineal tendran 1000 filas y 30.000 columnas pueden ser resueltos en
segundos. Esto permite que los modelos de redes sean usados en muchas
aplicaciones (tal como la toma de decisin en tiempo real) para lo cual la
programacin lineal no es lo ideal.
2. Requieren en forma natural de soluciones enteras. Al reconocer que un
problema puede formularse como algn modelo de red nos permitir
resolver tipos especiales de problemas de programacin entera
aumentando la eficiencia y reduciendo el tiempo consumido por los
algoritmos clsicos de programacin lineal.
3. Son intuitivos. Los modelos de redes proveen un lenguaje para tratar los
problemas, mucho ms intuitivo que "variables, objetivo, restricciones".
Obviamente los modelos de redes no son capaces de cubrir la amplia gama de
problemas que puede resolver la programacin lineal. Sin embargo, ellos ocurren
con suficiente frecuencia como para ser considerados como una herramienta
importante para una real toma de decisiones.

Terminologa
Una red o grafo consiste de puntos, y lneas que conectan pares de puntos. Los
puntos se llaman nodos o vrtices. Las lneas de llaman arcos. Los arcos pueden
tener una direccin asociada, en cuyo caso se denominan arcos dirigidos. Si un
arco no tiene direccin normalmente se le denomina rama. Si todos los arcos en
la red son dirigidos, la red se denomina una red dirigida. Si todos los arcos son
no-dirigidos, la red es una red no-dirigida.
Dos nodos pueden estar conectados por un conjutno de arcos.
Una trayectoria (path en ingls) es una secuencia de arcos distintos (con nodos
no repetidos) conectando a los nodos. Una trayectoria dirigida desde nodo i al
nodo j es una sequencia de arcos, cada uno de los cuales apunta al nodo j (si es

que hay direccin). Una trayectoria no dirigida puede incluir arcos dirigidos
apuntando en cualquiera de direccin.
Una trayectoria que comienza y que termina en el mismo nodo se
denomina ciclo y puede ser ya sea dirigida o no-dirigida.
Una red esta conectada si existe una trayectoria no-dirigida entre cualquier par de
nodos. Una red conectada que no tiene ciclos se denomina rbol.

Ejemplos
Existen muchos ejemplos prcticos con flujo de redes. Estos son los ms
utilizados:

Problema de Transporte
Problema de asignacin
Ruta ms corta
Flujo Mximo

Problema de Transporte
Considere el siguiente problema de limpieza de nieve: la ciudad est dividida en
comunas. Despus de una tormenta de nieve, se debe sacar la nieve y botarla en
un lugar conveniente. En Helsinki (la ciudad del problema), esos lugares son
grandes esplanadas con un sistema de secado artificial. Cada una de esos
"destinos" tiene una capacidad. El objetivo es minimizar la distancia recorrida
para transportar la nieve.
Este problema es un ejemplo de un problema de transporte. En tales problemas,
existe un conjunto de nodos llamados fuentes y un conjunto de nodos llamados
destinos. Todos los arcos van desde el origen al destino. Existe un costo unitario
(por unidad) asociado a cada arco. Cada fuente tiene un concepto de
abastecimiento y cada destino maneja el concepto de demanda. Se asume que la
cantidad total a abastecer es exactamente igual a la cantidad demandada. Para el
problema de la nieve la red puede ser como se muestra en la figura 1.4.

Figura 1.4:Red de Transporte de Nieve

Un problema que corresponde al modelo de transporte puede ser el asignar
clientes a un negocio para poder satisfacer las demandas. En tal caso los
almacenes son las fuentes, los clientes son los destinos y los costos representan
los costos de transporte por unidad.
Otro ejemplo sera:
Uno de los principales productos de la Compaa P&T son los duraznos en
conserva. Los duraznos son preparados en 3 enlatadoras (Washington, Oregon y
Minnesota) y luego se despachan en camiones para distribuirlos en tres
supermercados en California, Utah, South Dakota, Nuevo Mxico. Debido a que
los costos de transporte han aumentado, la administracin ha decidido hacer un
estudio sobre ellos. Para la prxima estacin se ha estimado el nmero de tarros
de conserva generado en cada enlatadora, y la cantidad que requerir cada
almacn para satisfacer a sus clientes. Los costos de trasnporte desde la
enlatadora a los almacenes se resume en la siguiente tabla.

veamos cul sera el modelo de programacin lineal para este problema. Sea
el nmero de camiones cargados que van desde la enlatadora i al almacn j, el
problema sera:

Este es un ejemplo de modelo de transporte. Este problema tiene una estructura

interesante. Todos los coeficientes son 1 y cada variable aparece exactamente en
2 restricciones. Es esta estructura que hace que el algoritmo simplex sea
extremadamente eficiente al resolverlo.
Qu define a un modelo de transporte?. En general el modelo de transporte tiene
que ver con distribuir desde un grupo de centros de abastecimiento,
llamados fuentes a un grupo de centros de recepcin denominados destinos para
minimizar el costo total.
En general, la fuente i tiene una capacidad para abastecer de

unidades, y el

destino j tiene una demanda para unidades. El costo de la distribucin de los

items desde la fuente al destino es proporcional al nmero de unidades. Esta
informacin puede expresarse de una manera apropiada a travs de una tabla
como en el ejemplo.
Se supondr de una manera general que la oferta es igual a la demanda total. Si
esto no fuese verdad para un problema particular, se podrn crear fuentes o
destinos dummy para que esta condicin se cumpla. Esto se denomina problema
de transporte balanceado. Estos centros dummy pueden tener costos de
distribucin cero.
Supongamos que la enlatadora 3 puede llenar slo 75 camiones. Asi la cantidad
"ofrecida" es ahora 25 unidades menor. Un nodo de oferta dummy se crea para
balancear el problema, y el costo de la oferta dummy podra ser cero o
representar el costo de NO-satisfacer la demanda.

El costo de transporte tiene varias propiedades interesantes:

Factibilidad. El problema tiene una solucin factible del momento que la oferta
iguala a la demanda
Integralidad. Si las ofertas y las demandas son enteras, cada solucin bsica
(incluyendo el ptimo) ser entera. De esta manera no es necesario resolverlo por
programacin lineal entera. Cabe hacer notar que no significa que cada destino
ser abastecido por exactamente un origen!.
En el ejemplo, una solucin bsica podra ser llenar 20 camiones desde la
enlatadora 1 para enviarlos al negocio 2 y los 55 restantes al almacn 4, 80 desde
la enlatadora 2 al almacn 1 y 45 al almacn 2. Finalmente 70 desde la enlatadora
3 al almacn 3 y 30 al almacn 4. La formulacin de este problema de
programacin lineal tiene 7 restricciones adems de la no-negatividad, y una
solucin bsica tiene slo 6 variables bsicas. Esto se debe a que las restricciones
son linealmente dependientes: La suma de las primeras tres restricciones es igual
a la suma de la cuarta restriccin. En consecuencia, la regin factible definida por
las restricciones ser la misma si nosotros mantenemos slo 6 de ellas.
En general, una solucin bsica de un problema de transporte tendr un nmero
de variables bsicas igual al nmero de orgenes ms el nmero de destinos
menos uno.

Ver aqui el Algoritmo de Transporte

Problema de Asignacin
Un caso especial del problema de transporte es el problema de asignacin el cul
ocurre cuando cada oferta es 1 y cada demanda es 1. En este caso la integralidad
implica que cada abastecedor ser asignado slo a un destino y cada destino
tendr slo un abastecedor.

Este es un problema de transporte con todos las ofertas y demandas iguales a 1,

un problema de asignacin.
Debe notar que un problema balanceado debe tener el mismo nmero de puntos
de ofertas que de demandas, asi debemos agregar una mquina dummy
(correspondiente a una mquina artificial) y asignar un cero a los costos de
asignar la mquina dummy a una planta.

Ruta ms corta (Shortest Paths)

Considere una red telefnica. Cierto mensaje puede tomar una cierta cantidad de
tiempo sobre cada lnea (debido a la congestin, retardo en los switching, etc).

Este tiempo puede variar considerablemente minuto a minuto y las compaas de

telecomunicaciones gastan muchsimo tiempo y dinero buscando la consecuencia
de los retardos en el sistema. Suponiendo un switcher centralizado que conoce
sus retardos, queda entonces el problema de rutear una llamada de tal forma de
minimizar los retardos. La figura 1.1. muestra el mayor retardo para cada
trayectoria desde LA hasta Boston. Cmo poder determinar la trayectoria ms
rpida?

Figura 1.1: Red Telefnica

Este es un ejemplo de un tipo particular de modelo de red, denominado el
problema de la ruta ms corta. En tal problema, se tiene una red con costos sobre
la ramas y dos nodos especiales: un nodo de inicio y un nodo de trmino. El
objetivo es encontrar una trayectoria desde el nodo de inicio al nodo de trmino
de tal forma que el peso total sea mnimo.
Aqui tenemos otro problema que a priori puede no parecer de la ruta ms corta,
pero realmente lo es:
En un pequeo pero creciente aeropuerto, la compaa area local est
comprando un nuevo tractor para el tren transportador del equipaje hacia y desde
las aeronaves. Un nuevo sistema mecanizado de transporte de equipaje ser
instalado en 3 aos, por lo tanto el tractor no se necesitar despus, Sin embargo,
debido a que se le dar un uso fuerte y a que los costos de mantencin son
elevados, puede ser an rentable econmicamente reemplazar el tractor al cabo
de 1 2 aos de uso. La siguiente tabla da el costo neto asociado con la compra
de un tractor en el ao i y su utilizacin en el ao j (donde ao 0 es ahora):

El problema es determinar Cuntas veces debera ser reemplazado el tractor (si

es que se hace) para minimizar los costos totales de los tractores?. Cmo puede
formularse este problema como un modelo de la ruta ms corta?

Flujo Mximo
Otro tipo de modelo tiene un nmero en cada arco, pero ahora el nmero
corresponde a la capacidad. Esto limita el flujo sobre el arco (es el mximo flujo
por arco). Por ejemplo, en un sistema de distribucin la capacidad podra estar
limitada por la cantidad de material (digamos toneladas) que pueden ir sobre un
canal de distribucin dado. Podriamos entonces estar interesados en la capacidad
de la red, para saber cuanto puede enviarse desde un nodo fuente a un nodo
destino?. Usando la misma red anterior, tratando los nmeros como capacidades,
cunto puede enviarse desde LA hasta Boston?

Figura 1.2: Red de Distribucin

Asociado al flujo mximo est el "cuello de botella": un conjunto de arcos cuyas
capacidades estn igualadas a su flujo mximo, y que al eliminarlas no existe
una trayectoria de origen al destino en la red. Este es actualmente un resultado
no-trivial el mostrar que el flujo mximo es igual al tamao del mnimo cuello de

botella. Es una tarea interesante el tratar de encontrar el cuello de botella en el

ejemplo.
Los modelos del flujo mximo ocurren en aplicaciones donde el costo no est en
juego, y el objetivo es maximizar el nmero de items manejados (en un sentido
amplio). Aqui tenemos un problema similar que puede tratarse por el flujo
mximo.