差分约束系统 Diff Constraints