Professional Documents
Culture Documents
FLUJO MAXIMAL
Se puede considerar un grafo como una red de flujo. Donde un
nodo fuente produce o introduce en la red cierta cantidad de algn
tipo de material, y un nodo sumidero lo consume. Cada arco, por
tanto, puede considerarse como un conducto que tiene cierta
capacidad de flujo.
Una red de flujo es un grafo dirigido G = (V,E) donde cada arco
(u,v) perteneciente a E tiene una capacidad no negativa. Se
distinguen dos nodos: la fuente o nodo s, y el sumidero o nodo t. Si
existen mltiples fuentes y sumideros, el problema se puede
simplificar aadiendo una fuente comn y un sumidero comn.
Este algoritmo depende de tres conceptos principales:
Un camino de aumento, es una trayectoria desde el nodo
fuente s al nodo sumidero t que puede conducir ms flujo.
La capacidad residual es la capacidad adicional de flujo que
un arco puede llevar cf(u,v) = c(u,v) - f(u,v)
Teorema de Ford-Fulkerson (1962): En cualquier red, el flujo
mximo que fluye de la fuente al destino es igual a la
capacidad del corte mnimo que separa a la fuente del
destino.
El algoritmo es iterativo, se comienza con f(u,v)=0 para cada par
de nodos y en cada iteracin se incrementa el valor del flujo
buscando un camino de aumento. El proceso se repite hasta no
encontrar un camino de aumento.
A continuacin se muestra el pseudocdigo del Algoritmo:
Ford-Fulkerson (G,s,t) para cada arco (u,v) de E
f(u,v) = 0
f(v,u) = 0
REDES DE PETRI
Una red de Petr es un grafo dirigido bipartito, con un estado
inicial, llamado marcacin inicial. Los dos componentes principales
de la red de Petr son los sitios (tambin conocidos como estados)
y las transiciones. Grficamente, los sitios son dibujados como
crculos y las transiciones como barras o rectngulos. Las aristas
del grafo son conocidas como arcos. Estos tienen un peso
especfico, el cual es indicado por un nmero entero positivo, y van
de sitio a transicin y viceversa. Por simplicidad, el peso de los