1632
правки
Изменения
м
== Эквивалентные формулировки ==
В теории графов утверждение теоремы четырёх красок имеет следующие формулировки:
* Хроматическое число планарного графа не превосходит 4.
* Рёбра произвольной триангуляции сферы можно раскрасить в три краски так, что все стороны каждого треугольника были раскрашены в разные цвета.
== Примечания ==
<references/>
rollbackEdits.php mass rollback
Чтобы развеять оставшиеся сомнения, в <tex>1997</tex> году Робертсон, Сандерс, Сеймур и Томас опубликовали более простое доказательство, использующее аналогичные идеи, но по-прежнему проделанное с помощью компьютера. Кроме того, в <tex>2005</tex> году доказательство было проделано Джорджсом Гонтиром с использованием специализированного программного обеспечения (Coq v7.3.1)
== Эквивалентные формулировки ==
В теории графов утверждение теоремы четырёх красок имеет следующие формулировки:
* Хроматическое число планарного графа не превосходит <tex>4</tex>.
* Рёбра произвольной триангуляции сферы можно раскрасить в три краски так, что все стороны каждого треугольника были раскрашены в разные цвета.
== Ложное доказательство ==
Карта(слева) окрашена пятью цветами, и нужно изменить как минимум <tex>4</tex> из <tex>10</tex> регионов, чтобы получить окраску в четыре цвета(справа)
== Источники информации ==
* [http://matica.org.ua/lektsii-po-diskretnoy-matematike/3-08-6-raskraski-planarnich-grafov matica.org {{---}} Раскраска планарного графа ]
