MODELOS DE REDES

En un modelo de redes el objetivo consiste en maximizar el flujo del muelle a la refinera y calcular el valor de este flujo mximo.

INTRODUCCIN
En este capitulo se estudian los modelos de redes, que usan grficas dirigidas, en esta seccin aprenderemos a maximizar el flujo a travs de una red. La red podra ser una red de transporte por la que fluyen bienes, una red de tuberas a travs de la cual fluye el petrleo, una red de computadoras a travs de la cual fluyen los datos, etc. En cada caso el problema consiste en determinar el flujo mximo. La maximizacin del flujo en una red es un problema que pertenece a la teora de grficas como a la investigacin de operaciones. Las redes de Petri modelan sistemas en los que el procesamiento puede ocurrir de manera concurrente. El modelo proporciona un marco de referencia para tratar cuestiones como la posible operacin de estancamiento en un sistema o el hecho de exceder la capacidad de los componentes de un sistema.

RED DE TRANSPORTE
Considerando la siguiente grfica dirigida (red de transporte), que representa una tubera de petrleo. El petrleo se descarga en el muelle a y se bombea por toda la red de la refinera z . Los vrtices b,c,d y e representan estaciones de bombeo intermedias. Las aristas dirigidas representan subtuberas del sistema y muestran la direccin en que puede fluir el petrleo. Las etiquetas de las aristas indican las capacidades de las subtuberas. El problema es encontrar la manera de maximizar el flujo del muelle a la refinera y calcular el valor de este flujo mximo.

Una red de transporte es una grafica dirigida, simple con pesos que satisface: a) Un vrtice fijo, designado como el origen o fuente, no tiene aristas de entrada. b) Un vrtice, designado como destino o sumidero, no tiene aristas salientes. c) El peso Cij de la arista dirigida (i, j) llamada capacidad de (i, j) es un numero no negativo. Si observamos la grfica, el origen es el vrtice a y el destino es el vrtices z. La capacidad de la arista (a, b), C_{a, b} es 3 y la capacidad de la arista (b, c), C_{b, c} es 2. Un flujo en una red asigna un flujo a cada arista dirigida que no excede la capacidad de esa arista. Ms aun, si se supone que el flujo que entra a un vrtice v, que no es el origen y el destino, es igual al flujo que sale de v

 Ejemplo de red de transporte Tomado con referencia la grfica

Sea G una red de transporte. Sea C_{ij} la capacidad de la arista dirigida (i, j) . Un flujo F en G asigna a cada arista dirigida (i, j) un numero no negativo F_{ij} tal que: a. F_{ij} C_{ij} b. Para cada vrtice j, que no es la fuente ni el destino. Conservacin de flujo b Conservacin de flujo

F_{ij} recibe el nombre de flujo en la arista (i, j). Para cualquier vrtice j,

Se llama flujo que entra a j y

Se llama flujo que sale de j.Conservacin de flujo significa para el ejemplo, que el petrleo no se usa ni se suministra en las estaciones de bombeo b, c, d y e. Ahora, vamos a definir un flujo para la red del ejemplo asignando los valores: F_{ab} = 2, F_{bc} = 2, F_{cz} = 3; F_{ad} = 3, F_{dc} = 1, F_{de} = 2, F_{ez} = 2 La grfica quedara,

Analizando, El flujo que entra al vrtice d F_{ad} = 3 y es el mismo que sale del vrtice d, F_{dc} + F_{de} = 1 + 2 = 3 Se debe considerar que una arista e se etiqueta x, y si la capacidad de e es x y el flujo en e es y. Observemos que el flujo que sale del origen (a) Fab + Fad, es igual al flujo que entra al destino (z) Fcz + Fez F_{ab} + F_{ad} = 2 + 3 = 5 F_{cz} + F_{ez} = 3 + 2 = 5 Ambos valores son iguales a 5; a este valor lo denominamos valor del flujo F. Sea F un flujo en una red G. el valor

