Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para la Defensa

Universidad Nacional Experimental Politcnica de la Fuerza Armada
Juan Griego. Estado Nueva Esparta
Ingeniera De Sistemas.

REDES DE FLUJO

Integrantes:
Castillo Veruska C.I: 23.867.825.
Heredia Kimberly C.I: 24.108.997.

Juan griego, 25 de Mayo del 2015.

Reticulados:
Ordenacin parcial:
Dado un vector A de n elementos y un valor 1 m n, reorganizar A de
tal manera que sus m primeras posiciones contengan los menores elementos
de A en orden creciente.
Otro autor argumenta que un orden parcial es una relacin binaria R sobre un
conjunto X, que cumple las propiedades:
Reflexiva: R es reflexiva si para todo a A aRa
Antisimetrica: R es anti simtrica si para todo a, b A, existe aRb y a!=b
entonces
bRa no
Transitiva: R es transitiva si para todo a, b, c A, existe aRb y bRc entonces
aRc
Fuente: https://teoriadegrafos2010.wordpress.com/category/unidad-vreticulados

Conjunto Parcialmente Ordenado:

En matemticas, especialmente en teora del orden, un conjunto
parcialmente ordenado es un conjunto equipado con una relacin binaria de
orden parcial. sta formaliza el concepto intuitivo de orden, secuencia, o
arreglo de los elementos del conjunto. Un tal orden no necesariamente debe
ser total, es decir, no se necesita que se puedan comparar unos con otros
todos los elementos del conjunto; esto sin embargo puede ocurrir en algunos
casos (en otras palabras, el orden total es un caso particular del orden parcial).
A veces se usa la expresin conjunto ordenado para uno parcialmente
ordenado, siempre que quede claro que no se har referencia a otras clases de
orden. En particular, a un conjunto totalmente ordenado tambin se lo llama
ordenado a secas, en especial en campos donde stos son ms comunes que
los parcialmente ordenados.

Fuente: https://teoriadegrafos2010.wordpress.com/category/unidad-vreticulados
Reticulados:
En matemtica, un retculo es una determinada estructura algebraica
con dos operaciones binarias, o bien un conjunto parcialmente ordenado con
ciertas propiedades especficas (siendo equivalentes ambos enfoques). El
trmino "retculo" viene de la forma de los diagramas de Hasse de tales
rdenes.
En teora de conjuntos, un retculo, red o lattice es un conjunto parcialmente
ordenado en el cual para cada par de elementos existen un supremo y un
nfimo, esto es:
Un conjunto parcialmente ordenado (L, ) se denomina retculo si satisface las
siguientes propiedades:
Existencia del supremo por pares:
Para cualesquiera dos elementos a y b de L, el conjunto {a, b} tiene un
supremo:
a v b(tambin conocido como mnima cota superior)
Existencia del nfimo por pares:
Para cualesquiera dos elementos a y b de L, el conjunto {a, b} tiene un nfimo:
a ^ b (tambin conocido como mxima cota inferior).

Fuente: https://teoriadegrafos2010.wordpress.com/category/unidad-vreticulados.

Distributividad de los Reticulados:

Si todo nfimo finito no vaco existe, entonces ^ puede ser visto como
una operacin binaria total en el sentido del lgebra universal. Por lo tanto, en
un reticulado, dos operaciones ^ y v estn disponibles, y se puede definir
nuevas propiedades dando identidades, tal como:
x ^ (y v z) = (x ^ y) v (x ^ z), para todo x, y, y z.
Esta condicin se llama distributividad y dar lugar a los reticulados
distributivos. Hay algunas otras importantes leyes de distributividad que son
discutidas en el artculo sobre la distributividad en teoras de orden. Algunas
estructuras de orden adicionales que son a menudo especificadas va
operacin algebraica y definiendo identidades son:
lgebras de Heyting y
lgebras de Boole.
En que ambas introducen una nueva operacin ~ llamada negacin.
Ambas estructuras desempean un papel en lgica matemtica y
especialmente las lgebras de Boole tienen importante uso en informtica.
Finalmente, varias estructuras en matemtica combinan orden con operaciones
an ms algebraicas, como el caso de quantales, que permite la definicin de
una operacin de adicin.

