摘要： 本文介绍求解图单源最短路径的Dijkstra算法的基本原理以及其正确性的证明。 1. 问题描述： 设一张有向带权图 G 包含若干顶点记为 v[1], v[2], ...；v[i] 到 v[j] 的边记为 e[i,j]，其权值记为 w[i,j]。注意，Dijkstra算法正确性要求图中没有权值为负的边 阅读全文