Coming soon — статья готовится. Ниже — её вопрос, результат и место в общей истории.
Вопрос статьи
Как разделить допустимость результата и доказанную оптимальность?
Что разберём
Разделить допустимость результата и доказанную оптимальность.
Что нужно знать заранее
Предварительно разобраны: Формализация задачи через ограничения; CP-SAT на прикладной задаче.