差分约束系统例题详解,是很好的一种解题方法