Булевы функции и их приложения в машинном обучении: от логических правил к объяснимому искусственному интеллекту
Аннотация
Автоматизированное составление расписания — прикладная задача дискретной оптимизации, где графовые модели и комбинаторные алгоритмы напрямую влияют на качество образовательных решений. Статья рассматривает расписание как задачу комбинаторной оптимизации: от построения конфликтного графа и сведения к раскраске до гибридных схем, объединяющих математическое программирование (MIP), SAT/SMT-подходы и эволюционные методы. Особое внимание уделяется современным открытым данным и инструментам: инстансам ITC 2019 (UniTime) и библиотекам для реальных внедрений. Приводятся результаты российских исследова...