Distributividad de los Reticulados:

Si todo nfimo finito no vaco existe, entonces ^ puede ser visto
como una operacin binaria total en el sentido del lgebra universal. Por lo
tanto, en un reticulado, dos operaciones ^ y v estn disponibles, y se puede
definir nuevas propiedades dando identidades, tal como:
x ^ (y v z) = (x ^ y) v (x ^ z), para todo x, y, y z.
Esta condicin se llama distributividad y dar lugar a los reticulados
distributivos. Hay algunas otras importantes leyes de distributividad que son
discutidas en el artculo sobre la distributividad en teoras de orden. Algunas
estructuras de orden adicionales que son a menudo especificadas va
operacin algebraica y definiendo identidades son:
lgebras de Heyting y
lgebras de Boole,
En que ambas introducen una nueva operacin ~ llamada negacin.
Ambas estructuras desempean un papel en lgica matemtica y
especialmente las lgebras de Boole tienen importante uso en informtica.
Finalmente, varias estructuras en matemtica combinan orden con operaciones
an ms algebraicas, como el caso de quantales, que permite la definicin de
una operacin de adicin..
Fuente: https://teoriadegrafos2010.wordpress.com/category/unidad-vreticulados

Elementos de Rrepresentacin de Reticulados:

* Identificacin: En la parte superior del modelo se anotan los datos que
identifican la retcula en cuestin:
a) rea a la que pertenece la retcula.
b) Retcula de: (aqu se anota el nombre de la materia correspondiente.) c)
Asignaturas: (se anotan con nmeros romanos, los cursos que constituyen la
materia. etc.)
d) Carga horaria por asignatura.
* Contenidos:
a) En la retcula todos los contenidos estn enmarcados por un rectngulo y
tienen asociado.
b) El rectngulo puede estar sealado con lnea discontinua, lo que significa
que se trata de un contenido optativo; tambin puede incluir algn otro

smbolo cuyo significado depende de las necesidades concretas de

programacin.
c) El nmero de identificacin de un contenido representa su grado de
desagregacin con respecto a otro; as, un contenido identificado como 1.1.1.
Es un contenido particular que forma parte de otro identificado como 1.1., y
ambos fueron desagregados del contenido identificado como 1.
d) En la retcula los contenidos estn distribuidos de izquierda a derecha, en
una determinada secuencia que representa la dimensin temporal. Esto
significa que un contenido debe abordarse por completo antes de pasar al
siguiente.
* Relaciones:
a) Las relaciones entre contenidos se representan por medio de flechas.
b) La punta de la flecha seala la direccin de la trayectoria de servicios entre
los contenidos.
c) Las flechas pueden ser horizontales, verticales, inclinadas o quebradas,
segn las necesidades de representacin, pero nunca se orientan de derecha a
izquierda debido a que se trata de una secuencia temporal progresiva y no
retroactiva.
d) Una flecha continua significa una relacin fuerte entre contenidos; una
flecha discontinua significa una relacin ms dbil o, en su caso, una
trayectoria alternativa.
e) Las trayectorias alternativas consideran diferentes necesidades
institucionales o posibilidades de adaptacin a las condiciones grupales.
f) La relacin ms usual entre contenidos es la antecedente- consecuente. Esto
significa que un contenido tiene todos los elementos epistemolgicos
necesarios y suficientes para poder abordar el siguiente.
g) Otro tipo de relacin es la interaccin o causalidad recproca, la cual
establece que determinados elementos de un contenido prestan un servicio a
otro contenido pero que, a su vez, ciertos elementos de este ltimo son
necesarios para abordar aqul. Esta relacin establece que ambos contenidos
deben prestarse el servicio que requieren, antes de abordar un tercer
contenido.

* Niveles de estructuracin:
a) Macro-retcula Se localiza en la parte superior de la retcula. Representa a las
unidades de contenido de la materia, as como las relaciones entre dichos
contenidos.
b) Meso-retcula: Se localiza debajo de la macro-retcula y se encuentra
separada de sta por una doble raya, horizontal y discontinua. Est constituida
por los temas desagregados a partir de las unidades y por las relaciones entre
dichos contenidos, las cuales debern ser congruentes con la macro-retcula.
c) Micro-retcula Se localiza debajo de la meso-retcula y est separada de ella

