Introduccin En el presente trabajo se explicara el Modelo de Redes aplicado especficamente a problemas de trasporte y la maximizacin de flujos mediante el mismo se tratara adem!s sobre las Redes de Petr" #a maximizacin de flujos es un problema tpico de la In$esti%acin de &peraciones' el cual tiene muc(as aplicaciones' por ejemplo el flujo $ial en una ciudad' una red de a%uas ne%ras' una red inform!tica' etc" )i nosotros sobrecar%amos una calle' una tubera o un canal *ue ob$iamente tiene un limite de capacidad' nos enfrentaremos a un problema' posiblemente un flujo mas lento o una tubera con demasiada presin' a( es donde el Modelo de Redes es un m+todo o secuencia el cual nos ayuda a tomar una decisin acertada *ue podra ser mejorar o dar mayor apro$ec(amiento a los flujos a $as donde *ue ten%an mas capacidad' creando nue$as $as o eliminando al%unas anti%uas" Tambi+n nos ayuda a maximizar este flujo de manera eficiente de forma tal *ue se apro$ec(en al m!ximo los recursos" Por otra parte el objeti$o de las Redes de Petr esta mas enfocado al campo de la computacin y este es el de buscar mayor eficiencia y concurrencia en el tratamiento de los datos y *ue estos no se estan*uen o sobrecar%uen la capacidad *ue ellos poseen en un procesador por medio de %raficas especiales" &bjeti$os Exponer de una manera clara los conceptos' teoremas y aplicaciones" Encontrar maneras de aplicar la Teora de Redes a situaciones reales" Resol$er problemas pr!cticos" Modelos de redes Definicin: ,na Red de Transporte es una %rafica diri%ida' simple' con pesos y *ue debe cumplir las si%uientes: Poseer una fuente o $+rtice fijo *ue no tiene aristas de entrada" Poseer un sumidero o $+rtice fijo *ue no tiene arista de salida El peso -ij de la arista diri%ida de i a j llamado capacidad de ij es un numero no ne%ati$o" Este es un ejemplo de una red *ue parte de un punto a *ue es un Muelle y lle%a a un punto z *ue es una refinera" 1 Definicin: )ea . una red y sea -ij la capacidad de la arista diri%ida /ij0 se dice *ue un flujo 1 en . asi%na a cada arista diri%ida /ij0 un numero no ne%ati$o 1ij tal *ue debe cumplir: 1ij 2 -ij Para todos los $+rtices *ue no sea fuente ni sumidero se cumple: ec 3"4"4 /esta es la ecuacin de conser$acin de flujo0 Teorema 4: Dado un flujo 1 en una red el flujo de salida de la fuente es i%ual al flujo de entrada del sumidero" 1#,5& M67IM&: En una red .' el flujo m!ximo es un flujo m!ximo" .eneralmente existen $arios flujos con el mismo $alor m!ximo" Para encontrar el flujo m!ximo consideraremos un flujo inicial en cada arista i%ual a cero' despu+s se determina un camino especfico de la fuente al sumidero y se incrementa el flujo" )i una arista esta diri%ida (acia la fuente decimos *ue esta arista esta diri%ida en forma impropia' en caso contrario esta diri%ida en forma propia" )i se determina un camino P de la fuente al sumidero en donde cada arista de P esta orientada en forma propia y el flujo en cada arista es menor *ue la capacidad de la arista' es posible aumentar el $alor de flujo" Es posible incrementar el flujo en ciertos caminos de la fuente al sumidero *ue ten%a aristas orientadas en forma impropia y propia" )ea P un camino de a a z y sea x un $+rtice en P *ue no sea a ni z 8mbas aristas est!n orientadas en forma propia' en este caso' si incrementamos el flujo en 2' el flujo en la entrada en x se%uir! siendo i%ual al flujo de salida de x" )i incrementamos el flujo en e9 en 2' debemos disminuir el flujo en e4 en 2 de modo *ue el flujo de entrada en x si%a siendo i%ual al flujo de salida en x" Es an!lo%o en el caso b Disminuimos el flujo en ambas aristas en 2" En cada caso las asi%naciones resultantes de las aristas dan como resultado un flujo" Para realizar estas alteraciones debemos tener un flujo menor *ue la capacidad en una arista orientada en forma propia y un flujo distinto de cero en una arista orientada en forma impropia" Teorema 9: )ea P un camino de a a z en una red . tal *ue: Para cada arista /i'j0 de P' orientada en forma propia" 1ij :-ij Para cada arista /i'j0 de P' orientada en forma impropia ; :1ij 2 )e define 1<ij = )i no existieran caminos *ue concuerden con el teorema 9' el flujo es m!ximo' entonces se considera el al%oritmo: Iniciar con un flujo >uscar un camino *ue satisfa%a con las condiciones del teorema 9 )i no existe el camino el flujo es m!ximo" )e incrementa el flujo en 2' y se re%resa a lnea 9" 8 dic(o al%oritmo se le llama 8l%oritmo eti*uetado" Problema 4: Para este ejemplo (emos usado una parte de la flota de la empresa multinacional E))&" #a planta de E))&?Texaco para el aeropuerto internacional de El )al$ador posee dos tan*ues *ue son capaces de contener 43;';;; %alones de combustible para a$ion jet" 8mbas distribuidoras depositan combustible en los mismos tan*ues' la E))& esta encar%ada de depositar en los tan*ues de las 9@:@; a las A:;; y de las A:;; en adelante se recibe producto de Texaco" #os camiones de la E))& salen de la base (acia la refinera a car%ar combustible o si ya est!n car%ados' se diri%en directamente (acia la planta del aeropuerto a descar%arlo" #a si%uiente red representa las posibles rutas *ue pueden tomar los camiones y sus respecti$os tiempos: 3 4 Por medio del dia%rama nos podemos dar cuenta *ue un camin *ue no esta car%ado de combustible no puede partir mas tarde de las 9@:@; y car%ar combustible ya *ue lle%ara despu+s de las B:;; y un camin tarda una (ora en descar%ar todo su combustible' lo cual pro$ocara *ue c(ocaran los (orarios de los camiones E))& con los (orarios de los camiones de Texaco" ,n camin ya car%ado puede salir lo mas tarde a las @:@; de la maCana para lle%ar exactamente a las B:;;" Estas restricciones de tiempo se deben a *ue todos los camiones de E))& tienen un limite de $elocidad por se%uridad *ue es de D; Em( y los tiempos ya est!n medidos" Problema 9: El problema dos *ue esco%imos esta enfocado siempre a los camiones de la empresa E))&' pero en este caso enfocado a la lon%itud de los trayectos" Para tener una idea m!s amplia de lo *ue se (abla' colocamos el si%uiente mapa: El tiempo *ue se recorre en cada uno de los trayectos y los trayectos mismos se representan en la si%uiente red: 5 Es e$idente *ue el camino 9 es el mas adecuado por el tiempo *ue utiliza *ue es de @; minutos menos *ue el camino 4" Teorema de flujo m!ximo y corte mnimo Tenemos una red . y tiene un flujo 1 al concluir nuestro al%oritmo esto si%nifica *ue al%unos $+rtices est!n eti*uetados y otros no" )ea P el conjunto de $+rtices Eti*uetados y / no complementados0 entonces la fuente a no esta en P y el sumidero z esta " El conjunto s de aristas /$'F0 con $ *ue pertenece a P y F *ue pertenece a ' es un corte y la suma de las capacidades de las aristas s es la capacidad de cortes" Para el caso . es una red con una fuente a y un sumidero z lue%o la capacidad de las aristas i'j es -ij ,n corte /P' 0 donde el complemento de P es en . consta de un conjunto P de $+rtices y de complementos a ' donde a pertenece a P y z pertenece a " Teorema @ )ea 1 un flujo en . y teniendo /P' 0 un corte en . entonces la capacidad de este es mayor o i%ual *ue el $alor de 1 es decir Teorema G )iendo 1 un flujo en . sea /P' 0 ,n corte en .' si la i%ualdad se cumple en ,n corte /P' 0 donde el complemento de P es en . consta de un conjunto P de $+rtices y de complementos a ' donde a pertenece a P y z pertenece a " Entonces se dice *ue el flujo es m!ximo y el corte es mnimo" #a i%ualdad se cumple s y solo s: 1ij =-ij Para i *ue pertenece a P' j pertenece a " 1ij = ; Para i *ue pertenece a ' j pertenece a P" 6 Teorema B -uando se concluye un al%oritmo se produce un flujo m!ximo' si P /respecti$amente' 0 es el conjunto de $+rtices eti*uetados /respecti$amente' no eti*uetados0 al concluir el al%oritmo el corte /P' 0 es mnimo" Redes de Petri )on %raficas del procesamiento concurrente' es un m+todo para modelar y estudiar el procesamiento concurrente" ,na red de Petr es un %rafo diri%ido bipartito' con un estado inicial' llamado marcacin inicial" #os dos componentes principales de la red de Petr son los sitios /tambi+n conocidos como estados0 y las transiciones" .r!ficamente' los sitios son dibujados como crculos y las transiciones como barras o rect!n%ulos" #as aristas del %rafo son conocidas como arcos" Estos tienen un peso especfico' el cual es indicado por un nHmero entero positi$o' y $an de sitio a transicin y $ice$ersa" Por simplicidad' el peso de los arcos no se indica cuando +ste es i%ual a 4" ,n arco *ue est+ eti*uetado con k puede ser interpretado como k arcos paralelos" Ejemplo de una Red de Petr Es una %rafica diri%ida . = /I' E0 donde I = P , T y P 2T = J' cual*uier arista e en E es incidente en un miembro de P y un miembro de T' el conjunto P es el conjunto de lu%ares y el conjunto T es en conjunto de Transiciones" ,n marcado de una Red de Petr asi%na a cada lu%ar un entero no ne%ati$o' una red de Petr con un marcado es una Red de Petr Marcada /o simplemente una Red de Petr0" -on un marcado se asi%na al $alor no ne%ati$o n al lu%ar p' decimos *ue existen n elementos en p' mediante los elementos a representar son los puntos" Los lugares representan condiciones, las transiciones representan eventos, y la presencia de al menos un elemento en un lugar (condicin) indica que tal condicin se cumple. )i una arista $a del lu%ar p a la transicin t' decimos *ue p es un lu%ar de entrada para la transicin t" ,n lu%ar de salida se define de manera an!lo%a' si cada lu%ar de entrada de una transicin t tiene al menos un elemento' decimos *ue t esta acti$ada" 7 #a descar%a de una transicin elimina un elemento de cada lu%ar de entrada y a%re%a un elemento a cada lu%ar de salida" ,na serie de descar%as transforma un marcado M' en un marcado M<' decimos *ue M< es alcana!le desde M" ,n e$ento puede ocurrir si y solo si se cumplen todas las condiciones para su ejecucin es decir' la transicin se puede descar%ar solo si esta acti$ada" Entre las propiedades m!s comunes de Redes de Petr tenemos la "upervivencia y la "eguridad" #a "upervivencia se refiere a la ausencia de estancamientos' y la "eguridad se relaciona con la capacidad limitada de la memoria" ,n marcado M de una red de Petr esta Ii$o si' partiendo de M' sin importar la serie de descar%as realizadas' es posible descar%ar cual*uier transicin dada mediante al%una secuencia de descar%as adicionales" )i un marcado M esta $i$o para una Red de Petr P' entonces' sin importar la serie de descar%as de transiciones' P nunca se estancara" De (ec(o' podemos descar%ar cual*uier transicin mediante cierta secuencia de descar%as adicionales" ,n marcado M para una red de Petr esta acotado si existe al%Hn entero positi$o n con la propiedad de *ue' en cual*uier secuencia de descar%a' nin%Hn lu%ar recibe mas de n elementos" )i un marcado M' esta acotado y en cual*uier secuencia de descar%a nin%Hn lu%ar recibe mas de un elemento' decimos *ue M es un marcado "eguro" )i cada lu%ar representa un re%istro capaz de %uardar una palabra de computadora y si un marcado inicial es se%uro' tenemos %arantizado *ue no se exceder! la capacidad de memoria de los re%istros" Problema 4: Este es un ejercicio aplicado a casi cualquier tipo de fila donde existe una sola lnea para atender a 100 personas o ms. Los tiempos de llegada de los clientes sern valores sucesivos de la variable aleatoria ta, los tiempos de servicio estn dados por la variable aleatoria ts, y N es el nmero de servidores. Este modelo en su estado inicial tiene la cola vaca y todos los servidores en estado de espera. 8 La red de !etr para este escenario se muestra en la siguiente figura" Los estados estn etiquetados con letras maysculas y las transiciones con minsculas. Las etiquetas de los sitios tambi#n sern usadas como las variables de cuyos valores son los to$ens Las aristas tienen etiquetas que podran representar las funciones de transici%n, las cuales especifican el nmero de to$ens eliminados o agregados cuando una transici%n es activada. El estado A inicialmente contiene la llegada de 100 clientes& el sitio B evita que los clientes entren ms de una ve'& el sitio Q es la fila que reali'an los clientes cuando tienen que esperar a que se les atienda. El estado S es donde los servidores ociosos esperan la oportunidad para trabajar, y el sitio E cuenta el nmero de clientes que abandonan el sistema. El estado inicial implica que los sitios tengan los siguientes valores" ( ) 100 * ) 1 + ) 0 , ) - E ) 0 La transici%n a sirve para modelar a los clientes que entran al sistema y la transici%n b modela a los clientes cuando estn siendo atendidos. Problema 9: #a e$aluacin de expresiones aritm+ticas puede ser descrita de forma sencilla desde redes de Petr" Ponemos un ejemplo practico con la expresin /aKb07/cKd0 puede ser caracterizada por la si%uiente red de Petr' en la *ue los lu%ares representan operandos' las transiciones operadores y la existencia de un toen en un lu%ar denota la disponibilidad del $alor del operando: 9 Problema @: El proceso de pr+stamo de libros en la ,8E tambi+n puede representarse con una Red de Petr de la si%uiente manera: Podemos notar *ue el lugar de libro disponible es el *ue delimita la cantidad de libros disponibles' por ejemplo si se tienen B ejemplares' lo marcaramos con B" -onceptos Red: Es un %rafo diri%ido formado por una fuente' un sumidero' aristas y nodos" 10 8rista: )e%mento de recta diri%ido de un punto a otro" Lodo: Es el punto de interseccin de dos o m!s aristas" -apacidad : En una red' es la capacidad m!xima de una arista cual*uiera" )umidero /z0: Es el punto de lle%ada del flujo total de una red" 1uente /a0: Punto de partida del flujo total de la red" -onclusiones El modelo de redes posee una %ran aplicabilidad en muc(os problemas de la $ida cotidiana' en nuestra sociedad moderna es casi imprescindible para lo%rar una mayor eficiencia en casi cual*uier tipo de flujo" #as Redes de Petr est!n mas enfocadas a la optimizacin de procesos *ue pueden depender de otros al operar" En %eneral puede obser$arse la importancia de los modelos matem!ticos para encontrar la solucin de infinidad de problemas" >iblio%rafa: ?5o(nsonbau%(' Ric(ard' Matem!ticas Discretas GM edicin' PRELTI-E may' M+xico' 4NNN" ?)elecciones $arias en Internet" 11