Наука
🚀
Теорема про чотири фарби отримала рідкісне нове доведення — і глибше розуміння графів
Quanta Magazine · 10 вер. 14:27
Команда математиків із Данії, Канади та Японії, серед яких Карстен Томассен і Міккель Торуп, опублікувала нове комп’ютерне доведення теореми про чотири фарби. Роботу викладено онлайн у березні 2026 року, а в листопаді її представлять на щорічній конференції Foundations of Computer Science. Попри те, що доведення в чомусь складніше за попередні, воно дає набагато ефективніший спосіб розфарбовувати мапи й відкриває нові знання про структуру планарних графів.
❧
Чому це важливо
Теорема про чотири фарби — класичний випадок «розв’язаної, але недоведеної до кінця» задачі: її довели в 1970-х роках, але комп’ютерним перебором, який багато математиків тоді вважали скандальним. Нова робота цікава не самим фактом доведення, а тим, що в процесі автори знайшли структурні властивості планарних графів, які можуть допомогти в інших відкритих задачах теорії графів.
Нове доведення дає ефективніший спосіб розфарбовування мап і графів; воно розкриває структурні властивості планарних графів із потенціалом прогресу в інших задачах; представлення відбудеться в листопаді на Foundations of Computer Science.
❧