Чи можуть комп‘ютери допомагати розв‘язувати відкриті задачі з чистої математики?
Під час доповіді ви дізнаєтесь, як еволюційні алгоритми можна застосувати до однієї з цікавих задач теорії графів — проблеми існування регулярних K3-іррегулярних графів.
Нам вдалося довести неіснування таких графів для малих регулярностей, побудувати явні приклади для більших значень за допомогою еволюційних алгоритмів та майже повністю розв’язати проблему, поставлену самим Полом Ердешом та співавторами ще у 1988 році.
Ця робота показує, як сучасні алгоритмічні та AI-методи можуть підтримувати людську інтуїцію в математиці — допомагаючи знаходити контрприклади та відкривати нові закономірності в структурі графів.
Спікер:
Артем Гак — дослідник лабораторії теорії графів і мережевого аналізу в KSE, аспірант і асистент у НаУКМА.
🗓Дата та час: 13 листопада, 18:00
📍Місце: KSE, аудиторія 4.07 & Zoom
🔗Реєстрація: за посиланням.
Немає коментарів
Додати коментар Підписатись на коментаріВідписатись від коментарів