摘要：（转载时请注明原地址http://www.cnblogs.com/n-u-l-l/archive/2012/07/29/2614194.html） 在一个有权图中，从起点到终点最短的路径成为最短路，第2短的路成为次短路，第3短的路成为第3短路，依此类推，第k短的路成为第k短路。那么，第k短路怎么求呢？ 对于第k短路，可以想到的一个比较朴素的算法就是广度优先搜索，使用优先队列从源点s进行广搜，当第k次搜索到终点t时，所的长度即所求但是这种方法在运行过程中会产生特别多的状态，当图比较简单、k比较小时，可以一试，但是当k较大或者图中点数较多时，会面临爆栈的危险。目前使用比较多的算法是单源最短... 阅读全文

摘要：如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。 求解差分约束系统，可以转化成图论的单源最短路径（或最长路径）问题。 观察xj-xi<=bk，会发现它类似最短路中的三角不等式d[v]<=d[u]+w[u,v]，即d[v]-d[u]<=w[u,v]。因此，以每个变量xi为结点，对于约束条件xj-xi<=bk，连接一条边(i,j)，边权为bk。我们再增 阅读全文