or-tools python中的变量除法答案

【问题标题】：Variable division in or-tools pythonor-tools python中的变量除法
【发布时间】：2019-05-16 19:14:15
【问题描述】：

我正在使用 or-tools（在 python 中）提供的 MIP 求解器

假设我们有两个变量 x 和 y 。我知道如何最大化单个变量或两个变量的总和。

例如，如果我们想最大化 2*x 我们可以这样做

objective = solver.Objective()
objective.SetCoefficient(x,2)
objective.SetMaximization()

如果我们想最大化 2*x + 3*y 我们可以这样做

objective = solver.Objective()
objective.SetCoefficient(x,2)
objective.SetCoefficient(y,3)
objective.SetMaximization()

但是我不知道如何最大化除以另一个变量的变量。我的问题是如何最大化（x/y）？

【问题讨论】：

【解决方案1】：

MIP 求解器仅接受线性方程。根据定义，除法不是线性的。当您可以线性化除法时，可能会有非常特殊的情况，例如，如果 y 有一小部分可能的值。

你可以看看CP-SAT求解器，它提出了除法，但不能处理连续变量。

【讨论】：