RU

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

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

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

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

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

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

Муравьи против трансформеров: старый алгоритм 1992 года, который вернулся

Начну с признания: истории формата «природа оптимизирует лучше людей» меня обычно раздражают, слишком уж часто это все притянуто за уши. Но с муравьям…

ACOзадача коммивояжераDeepACOкомбинаторная оптимизацияNeurIPSграфовые нейросетистигмергияselectelaiml