Как бы не совсем : http://de.wikipedia.org/wiki/Vier-Farben-Satz http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%87%D0%B5%D1%82%D1%8B%D1%80%D1%91%D1%85_%D0%BA%D1%80%D0%B0%D1%81%D0%BE%D0%BA http://window.edu.ru/window_catalog/files/r20367/0007_091.pdf
это что то по принципу неуловимого Джо похоже. Всем хватает частных случаев.
Официально 100% признанного и перепроверенного доказательства вроде так и нет, да и то что есть доказано только с помощью программ, которые тоже не перепроверяли.
Это не так. Копьютерного доказательство вполне достаточно, и оно проверено. Кроме того с 83 года появилась масса упрощений и альтернативных доказательств.
no subject
http://de.wikipedia.org/wiki/Vier-Farben-Satz
http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%87%D0%B5%D1%82%D1%8B%D1%80%D1%91%D1%85_%D0%BA%D1%80%D0%B0%D1%81%D0%BE%D0%BA
http://window.edu.ru/window_catalog/files/r20367/0007_091.pdf
это что то по принципу неуловимого Джо похоже. Всем хватает частных случаев.
no subject
no subject
no subject
http://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer