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

О2_CP_SAT_МенеджерСтратегий.Добавить

Добавляет стратегию принятия решений для указанных переменных — определяет порядок перебора переменных и их значений при поиске решения. Основной способ вызова — через Модель.Стратегии().Добавить(...).

Синтаксис

Модель.Стратегии().Добавить(
Переменные,
СтратегияВыбораПеременной,
СтратегияСканированияДомена
)

Параметры

  • ПеременныеМассив из ФиксированнаяСтруктура — переменные модели, для которых применяется стратегия.
  • СтратегияВыбораПеременнойПеречислениеСсылка.О2_СтратегииВыбораПеременной — стратегия выбора следующей переменной для присвоения значения.
  • СтратегияСканированияДоменаПеречислениеСсылка.О2_СтратегииСканированияДомена — стратегия перебора значений переменной внутри ограничивающего домена.

Описание

Стратегии поиска позволяют настроить порядок обхода пространства решений. Правильно выбранная стратегия может существенно ускорить нахождение первого допустимого или оптимального решения. Применяется к конкретному набору переменных, поэтому для разных групп переменных можно задавать разные стратегии.

Доступ к менеджеру стратегий осуществляется через Модель.Стратегии().

Пример

Переменные = Модель.Переменные().ДобавитьМассивИзДиапазона(5, 0, 10, "x");

Модель.Стратегии().Добавить(
Переменные,
ПредопределенноеЗначение("Перечисление.О2_СтратегииВыбораПеременной.ВыбиратьСМинимальнойЛевойГраницей"),
ПредопределенноеЗначение("Перечисление.О2_СтратегииСканированияДомена.ВыбиратьМинимальноеЗначение")
);

См. также