根据路由最优化原则我们可以推导出：对于I到K的最优路径上的任两个节点，它们之间的最优路径也在这条路上（对于无向图）