Estructuras Discretas

Tema: Modelos de Redes y Redes de Petr

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