플로이드-워셜이나 다익스트라 같은 알고리즘들 다 증명해보고 넘어감?
아니면 그냥 그런갑다 하고 넘어감?