本文介绍了如何使用拓扑排序解决有向无环图(DAG)中的最短路径问题。通过按拓扑排序顺序进行边的松弛操作，可以在线性时间复杂度Θ(V+E)内找到从单个源节点到所有节点的最短路径。由于DAG无环，不存在负权环，确保了最短路径的存在。该算法正确且效率高。
图论-DAG图中的最短路问题
根据节点的拓扑排序的次序来对带权重的有向无环图进行边的松弛操作，我们便可以在 Θ ( V + E ) \Theta(V+E) Θ(V+E)的时间内计算出从单个源节点到所有节点之间的最短路径。
因为DAG无环，因此不存在负权环，因此源节点到任意的最短路都是存在的。我们只需要按照拓扑排序的次序，来依次松弛节点的邻接边，即可。
证明
对于任意s到v的最短路 ( v 0 , v 1 , … , v k ) (v_{0},v_{1},\dots,v_{k}) (v0,v1,…,vk)， v 0 = s , v k = v v_{0}=s,v_{k}=v v0=s,vk=v，边的松弛永远是按照 ( v 0 , v 1 ) (v_{0},v_{1}) (v0,v1)、 ( v 1 , v 2 ) (v_{1},v_{2}) (v1,v2)次序进行松弛的，因为这个最短路符合拓扑排序的次序，边的松弛又是按照拓扑排序进行松弛的。因此，这个算法是正确的。
时间复杂度为 Θ ( V + E ) \Theta(V+E) Θ(V+E)，线性。
扫一扫
4799
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
