对于给定的差分约束，计算满足差分约束的变量最大值与最小值之差的最小值。-For a given differential constraints, the calculation to satisfy the differential constraint variable maximum and minimum values ​ ​ of the difference between the minimum.