40
правок
Изменения
→Раскраска в 4 цвета
Чтобы развеять оставшиеся сомнения, в <tex>1997</tex> году Робертсон, Сандерс, Сеймур и Томас опубликовали более простое доказательство, использующее аналогичные идеи, но по-прежнему проделанное с помощью компьютера. Кроме того, в <tex>2005</tex> году доказательство было проделано Джорджсом Гонтиром с использованием специализированного программного обеспечения (Coq v7.3.1)
== Эквивалентные формулировки ==
В теории графов утверждение теоремы четырёх красок имеет следующие формулировки:
* Хроматическое число планарного графа не превосходит <tex>4</tex>.
* Рёбра произвольной триангуляции сферы можно раскрасить в три краски так, что все стороны каждого треугольника были раскрашены в разные цвета.
== Ложное доказательство ==
