Google OR Tools：如何为IntVar次大值与第三大值设置差值约束

直接借助Google OR-Tools CP-SAT求解器内置的排序约束函数，就能快速实现需求，具体步骤如下：

1. 先把所有IntVar整理成列表，方便统一处理：

   xs = [x1, x2, x3, x4]
   

2. 创建四个新的IntVar变量，用于存储原变量降序排序后的结果：

   sorted_xs = [model.NewIntVar(0, 100, f"sorted_{i}") for i in range(4)]
   

3. 添加排序约束，指定按降序排列，这样sorted_xs[0]对应原变量中的最大值，sorted_xs[1]是第二大值，sorted_xs[2]是第三大值：

   model.AddSortConstraint(xs, sorted_xs, ascending=False)
   

4. 最后直接对第二大值和第三大值设置差值约束即可：

   model.Add(sorted_xs[1] - sorted_xs[2] >= 10)
   

这种方法不需要手动编写复杂的次大值、第三大值判断逻辑，利用内置的排序约束就能高效、准确地完成需求。

内容的提问来源于stack exchange，提问作者Caveman Tim