Спецтехника по объектам. При чем тут комбинаторика?

[piero]

очень понятная статья, спасибо за сравнение CP и MIP, вокруг меня многие очень любят MIP и как-то недоверяют CP солверам, но там где проблема больше про поиск сложных камбинаторных сочетаний кажется CP решатели лучше.

[Lozkins]

Согласен, но всё зависит от структуры задачи. Здесь много временных ограничений с переключателями, и в MIP они требуют больших констант (big M), из-за чего решатель работает медленнее. В CP SAT они записываются естественно, поэтому он справился быстрее (16 против 60 секунд) с тем же результатом. Там, где структура «чистая» (потоки, назначения), MIP часто впереди. Поэтому я обычно пробую оба.