dijkstra算法的证明和个人理解

数据结构刚好看到单源最短路径算法dijkstra，小证明一下dijkstra算法的正确性，或许可以帮助理解。有问题还请指出。

首先记图中的一个源点为S，可以把一个图按顶点分为两部分，最短路径已确定的顶点集V和最短路径尚未确定的顶点集V'。把V'集合中可以从V中仅通过一条边到达的点集记为K，可以把这个K集合形象的称为“S通过V可轻易到达的点集”，大概是下图这种感觉。

 

把S通过V到达的最近的那个属于K的点记为k0，这个k0可以形象的称为“S通过V可到达的最近的点”，这个最近距离记为dst_k0。

下面证明dst_k0就是S到k0的最短距离：

• 记S到k0的最短路径上第一个不在V中的点为k1，即k1之前的路径全是在V中的，也即k1是“S通过V可轻易到达”的点，所以k1∈K，记S到k1的距离为dst_k1。                                       
• 若k1不为k0，则显然S到k1的距离小于S到k0的距离，所以dst_k1<dst_k0，但是因为k1∈K，所以有dst_k0<dst_k1，矛盾，所以k1就是k0。

因此S到k0最短路径上第一个不在V中的点为k0，所以我们找到的dst_k0就是S到k0的最短距离。

而dijkstra的过程中，每次迭代就是寻找通过已确定最短路径的点所能到达的最近的点，每次迭代的过程即对应上述更新K集合与找出k0的过程。因此每次找出的S，k0的路径都是最短路，每次找到的k0都被划入V中，K这个集合也在每次跌倒中通过最新划入V的点k0得到更新。