Доказательство теоремы о 4 красках Горбатова

[Alexey Romanov]

Наткнулся на следующую ссылку, и несколько обалдел от такого набора утверждений (или найдутся контрпримеры к 3 или 4?):

Цитата:

Факт 1: Горбатов написал учебник [В. А. Горбатов Фундаментальные основы дискретной математики. Информационная математика. — М.: Наука. Физматлит, 2000], где дал доказательство проблемы [4 красок]. Факт 2: Минестерство рекомендовало эту книгу как учебник. Факт 3: Никто в печати до сих пор не возразил. Факт 4: Никто в печати до сих пор не признал доказательства!

Причём в учебнике он пишет, что доказательство получил ещё в 1964 году. А опубликовать, наверное, просто поленился, ага...

Может быть, кто-нибудь уже встречался с этим доказательством, и знает, где там ошибка? Разбираться самому неохота, поскольку теорию графов помню плохо и специалист наверняка найдёт ошибку быстрее. Вставить его сюда трудно, потому что это последняя теорема в главе, занимающей 100 страниц, и чтобы понять, какие из них важны, пришлось бы сначала разобраться в доказательстве. (А чтобы понять, какие из них излагают общеизвестную теорию графов -- помнить, что из теории графов общеизвестно)

[sceptic]

А хочется узнать, доказал Горбатов в своей монографии 4CT или нет. У меня даже вырезка сохранилась. Положил сюда.

[Jukier]

В русскоязычной Википедии в обсуждении статьи "Проблема четырёх красок" есть опровержение доказательства:

Цитата:

Прочитал доказательство в книге Горбатова (2000 г.). Для его понимания достаточно прочитать параграфы 3.8 и 3.10.
Теорема 3.44 доказана правильно, но ключевое следствие (3.32) из неё не вытекает из-за пункта б),в) в доказательстве теоремы. Квазиполная модель \Psi(p, k) содержит некоторые \Psi(i, j), где i \leq p, j \leq k, но не обязательно все.
Поэтому теоремы 3.52 — 3.56 неверны, а отсюда и неверно доказательство проблемы четырёх красок.