tambin por una doble raya, horizontal y discontinua. Est constituida por los
subtemas desagregados de la meso-retcula y por las relaciones entre ellos.
Estas relaciones deben ser congruentes con la lgica de las relaciones
establecidas tanto en la macro como en la mesoretcula.
*Ejes reticulares: Se localizan en cada nivel de estructuracin y se
encuentran separados entre s por una lnea horizontal discontinua. Los
contenidos en la macro, meso y micro-retcula se organizan a lo largo de un eje
bsico; es decir, la trayectoria fundamental de articulacin de los
conocimientos. Sin embargo, segn las caractersticas de la materia y las
necesidades de programacin, es posible identificar otros ejes de contenidos
secundarios que corren paralelos al eje bsico y cuya funcin primordial es
auxiliarlo. Estos ejes pueden ser, entre otros: eje contextual, eje de apoyo, eje
de investigacin, eje de evaluacin, etc. En el eje bsico se representa la
trayectoria didctica ms conveniente a juicio de los programadores, para
desarrollar los contenidos del curso. Conviene destacar que se trata de una
recomendacin, por lo que el profesor puede modificar la secuencia de acuerdo
con sus experiencias, las condiciones del grupo, de tiempo, materiales, etc.
* Dosificacin y distribucin de contenidos: se identifica en la retcula
mediante lneas verticales. Estos cortes son muy importantes pues permiten
una adecuada administracin de los contenidos, la cual toma en consideracin
la importancia acadmica de stos, as como los lmites temporales existentes.
* Cortes de la retcula: Existen tres tipos de cortes verticales:
a) Divisin entre semestres. Se representa con una lnea doble, continua y
vertical que divide a la retcula en tantos segmentos completos como
asignaturas constituyan a la materia. En el caso en que la materia se
componga de un solo curso, esta divisin no aparece.
b) Divisin entre unidades. Se representa con una lnea continua vertical que
va desde los grandes bloques de la macro-retcula, hasta el rengln
denominado "unidad", localizado en la seccin de acotaciones. Este corte
incluye una unidad, los temas y subtemas desagregados a partir de ella, as
como sus respectivas cargas horarias.
c) Divisin entre temas. Se indica mediante una lnea discontinua vertical que
se inicia en los temas, en la meso-retcula, y termina en el rengln denominado
"cargas horarias mnima y mxima por tema" de la seccin de acotaciones.
Este corte incluye un tema y los subtemas desagregados a partir de l, as
como su carga horaria.
* Seccin de acotaciones: En la parte inferior de la retcula est ubicada
una seccin de acotaciones que contiene los datos referidos a la dosificacin
de contenidos y a su distribucin temporal. En esta seccin se indican las

unidades, el nmero y/o nombre de los temas por unidad, el nmero de

subtemas por tema, las cargas horarias mnima y mxima por tema, as como
la divisin entre semestres. La importancia de esta seccin de la retcula radica
en que permite al profesor observar de manera clara y concisa, a partir de
datos cuantitativos, las cargas y pesos acadmicos asociados a los contenidos,
facilitando as la elaboracin del plan de clase.
Fuente: 4boot.ueuo.com/index.php/equipoboot/.../5Reticulados+Unidad+V?...1

