왜 N - 1번까지 돌려봐야, 그 이후로 한 번 더 돌려봤을 때 정상적인 그래프(음의 싸이클이 없는)라면 값 갱신이 없다라는 걸 어떻게 앎?