[8 - N] 질문입니다.

Question

안녕하세요 선생님, 답지에서 모르는 부분이 생겨 질문을 드립니다. https://www.acmicpc.net/source/share/0a4fdcae351643db83359907f8b3da85 18라인에서 if (dist[here] != here_dist)continue; 가 의미하는 바를 정확히 모르겠습니다. 현재 이해한 것은 아래와 같습니다. here_dist : 이전에 갱신되어 pq에 추가된 값 dist[here] : 이후에 갱신되어 수정된 값 기존 거리보다 새로운 거리가 짧을 때만 dist 갱신 및 pq에 추가 작업이 일어나므로 dist에 저장된 값과 here_dist 값이 다르다는 것은 이후에 갱신 된 값이 더 작기 때문에 here_dist값이 마지막에 갱신된 dist[here]과 다른 값일 경우 가장 작은 값이 아니므로 현재 노드로 선택될 자격을 잃어버려 continue로 다음 후보 노드로 이동하게 된다. 이런식으로 현재 노드로 선택하지 않고 이동시키는 코드가 맞을까요?

큰돌 · Answer

안녕하세요 ㅎㅎ here_dist : 이전에 갱신되어 pq에 추가된 값 dist[here] : 이후에 갱신되어 수정된 값 >> 네 맞습니다. pq에 두개 이상의 같은 정점이 들어갈 수 있으며 a b c a 이런식으로.. 이 때 a가 갱신되었다면 넘기는 코드입니다. 기존 거리보다 새로운 거리가 짧을 때만 dist 갱신 및 pq에 추가 작업이 일어나므로 dist에 저장된 값과 here_dist 값이 다르다는 것은 이후에 갱신 된 값이 더 작기 때문에 here_dist값이 마지막에 갱신된 dist[here]과 다른 값일 경우 가장 작은 값이 아니므로 현재 노드로 선택될 자격을 잃어버려 continue로 다음 후보 노드로 이동하게 된다. >> 음 조금 수정하자면 다음과 같습니다. 기존 거리보다 새로운 거리가 짧을 때만 dist 가 갱신 및 pq에 추가 작업이 일어납니다. 이 때 pq에는 같은 정점이 2개이상 들어갈 수 있는데 먼저 갱신되면 다시 갱신될 필요가 없습니다. 먼저 dist[here]로 갱신이 되어버렸고 pq에 담겼을 때의 here_dist와 비교해서 해당 부분과 다르다면 갱신되었다는 뜻이기 때문에 continue로 다음 후보 노드로 이동하게 된다. 또 질문 있으시면 질문 부탁드립니다. 좋은 수강평과 별점 5점은 제게 큰 힘이 됩니다. 감사합니다.