来聊聊最短路问题中的label-setting算法

时间过得真快！转眼间一年又过去了，我记得上一次写推文还是在去年。前段时间一直在做Label Setting相关的研究，今天趁着有空了，赶紧来聊一下吧~

一、最短路问题(SPP)

最短路问题（Shortest Path Problems）相信学过运筹学的小伙子们都不陌生了，就是给定一个网络，网络的边上有权重，找一条从给定起点到给定终点的路径使路径上的边权重总和最小。其实从广义上来说，他是一个非常大的分类。在近几十年的研究中，涌现了很多最短路问题的变种。

最简单的就是下面这种，不带任何约束的，只要路是想通的，就随便你怎么走，反正最后是cost最低就好了。

稍微难一点的就是在上面的基础上，加上资源约束，变成了带资源约束的最短路问题。也就是说，不仅要cost最低，还得满足一些奇奇怪怪的约束。比如下面的这种。定点上面[]表示的是时间窗，边上面()第一个元素表示经过这条边所需要时间，第二个元素表示经过这条边所需要花费的成本。一般来说成本和时间是正相关的，但是也有例外，比如车辆下坡的时候成本是很低。

第三种常见的，就是在上面的基础上再加一个约束，即限定每个点只能被经过一次，变成了Elemental Shortest Path Problems。这个问题可以变成很多利用column generation求解车辆路径问题的子问题。

二、label-setting算法

对于最简单的最短路问题，比较流行的算法就是Floyd算法和Dijkstra算法，这个相信大家学过运筹学都懂的啦。Dijkstra算法跟贪心有点像，而Floyd算法跟动态规划又有点像，这两个都是精确算法哦。

而对于带资源约束的最短路问题，目前比较流行的精确算法有modeling（构建arc-flow或者什么模型，调用solver进行求解）、label-setting、label-currenting以及前些年提出来的pulse算法。

而labeling算法其实就是动态规划，算法从起始点开始，不断往后进行扩展，用label记录当前的资源使用情况以及累计的cost，进行新扩展时通过当前label，判断下一个可达点是否满足扩展的条件，满足资源约束时才前往到下一个节点。如图中画虚线的就是资源不满足的情况

通常来说，在写labeling算法时，为了加快算法的运行速度，都需要加上dominance规则，即把一些潜在的比较差的label给干掉，避免它继续往下扩展浪费时间。注意，我上面用了潜在，因为如果要完全确定一个label比另一个label差的话，得一直扩展到终点。而dominance rule能通过一些判断，把扩展到中间的一些没有潜力的label给干掉。

接下来讲讲dominance rules，通常来说，对于到达了同一个点$v_k$的两个Label $L_1$和$L_2$, 我们假定$\Omega (L)$表示从$L$出发扩展到终点的所有子路径集合，而$c(r)$表示一条完整路径$r$的cost，$L_{}$