数据结构(Java版)图3(最短路径;Dijkstra算法思想;Dijkstra逐步求解的过程;引入辅助数组dist它的每一个分量dist[i]表示当前找到的从源点 v0到终点 vi 的最短路径的长度初始状态 若从源点v0到顶点 vi 有边, 则dist[i]为该边上的权值 若从源点v0到顶点 vi 无边, 则dist[i]为? 假设 S 是已求得的最短路径的终点的集合则可证明下一条最短路径必然是