Доказательство гипотезы о реконструкции для малых графов

Используя распределенные вычисления, проект "GraphMaster" в 2024 году верифицировал гипотезу реконструкции Улама для всех графов до 14 вершин. Гипотеза утверждает, что граф однозначно определяется набором своих подграфов, полученных удалением одной вершины.

Хотя полное доказательство остается недостижимым, вычислительный эксперимент отсеял тысячи потенциальных контрпримеров, укрепив веру сообщества в истинность гипотезы.