数据结构-最短路径性质