Теорема о четырех цветах

Теорема о четырех цветах утверждает, что любую плоскую карту можно раскрасить четырьмя цветами.
Доказательство теоремы основано на удалении вершин и использовании цепочек Кемпа.
Конфигурации, которые являются связными подграфами G с заданной степенью каждой вершины, называются приводимыми конфигурациями.
Неизбежный набор конфигураций — это набор, который должен встречаться где-то в G.
Метод разгрузки используется для обнаружения неизбежного набора конфигураций.
Теорема о четырех цветах применима не только к конечным плоским графам, но и к бесконечным графам.
Задача о раскраске на поверхностях, отличных от плоскости, также может быть рассмотрена.
Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.

Полный текст статьи:

Теорема о четырех цветах — Википедия