Перейти к основному содержимому

Типы решателей

Значения модуля О2_ТипыРешателей определяют конкретный алгоритм поиска решения и применяются при явном задании типа решателя через метод О2.СоздатьНастройкиРешателя. Явное указание типа решателя используется при наличии специальных требований к процессу поиска: воспроизведению результатов, выбору алгоритма, оптимального для задачи определённой структуры, либо необходимости работы с конкретной реализацией.

Доступ к модулю осуществляется через аксессор О2.ТипыРешателей().

Рекомендация

В большинстве случаев явный выбор типа решателя не требуется — автоматический выбор соответствует типу модели и обеспечивает разумное соотношение скорости и качества решения. Указывайте тип решателя только при необходимости воспроизвести конкретное поведение.

Методы

Пример использования

Настройки = О2.СоздатьНастройкиРешателя(
60, // <-- лимит 60 секунд
0, // <-- количество потоков по умолчанию
О2.ТипыРешателей().SCIP() // <-- явный выбор решателя
);

ПараметрыПоиска = О2.СоздатьПараметрыПоиска(, Настройки);

Решение = О2.РешитьМодель(Модель, ПараметрыПоиска);

См. также