# Новое доказательство теоремы о четырёх красках использует 8202 конфигурации с параллельной редукцией

- Опубликовано: 2026-11-10 10:58 UTC
- Раздел: Цифра и вычисления › Софт и сервисы
- Теги: теорема о четырёх красках, новое доказательство, метод раскраски графов, планарные графы, 8202 конфигурации, Аппель и Хакен, компьютерное доказательство, раскраска карт, Фрэнсис Гатри
- Адрес: https://realtech.media/ru/news/rt-b5a577db9800da7ef8d2b90d_novoe_dokazatelstvo_teoremy/

**После почти десяти лет работы исследователи представили новое доказательство теоремы о четырёх красках и более быстрый метод раскраски графов, полезный для изучения планарных графов.**

![New proof of the four color theorem uses 8202 configurations reduced in parallel](https://realtech.media/media/2026/11/e0afdc315a64eaa9.jpg)
*chip.pl*

Исследователи разработали новое доказательство теоремы о четырёх красках, сообщает chip.pl. Работа началась в 2015 году и заняла почти десять лет. Доказательство опирается на 8202 конфигурации, а авторы также создали заметно более эффективный метод раскраски графов [1].

## Теорема о четырёх красках и прежние доказательства

Теорема гласит: любую карту, разделённую на непересекающиеся области, можно раскрасить не более чем четырьмя цветами так, чтобы никакие две области с общей границей не были окрашены одинаково. Вопрос возник в 1852 году. Британский математик Фрэнсис Гатри, раскрашивая карту графств Англии, заметил, что для различения всех соседних областей хватает четырёх цветов, и задался вопросом, верно ли это для любой возможной карты [1].

Первую попытку доказательства представил в 1879 году Альфред Брей Кемпе. Одиннадцать лет его решение считали верным, пока Перси Джон Хивуд не нашёл в нём ошибку. Тем не менее часть идей Кемпе легла в основу последующих исследований [1].

В 1976 году Кеннет Аппель и Вольфганг Хакен представили доказательство, в котором впервые использовался компьютер для проверки огромного числа математических конфигураций. Они свели задачу к 1482 случаям, которые проверили компьютеры Университета Иллинойса. Результат вызвал споры: часть математиков сомневалась, можно ли считать доказательство с помощью компьютера полноценным. В 1997 году появилась усовершенствованная версия, где потребовалось проверить 633 конфигурации [1].

## Параллельная редукция и планарные графы

Новое доказательство вновь подтверждает теорему. В нём используются 8202 конфигурации, которые можно редуцировать параллельно, а не анализировать по одной. Благодаря этому процедура заметно быстрее прежних решений [1].

Разработанные инструменты могут быть важны и за пределами раскраски карт. Они помогают лучше понять структуру планарных графов — математических моделей из точек, соединённых линиями, которые не пересекаются нигде, кроме общих вершин. Такие графы применяются в информатике, анализе сетей и моделировании различных явлений [1].

## Источники

1. [chip.pl](https://www.chip.pl/2026/11/cztery-kolory-teoria-nowy-dowod)

---

Источник: RealTech, realtech.media — https://realtech.media/ru/news/rt-b5a577db9800da7ef8d2b90d_novoe_dokazatelstvo_teoremy/