理论： 图论（7）： 无圈图的最短路径和关键路径

总括

在我们不知道图的类型（有圈无圈、有负圈无负圈）的时候， Ford算法和上文中Dijkstra算法的优化版会给予我们一种通用的解法， 但是我们要注意到他们的时间复杂度为0(E * V)；

这个时间的耗费是巨大的， 所以在我们知道足够的限制条件时我们就可以细化情况， 单独提出无环图这样的一个特例， 优化出时间复杂度为O(N)的线性算法。

除此之外， 无向图的应用中还有关键的一点就是关键路径的求解， 他往往用来求解工程中， 某一事件的优先关系
·
·
·
·

无圈图最短路径

说到无圈图的最短路径， 和dp有极大的相似程度。

如果知道图是无圈的， 那么我们通过将图的存储方式加以改变， 或者叫做顶点选取法则， 来改进Dijstra算法。 新的法则说白了就是这个无圈图的拓扑排序。 因为这个拓扑排序的建立和最短路径的选择可以同时完成时间复杂度近似于O(N)（队列优化下）， 所以这个算法的时间复杂度近似于O(N)；

简要的证明一下：当一个顶点V被选取之后， 按照拓扑排序的选取法则， 他没有从未知顶点发出并进入V的边， 因此他的距离为d是已经确定的， 这个距离是已经确定的， 所以这种算法是可行的。

为了下面便于讲解， 我们可以假设这样的一种情况——你在某个下坡滑雪， 你想要从a点到b点， 但是只能走下坡路，这个例子显然不可能有圈（大家可以看看我的前几篇关于DP的博客——数塔问题）
无圈图的最短路径本质是就是拓扑排序的顺序的选优 或者简单的归结于DP的数