Algoritmo de Floyd:

En informática, el algoritmo de Floyd-Warshall, descrito en 1959 por Bernard Roy, es un algoritmo de análisis sobre grafos para encontrar el camino mínimo en grafos dirigidos ponderados. El algoritmo encuentra el camino entre todos los pares de vértices en una única ejecución. El algoritmo de Floyd-Warshall es un ejemplo de programación dinámica.

Aplicaciones:

El algoritmo de Floyd-Warshall puede ser utilizado para resolver los siguientes problemas, entre otros:

Camino mínimo en grafos dirigidos (algoritmo de Floyd).
Cierre transitivo en grafos dirigidos (algoritmo de Warshall). Es la formulación original del algoritmo de Warshall. El grafo es un grafo no ponderado y representado por una matriz booleana de adyacencia. Entonces la operación de adición es reemplazada por la conjunción lógica(AND) y la operación menor por la disyunción lógica (OR).
Encontrar una expresión regular dada por un lenguaje regular aceptado por un autómata finito (algoritmo de Kleene).
Inversión de matrices de números reales (algoritmo de Gauss-Jordan).
Ruta optima. En esta aplicación es interesante encontrar el camino del flujo máximo entre 2 vértices. Esto significa que en lugar de tomar los mínimos con el pseudocodigo anterior, se coge el máximo. Los pesos de las aristas representan las limitaciones del flujo. Los pesos de los caminos representan cuellos de botella; por ello, la operación de adición anterior es reemplazada por la operación mínimo.
Comprobar si un grafo no dirigido es bipartito.

Ejemplo:

Hallar el camino mínimo desde el vértice 3 hasta 4 en el grafo con la siguiente matriz de distancias:

$D = \begin{bmatrix} 0 & 3 & 5 & 1 & \infty & \infty\\ 3 & 0 & \infty & \infty & 9 & \infty\\ 5 & \infty & 0 & 7 & 7 & 1\\ 1 & \infty & 7 & 0 & \infty & 4\\ \infty & 9 & 7 & \infty & 0 & \infty\\ \infty & \infty & 1 & 4 & \infty & 0\end{bmatrix}$

Aplicamos el algoritmo de Floyd-Warshall, y para ello en cada iteración fijamos un vértice intermedio.

1ª Iteración: nodo intermedio = 1
La matriz es simétrica, por lo que solamente hará falta calcular el triángulo superior de las distancias.
d₂₃ = min(d₂₃, d₂₁ + d₁₃) = 8
d₂₄ = min(d₂₄, d₂₁ + d₁₄) = 4
d₂₅ = min(d₂₅, d₂₁ + d₁₅) = 9
d₂₆ = min(d₂₆, d₂₁ + d₁₆) = $\infty$
d₃₂ = min(d₃₂, d₃₁ + d₁₂) = 8
d₃₄ = min(d₃₄, d₃₁ + d₁₄) = 6
d₃₅ = min(d₃₅, d₃₁ + d₁₅) = 7
d₃₆ = min(d₃₆, d₃₁ + d₁₆) = 1
d₄₅ = min(d₄₅, d₄₁ + d₁₅) = $\infty$
d₄₆ = min(d₄₆, d₄₁ + d₁₆) = 4
d₅₆ = min(d₅₆, d₅₁ + d₁₆) = $\infty$
La matriz de distancia después de esta iteración es:

$\mathcal{W}_1 = \begin{bmatrix} 0 & 3 & 5 & 1 & \infty & \infty\\ 3 & 0 & 8 & 4 & 9 & \infty\\ 5 & 8 & 0 & 6 & 7 & 1\\ 1 & 4 & 6 & 0 & \infty & 4\\ \infty & 9 & 7 & \infty & 0 & \infty\\ \infty & \infty & 1 & 4 & \infty & 0\end{bmatrix}$

2ª Iteración: nodo intermedio = 2
d₁₃ = min(d₁₃, d₁₂ + d₂₃) = 5
d₁₄ = min(d₁₄, d₁₂ + d₂₄) = 1
d₁₅ = min(d₁₅, d₁₂ + d₂₅) = 12
d₁₆ = min(d₁₆, d₁₂ + d₂₆) = $\infty$
d₃₄ = min(d₃₄, d₃₂ + d₂₄) = 6
d₃₅ = min(d₃₅, d₃₂ + d₂₅) = 7
d₃₆ = min(d₃₆, d₃₂ + d₂₆) = 1
d₄₅ = min(d₄₅, d₄₂ + d₂₅) = 13
d₄₆ = min(d₄₆, d₄₂ + d₂₆) = 4
d₅₆ = min(d₅₆, d₅₂ + d₂₆) = $\infty$
La matriz de distancia después de esta iteración es:

$\mathcal{W}_2 = \begin{bmatrix} 0 & 3 & 5 & 1 & 12 & \infty\\ 3 & 0 & 8 & 4 & 9 & \infty\\ 5 & 8 & 0 & 6 & 7 & 1\\ 1 & 4 & 6 & 0 & 13 & 4\\ 12 & 9 & 7 & 13 & 0 & \infty\\ \infty & \infty & 1 & 4 & \infty & 0\end{bmatrix}$

