Я хотел бы использовать решатель ILP (например, lp_solve
), чтобы найти решение проблемы оптимизации.
Проблема заключается в том, что некоторые ограничения слишком сложны, чтобы их можно было формализовать в виде линейных утверждений, но их можно проверить с помощью моделирующей среды.
Поэтому мне нужно запустить решатель, проверить решение на соответствие моим сложным ограничениям и, если они не будут удовлетворены, перейти к второму лучшему решению и т. д.
Существует ли решатель, который дает не только оптимальное решение, но и наилучшие n решений относительно заданной целевой функции?