Калейдоскоп симметрий: новый рекорд в подсчёте хордальных графов ✛

Оригинал: "Counting Unlabeled Chordal Graphs by Equivariant Evaporation"
· Matthew Sun
arXiv:2607.02613 · 2026-07-01 · CC BY 4.0 · 3 мин
Впервые за десятилетие обновлены две последовательности из OEIS, считающие различные хордальные графы, — благодаря алгоритму, который использует симметрию как увеличительное стекло.

Контекст

Многие структуры — от молекул до социальных сетей — удобно описывать графами. Но когда важны не имена вершин, а лишь связи между ними, на первый план выходит перечисление непомеченных объектов. Хордальные графы, лишённые индуцированных циклов длины больше трёх, — один из центральных классов в алгоритмической теории графов. Они моделируют разреженные иерархические сети и лежат в основе эффективных алгоритмов. Несмотря на десятилетия усилий, точное число таких графов было известно лишь до 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 вершин, проверив результаты несколькими способами, и доказал субэкспоненциальную оценку времени работы.

В чём сила

Сильная сторона — эффективная адаптация леммы Бёрнсайда к классу хордальных графов через орбитное испарение, позволившая значительно продвинуть вычислительные границы. Декомпозиция делительных пучков даёт рекурсивное сведение, открывающее путь к дальнейшим обобщениям.

Куда можно двигаться

Что можно попробовать

  • Проверить, даёт ли орбитное испарение более быстрый способ проверки изоморфизма для хордальных графов.
  • Применить декомпозицию делительных пучков к другим классам графов с похожими свойствами, например к интервальным графам.
  • Использовать вычисленные последовательности для уточнения асимптотики числа хордальных графов.

Почему это может быть важно

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

Оригинальная аннотация

как её написали авторы, на английском 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 петабайт — больше, чем все данные, хранящиеся в крупнейших дата-центрах.

Идея перебора всех возможных структур доведена до предела в «Вавилонской библиотеке» Борхеса, где хранятся все мыслимые книги. Подсчёт хордальных графов — это шаг к инвентаризации одной из «полок» такой библиотеки в мире дискретных форм.

a(n) = \frac{1}{n!} \sum_{\pi \in S_n} \mathrm{fix}(\pi)
число непомеченных объектов равно среднему числу помеченных объектов, неподвижных при каждой перестановке
\mathrm{BUNDLE}(\mu) = \mathrm{cfix}(\mu) + \sum_{d>1,\, d\mid\gcd(\mu)} d^{|\mu|-1} \mathrm{cfix}^{\langle N/d \rangle}(\mu/d)
компонента-пучок либо не имеет внутренней симметрии, либо раскладывается на d меньших копий с кратностью d^{|μ|-1}

Ключевые числа

  • число хордальных графов при n=20: 7.2786 × 1015
  • предыдущий рекордный n: 15
  • количество новых членов последовательностей: 5 (n=16–20)
  • сложность алгоритма: n^{O(√n)}
  • число типов циклов при n=20 (количество слагаемых в сумме Бёрнсайда): 627
Учёные
Emmy Noether
Понятия
графы число Черна топологический инвариант