差分约束 字典序最小