摘要： Dijkstra正确性证明 采用反证法+数学归纳法 设目前已经出对的点得到的都是最短路，那么对于现在刚好出队这个点t来说： 因为它是优先队列的对头，而且图中的边权都是非负数，所以它不可能被队列中的点再更新 因为每个点只会出队一次，所以它也不会被已经出队的点再次更新 还没有入队的点距离更远，也不可能再 阅读全文