问一个关于最短路径的Dijkstra算法的问题

mci2004

Dijkstra算法正确性和核心都是基于一个假设：

假设 IN---->OUT 最短的路径是 IN-->A--->B--->C....--->OUT。

那么在这个最短路径上，从IN到每个顶点的距离都是最短的，例如：从IN到达C顶点的最短距离一定是 IN-->A-->B-->C。怎么证明，相信你知道的对吧？

IN做为起点，这样一步一步的迭代就能求得最短路径了。IN---A---B

还有，如果两点之间不可达，则将这两点之间的距离设置为 INFINITE。