Professional Documents
Culture Documents
Mai, 24) ¥ Sustituimos dy
por hy + I(t 2%) < d,, procedemos de este modo hasta que se haga posible
encontrar un arco que disminuya por lo menos un solo valor.
Demostremos que el niimero Aq, hallado segtin la regla cite sera el
valor det camino minmo de x» a Xn (Si Ay = 09, tal camino no existe).
Se puede indicar un vértice x, tal que con ayuda del arco (,,, An) se
haya disminuido el valor de Ax por In tiltinva vez, y
de = Ae Av Made
Andlogamente, existe un vértice x, tal que
De = he + Le,
cle. La sucesiGn Ans Ans Ans 0. 8 eslfictammente deerecienie, Por con-
siguiente, para cierto k obtenemos X,,, = O, es devir, x,.,, = va.
Demostremos quc el itinerano (vo, ¥,, Xa, . . -. Xn) ¢& Minimo (su valor
es igual a d,). Tomemes un caming arbitraria que leva de xe a Ant Wo.
Mey Xn + un). Son validas las siguientes correlaciones
Ae, — OS FONo. Ko
Ye 7 hn, SAO. MDE
An = de, Sus Xn)
Al sumar término a término estas desigualdades, obtendremos
yt... + Hite,
dn < Mvo, y,) + Or, Xn,
lo que se trataba de demostrar.
Observemos que cl algoriimo de Ford puede emplearse para buscar cl
camino maximo en los grafos sin contornes. En este caso se debe poner
d, = 0 para tados los vértices sin excepcién alguna, y licgo sustituir \y por
Y= Ai + 1G, 26), si AS > dy, hasta que se pueda aumentar d,.
Mencionemos, por fin, el algoritmo de Bellman—Kalaba. Este ultimo
emplea ¢l Hamado principio de optimalidad: “cualquier subcamino det
camino minimo es un camino minime cntre los vértices correspondientes”,
Sea un grafo orientado G = (¥, U); |X] = + L. Numeremos todos
los vértices de O hasta »
191Sea fy un valor que se le asigna al arco (i, x) (dy = ©, Si (x, 4) ¢U
4, = 0, si i= /). Busearemos un camino (0, 4. +++ Xt, Xn) tal que el
valor del camino foi, + fy, +. -- + Ayn sea minimo.
Examinemos el sistema de ecuaciones
uo = mindy + 4): 7 = 0, 1, 2.
yet
n
72012 ..5%
Entonces, las soluciones v, de este sistema son valores de los caminos
minimes de xj a xi f= 0, 1, ..., 4 — 1. El hecho de que los valores de
los caminos minimes satis sistema mencionade se deduce del prin-
cipio de optimalidad. La afirmacién reciproca de que las soluciones det
sistema son valores de los caminos Sptimos se deducird del algoritmo que
se usa para hallar uj.
Ponpgamos
v= t=O Wok
Calculamos sucesivamtente:
vf? = mines? + 4, = 45
yet
vf? = incu
ul) 2 0,
+ yk
Los caleulos se realizan hasta que se cumpla el sistema de igualdades
DEY PP iy Ay 2p axnylt
Del procedimienta que se usa para cl calculo se deduce que yi"? es el camino
minimo del lice x; al vérlice a, entre todos los caminos que pasan no
mds que por ar arcos. Por consiguiente, para hallar la selucién del sistema
son suficientes — 1 iteraciones
Ha de notarse que el algoritmo de Bellman—Kalaba puede ser aplicade
para Ja busqueda del camino maximo en un grafo sin contornos. Para ello
cs suficiente solo sustituir cn todas las correlaciones min por max y pone!
fy igual a ~ «9, si el arco (i, 44) no se contiene cn el grafo.
6.5. FLUJOS EN LAS REI
Al resolver los problemas extremales se empiea a menudo su interpreta.
cién en términos de los flujos en las redes. Se denomina red a un grafo
ovientado conexo G = (X, U) con un conjunto de vérlices X y un conjunte
de arcos U, donde a todo arco (x,x,) € U se Ie asigna una cacacteristica
numérica no negaliva c(x;, x) que se llama capacidad de paso. En G se
distinguen dos vértices fijos: s y ¢ 5 se denomina entrada (también se cono-
ce como fuente), (se denomina salida (también se llama, a veces, vertedero)
y log restantes vértices son intermedios.
192Se llama flujo estacionario de valor uv desde s a ¢ de la red G = (X,
U) = (X, T) a una funcién numérica f, definida en el conjunto de arcos
U, que satisface las siguientes ccuaciones Jineales y desigualdades:
Wy Yes
Dey - LD f= Oxe5G a)
*ePe) ere!) -u x=
O< Ax ¥) < cls y) para cualesquiera (x, ») € U Q)
Introduzcamos fas siguientes designaciones con el fin de simplificar las
notaciones de las correlaciencs de flujo.
Sean X, ¥ ciertos conjuntos; entonces, por (X, Y) se entendera el con-
junto de todos los pares (x, y); xEX, pe Y.
Pongamos para cierla funcién g(x, ¥) y A(x):
aX Y= etx we
te, ppecx, ¥)
A(X) = SAGO.
eX
El problema del flujo maximo estacionario es ¢l problema de maximiza-
cidn de la variable v que obedece a las restricciones de flujo (1) y (2).
Se denomina corte L en la red (X, U), que separa los vértices 5 y ¢,
a un conjunto de arcos (¥, ¥), donde YOX, Y=X- ¥K sey te¥.
El numero c(¥, ¥) lleva ef nombre de capacidad cle paso del corte (Y, Y).
Sefialemos que cualquier camino de sa f¢ conliene al menos un arco
del corte (YY). Por eso, sé de la red se excluyen los arcos de tal o cual
corte, en la red nueva no quedara ningtin camino de sa é, y el valor del
flujo maximo por la citada red serd igual a ccro. Se pone claro in-
tuitivamente que et valor v de un flujo arbitrario f no sobrepasa la
eapacidad de paso de cualquier corte. Demostremos que esta afirmacién
es cierta.
Lema 1. Sea fun flujo de sa fen la red (X, P) cle valor v;
que (¥ Y) es un corte que separa s de ¢. Entonces
v=f% VY-AK N