Gurobi: Формулировка ограничения - отношения переменных решений

Question

В настоящее время я работаю с gurobipy и хотел бы смоделировать следующее ограничение (X1-X4 - переменные решения):

a * X1 = b * X2 = c * X3 = a * X4

Есть ли простой способ сделать это?

Answer 1

Это необходимо преобразовать в стандартную форму для линейного программирования.Я рекомендую вам ввести новую неограниченную переменную z, означающую, что нижняя граница (атрибут LB) равна -GRB.INFINITY.Затем напишите:

a * X1 == z
b * X2 == z
c * X3 == z
a * X4 == z

Я понимаю, что вы можете исключить z (и presolve должен это сделать), но причина, по которой вы добавляете переменную z, связана с другими приложениями, где термины представляют собой линейные выражения вместо отдельных переменных.;в этом случае предложенная мной форма будет более эффективной.