40
правок
Изменения
→Раскраска в 4 цвета
== Раскраска в 4 цвета ==
{{Теорема
|about=
Проблема четырех красок
|statement='''Теорема о четырёх красках''' — утверждение о том, что всякую расположенную на сфере карту можно раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы, были раскрашены в разные цвета. При этом области могут быть как односвязными, так и многосвязными (в них могут присутствовать «дырки»), а под общим участком границы понимается часть линии, то есть стыки нескольких областей в одной точке общей границей для них не считаются.
}}
Данная теорема была доказана Кеннетом Аппелем и Вольфгангом Хакеном. Их доказательство сводилось к рассмотрению порядка 2000 графов, 4-раскрашиваемость которых была проверена при помощи компьютера<ref>[http://research.microsoft.com/en-us/um/people/gonthier/4colproof.pdf microsoft.com {{---}} A computer-checked proof of the Four Colour Theorem] </ref>.
