Dijkstra:优先队列怎么保证每次弹出的都是最终答案

6 个节点的带权图,从节点 0 出发。每次从优先队列里弹出距离最小的候选,这个距离就此定死——包括队列里可能存在的"过期"重复记录如何被识别并跳过。