Вітаємо, СМС-громадо!

Запрошуємо на третій відкритий семінар лабораторії теорії графів і мережевого аналізу KSE.

Тема: "Computer-assisted graph theory: searching for regular K3-irregular graphs".

Чи можуть комп‘ютери допомагати розв‘язувати відкриті задачі з чистої математики?

Під час доповіді ви дізнаєтесь, як еволюційні алгоритми можна застосувати до однієї з цікавих задач теорії графів — проблеми існування регулярних K3-іррегулярних графів.

Нам вдалося довести неіснування таких графів для малих регулярностей, побудувати явні приклади для більших значень за допомогою еволюційних алгоритмів та майже повністю розв’язати проблему, поставлену самим Полом Ердешом та співавторами ще у 1988 році.

Ця робота показує, як сучасні алгоритмічні та AI-методи можуть підтримувати людську інтуїцію в математиці — допомагаючи знаходити контрприклади та відкривати нові закономірності в структурі графів.

Спікер:
Артем Гак — дослідник лабораторії теорії графів і мережевого аналізу в KSE, аспірант і асистент у НаУКМА.

🗓Дата та час: Чт, 13 листопада о 18:00
📍Місце: KSE (вул. М. Шпака 3), ауд 4.07 & Zoom
🔗Реєстрація: за посиланням