Многие структуры — от молекул до социальных сетей — удобно описывать графами. Но когда важны не имена вершин, а лишь связи между ними, на первый план выходит перечисление непомеченных объектов. Хордальные графы, лишённые индуцированных циклов длины больше трёх, — один из центральных классов в алгоритмической теории графов. Они моделируют разреженные иерархические сети и лежат в основе эффективных алгоритмов. Несмотря на десятилетия усилий, точное число таких графов было известно лишь до 15 вершин. Дальнейшему продвижению мешала необходимость учесть все возможные симметрии — перестановки, превращающие один рисунок в другой, неотличимый без пометок.
Центральный инструмент — лемма Бёрнсайда: число непомеченных объектов равно среднему числу помеченных объектов, неподвижных при каждой перестановке из группы симметрий. Для группы всех n! перестановок это сводится к сумме по типам циклов. В 2021 году Хеберт-Джонсон, Локштанов и Вигода предложили эффективный динамический алгоритм для подсчёта помеченных хордальных графов через процесс «испарения»: из графа многократно удаляются симплициальные вершины (чьи соседи образуют клику), пока не останется пустой граф. Новый подход адаптирует это испарение к миру с симметрией, превращая его в орбитное испарение: все вершины одной орбиты испаряются одновременно. Ключевая находка — декомпозиция делительных пучков. Если перестановка содержит цикл длины c, а компонента связности охватывает несколько орбит, то её структура раскладывается в пучок из d компонент, каждая из которых симметрична относительно меньшей группы порядка c/d. Это позволяет сводить расчёт к рекурсивному вызову той же задачи в «подмире» с уменьшенными орбитами. В результате строится система рекуррентных соотношений, вычисляющая точное число инвариантных хордальных графов для каждого типа циклов. Реализация этого вычислительного метода потребовала тщательного программирования и проверки.
Опираясь на этот аппарат, автор вычислил обе последовательности — общую и связную — вплоть до n=20. Для n=16 число всех хордальных графов равно 5 985 406 996 403, для n=17 — 247 178 491 630 853, а для n=20 достигает 7 278 601 292 779 396 715. Проверка проводилась четырьмя независимыми способами: полное совпадение с ранее известными членами до n=15; прямое переборное подтверждение для малых типов циклов; воспроизведение помеченного предела; и — отдельно — проверка через преобразование Эйлера, связывающее общие и связные последовательности. Теоретическая оценка доказала, что алгоритм работает за субэкспоненциальное время $n^{O(√n)}$ — гораздо быстрее, чем общий параметризованный подход, требовавший бы однократной экспоненты.
Эта работа не просто обновляет две строчки в OEIS. Она демонстрирует, что «испарительный» метод совместим с анализом симметрий, и предлагает конструктивную схему для других классов графов, допускающих подобные декомпозиции. Связь между симметрией и инвариантами, столь глубокая в физике, здесь получает комбинаторное воплощение. Декомпозиция делительных пучков, по сути, объясняет, как симметрия высокого порядка собирается из повторяющихся блоков низшей симметрии, — и это может найти применение далеко за пределами хордальных графов, в любых перечислительных задачах с действием циклических групп.
Ближайшие перспективы — распространение метода на другие классы графов, например, на интервальные графы или графы сравнимости. Возможно усовершенствование алгоритма для работы с перестановками, имеющими много мелких орбит, которые сейчас отнимают львиную долю времени. Интересно и обратное направление: могут ли физические модели, использующие испарение (например, в статистической механике), извлечь пользу из комбинаторных методов, учитывающих симметрию?
Результат окажет влияние на теорию графов, комбинаторику и разработку алгоритмов. В частности, он даёт эталонные данные для тестирования генеративных моделей сетей и для приложений, требующих перебора неизоморфных структур.
Следующий шаг — формализация условий, при которых декомпозиция делительных пучков переносится на другие классы, и реализация распределённых вычислений для достижения n=21 или 22.
Задача перечисления непомеченных структур — это комбинаторный аналог понимания фазового пространства сложных систем. Связь с проблемой изоморфизма графов и с вопросами эффективного учёта симметрий делает эту работу актуальной для фундаментальных проблем теории сложности и для приложений в хемоинформатике, где часто нужно перебирать неизоморфные молекулярные графы.
Этот раздел адресован автору работы и его коллегам. Соседние работы нашёл смысловой поиск по нашему архиву — не по совпадению слов, а по смыслу. Мы не рецензируем: мы показываем поле вокруг.
Что сделано в работе
В работе представлен новый метод подсчёта непомеченных хордальных графов, основанный на орбитном испарении и декомпозиции делительных пучков. Автор вычислил число всех и связных хордальных графов до 20 вершин, проверив результаты несколькими способами, и доказал субэкспоненциальную оценку времени работы.
В чём сила
Сильная сторона — эффективная адаптация леммы Бёрнсайда к классу хордальных графов через орбитное испарение, позволившая значительно продвинуть вычислительные границы. Декомпозиция делительных пучков даёт рекурсивное сведение, открывающее путь к дальнейшим обобщениям.
Куда можно двигаться
Что можно попробовать
Почему это может быть важно
Точные подсчёты непомеченных структур важны для понимания типичных свойств сетей и могут найти применение в химии, биоинформатике и анализе социальных сетей.
Работы рядом в нашем архиве
Вокруг этой работы в архиве пусто: ближайший разбор всего на 0.60, при обычных 0.64. Похоже, рядом почти не бурили.
как её написали авторы, на английском arXiv:2607.02613
We compute the number of unlabeled chordal graphs on $$n$$ vertices, both the total count (OEIS A048193) and the connected count (OEIS A048192), extending two sequences whose published values had remained at $$n=15$$. The method is a Polya-Burnside enumeration: the number of unlabeled graphs in a class closed under relabeling is the average over $$S_n$$ of the number of labeled graphs fixed by each permutation. The technical core is the evaluation, for an arbitrary permutation $$\pi$$, of the number of $$\pi$$-invariant labeled chordal graphs. We give a dynamic program for this quantity that lifts the evaporation-based labeled chordal counting of Hebert-Johnson, Lokshtanov and Vigoda to the equivariant setting. Its central structural ingredient is a divisor-bundle decomposition: when a connected piece spans a cyclic orbit of size $$c$$, it forms, for each divisor $$d \mid c$$, a $$d$$-fold bundle whose constituent is an object of the same kind in the cyclic world of order $$c/d$$, computed by the same program recursively. We prove the decomposition and the correctness of the resulting recurrences, and we prove that the full Burnside computation runs in sub-exponential time $$n^{O(\sqrt{n})}$$. We report the new terms through $$n=20$$ and describe four independent validations, including exact agreement with all previously known values of both sequences and an Euler-transform consistency check.
Если бы каждый хордальный граф на 20 вершинах занимал один байт, их суммарный объём превысил бы 7 петабайт — больше, чем все данные, хранящиеся в крупнейших дата-центрах.
Идея перебора всех возможных структур доведена до предела в «Вавилонской библиотеке» Борхеса, где хранятся все мыслимые книги. Подсчёт хордальных графов — это шаг к инвентаризации одной из «полок» такой библиотеки в мире дискретных форм.