Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

TRABAJO FINAL

Materia: Sistemas de Control Profesor: Lic. Andrs Coda Ao cursada: 2002 Alumna: Mariana Morn Legajo: 2590 Tema: Algoritmos y redes

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

INTRODUCCIN
En este trabajo, mediante la utilizacin de rboles y grafos, se desarrollan tcnicas matemticas. Estas perfeccionan ciertos resultados considerando grafos y multigrados que tienen un nmero real no negativo, designando peso, relacionado a cada arista del grafo. Estos nmeros asocian informacin como la distancia entre los vrtices o la cantidad de material que se puede enviar de un vrtice a otro por una arista. Considerando los grafos como contexto, los mtodos de optimizacin se realizan mediante algoritmos para facilitar su ejecucin por computador. Entre los problemas que se analizan estn las determinaciones de: -Un rbol abarcador para un grafo o multigrado, donde la suma de los pesos de las aristas en el rbol sea minimal; y -La mxima cantidad de material que puede transportarse de un punto inicial a un punto final, donde el peso de una arista indica la capacidad permitida para el material a transportarse.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Los problemas de redes surgen en una variedad de situaciones. La representacin de redes se utiliza en reas tan diversas como produccin, distribucin, planeacin de proyectos, localizacin de instalaciones, administracin de recursos y planeacin financiera, entre otros. De esta forma, una representacin de redes ayuda a visualizar las relaciones entre los componentes de los sistemas; se usa en casi todas las reas cientficas, sociales y econmicas. Uno de los desarrollos en investigacin de operaciones ha sido el avance tanto en la metodologa como en la aplicacin de los modelos de optimizacin de redes. Una red consiste en un conjunto de puntos y un conjunto de lneas que unen ciertos pares de puntos. Los puntos se llaman nodos (o vrtices). Las lneas se llaman arcos (o ligaduras, aristas o ramas). Los arcos se etiquetan dando nombre a los nodos en sus puntos terminales, por ejemplo: AB es el arco entre los nodos A y B. Los arcos pueden tener algn tipo de flujo que pase por ellos, si este permite una sola direccin, al arco (que contiene dicho flujo) se lo llama arco dirigido. La direccin se indica agregando una cabeza de flecha al final de la lnea que representa el arco. En cambio, si el flujo a travs de un arco contiene dos direcciones, se dice que este es un arco no dirigido. Aunque se permita que el flujo a travs de un arco no dirigido ocurra en cualquier direccin y no existirn flujos simultneos en direcciones opuestas. En el proceso de toma de decisiones sobre el flujo en un arco no dirigido, se puede realizar una secuencia de asignaciones de flujos opuestos, pero el flujo real ser el flujo neto. Un ejemplo, si le asignamos a un flujo de 5 en una direccin y luego un flujo de 2 en direccin opuesta, se cancela 2 unidades a la asignacin original; esto reduce al flujo original de 5 a 3. Una red que contiene solamente arcos dirigidos se llama red dirigida. A una red que contenga arcos dirigidos y no dirigidos, se la puede convertir en una red dirigida. Esto se realiza reemplazando a cada arco no dirigido por un par de arcos dirigidos en direcciones opuestas. Una trayectoria entre dos nodos es una sucesin de arcos distintos que conectan estos nodos. Tambin podemos decir que cuando todos los arcos de una red son dirigidos, la trayectoria de dicha red obviamente es dirigida. Por el contrario, la trayectoria ser no dirigida. Puede suceder que una trayectoria no dirigida tenga tantos arcos no dirigidos. La figura 1 muestra una red dirigida, donde los nodos Ay B representan dos fbricas y los nodos D y E representan dos almacenes, el nodo C es un centro de distribucin y los arcos representan a las rutas de embarque. Podemos decir que la sucesin de arcos AB-BC-CE (A _ B _ C _ E) es una trayectoria dirigida del nodo A al nodo E. Por otro lado, BC-AC-AD (B _C_ A_ D) no es una trayectoria dirigida.

