夜深人静写算法（四）- 最短路和差分约束