从源点到终点的最短路径是唯一的。