Хорошо бы Фон-дер-Флаасс привел ссылку на авторитетный источник, где пытались бороться.
Хорошо бы, но сейчас уже не спросишь.
В общем, резюме такое. Доказательство Горбатова, по сути, состоит в применении его же теоремы 3.52 в частном случае
. Как я понимаю, эта теорема — не что иное, как гипотеза Hajós-а; Горбатовым она доказана для любого
. Если не принимать в рассмотрение учебник Горбатова, то эта гипотеза доказана для
, а для случая
это — открытая проблема. Однако, известно, что для
эта гипотеза
неверна. Таким образом, в доказательстве Горбатова стопроцентно есть ошибка, а потому и гипотеза четырёх красок им
не доказана.
В чём эта ошибка состоит я не вполне уверен — стиль изложения у Горбатова очень запутанный. У меня впечатление, что ошибка состоит в следующем. Он ввёл свои "квазиполные графы" и сказал, что квазиполный граф плотности
и "порядка"
он будет обозначать через
. При этом нигде не сказано, не доказано и, видимо, неверно, что граф
единственен; но при этом в некоторых местах эта единственность, похоже, неявно используется.