D Figura 1

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Otro concepto que utilizaremos es el ciclo y se define como una trayectoria que comienza y termina en el mismo nodo. En una red dirigida un ciclo puede ser dirigido o no dirigido, segn si la trayectoria en cuestin es dirigida o no dirigida. Por ejemplo en la figura 1, DE-ED es un ciclo dirigido. Por otro lado AB-BC-AC no es ciclo dirigido, porque la direccin del arco AC es opuesta a la de los arcos AB y BC. Se dice que dos nodos estn conectados si la red contiene al menos una trayectoria no dirigida entre ellos (no es necesario que la trayectoria sea dirigida an cuando la red es dirigida). Una red conexa es una red en la que cada par de nodos est conectado. La red de la figura 1 es conexa. Si consideramos una red conexa con n nodos (ejemplo en la figura 1, los n = 5) en la que eliminaremos todos los arcos. Se puede hacer crecer un rbol agregando un arco a la vez, a partir de la red original. El primer arco puede ir en cualquier lugar para conectar algn par de nodos. De ah, cada arco nuevo debe agregarse entre un nodo que ya ha sido conectado a otros nodos y un nuevo nodo conectado. Si se agregan arcos de esta manera, se evita que se forme un ciclo y adems se asegura que el nmero de nodos conexos es uno ms que el nmero de arcos. Cada nuevo arco crea un rbol ms grande, que es una red conexa que no contiene ciclos no dirigidos. A este rbol lo llamaremos rbol de expansin, y es una red conexa para los n nodos que no contiene ciclos no dirigidos. Todo rbol de expansin tiene exactamente n-1 arcos (ya que este es el nmero mnimo de arcos necesarios para tener una red conexa y el mximo nmero posible para que no haya ciclos no dirigidos) En la figura 2 vemos el proceso anteriormente mencionado. Una observacin es que en cada etapa de este proceso se tienen varias alternativas para el nuevo arco, en la figura 2 se muestra una de las muchas formas de construir un rbol de expansin.

A b)

C A B a) c) E D

d)

C E B

C E e)

Referencias figura 2:

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

a) nodos sin arcos b) un rbol con un arco c) un rbol con dos arcos d) un rbol con tres arcos e) un rbol de expansin Por ltimo, la cantidad mxima de flujo que puede circular en un arco dirigido se conoce como la capacidad del arco. Entre los nodos, se pueden distinguir aquellos que son generadores de flujo, absorbedores netos o ninguno de los dos. Un nodo fuente tiene la propiedad de que el flujo que sale del nodo excede el flujo que entra a l. El caso inverso es un nodo demanda que el flujo que sale del nodo excede al que sale de l. Un nodo de trasbordo satisface la conservacin del flujo, as el flujo que entra es igual al que sale. A lo largo de este informe se resolvern distintos problemas mediante algoritmos. Para poder ejemplificarlos adaptaremos una situacin en particular: En el Ocano Pacfico se encuentra un archipilago constituido por siete islas pequeas. Todas de ellas forman parte de un paseo turstico ofrecido por una empresa de viajes. Para visitarlas existe un recorrido apto para lanchas o hidroaviones, realizado por guas de turismo. En la figura 3 se muestra el recorrido (sin curvas) donde O es la entrada al archipilago, lugar en donde se encuentran las guas para recibir a los turistas; las otras letras representan la ubicacin de las otras islas. Los nmeros son las distancias en millas que separan una isla de otra. En la isla designada con la letra T (la ltima en el recorrido) se encuentra el hotel de alojamiento para los turistas. Unas cuatro lanchas transportan a los visitantes desde la entrada a la isla T y de regreso. El administrador se enfrenta a tres problemas: -Uno consiste en determinar qu ruta, desde la entrada del archipilago hasta la isla T, es la que tiene la distancia total ms corta para la operacin de las lanchas. -El segundo problema reside en que deben instalarse lneas telefnicas para establecer la comunicacin entre todas las islas. Como la instalacin es cara y perturba a la ecologa, se instalarn lneas que sigan las rutas necesarias para obtener comunicacin entre cualquier par de islas. La pregunta es por dnde deben tenderse las lneas para lograr esto con el mnimo nmero total de millas de cable instalado. -El tercer problema es que durante la temporada pico hay ms personas que quieren tomar las lanchas. Para evitar la perturbacin indebida de la ecologa, se ha impuesto un racionamiento estricto en el nmero de viajes al da que pueden hacer las lanchas en cada ruta. As, durante la temporada pico se pueden seguir varias rutas, sin tomar en cuenta la distancia, para aumentar el nmero de viajes de lanchas diario. La cuestin es planear las rutas para los distintos viajes, de manera que se maximicen el nmero total de viajes que se pueden hacer al da, sin violar los lmites impuestos sobre cada camino.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

A 2 7 2 5 O 4 1 4 C Figura 3 E B 3 1 4 D 7 5

Problema de la ruta ms corta: Si consideramos una red conexa y no dirigida con dos nodos especiales llamados origen y destino. A cada una de las ligaduras (arcos no dirigidos) se asocia una distancia no negativa. El objetivo es encontrar la ruta ms corta que va del origen al destino. La esencia de este procedimiento es que analiza toda la red a partir del origen, identificando sucesivamente la ruta ms corta a cada uno de los nodos en orden ascendente de sus distancias. Algoritmo de la ruta ms corta Objetivo de la n-sima iteracin: encontrar el n-simo nodo ms cercano al origen. (Este paso se repetir para n = 1,2, hasta que el n-simo nodo ms cercano sea el nodo destino. Datos para la n-sima iteracin: n 1 nodos ms cercanos al origen, incluyendo su ruta ms corta y la distancia desde el origen. (Estos nodos y el origen se llamarn nodos resueltos; el resto son nodos resueltos). Candidatos para el n-nesimo nodo ms cercano: cada nodo resuelto que esta conectado directamente por una ligadura con uno o ms nodos no resueltos proporciona un candidato, y ste es el nodo no resuelto que tiene la ligadura ms corta. (Los empates proporcionan candidatos adicionales).

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Clculo del n-simo nodo ms cercano: para cada nodo resuelto y sus candidatos, se suma la distancia entre ellos y la distancia de la ruta ms corta desde el origen a este nodo resuelto. El candidato con la distancia total ms pequea es el n-simo nodo ms cercano (los empates proporcionan nodos resueltos adicionales), y su ruta ms corta es la que genera esta distancia. La administracin de la empresa de turismo del archipilago necesita encontrar la ruta ms corta desde la entrada al parque (nodo O) a la isla T (nodo T) a travs del sistema de caminos que se muestra en la figura 3. La primera columna (n) indica el nmero de la iteracin. La segunda columna de una lista de los nodos resueltos para comenzar la iteracin actual, despus de quitar los que no sirven (aquellos que no tienen conexin directa con nodos no resueltos). La tercera columna da los candidatos para el n-simo nodo ms cercano (los nodos no resueltos con la ligadura ms corta al nodo resuelto). La cuarta columna calcula la distancia de la ruta ms corta desde el origen a cada uno de los candidatos (esto es, la distancia al nodo resuelto ms la distancia de la ligadura que va al candidato). El candidato con la suma de distancias ms pequea es el n-simo nodo ms cercano al origen, segn se indica en la quinta columna. Las dos ltimas columnas resumen la informacin de este ltimo nodo resuelto necesaria para pasar a las iteraciones siguientes. La ruta ms corta desde el nodo destino hasta el origen se puede rastrear hacia atrs en la ltima columna de la siguiente tabla, con lo que se obtiene T_D_E_B_A_O o bien T_D_B_A_O. Por lo tanto, se identificaron las dos opciones para la ruta ms corta desde el origen hasta el destino como las cadenas O_A_B_E_D_T y O_A_B_D_T, con una distancia total de 13 millas en cualquiera de las dos rutas.

1 2,3 4

Nodos resueltos conectados directamente a nodos no resueltos O O A A B C A B E D E

Nodo no resuelto ms cercano conectado A C B D E E D D D T T

Distancia total involucrada

n-simo nodo ms cercano

Distancia mnima

ltima conexin

2 4 2+2=4 2+7=9 4+3=7 4+4=8 2+7=9 4+4=8 7+1=8 8+5=13 7+7=14

A C B E 7

OA OC AB BE

D D T

8 8 13

BD ED DT

Problema del rbol de expansin mnima: El problema del rbol de expansin mnima tiene algunas similitudes con el problema de la ruta ms corta que se presento anteriormente. En ambos casos se considera una red no dirigida y conexa de longitud positiva (distancia, costo, tiempo, etc.) asociada con cada ligadura. Los dos problemas involucran tambin el hecho de seleccionar un conjunto de ligaduras que tiene la longitud total ms corta entre todos los conjuntos

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

de ligaduras que satisfacen cierta propiedad. Para el problema de la ruta ms corta esta propiedad es que la ligadura seleccionada debe proporcionar una trayectoria entre el origen y el destino. Para el rbol de expansin mnima la propiedad requerida es que las ligaduras seleccionadas deben proporcionar una trayectoria entre cada par de nodos. Una red con n nodos requiere (n 1) ligaduras para proporcionar una trayectoria entre cada par de nodos. Las (n -1) ligaduras deben elegirse de tal manera que la red resultante (con slo las ligaduras seleccionadas) forme un rbol de expansin. Por lo tanto, el problema es encontrar el rbol de expansin con la longitud total mnima de ligaduras. La figura 4 nos muestra el proceso que se hace para llegar al rbol de expansin mnima.

A B D O

E C a) A B O D T

