最短路和差分约束（三种算法实现）（ Til the Cows Come Home ）