证明求最短路径问题具有最优子结构（动态规划）