Оптимизатор Gurobi: определение целесообразности без оптимизации модели

Question

Оптимизатор Gurobi: определение целесообразности без оптимизации модели

Можно ли в Gurobi увидеть, возможна ли группа ограничений и переменных без фактической оптимизации проблемы? Кажется, если цель постоянная, Гуроби все еще делает много сложных вычислений, чтобы найти оптимальное решение, которое мне не нужно!

3

gurobi integer-programming feasibility

Источник

user5280644 02 мар '16 в 06:59

2 ответа

Решение

Я не уверен, есть ли лучший способ сделать это, но вы можете использовать либо ограничения решения, либо ограничения времени, чтобы остановить решатель после выполнения условия.

Например:

останавливает решатель после того, как найдено n решений.

model.Params.SolutionLimit = nостанавливает решатель, когда он работает в течение n секунд.

Вы можете посмотреть эту страницу параметров gurobi для получения дополнительной информации здесь

0

Источник

user17466423 20 ноя '21 в 19:14

Другие вопросы по тегам gurobi integer-programming feasibility

user5625534 02 мар '16 в 08:12 2016-03-02 08:12 · Accepted Answer · 2016-03-02 08:12

Сожалею. За исключением очень простых невозможностей, которые могут быть обнаружены в предварительном подсистеме, Гуроби, возможно, придется проделать большую работу, чтобы доказать, возможна ли модель или неосуществима. Здесь нет серебряных пуль.