?

Log in

No account? Create an account
Научная кунсткамера [entries|archive|friends|userinfo]
Научная кунсткамера

[ website | lj ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Проблема 4 красок [Aug. 20th, 2010|05:35 pm]
Научная кунсткамера

science_freaks

[mario_gutierrez]
мой первый пост здесь, если нарушаю какие-то правила, скажите...

Как известно, проблема 4 красок - одна из многих задач, решенных при помощи компьютера.
Собственно ее общепризнанное доказательство базируется на компьютерных рассчетах и имеет очень большую длину.
Даже само описание алгоритма занимает много страниц. Не знаю, проверял ли кто-либо из математиков это доказательство целиком.
Похоже, что приняли на веру :)

Но это все предисловие. Сказка только начинается.
Когда я сдавал кандидатский минимум в РГТЭУ по специальности 08.00.13, там в одном из билетов было написано: "Решение проблемы 4 красок"
И это была только небольшая часть билета. Я сильно удивился, если честно.
Полез в список литературы, а там есть замечательная книжка по этому билету:
Горбатов В. А. Фундаментальные основы дискретной математики. Информационная математика. — М.: Наука. …
(скачать можно, например, здесь)

В этой книге есть целый раздел, посвященный теории графов и мографов.
И в этом разделе приводится (внимание!) классическое доказательство теоремы о 4 красках, основанное на свойствах мографов
(насколько я понял, мограф - это специально введенное для этого доказательства понятие, по крайней мере нигде в других местах я его не встречал)
Причем утверждается, что автор получил его раньше (!!!) компьютерного доказательства.

Само доказательство достаточно короткое, но объем предшествующего материала, где вводятся определения и доказываются теоремы о мографах и их свойствах, не менее 60 страниц.
Честно говоря, я не сумел найти в этом доказательстве ошибку. Хотя я не специалист в теории графов и потратил на ее поиски всего пару дней.
Закрадывается сомнение в том, что доказательство не содержит изъянов.
Нигде в другой литературе я не нашел ссылок на это доказательство. Даже гугл молчит на этот счет. Единственное, что удалось найти - упоминание в обсуждении к статье "проблема 4 красок" в Википедии.

И главное, что меня настораживает - его членство в РАЕН, как написано в Википедии

Вобщем, вопрос такой - фрик ли этот Горбатов и правильное ли доказательство? Кто-нибудь знает?
LinkReply

Comments:
[User Picture]From: altavir
2010-08-20 06:41 pm (UTC)
По теме совсем не специалист, но идиотских книг с такой рекомендацией встречал много. Более того, было несколько скандалов по повожу того, что фразу о рекомендованности книги минобром писали вообще не получая никакую рекомендацию и не проходя никакой экспертизы.
(Reply) (Parent) (Thread)
[User Picture]From: mario_gutierrez
2010-08-20 08:57 pm (UTC)
да, никому нельзя верить..
печально.
(Reply) (Parent) (Thread)