C b)

A 2

2 B 4 D 7 5

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

La figura 4a no es un rbol de expansin, pues los nodos O, A, B y C no estn conectados con los nodos D, E, y T. Se necesita una ligadura ms para hacer esta conexin. Esta red consiste en dos rboles, uno para cada uno de estos dos conjuntos de nodos. Las ligaduras de la figura 4b s se expanden por toda la red, pero no es un rbol porque tiene dos ciclos (O-A-B-C-O y D-T-E-D). Como el problema del Archipilago tiene n = 7 nodos, y se indic que una red debe tener justo n-1=6 ligaduras y ningn ciclo para calificar como un rbol de expansin. Esto se logra en la figura 4c, por lo que esta red es una solucin factible (con una longitud total de 24 millas en las ramas o ligaduras) para el problema del rbol de mnima expansin. Algoritmo para el problema del rbol de expansin mnima 1- Se selecciona, de manera arbitraria, cualquier nodo y se conecta al nodo ms cercano distinto de ste. 2- Se identifica el nodo no conectado ms cercano a un nodo conectado, y se conectan estos dos nodos (se agrega una ligadura entre ellos). Este paso se repite hasta que se hayan conectado todos los nodos. 3- Empates: los empates para el nodo ms cercano distinto (paso 1) o para el nodo no conectado ms cercano (paso 2), se pueden romper en forma arbitraria y el algoritmo todava debe llevar a una solucin ptima. Estos empates son seal de que puede existir (pero no necesariamente) soluciones ptimas mltiples. La administracin del archipilago necesita determinar los caminos bajo los cuales se deben tender las lneas telefnicas para conectar todas las islas con una longitud total mnima de cable. Se describir paso a paso la solucin de este problema con base en los datos que se dan en la figura 3. Los nodos y distancias para el problema se resumen enseguida, en donde las lneas delgadas ahora representan ligaduras potenciales. Figura 5

A 2 O 5 2

7 4 B 1 D

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

En forma arbitraria, se selcciona el nodo O, para comenzar. El nodo no conectado ms cercano a O es el nodo A. Se conecta el nodo A al nodo O.

A 2 O 5 2

7 4 B 1 C 4 3 E 1 D

El nodo no conectado ms cercano a cualesquiera de los nodos O o A es el nodo B (ms cercano a A). Se conecta el nodo B al nodo A.

A 2 O 5 2

7 4 B 1 C 4 3 E 1 D

El nodo no conectado ms cercano a O, A o B es el nodo C (ms cercano a B). Se conecta el nodo C al nodo B. A 2 2

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

El nodo no conectado ms cercano a O, A, B o C es el nodo E (ms cercano a B). Se conecta el nodo E al nodo B.

A 2 O 5 2

7 4 B 1 C 3 E 1 D

4 El nodo no conectado ms cercano a los nodos O, A, B, C o E es el nodo D (ms cercano a E). Se conecta el nodo D al nodo E. A 7 T 5 2 2 4 D 7 O 5 B 1 3 1 4 C E 4

