Марио Хавьер Алорса Гутьеррез (mario_gutierrez) wrote in science_freaks,
Марио Хавьер Алорса Гутьеррез
mario_gutierrez
science_freaks

Categories:

Проблема 4 красок

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

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

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

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

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

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

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

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 29 comments