Esta fórmula es la base del algoritmo Floyd-Warshall.