差分约束系统（system of difference constraints）详解，解释了如何实现该算法及算法复杂度。