[이론] 플로이드-워셜 알고리즘

 i번 정점에서 j번 정점로 가는 최소 거리를 구하는 알고리즘이다. 3중 for문을 이용하기 때문에 정점의 개수가 적을 때

이용이 가능하다. i → j 가중치가 c일 경우에 i → k → j, 즉  i → k의 최소 가중치 + k → j의 최소 가중치 a+b를 비교해서

가중치가 더 작은 경로를 i → j 가중치로 저장해서 i → j의 최소 가중치를 구하는 알고리즘이다.