3ª Iteración: nodo intermedio = 3
d₁₂ = min(d₁₂, d₁₃ + d₃₂) = 3
d₁₄ = min(d₁₄, d₁₃ + d₃₄) = 1
d₁₅ = min(d₁₅, d₁₃ + d₃₅) = 12
d₁₆ = min(d₁₆, d₁₃ + d₃₆) = 6
d₂₄ = min(d₂₄, d₂₃ + d₃₄) = 4
d₂₅ = min(d₂₅, d₂₃ + d₃₅) = 9
d₂₆ = min(d₂₆, d₂₃ + d₃₆) = 9
d₄₅ = min(d₄₅, d₄₃ + d₃₅) = 13
d₄₆ = min(d₄₆, d₄₃ + d₃₆) = 4
d₅₆ = min(d₅₆, d₅₃ + d₃₆) = 8
La matriz de distancia después de esta iteración es:

$\mathcal{W}_3 = \begin{bmatrix} 0 & 3 & 5 & 1 & 12 & 6\\ 3 & 0 & 8 & 4 & 9 & 9\\ 5 & 8 & 0 & 6 & 7 & 1\\ 1 & 4 & 6 & 0 & 13 & 4\\ 12 & 9 & 7 & 13 & 0 & 8\\ 6 & 9 & 1 & 4 & 8 & 0\end{bmatrix}$

4ª Iteración: nodo intermedio = 4
d₁₂ = min(d₁₂, d₁₄ + d₄₂) = 3
d₁₃ = min(d₁₃, d₁₄ + d₄₃) = 5
d₁₅ = min(d₁₅, d₁₄ + d₄₅) = 12
d₁₆ = min(d₁₆, d₁₄ + d₄₆) = 5
d₂₃ = min(d₂₃, d₂₄ + d₄₃) = 8
d₂₅ = min(d₂₅, d₂₄ + d₄₅) = 9
d₂₆ = min(d₂₆, d₂₄ + d₄₆) = 8
d₃₅ = min(d₃₅, d₃₄ + d₄₅) = 7
d₃₆ = min(d₃₆, d₃₄ + d₄₆) = 1
d₅₆ = min(d₅₆, d₅₄ + d₄₆) = 8
La matriz de distancia después de esta iteración es:

$\mathcal{W}_4 = \begin{bmatrix} 0 & 3 & 5 & 1 & 12 & 5\\ 3 & 0 & 8 & 4 & 9 & 8\\ 5 & 8 & 0 & 6 & 7 & 1\\ 1 & 4 & 6 & 0 & 13 & 4\\ 12 & 9 & 7 & 13 & 0 & 8\\ 5 & 8 & 1 & 4 & 8 & 0\end{bmatrix}$

5ª Iteración: nodo intermedio = 5
d₁₂ = min(d₁₂, d₁₅ + d₅₂) = 3
d₁₃ = min(d₁₃, d₁₅ + d₅₃) = 5
d₁₄ = min(d₁₄, d₁₅ + d₅₄) = 1
d₁₆ = min(d₁₆, d₁₅ + d₅₆) = 5
d₂₃ = min(d₂₃, d₂₅ + d₅₃) = 8
d₂₄ = min(d₂₄, d₂₅ + d₅₄) = 4
d₂₆ = min(d₂₆, d₂₅ + d₅₆) = 8
d₃₄ = min(d₃₄, d₃₅ + d₅₄) = 6
d₃₆ = min(d₃₆, d₃₅ + d₅₆) = 1
d₄₆ = min(d₄₆, d₄₅ + d₅₆) = 4
La matriz de distancia después de esta iteración es:

$\mathcal{W}_5 = \mathcal{W}_4 = \begin{bmatrix} 0 & 3 & 5 & 1 & 12 & 5\\ 3 & 0 & 8 & 4 & 9 & 8\\ 5 & 8 & 0 & 6 & 7 & 1\\ 1 & 4 & 6 & 0 & 13 & 4\\ 12 & 9 & 7 & 13 & 0 & 8\\ 5 & 8 & 1 & 4 & 8 & 0\end{bmatrix}$

6ª Iteración: nodo intermedio = 6
d₁₂ = min(d₁₂, d₁₆ + d₆₂) = 3
d₁₃ = min(d₁₃, d₁₆ + d₆₃) = 5
d₁₄ = min(d₁₄, d₁₆ + d₆₄) = 1
d₁₅ = min(d₁₅, d₁₆ + d₆₅) = 12
d₂₃ = min(d₂₃, d₂₆ + d₆₃) = 8
d₂₄ = min(d₂₄, d₂₆ + d₆₄) = 4
d₂₅ = min(d₂₅, d₂₆ + d₆₅) = 9
d₃₄ = min(d₃₄, d₃₆ + d₆₄) = 5
d₃₅ = min(d₃₅, d₃₆ + d₆₅) = 7
d₄₅ = min(d₄₅, d₄₆ + d₆₅) = 12
La matriz de distancia después de esta iteración es:

$\mathcal{W}_6 = \begin{bmatrix} 0 & 3 & 5 & 1 & 12 & 5\\ 3 & 0 & 8 & 4 & 9 & 8\\ 5 & 8 & 0 & 5 & 7 & 1\\ 1 & 4 & 5 & 0 & 12 & 4\\ 12 & 9 & 7 & 12 & 0 & 8\\ 5 & 8 & 1 & 4 & 8 & 0\end{bmatrix}$

Ya se han hecho todas las iteraciones posibles. Por tanto, el camino mínimo entre 2 vértices cualesquiera del grafo será el obtenido en la matriz final. En este caso, el camino mínimo entre 3 y 4 vale 5.