Типы решателей
Значения модуля О2_ТипыРешателей определяют конкретный алгоритм поиска решения и применяются при явном задании типа решателя через метод О2.СоздатьНастройкиРешателя. Явное указание типа решателя используется при наличии специальных требований к процессу поиска: воспроизведению результатов, выбору алгоритма, оптимального для задачи определённой структуры, либо необходимости работы с конкретной реализацией.
Доступ к модулю осуществляется через аксессор О2.ТипыРешателей().
Рекомендация
В большинстве случаев явный выбор типа решателя не требуется — автоматический выбор соответствует типу модели и обеспечивает разумное соотношение скорости и качества решения. Указывайте тип решателя только при необходимости воспроизвести конкретное поведение.
Методы
Пример использования
Настройки = О2.СоздатьНастройкиРешателя(
60, // <-- лимит 60 секунд
0, // <-- количество потоков по умолчанию
О2.ТипыРешателей().SCIP() // <-- явный выбор решателя
);
ПараметрыПоиска = О2.СоздатьПараметрыПоиска(, Настройки);
Решение = О2.РешитьМодель(Модель, ПараметрыПоиска);
См. также
- СоздатьНастройкиРешателя — передача типа решателя в параметры поиска;
- ТипыРешателей (аксессор);
- Типы моделей — классы моделей, для которых применяются решатели.