Redes de flujo:
Una red de flujo es un grafo dirigido donde existen dos vrtices
especiales, uno llamado fuente, al que se le asocia un flujo positivo y otro
llamado sumidero que tiene un flujo negativo y a cada arista se le asocia cierta
capacidad positiva. En cada vrtice diferente a los dos especiales se mantiene
la ley de corrientes de Kirchoff, en donde la suma de flujos entrantes a un
vrtice debe ser igual a la suma de flujos que salen de l. Puede ser utilizada
para modelar el trfico en un sistema de autopistas, fluidos viajando en
tuberas, corrientes elctricas en circuitos elctricos o sistemas similares por lo
que viaje algo entre nodos.
Fuente:
Son los que inicia el traspaso de flujo dirigindose por los arcos. Este
debe poseer un grado de salida el cual ser positivo y un grado de entrada que
se determina nulo.
Sumidero:
Al contrario de la fuente el sumidero posee un grado de salida nulo y su
grado de entrada ser positivo, ya que es donde llega el flujo que viene de la
fuente.
Teorema de flujo mximo:
Existe un flujo que viaja de un nico lugar de origen hacia un nico lugar
de destino. De tal manera que esto nos permite determinar la mayor cantidad
de flujo que puede ser transportada a travs de los arcos sin ninguna
restriccin hasta llegar al sumidero.
El procedimiento para obtener el flujo mximo de una red consiste en
seleccionar repetidas veces cualquier trayectoria de la fuente al destino y
asignar el flujo mximo posible en esa trayectoria.

Algoritmo de Ford fulkerson:

El algoritmo de Ford-Fulkerson propone buscar caminos en los que se
pueda aumentar el flujo, hasta que se alcance el flujo mximo.La idea es
encontrar una ruta de penetracin con un flujo positivo neto que una los nodos
origen y destino.
Consideraremos las capacidades iniciales del arco que une el nodo i y el
nodo j como Cij y Cji. Estas capacidades iniciales irn variando a medida que
avanza el algoritmo, denominaremos capacidades residuales a las capacidades
restantes del arco una vez pasa algn flujo por l, las representaremos
como cij y cji.
Para un nodo j que recibe el flujo del nodo i, definimos una
clasificacin [aj,i] donde aj es el flujo del nodo i al nodo j.
Los pasos del algoritmo se definen como sigue:
Paso 1: Inicializamos las capacidades residuales a las capacidades iniciales,
hacemos (cij,cji)=(Cij,Cji) para todo arco de la red. Suponiendo el nodo 1 como
el nodo origen, hacemos a1= y clasificamos el nodo origen con [,-].
Tomamos i=1 y vamos al paso 2.
Paso 2: Determinamos Si como un conjunto que contendr los nodos a los que
podemos acceder directamente desde i por medio de un arco con capacidad
positiva, y que no formen parte del camino en curso. Si Si contiene algn nodo
vamos al paso 3, en el caso de que el conjunto sea vaco saltamos al paso 4.
Paso 3: Obtenemos k Si como el nodo destino del arco de mayor capacidad
que salga de i hacia un nodo perteneciente a Si. Es decir, cik = max {cij} con j
Si. Hacemos ak=cik y clasificamos el nodo k con [ak ,i]. Si k es igual al nodo
destino o sumidero, entonces hemos encontrado una ruta de penetracin,
vamos al paso 5. En caso contrario continuamos con el camino, hacemos i=k y
volvemos al paso 2.
Paso 4 (retroceso): Si i=1, estamos en el nodo origen, y como Si es vaco,
entonces no podemos acceder a ningn nodo, ni encontrar algn nuevo
camino, hemos terminado, vamos al paso 6.
En caso contrario, i1, le damos al valor i el del nodo que se ha clasificado
inmediatamente antes, eliminamos i del conjunto Si actual y volvemos al paso
2.
Paso 5: Llegados a este paso tenemos un nuevo camino: Np={1,k1,k2,...,n},
esta ser la psima ruta de penetracin desde el nodo origen al nodo destino.
El flujo mximo a lo largo de esta ruta ser la capacidad mnima de las

capacidades residuales de los arcos que forman el camino, es decir: fp =min

