算法-差分约束