RU

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

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

satPySATматематическое моделированиераскраска графовоптимизация процессовсоставление расписанийбизнес-оптимизацияматематическое программированиеBoolean satisfiabilityMaxSAT
Habr
RU

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

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

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