algoritmo di Floyd-Warshall

È un algoritmo che calcola la distanza tra ogni coppia di nodi di un grafo, con una complessità temporale di $O(n^3)$.

$T[k,i,j]$ è il cammino minimo da $i$ a $j$ quando posso attraversare solo nodi con indice in $\{0,\dots ,k-1\}$.

todo capire