数据结构 ：非负权值的单源最短路径原理的理解

    为了当前找到从源点到其他顶点的最短路径长度，引入一个辅助数组dist[ ]，它的每一个分量dist[ i ]表示当前找到的从源点V0到其他顶点的最短路径的长度，它的初始状态是若从源点V0到Vi有边，则dist[ i ]表示为该边上的权值；若从源点V0到顶点Vi没有边，则dist[ i ]为+∞。设第一条最短路径为（v0,vk）,dist[ k ]=min{dist[ i ]vi属于V-v0,V是图的顶点集合，为什么这样呢？在dist中目前最小的值是v0直达vk的距离，所以vo到vk其他的路径的距离明显要比这个值大，以S集合存放求出最短路径的值的顶点，然后以这个顶点例如上图中的v2,然后因为邻接矩阵中v2那一行到v3不为无穷，v0-v2-v3距离=60，得到dist[2]=60,然后V-S,再寻找dist中最小的值dist[K-1]，当前最小值是v0直达或着经其他顶点最短路径得到的最小值，同理，vo到这个顶点vk其他的路径的距离明显要比这个值大，所以dist[K-1]是源点到这个顶点的最短路径，存入S，然后再从V中去掉，然后再看领接矩阵中是否与剩余的顶点相连，如果v0-v2-vi值比dist[i-1]的值更小的话，用这个值取代dist[i-1],然后不断重复比较dist中的值的大小，找最小值点，判断更改其余点的到源点的值，记录源点到该点最短路径值，删除该点的操作，只到留下最后一个点，最后一个点的到源点的dist值已经是最小值，然后把最后一个点和路径值记录下来，这样就得到了源点到其余点的对应最短路径。