{a1,ak1,ak2,...,an}.
La capacidad residual de cada arco a lo largo de la ruta de penetracin se
disminuye por fp en direccin del flujo y se incrementa por fp en direccin
inversa, es decir, para los nodos i y j en la ruta, el flujo residual se cambia de
la (cij,cji) actual a (cij-fp,cji+fp)si el flujo es de i a j, o (cij+fp,cji-fp) si el flujo es
de j a i
Inicializamos i=1 y volvemos al paso 2 para intentar una nueva ruta de
penetracin.
Paso 6 (solucin): Una vez aqu, hemos determinado m rutas de penetracin.
El flujo mximo en la red ser la suma de los flujos mximos en cada ruta
obtenida, es decir: F=f1+f2+...+fm. Teniendo en cuenta que las capacidades
residuales inicial y final del arco (i, j) las dan (Cij,Cji) y (cij,cji) respectivamente,
el flujo mximo para cada arco se calcula como sigue: sea (, )=(Cij-cij, Cjicji), si >0, el flujo ptimo de i a j es , de lo contrario, si >0, el flujo ptimo
de j a i es . Es imposible lograr que tanto como sean positivas.
Fuente: grafos-unefa.blogspot.com/
Cortes de flujo mnimo:
Un concepto importante asociado a las redes de transporte es el corte,
un corte no es ms que cualquier conjunto de arcos cuya supresin deja
incomunicado el nodo origen y el destino el flujo asociado al corte no es ms
que la suma de los FMij de los arcos que componen el corte. Estos conceptos
nos pueden ayudar a encontrar el flujo mximo que circula por cada una de las
redes de transporte ya que el flujo total mximo transportado por una de las
redes de transporte es igual al mnimo de los flujos asociados a los cortes del
grafo.
Para redes de transporte grandes en las que el corte asociado mnimo
sea difcil de obtener podemos usar el algoritmo de Ford fulkerson. Su
estrategia es la de ir vinculando cantidades adicionales de flujo a partir de un
flujo compatible de red.
Fuente: bioinfo.uib.es/~joemiro/teach/labmat/Old/labmatold/...7/TdGrafos.pd
Redes De Flujo De Costo Mnimo
Redes de Flujo de Costo Mnimo:
Bi>0 si i es un nodo origen.
Bi<0 si i es un nodo destino.
Bi=0 si i es un nodo de transbordo.
Una condicin necesaria para que el modelo tenga solucin factible es que +

(bi=0), es decir, que el flujo total generado en los nodos origen sea igual al
flujo total absorbido por los nodos destino.
Cuando esta condicin no se cumple (problemas de transporte no
balanceado en los que la oferta es diferente a la demanda) se generan nodos
ficticios que generen o que absorban flujo. Los costos asociados a los arcos que
parten o llegan a estos nodos son cero.
Con frecuencia bit y que son valores enteros. Las variables x son variables
enteras y no se requiere agregar esta condicin al modelo. (un modularidad).
Con este modelo es posible plantear un problema de transporte, de transbordo,
de flujo mximo y de camino ms corto.
Fuente: www.buenastareas.com Pgina principal Tecnologa.

Cadena de incremento de flujos

Supongamos que tenemos un camino de s a t un camino legal
siguiendo las direcciones de las flechas, tal que en cada arco del camino el
flujo existente no ocupa toda la capacidad del arco que hay margen en cada
arco para aumentar el flujo (s=v0!v1!v2!v5=t).
Sumamos el mnimo de los mrgenes m al flujo de cada arco del camino el
nuevo flujo f0 as construido es vlido y tiene mayor valor ,val(f0)=val(f)
+m>val(f). el camino de s a t que hemos tomado ser por tanto un camino
aumentador del flujo. Pero puede ocurrir que no dispongamos de estos caminos
y sin embargo el flujo pueda aumentarse. Con el nuevo flujo obtenido sobre la
red no podemos encontrar otro camino aumentador, pues no podemos
aumentar yendo desde s por v1, y tampoco con el camino s!v3!v4!.Existe otra
posibilidad, que es considerar recorridos sin tener en cuenta el sentido de las
flechas (que sern caminos no legales, pero validos para nuestros propsitos):
supongamos que tenemos un recorrido de s a t, sin tener en cuenta las
direcciones de las flechas, tal que cada arco de ese camino siguiendo la
direccin de las flechas (hacia delante) el flujo existente no ocupa toda la
capacidad del arco, y que cada arco del camino en direccin contraria de la
flecha(hacia atrs) el flujo existente es mayor que cero, entonces si sumamos
el mnimo de los mrgenes m al flujo de cada arco hacia delante y se lo
restamos por detrs, el nuevo flujo f0 as construido es vlido y tiene mayor
valor,val(f0)=val(f)+m.
Fuente: www.buenastareas.com Pgina principal Tecnologa