差分约束系统详解!!详细介绍差分约束系统