Может ли Pyomo решать невыпуклые MIQCP (билинейные задачи) с помощью Gurobi?

Question

Я хочу смоделировать задачу оптимизации, которая содержит довольно много билинейных членов. Таким образом, я хочу использовать функциональность Gurobi 9.0 для решения билинейных задач. Ясно, что я могу использовать API GurobiPy. Однако я мог бы сравнить другие решатели (например, BARON). Итак, мне интересно, можно ли использовать Pyomo для формулировки проблемы, а затем решить ее с помощью Gurobi? Будут ли проблемы?

Answer 1

Насколько я могу судить, проблем быть не должно. Будет использоваться тот же решатель Gurobi. Ваша проблема будет просто смоделирована в несколько другом синтаксисе (PYOMO), который легко переносится для решения с более широким диапазоном решателей.

Если все еще сомневаетесь, я предлагаю вам попробовать очень простую задачу с билинейным членом .

Обратите внимание, однако, что BARON требует коммерческой лицензии в отличие от Gurobi, который предлагает бесплатные академические c лицензии.

Удачи!