Четирицветната теорема получи рядко ново доказателство

Шестима математици публикуваха първото същински ново доказателство на четирицветната теорема от близо три десетилетия. Работата е качена в arXiv на 25 март 2026 г. (препечатка arXiv:2603.24880), ревизирана е на 7 май и ще бъде представена през ноември на конференцията Foundations of Computer Science. Quanta Magazine описа резултата на 10 септември.

Авторите са Юта Иноуе, Кен-ичи Каварабаяши (Национален институт по информатика, Япония), Ацуюки Мияшита, Боян Мохар (Simon Fraser University), Карстен Томасен (Датски технически университет) и Микел Торуп (Копенхагенски университет).

Какво всъщност е новото

Веднага уточнение, защото около новината се върти погрешно очакване: това не е доказателство без компютър. Напротив — новият неизбежен набор съдържа 8202 конфигурации срещу 633 в опростената версия от 1997 г., а намирането им е отнело месеци компютърно време. Изходният код е публикуван в GitHub.

Новото е другаде. Досегашните доказателства гарантираха, че във всяка планарна триангулация има поне една сводима конфигурация — една пъзел-частица, която може да се свие и после да се оцвети обратно. Екипът доказва, че такива конфигурации са линейно много и че те не се допират една до друга. Тоест могат да се редуцират едновременно, а не една по една.

Разликата е практическа. Алгоритъмът от 1997 г. оцветява граф с n върха за O(n²) стъпки, защото всяка стъпка сваля размера с константа. Новият сваля размера с постоянна част на всяка стъпка и стига до O(n log n) — за големи графи разликата е между часове и секунди.

Плоските зони, които никой не беше разровил

Техническият трик е в избора на терен. Класическият апарат — методът на разтоварването (discharging) с комбинаторна кривина — търси сводими конфигурации там, където кривината е различна от нула, тоест в „нагънатите“ участъци на графа.

Екипът се насочва към плоските зони, където всеки връх е свързан с още шест и ръбовете образуват правилна триъгълна решетка. Там кривината е нула и старите методи не работят. Точно затова районът е стоял неизследван — и точно затова в него са се оказали достатъчно много възможности за паралелна редукция. Авторите отбелязват, че подходът отваря врата и към обобщения върху повърхнини от по-висок род.

Снимка: Mikkel Thorup / Quanta Magazine

Идеята е родена през 2015 г. на датски плаж, където Торуп и Каварабаяши решават да се хванат с нещо голямо. „Бяхме доста наивни. Не мисля, че имахме представа колко дълго ще отнеме“, признава Торуп пред Quanta. Работата е отнела близо десетилетие.

Защо това е стар болезнен въпрос

Проблемът тръгва през 1852 г., когато Франсис Гътри оцветява карта на английските графства и забелязва, че четири цвята стигат. Огъстъс де Морган пише за това на Уилям Хамилтън на 23 октомври същата година.

През 1879 г. Алфред Кемпе обявява доказателство и то е посрещнато с овации. През 1890 г. Пърси Хийуд намира грешката — но методът на Кемпе (така наречените вериги на Кемпе) остава в основата на всичко след това. „Не е ли интересно да сгрешиш по начин, който е толкова интересен, че го кръщават на теб“, коментира Томасен.

През 1976 г. Кенет Апел и Волфганг Хакен затварят въпроса със суперкомпютрите на Университета на Илинойс: набор от 1482 конфигурации, свит от първоначални 1936. Това е първата голяма теорема, доказана с компютър, и скандалът е сериозен — математиците спорят дали изобщо може да се вярва на такова доказателство. През 1997 г. Робъртсън, Сандърс, Сиймър и Томас свалят броя до 633 и този вариант вече е приет без спор.

Реакции

Жорж Гонтие от Inria в Париж, който познава темата отблизо, коментира: „Изглежда, че са ползвали електричество щедро“, но добавя, че „наистина е приятно да видиш истински резултат за разнообразие“.

Томасен обаче не е приключил: „Това, което бих искал, е доказателство без използване на компютър. И никога няма да спра да мисля за това.“ Торуп нарича това състояние „четирицветната болест“.

Заключение

Новината не е, че компютърът е изгонен от доказателството — той е по-натоварен отпреди. Новината е, че за пръв път от 1997 г. някой е намерил принципно различен път през проблема и че този път дава практическа полза: оцветяване за почти линейно време вместо квадратично.

В година, в която около математиката и компютрите има доста шум — от спора за доказателството на OpenAI по Навие-Стокс до искането на математици за прозрачност относно данните — този резултат е от друг вид: бавен, проверим и с публикуван код. Ще го чуем отново през ноември във FOCS.