El nico nodo no conectado es el T. Est ms cerca del nodo D. Se conecta el nodo T al nodo D. A 2 2

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Todos los nodos han quedado conectados, por lo que sta es la solucin (ptima) que se buscaba. La longitud total de las ramas es 14 millas.

Problema del flujo mximo Figura 6: problema del flujo mximo para el Archipilago.

A 1 8 O 7 4

3 9 B 2 4 5 D 1 6

C 4

El problema del flujo mximo se puede describir formalmente como sigue. Considere una red dirigida y conexa (figura 6) que tiene un solo nodo fuente (el nodo O) y un solo nodo destino (el nodo T), y el resto son nodos de trasbordo. Dada la capacidad en los arcos (los nmeros en la figura 6), el objetivo es determinar el patrn factible de flujos a travs de la red que maximiza el flujo total, desde el nodo fuente hasta el nodo destino. Como el problema del flujo mximo se puede formular como un problema de programacin lineal, se puede resolver con el mtodo smplex. Sin embargo, se dispone de un algoritmo de trayectorias aumentadas mucho ms eficiente. Este algoritmo se basa en dos conceptos intuitivos, el de una red residual y el de una trayectoria aumentada. Una vez que se han asignado flujos a los arcos de la red original, la red residual muestra las capacidades restantes (llamadas capacidades residuales) para asignar flujos adicionales. Por ejemplo, consideramos el arco O_B en la figura 6, que tiene una capacidad de arco de 7. Suponemos que los flujos asignados incluyen un flujo de 5 a travs de este arco, lo que deja una capacidad residual de 7-5=2 para cualquier

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

asignacin de flujo adicional a travs de O_B. Este estado se describe en la red residual de la siguiente manera: O 2 5 B

El nmero sobre el arco junto a un nodo da la capacidad residual para el flujo desde ese nodo hasta el otro. Por lo tanto, adems de la capacidad residual de 2 para el flujo de O a B, el 5 de la derecha indica una capacidad residual de 5 para asignar un flujo desde B hasta O (es decir, para cancelar algn flujo previamente asignado de O a B). En principio, antes de asignar cualquier flujo, la red residual tiene la apariencia mostrada en la figura 7. Cada arco en la red original (figura 6) se cambi de un arco dirigido a un arco no dirigido. No obstante, las capacidades en la direccin original son las mismas y las capacidades en la direccin opuesta son cero, de manera que las restricciones sobre los flujos no cambian. Subsecuentemente, siempre que se asigne alguna cantidad de flujo a un arco, esa cantidad se resta de la capacidad residual en la misma direccin y se suma a la capacidad residual en la direccin opuesta. Figura 7: la red residual para el problema de flujo mximo del Archipilago. A 3 1 5 O 7 4 0 0 C 4 0 0 4 0 B 5 2 0 9 0 D 0 0 1 E 6

T 0

Una trayectoria de aumento es una trayectoria dirigida del nodo fuente al nodo destino en la red residual, tal que todos los arcos en esta trayectoria tienen capacidad residual estrictamente positiva. El mnimo de estas capacidades residuales se llama capacidad residual de la trayectoria de aumento porque representa la cantidad de flujo que es factible agregar en toda la trayectoria. Por lo tanto, cada trayectoria de aumento proporciona una oportunidad de aumentar ms el flujo a travs de la red original. El algoritmo de la trayectoria de aumento selecciona repetidas veces alguna trayectoria de aumento y agrega un flujo igual a su capacidad residual a esa trayectoria en la red original. Este proceso contina hasta que ya no hay trayectorias de aumento, con lo que el flujo del nodo fuente al nodo destino no puede crecer. La clave para asegurar que la solucin final es necesariamente ptima es el hecho de que las trayectorias de aumento pueden cancelar flujos asignados con anterioridad en la red original; as, una seleccin indiscriminada de trayectorias para asignar flujos no puede evitar el uso de una combinacin mejor de asiganaciones de flujos.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Para resumir, cada iteracin del algoritmo consiste en los tres pasos siguientes: Algoritmo de la trayectoria de aumento para el problema de flujo mximo 1- Se identifica una trayectoria de aumento encontrando alguna trayectoria dirigida del nodo origen al nodo destino en la red residual tal que cada arco sobre esta trayectoria tiene capacidad residual estrictamente positiva. (Si no existe una, los flujos netos ya asignados constituyen un patrn de flujo ptimo). 2- Se identifica la capacidad residual c* de esta trayectoria de aumento encontrando el mnimo de las capacidades residuales de los arcos sobre esta trayectoria. Se aumenta en c* el flujo de esta trayectoria. 3 - Se disminuye en c* la capacidad residual de cada arco en esta trayectoria de aumento. Se aumenta en c* la capacidad residual de cada arco en la direccin opuesta en esta trayectoria. Se regresa al paso 1. A continuacin se resume la aplicacin de este algoritmo al problema del archipilago. Comenzando con la red residual inicial dada en la figura 7, se da la nueva red residual despus de una o dos iteraciones, donde la cantidad total de flujo de O a T. Iteracin 1: en la figura 7, una de las trayectorias de aumento es O_B_E_T que tiene la capacidad residual igual al min {7,5,6} = 5. Si se asigna un flujo de 5 a esta trayectoria, la red residual que resulta es: 0 5 O 2 4 0 0 C 4 0 A 3 1 1 4 5 B 0 2 0 9 0 D 1 5 1 E 1 0 T 5 5

