Прошло более года с момента его отвода и исправления в январе 2017 года. Есть ли новости?
Если нет, то нормально ли это для проверки? Я ожидаю, что это привлечет много внимания. Кто-нибудь отметил, чтобы поддержать / сомневаться в квазиполиномиальном результате?
cc.complexity-theory
graph-isomorphism
proofs
Меир Маор
источник
источник
Ответы:
Объединение комментариев Томаса Климпеля, Сашо Николова и Мухаммеда Аль-Туркистани в ответ сообщества:
Поправка (и, следовательно, квазиполиномиальный результат) была немедленно поддержана Харальдом Андре Хельфготтом. Его пояснительная статья ( https://arxiv.org/abs/1701.04372 ) и ее перевод ( https://arxiv.org/abs/1710.04574 ) - это вся поддержка, необходимая для квазиполиномиальных результатов. Экспозиция Хельфготта появилась как Экспозиция 1125 в Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, стр. 135–182.
В настоящее время нет известных проблем с доказательством Бабая, и оно прошло обширную экспертную оценку. Тем не менее, даже опубликованные рецензируемые статьи впоследствии были отозваны как неправильные.
Поддержка со стороны Харальда Андреса Хельфготта наряду с отсутствием других вопросов должна быть достаточной, чтобы мы могли признать, что изоморфизм графов действительно разрешим в квазиполиномиальное время.
источник