rt，差分约束的建模很 trival，思考起来也很简单。