差分约束系统与最短路模型