dijkstra算法的过程


dijkstra算法的证明

使用循环不变式来证明dijkstra算法: