О2_ТипыМоделей.МодельОграничений
Модель комбинаторной оптимизации с целочисленными переменными и расширенными ограничениями. Основной способ вызова — через фасад О2.ТипыМоделей().МодельОграничений().
Синтаксис
О2.ТипыМоделей().МодельОграничений()
Возвращаемое значение
- ПеречислениеСсылка.О2_ТипыМоделей — значение
SAT.
Описание
Поддерживает специальные ограничения: «все разные» (AllDifferent), цикл (Circuit), непересечение интервалов (NoOverlap) и другие. Подходит для составления расписаний, маршрутизации, задач с логическими условиями. Является типом модели по умолчанию при вызове О2.СоздатьМодель без параметров.
Подробнее см. Модель ограничений (CP-SAT).