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