Mamy grafy A i B w postaci macierzy adjacencji.
Możemy korzystać z algebry, w której:
'+' to działanie \min
'\cdot' to dodawanie
Wtedy jedno mnożenie macierzy, to jeden krok relaksacji najkrótszych ścieżek,
musimy wykonać n takich relaksacji. Złożoność O(n^4).
Można poprawić złożoność.
Nie da sie zastosować algorytmu Strassena, bo nie mamy działania odwrotnego do \min.
Można za to skorzystać z szybkiego potęgowania, co zmniejsza nam koszt do O(n^3\log n).