Графы считаются одинаковыми, если у них совпадает «рельеф». Две карты с горами и долинами: даже при разной прорисовке высоты и крутизна склонов могут быть теми же. Учёные превращают граф в миниатюрный ландшафт, где у каждой вершины своя кривизна — степень изгиба, подобная мере беспорядка в этой точке.
Алгоритм, как чуткий топограф, ощупывает рельеф. Он ищет вершины с одинаковой кривизной, используя анализ вибраций всей поверхности — словно ландшафт звенит на своих частотах. Метод не даёт ложных срабатываний: совпадение означает точное структурное равенство.
В основе лежат идеи математиков Джона фон Неймана и Эмми Нётер. Подобно тому как астрономы ищут тёмную материю по искривлению света, здесь изгибы ландшафта раскрывают скрытую структуру. В будущем это ускорит поиск лекарств (молекулы — это графы атомов) и сравнение нейросетей.
🎯 Два графа одинакового строения, но разного рисунка называют изоморфными — от греческих слов «равный» и «форма».
🎬 В романе Нила Стивенсона «Анафем» учёные исследуют причудливые многомерные формы, чтобы понять устройство вселенной — игра с геометрией, созвучная этой задаче.