O algoritmo de Floyd-Warshall resolve o problema de calcular o caminho mais curto entre todos os pares de vértices em um grafo orientado (com direção) e valorado (com peso).
Sobre o algoritmo e dado que V é o número de vértices e E o número de arestas do grafo, podemos afirmar que: