Примеры моделирования задач, таких как судоку, раскраска карт, задача о ферзях с помощью MiniZinc

Всем привет!

Bashbrains — площадка, объединяющая людей, стремящихся сделать жизнь ярче и интереснее в Башкирии. 

Мы приглашаем всех, кто связан с математикой послушать доклад 3 сентября в 19:00 в офисе Модульбанка (БЦ Нестеров), где Глеб Белов из университета Монаш, Австралия, расскажет и покажет примеры основы моделирования (переменные, арифметические, логические и глобальные ограничения, свертки, предикаты), а также некоторые продвинутые аспекты, например избежание симметрии и избыточные ограничения, с помощью программы MiniZinc. Глеб приведет примеры моделирования широко известный задач, таких как судоку, раскраска карт, задача о ферзях.

MiniZinc (www.minizinc.org) — система моделирования среднего уровня, разработка которой ведется с 2008 года. Задумана быть достаточно общей и в то же время позволять конкретизацию при необходимости. Кроме того, эта система стремится быть независимой от технологии решения.

Описание для математиков: 

Математическая оптимизация рассматривает задачи вида "минимизировать целевую функцию f(x) при условиях на переменные: x(x)". Дискретная (комбинаторная) оптимизация рассматривает специальный случай, когда некоторые переменные должны быть целочисленными.

Такое определение предполагает наличие конкретных f(x) и (x), моделирующих реальную задачу, например задачу коммивояжера, маршрутизации или расписаний. При этом последняя может допускать несколько вариантов выбора модели, отличающихся по сложности моделирования и/или решения выбранным алгоритмом (алгебраическое программирование, программирование в ограничениях, локальный поиск…)

Программа:

19.00 Доклад Глеба Белова

20.00 Ответы на вопросы, свободное общение

Слайды доклада на английском языке, доклад на русском.