WikiDer > Случайный регулярный граф

А случайный р-регулярный график это график выбран из ${displaystyle {mathcal {G}} _ {n, r}}$, который обозначает вероятностное пространство всех р-регулярные графики на п вершины, где 3 ≤ р < п и номер даже.^[1] Следовательно, это особый вид случайный граф, но ограничение регулярности существенно изменяет свойства, которые будут выполняться, поскольку большинство графов не являются регулярными.

Свойства случайных регулярных графов

Как и в случае с более общими случайные графы, можно доказать, что некоторые свойства случайных р-регулярные графы асимптотически почти наверняка. В частности, для ${displaystyle rgeq 3}$, случайный р-регулярный граф большого размера асимптотически почти наверняка р-связаны.^[2] Другими словами, хотя р-регулярные графики со связностью менее р существует, вероятность выбора такого графа стремится к 0 при п увеличивается.

Если ${displaystyle epsilon}$ > 0 - положительная постоянная, а d наименьшее целое число, удовлетворяющее

${displaystyle (r-1) ^ {d-1} geq (2 + epsilon) rnln n}$

то асимптотически почти наверняка случайный р-регулярный граф имеет диаметр в большинстве d. Существует также (более сложная) нижняя граница диаметра р-регулярные графики, так что почти все р-регулярные графы (одинакового размера) имеют почти одинаковый диаметр.^[3]

Также известно распределение количества коротких циклов: для фиксированных м ≥ 3, пусть Y₃,Y₄,…,Y_м - количество циклов длиной до м. Тогда Y_я асимптотически независимые пуассоновские случайные величины со средними^[4]

${displaystyle lambda _ {i} = {гидроразрыв {(r-1) ^ {i}} {2i}}}$

Алгоритмы для случайных регулярных графов

Нетривиально реализовать случайный выбор р-регулярные графы эффективно и беспристрастно, поскольку большинство графов не являются регулярными. В модель сопряжения (также модель конфигурации) - это метод, который принимает номер точек и разбивает их на п ведра с р очков в каждом из них. Взяв случайное соответствие номер очков, а затем сжимая р точки в каждом ведре в одну вершину, дает р-регулярный график или мультиграф. Если у этого объекта нет кратных ребер или петель (т.е. это граф), то это необходимый результат. В противном случае требуется перезагрузка.^[5]

Уточнение этого метода было разработано Брендан МакКей и Николас Вормальд.^[6]

Рекомендации