Dijkstra 算法


证明

下面使用循环不变式证明 Dijkstra 算法。


Python 实现

tim-chow 的 Github