The above algorithm guarantees the existence of shortest-path trees.
上面的算法保证了最短路径树的存在。