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 máximo. Es aplicable a los Flujos maximales. La idea es encontrar una ruta de penetración con un flujo positivo neto que una los nodos origen y destino. Su nombre viene dado por sus creadores, L. R. Ford, Jr. y D. R. Fulkerson.

Sea ${displaystyle G(V,E)}$ un grafo, con ${displaystyle V}$ vértices, ${displaystyle E}$ aristas y donde por cada arista ${displaystyle (u,v)}$, tenemos una capacidad ${displaystyle c(u,v)}$ y un flujo ${displaystyle f(u,v)}$. Se busca maximizar el valor del flujo desde una fuente ${displaystyle s}$ hasta un sumidero ${displaystyle t}$.

El método inicia con ${displaystyle f(u,v)=0}$ para toda ${displaystyle (u,v)}$ en ${displaystyle V}$. En cada iteración, se incrementa el flujo en ${displaystyle G}$ mediante el resultado de una búsqueda de un «camino de aumento» en una «red residual» ${displaystyle G_{f}}$. Aunque cada iteración del método Ford-Fulkerson aumenta el valor del flujo, el flujo por arista de ${displaystyle G}$ puede aumentar o disminuir. En cada iteración el flujo se aumentara hasta que la red ${displaystyle G_{f}}$ no tenga más caminos de aumento.^[1]​

El flujo a aumentar se debe considerar legal, para esto debe seguir que.

Definimos una red residual ${displaystyle G_{f}(V,E)}$ como la red donde la capacidad de cada una de las aristas se define como ${displaystyle c_{f}(u,v)=c(u,v)-f(u,v)}$, donde ${displaystyle c(u,v)}$ es la capacidad de la arista y el flujo ${displaystyle f(u,v)}$ es el flujo de la arista ${displaystyle (u,v)}$ en el camino de aumento seleccionado.

Intuitivamente, dado el grafo ${displaystyle G}$ y un camino de aumento ${displaystyle c_{F}}$, la red residual ${displaystyle G_{f}}$ consiste en el grafo que representa el como cambia la capacidad de cada una de las aristas con respecto al flujo del camino de aumento ${displaystyle c_{F}}$ en el grafo ${displaystyle G}$.

Un camino de aumento es un camino dirigido de la fuente ${displaystyle s}$ al sumidero ${displaystyle t}$ en ${displaystyle G_{f}}$, donde la capacidad del camino de aumento es el mínimo de las capacidades de sus aristas. Para la elección de un camino de aumento se pueden usar algoritmos ya conocidos, algunos de las más famosos son DFS, BFS, A* o IDA* (Algoritmos de Búsqueda).

---