Я хочу использовать SCIP, включенный в мой исходный код (C ++), для решения MIQP, и не нашел, как это сделать, кроме этой записи в FAQ:
Нелинейные целевые функции не поддерживаются SCIP и должны моделироваться как функция ограничения. Обратите внимание, что поддержка неквадратичных нелинейных ограничений все еще присутствует в BETA-стадионе и еще не так надежна, как остальная часть SCIP. Отсутствие границ нелинейных переменных и крошечных или огромных коэффициентов может легко привести к численным проблемам, которых можно избежать путем тщательного моделирования.
Мне уже удалось построить дерево выражений для целевой функции. Я бы хотел знать:
- Если MIQP должны быть смоделированы как MINLP, то как работает это моделирование функции ограничений? Изменяется ли верхняя граница?
- Если есть специальные методы для MIQP, где я могу найти документацию по этому поводу?