Se llama el valor del flujo F.

ALGORITMO DE FLUJO MXIMO

Si G es una red de transporte, un flujo mximo en G es un flujo con valor mximo. Disear un algoritmo para determinar un valor mximo, consiste en iniciar con cierto flujo inicial e incrementar de manera interactiva el valor del flujo hasta que no pueda mejorarse mas. Podemos considerar un flujo inicial aquel en el que el flujo en cada arista es igual a cero. Para incrementar el valor de un flujo dado, debemos determinar un camino del origen al destino e incrementar el flujo a lo largo de este camino.

Notacin
G denota una red con origen a, destino z y capacidad C En principio denotaremos aristas no dirigidas (Camino) P = (V0, V1,., Vn) Vo = a, V = z Si una arista e en P esta dirigida de Vi-1 a Vi decimos que esta orientada en forma propia.

Si podemos determinar un camino P de la forma del origen al destino en donde cada arista P esta orientada en forma propia y el flujo en cada arista es menor que la capacidad de la arista es posible aumentar el valor del flujo.

Uso del algoritmo para determinar el flujo mximo.

Dada la siguiente red de transporte:

Desarrollo: Las lneas 1 y 2 del algoritmo, nos permite inicializar el flujo con 0 para cada una de las aristas de la red.

Las lneas 5 al 9 del algoritmo, permiten etiquetar los vrtices como NULOS. Las lneas 10 y 11 del algoritmo permite etiquetar el vrtice a como (-, ) que es un par o dupla de valores, donde el primer elemento identifica el vrtice predecesor o anterior y el segundo valor es el mnimo entre el incremento () y la diferencia dada por Cvw - Fvw, donde la red resultante es:

En la lnea 12 al conjunto U le aadimos el vrtice a en este caso (vrtice fuente o inicial). A continuacin la lnea 13, da inicio al ciclo WHILE, que permite etiquetar los vrtices que conectan las aristas que salen de a y al mismo tiempo elimina el vrtice a de U, para nuestro caso las aristas (a, b) y (a, d) controlando que los vrtices b y d no estn etiquetados. Luego de etiquetar los vrtices anteriores, regresamos a la lnea 13 y repetimos el ciclo WHILE, pero esta vez tomamos el vrtice b y nos dirigimos a etiquetar el vrtice c que se conecta con la arista (b, c) y c no esta etiquetado, se elimina el vrtice b y se aade el vrtice c a U. Regresamos a la lnea 13 y repetimos el ciclo WHILE, como el vrtice z no est etiquetado, tomamos cualquiera de los vrtices que se encuentran en U pero observando que con los vrtices que se conecta no se encuentren etiquetados, para nuestro caso tomamos el vrtice c y cumplimos los requisitos que nos pide el algoritmo en las lneas que hagamos referencia, para nuestro caso c se conecta con z y z no est etiquetado, dando como resultado lo siguiente:

Regresamos a la lnea 13, ciclo WHILE, pero como z est etiquetado, saltamos a la lnea 35, donde las lneas que le siguen nos permite determinar el conjunto P con el camino de los vrtices comenzando desde z hacia atrs hasta llegar a a, donde el camino est dado por: P = (a, b, c, z) En la lnea 43 del algoritmo hacemos = val(z) y asignamos el flujo a todas las aristas del camino identificado, conforme lo sealan las lneas del algoritmo que estn a continuacin de la lnea 43. La red con estos nuevos datos es la siguiente:

Luego de obtener este primer camino, regresamos al inicio del algoritmo o sea a la lnea 3 y volvemos a ejecutar las instrucciones como se lo hizo al inicio, con esto se determina otro camino y los flujos respectivos; pero hay que considerar que ahora algunas de las aristas ya tienen un flujo asignado por el anterior proceso. Este procedimiento continua hasta cuando el conjunto U este vaco, que se controla en la lnea 15 y se puede dar por terminado el algoritmo.