1:dijstra算法常用语求最短距离, dijstra每次从未发现节点n[]中,发现距离源点最短的节点m,求出最短节点后,将m添加到已发现节点y[]中,用该节点m进行更新其它未发现节点n[]-m的最短距离.直到发现所有节点 证明:m为什么是距离源点s的最短距离, 因为在未发现节点中该节点距离最短,所以不会有从s到n[]-m再到m的距离和小于s到m. 在已发现节点y[]中,从s到y[]再到m的距离和,如果有小于s到m的距离,那么在求得s>y[i]的最短距离时,就已经用(s>y[i])+(y[i…