RU

Когда всё решает «да» или «нет»: SAT-солверы и оптимизация в PySAT

В прошлых статьях я разбирал линейное и целочисленное программирование: PuLP, OR-Tools, pyomo, задачи о назначениях, коммивояжёра, раскрой, генерацию …

satPySATбулева выполнимостькомбинаторная оптимизацияматематическая оптимизациясоставление расписанийавтоматизация планированияраспределение ресурсовоптимизация бизнес-процессов
Habr
RU

Записки специалиста по математической оптимизации

Что есть база в математической оптимизации и моделировании бизнес процессов? Целевая функция, ограничения, алгоритмы решения — безусловно, но есть ещё…

задача коммивояжеразадача о рюкзакезадача о назначенияхзадача о раскраске графазадача о покрытиитранспортная задачацелочисленное программированиекомбинаторная оптимизацияматематическая оптимизацияматематическое программирование
Habr
RU

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор…

solversAPSматематическая оптимизациястратегия развития