c# - OR-Tools、CP-SAT 求解器 - 最大化然后最大化

Question

我使用https://developers.google.com/optimization/cp/cp_solver尝试解决约束规划问题，我想最大化一个函数，然后最大化另一个。

我尝试调用 Maximize 两次，但它似乎不起作用。

这是一个最小的示例代码：

var solver = new CpSolver();
var model = new CpModel();

IntVar var1 = model.NewIntVar(100, 300, "var1");
IntVar var2 = model.NewIntVar(200, 500, "var2");
IntVar var3 = model.NewIntVar(100, 400, "var3");

model.Add(var1 + var2 + var3 == 1000);

int prio1 = 1;
int prio2 = 2;
int prio3 = 1;
int secondPrio1 = 4;
int secondPrio2 = 1;
int secondPrio3 = 5;
LinearExpression priority = prio1 * var1 + prio2 * var2 + prio3 * var3;
LinearExpression secondPriority = secondPrio1 * var1 + secondPrio2 * var2 + secondPrio3 * var3;

model.Maximize(priority); // Is overwritten by second Maximize, does not work
model.Maximize(secondPriority);

CpSolverStatus result = solver.Solve(model);

我希望我的求解器将最大值设置为 var2 (500)，因为它具有最高的 prio#，然后将最大值设置为 var3 (400)，因为它具有最高的 secondPrio#。然后，剩余的 (100) 将分配给 var1。

提前致谢。