• 3 сентября 2019, вторник
  • Уфа, Верхняя торговая пл., 6

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

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

1076 дней назад
3 сентября 2019, начало в 19:00
Уфа
Верхняя торговая пл., 6

Всем привет!

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

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

 

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

 

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

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

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

Программа:

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

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

 

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

850x

Партнеры

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше