在图中求一条从顶点 i 到顶点 j 的简单路径_数据结构：图——最短路径问题（Dijkstra算法，Floyd算法）...

无权图的单源最短路算法

依靠队列实现

/*邻接表存储 - 无权图的单源最短路算法 */

/* dist[]和path[]全部初始化为-1 */
void Unweighted ( LGraph Graph, int dist[], int path[], Vertex S )
{
    
    Queue Q;
    Vertex V;
    PtrToAdjVNode W;
    
    Q = CreateQueue( Graph->Nv ); /* 创建空队列, MaxSize为外部定义的常数 */
    dist[S] = 0; /* 初始化源点 */
    AddQ (Q, S);

    while( !IsEmpty(Q) ){
    
        V = DeleteQ(Q);
        for ( W=Graph->G[V].FirstEdge; W; W=W->Next ) /* 对V的每个邻接点W->AdjV */
            if ( dist[W->AdjV]==-1 ) {
     /* 若W->AdjV未被访问过 */
                dist[W->AdjV] = dist[V]+1; /* W->AdjV到S的距离更新 */
                path[W->AdjV] = V; /* 将V记录在S到W->AdjV的路径上 */
                AddQ(Q, W->AdjV);
            }
    } /* while结束*/
}

有权图的单源最短路算法

这个算法有两个关键点：

1. 为什么剩余没有进入S的那些点中，dist值最小的那一个点v，真正的最短路一定只经过S中的那些节点。

已知条件：

• dist[v]是v到s最短路径L的距离
• 最短路径L中所有的点都是S中的点

证明

• 剩余没有进入S的那些点中，dist值最小的那一个点v，真正的最短路一定只经过S中的那些节点（dist[v]=最短路径）

反证法

• 如果s到v的最小距离不是dist[v]，根据已知条件2，最短路径中一定有一个点w不属于S，且s到w的距离一定小于s到v的距离
• 由于路径按照递增顺序生成，如果s到w的距离小于s到v的距离，w一定已经在集合S的里面了，不可能在S的外面，矛盾

2. 当把一个v收进S中时，可能会影响S外w的dist值

• w一定在从s到w的路径上
• v到w一定直接相连