Изменения

Перейти к: навигация, поиск

Проблема четырёх красок

1 байт добавлено, 21:11, 11 ноября 2018
Формулировка проблемы
[[Файл:Раскраска_планарного_графа_в_4_цвета.png|230px|thumb|right|4-раскраска планарного графа]]
Доказательство Аппеля и Хакена, в целом хотя и принято математическим сообществом, но , как было сказано выше , вызывает, до сих пор определенный скептицизм. Дело в том, что даже сами авторы доказательства пишут следующее:
''"Читатель должен разобраться в <tex>50</tex> страницах текста и диаграмм, <tex>85</tex> страницах с почти <tex>2500</tex> дополнительными диаграммами, <tex>400</tex> страницами микрофишей, содержащими еще диаграммы, а также тысячи отдельных проверок утверждений, сделанных в <tex>24</tex> леммах основного текста. Вдобавок читатель узнает, что проверка некоторых фактов потребовала <tex>1200</tex> часов компьютерного времени, а при проверке вручную потребовалось бы гораздо больше. Статьи устрашающи по стилю и длине, и немногие математики прочли их сколько-нибудь подробно"''
286
правок

Навигация