Iteracin 2: se asigna un flujo de 3 a la trayectoria de aumento O_A_D_T. La red residual que resulta es: A 0 1 1 4 5 B 0 2 0 0 C 3 6 0 D 1 5 1 E 1

3 8 2 O 2 4

3 T 5

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Iteracin 3: se asigna un flujo de uno a la trayectoria de 1 a la trayectoria de aumento O_A_B_D_T.

Iteracin 4: se asigna un flujo de 2 a la trayectoria de aumento O_B_D_T. La red residual que resulta es: 4 11 1 O 4 0 0 C 4 Iteracin 5: se asigna a un flujo de 1 a la trayectoria de aumento O _ C _ E _ D _ T. Iteracin 6: se asigna a un flujo de 1 a la trayectoria de aumento O _ C _ E _ T. La red residual es: 5 1 E 1 0 A 0 0 2 1 7 B 0 2 3 3 3 D 1 6 T 5 11

4 1 13 O 2 0

0 0 2 7 B 2 0 2 C 2 2 1 0 3 2 3 D 2 5 0 E 0

T 6

13

Iteracin 7: se asigna un flujo de 1 a la trayectoria de aumento O _ C _ E _ B _ D _ T. La red residual que resulta es:

4 14 1 O 1 0

0 0 2 1 7 B 0 2 0 3 1 4 D 2 4 0 E 0

8 T 6

14

3 C

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Ya no existen trayectorias de aumento por lo que el patrn de flujo actual es ptimo.

A 4 14 O 7 1 B

3 8 D 4 1 6 4 C 3 E

14

Figura 8: solucin ptima para el problema de flujo mximo del archipilago.

El patrn de flujo actual se puede identificar acumulando las asignaciones de flujo o comparando las capacidades residuales finales con las capacidades originales en los arcos. Para este ltimo mtodo existe un flujo a travs de un arco si la capacidad residual final es menor que la original. La magnitud de este flujo es igual a la diferencia obtenida en la ltima iteracin ya sea en la figura 6 o en la figura 7, se obtiene como resultado el patrn de flujo ptimo que se ve en la figura 8.

Problema del flujo de costo mnimo El problema del costo mnimo tiene una posicin medular entre los modelos de optimizacin de redes; porque abarca una clase muy amplia de aplicaciones y porque su solucin es en extremo eficiente. Al igual que el problema del flujo mximo, toma en cuenta un flujo a travs de una red con capacidades limitadas en sus arcos. Al igual que el problema de la ruta ms corta, considera un costo (o distancia) para el flujo de un arco. La razn por la que el problema del flujo de costo mnimo se puede resolver de manera tan eficiente es que se puede formular como un problema de programacin lineal, se puede resolver mediante una versin simplificada del mtodo Smplex, llamada Mtodo Smplex de redes.

Formulacin

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Tenemos una red conexa dirigida en la que los n nodos incluyen al menos un nodo origen y al menos un nodo destino. Las variables de decisin son: xij = flujo a travs del arco i _ j, y la informacin dada incluye cij = costo por unidad de flujo a travs del arco i _ j, uij = capacidad del arco i _ j, bi = flujo neto generado en el nodo i. El valor de bi depende de la naturaleza del nodo i, en donde bi > 0, si es i un nodo fuente bi < 0, si es un nodo demanda bi = 0, si es un nodo de trasbordo El objetivo es minimizar es costo total de mandar los recursos disponibles a travs de la red para satisfacer la demanda dada. Si usamos la convencin de que las sumas se toman slo sobre arcos existentes, la formulacin de programacin lineal de este problema es
n n

Minimizar sujeta a
n j =1 n

Z=
i =1

cij xij
j =1

xij - xij = bi,

j=1

para cada nodo i, para cada arco i _ j

y 0 <= xij <= uij

La primera suma en las restricciones de los nodos representa el flujo total que sale del nodo i, mientras que la segunda suma representa el flujo total que entra al nodo i; as, la diferencia es el flujo neto generado en este nodo. En algunas aplicaciones, es necesario tener una cota inferior Lij > 0 para el flujo por cada arco i _j. Cuando esto ocurre se hace una traslacin de variables xij = xij - Lij, donde Lij se sustituye por xij + Lij en todo este modelo, con el fin de ajustar el modelo al formato anterior con restricciones de no negatividad. No se garantiza que el problema posea soluciones factibles, esto depende en parte de qu arcos se tienen en la red y de sus capacidades. De cualquier manera, para una red diseada razonablemente, la condicin necesaria ms importante es la siguiente. Propiedad de soluciones factibles: una condicin necesaria para que un problema de flujo de costo mnimo tenga soluciones factibles es que
n

bi = 0,
i =1

es decir, el flujo generado en los nodos origen es igual al flujo total absorbido por los nodos destino.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

Si los valores de bi que se dan en alguna aplicacin violan esta condicin, la interpretacin ms comn es que los recursos o las demandas (los que tengan el exceso) representan en realidad cotas superiores y no cantidades exactas. En este caso debe agregarse un nodo de demanda ficticio para absorber el exceso de recursos (agregando arcos con cij = 0 desde todos los nodos origen hasta este nodo), o bien debe agregarse un nodo origen ficticio para generar un flujo equivalente al exceso de demanda (agregando cij = 0 de este nodo a todos los nodos demanda). Con frecuencia las cantidades bi y uij tendrn valores enteros y la solucin requerir que las cantidades de flujo xij sean tambin enteros. Propiedad de soluciones enteras: para los problemas de flujo de costo mnimo en donde toda bi y uij tienen valor entero, todas las variables bsicas en cada solucin bsica factible (incluyendo la ptima) tendrn tambin valores enteros.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

CONCLUSIN
La representacin de redes nos permite visualizar los componentes de un sistema. A su vez, para optimizar dichas redes, podemos utilizar los algoritmos desarrollados en este trabajo. El algoritmo de la ruta ms corta es un procedimiento que analiza una red identificando sucesivamente el camino ms corto a cada uno de los nodos en orden creciente a sus distancias. El algoritmo del rbol de expansin mnima presenta similitudes con el mencionado anteriormente; la diferencia reside en que en el de expansin se requiere que las aristas seleccionadas deben proporcionar una trayectoria entre cada par de nodos. El algoritmo del flujo mximo, por su parte, se basa en dos conceptos: el de la red residual y el de una trayectoria aumentada. Con respecto al caso expuesto, podemos decir que aplicando dichos algoritmos resolvemos los problemas que se plantean.

Sistemas de control-Andrs Coda Algoritmos y Redes- Mariana Morn

BIBLIOGRAFA
Matemtica Moderna aplicada: probabilidades, estadstica e investigacin operativa. Turner, J.C. Editorial Alianza, 1970. Introduccin a la investigacin de operaciones. Frederick S. Hillier, Gerald J. Lieberman. Mc Graw Hill, 1997. Matemticas discretas. Richard Johnsonbaugh. Grupo editorial Iberoamericana, 1988. Matemticas discreta y combinatoria. Una introduccin con aplicaciones. Ralph P. Grimaldi. Editorial Pearson, 1998.