ОБ УСЛОВИИ СВЯЗНОСТИ ИНТЕРНЕТ-ГРАФА С ИЗМЕНЯЮЩИМСЯ ПАРАМЕТРОМ РАСПРЕДЕЛЕНИЯ СТЕПЕНЕЙ ВЕРШИН Текст научной статьи по специальности «Математика»

Труды Карельского научного центра РАН

№7. 2020. С. 84-88

DOI: 10.17076/mat1170

УДК 519.179.4

ОБ УСЛОВИИ СВЯЗНОСТИ ИНТЕРНЕТ-ГРАФА С ИЗМЕНЯЮЩИМСЯ ПАРАМЕТРОМ РАСПРЕДЕЛЕНИЯ СТЕПЕНЕЙ ВЕРШИН

Ю. Л. Павлов

Институт прикладных математических исследований КарНЦ РАН, ФИЦ «Карельский научный центр РАН», Петрозаводск, Россия

Рассматривается случайный конфигурационный граф с N вершинами, степени которых независимы и одинаково распределены по степенному закону с параметром т = т(N). Они равны числу исходящих из вершин занумерованных в произвольном порядке полуребер. Граф образуется путем попарного равновероятного соединения полуребер друг с другом для образования ребер. Такие модели можно использовать для адекватного описания топологии различных сетей коммуникаций, включая Интернет. Свойства графа зависят от поведения параметра т. В статье исследуются условия, при выполнении которых случайный конфигурационный граф асимптотически связен, если N ^œ.

Ключевые слова: случайный конфигурационный граф; связность графа.

Yu. L. Pavlov. ON THE CONNECTIVITY CONDITION FOR AN INTERNET GRAPH WITH A VARIABLE PARAMETER OF THE VERTEX DEGREE DISTRIBUTION

We consider a configuration graph with N vertices, whose degrees are independent and identically distributed according to power-law distribution with the parameter т = т(N). They are equal to the number of each vertex's numbered semi-edges. The graph is constructed by joining all of the semi-edges pairwise equiprobably to form edges. Such models can be used to adequately describe various communication networks and Internet topologies. The properties of the graph depend on the behaviour of the parameter т. The paper investigates the conditions under which a random configuration graph is asymptotically connected as N ^œ.

Keywords: configuration random graph; graph connectivity.

Введение

В статье [2] рассматривались конфигурационные графы со случайными независимыми распределениями степеней вершин. Обозначим £ случайную величину, равную степени любой вершины графа, и пусть

Pk = P{£ = k},k = 1,2,... (1)

В [2] предполагалось, что о распределении (1) известна только асимптотика рк при к — ж :

Рк ~ кяЩ*' (2)

где ( > 0,д > 1,Н ^ 0. Целью исследований в упомянутой статье было нахождение условий, при выполнении которых такой случай-

ный граф, содержащий N вершин, при N — ж является асимптотически связным. Это значит, что вероятность того, что граф связен, стремится к единице. Более того, были даны оценки скорости сходимости такой вероятности. Обозначим АN событие, состоящее в том, что граф не связен. Один из полученных в [2] результатов состоит в том, что если рк > 0,к = 1,2,..., то при 1 < д < 3/2

P{An } = O

lnh N ' N 3-2g

1

а-1

(3)

Опубликовано много работ, в которых конфигурационные графы используются в качестве моделей сложных сетей коммуникаций, в частности сети Интернет (см., например, [4]). В статье [6] предложено для этого использовать графы, в которых распределение (1) имеет вид:

Pk

1

F

1

(k + 1)т

k = 1,2,

(4)

где т > 0. В некоторых работах [3, 5] такие графы называются Интернет-графами, и именно они рассматриваются в данной статье. Из (4) легко следует, что при к — ж

Pk

kT+1'

Таким образом, распределение (4) является частным случаем распределения (1), если й = т,д = т + 1,Н = 0. Из результатов [2] следует, что конфигурационный граф с распределением (4) асимптотически связен, если 0 < т < 1/2.

Исследования последних лет показали, что в современных сетях коммуникаций их свойства могут изменяться по мере увеличения числа узлов и, соответственно, в моделирующих сети случайных графах могут меняться распределения степеней вершин. Доказательства результатов статьи [2] опираются на использование функций, непрерывно зависящих от параметров распределения (1), (2), поэтому очевидно, что, в соответствии с (4), граф остается асимптотически связным, если т зависит от N и принадлежит интервалу [е, 1/2 — е] для любого фиксированного е, 0 < е < 1/4. Предположим теперь, что т = тN) ^ 1/2. Главным результатом статьи является следующее утверждение.

Теорема. Пусть N — ж,т ^ 1/2 так, что (1—2т) lnN —у оо. Тогда граф является асимптотически связным и

2т— 1

Р[АМ } = О^—).

Заметим, что полученная в теореме оценка скорости сходимости к нулю вероятности несвязности графа в рассматриваемом случае согласуется с соотношением (3).

Доказательство теоремы

Ниже приводится лемма, с помощью которой далее будет доказана теорема. Обозначим £1,..., ^ независимые одинаково распределенные случайные величины, равные степеням вершин 1,...,N соответственно. Разумеется, распределение этих случайных величин совпадает с распределением (4). Обозначим См сумму степеней вершин:

См = £1 + ... + .

Для этой суммы справедливо следующее утверждение о локальной сходимости ее распределения к предельному закону.

Лемма. Пусть N — ж,т ^ 1/2. Тогда для целых неотрицательных к равномерно относительно в любом фиксированном конечном интервале

Р{См = к} = g(k/N1/т )(1 + 0(1)),

где д(х) - плотность устойчивого закона с показателем 1/2 и характеристической функцией

f (t)=exp| 2 |t| (1 - isgnt)j . (5)

Доказательство. Из (1) и (4) следует, что характеристическая функция ^>(t) распределения степени любой вершины графа имеет вид:

^) = 1 + (вй - 1)Ф(ей,т,1), (6)

где

$(z,s,a)=E?7

j=0

(j + a)s

- трансцендентная функция Лерча [1]. Обозначим Ф^) характеристическую функцию случайной величины Zn/N 1/т. Очевидно, что

Ф^) = (t/N1/T). (7)

Отсюда и из (6) получаем, что In Ф^)

= Nln(1 + (eit/N 1/т - 1)Ф(^,r, 1)).

85

j

z

Известно [1], что при т € (0,1) и Щ — 0 справедливо соотношение:

Ф(еи, т, 1) = Г(1 - т)(-И)т-1(1 + о(1)),

где Г(х) - значение гамма-функции в точке х. Отсюда и из (6) при Щ — 0 и т ^ 1/2 нетрудно получить, учитывая равенство Г(1/2) = уП, что

ф) = 1 - ^Л(-и)т(1 + о(1)) + о(гт+1)

= 1 сов Пт)

Щ пт 1 - г^ tan— Щ 2 .

+оШ)

(9)

= 1 2ЩТ(1 - гвдиг)(1 + о(1)).

Используя (7)-(9), находим, что при любом фиксированном Щ

Р{Сы = к}

(11)

= (2пЫ1/т )-1 /

Аналогично,

где

С А

11 = е-гк/М^ (Ф(Щ) - /(Щ))(Щ,

А

12 = е

■}А<\Ц<еМ1/т

"Ф(Щ)(Щ,

/з = е

еМ 1/т

-гы/м1/т

-гк*/М/т ф(Щ)(Щ,

/4 = -

1А<\1\

е-к/М ^ / (щЩ

выбор положительных постоянных А и е будет ясен из дальнейшего.

Очевидно, что для доказательства леммы достаточно убедиться, что каждый из интегралов 11 - /4 и, соответственно, разность Еы стремится к нулю. Из (5) и (10) следует, что 11 — 0. Легко видеть также, что

\и\ < /

А

\/(Щ)\(Щ,

1п Ф(Щ) = -у п\Щ\ (1 - вди1)(1 + о(1)). (10)

Из (5) и (10) следует, что распределение суммы (м слабо сходится к устойчивому закону с плотностью д(х). Далее докажем, что на самом деле имеет место локальная сходимость. Для этого представим вероятность Р{См = к} по формуле обращения:

А<Щ

а последняя величина может быть сделана сколь угодно малой выбором достаточно большого А.

Рассмотрим 12. Используя (7) и (9), нетрудно получить, что в области интегрирования /2 при достаточно малом е

\ Ф(Щ) \ < е-с1^1

где С*1 - некоторая положительная постоянная. Следовательно,

\ /2 \ < / е-С1^\(И, ¿А<и\

/те

е-гк/М 11т/(Щ)М. (12)

-те

Рассмотрим разность Ем = 2п(Ы1/т Р{(м = к}- сд(к/Ы1/т)). (13)

С помощью (11) и (12) эту разность можно представить в виде суммы четырех интегралов:

Ем = /1 + /2 + /з + /4, (14)

'А<\г\

что, как и в случае /4, можно сделать сколь угодно малым выбором А.

Осталось рассмотреть /3. Известно, что если е ^ \Щ\ ^ п, то существует такое С2 > 0, что \р(Щ) \ ^ е-С, поэтому из (7) получаем, что

\ /3 \ < 2пЫ1/те-С2М.

Последнее неравенство означает, что /3 — 0. Собирая вместе все полученные оценки интегралов /1 - /4, из (13) и (14) получаем утверждение леммы.

Теперь мы можем установить основной результат статьи.

Доказательство теоремы. Воспользуемся обозначениями и логикой доказательства теоремы статьи [2]. Событие Ам означает, что множество вершин графа можно разделить на два непустых непересекающихся подмножества О и О* таких, что ни одна из вершин, входящих в О, не имеет ребер, соединяющих ее с вершинами из О*. Мы можем также считать, что \О \ ^ N/2, где \О \ означает мощность множества О. Обозначим

См(О) = £СМ(О*)= £

геп

геп*

Общее число различных графов равно (Zn — 1)!!, поэтому

P{An} < Е

пел

(Zn (П) — 1)!!(Zn (П*) — 1)!!

zn (П)/2

<£ П

пел j=i

(Zn ) — 1)!!

Zn (П) — 2j + 1 Zn — 2j + 1 ;

(15)

где Л - множество всех возможных разбиений вершин графа на О и О*. Введем обозначение:

X— 1

f (x) = I

2j + 1

j=0

Zn — 2 j — 1

(16)

Тогда из (15) следует, что

[N/2\

P{An} < J] Rn(s),

s=1

где

Rn (s) = (>

(17)

(18)

Rn (s + 2) Rn (s)

<q < 1,

(19)

где ^ можно сделать сколь угодно малым выбором достаточно большого N. Если же в нечетно, то, рассуждая аналогично, видим, что

Ям (в + 2) = N — в)^ — в — 1)/((в + 3)/2) Ям (в) (в + 2)(в + 1)/((в + 1)/2)

_ (ж—в—1.

= (в + 1)(См — в — 2).

Это соотношение позволяет обнаружить, опять с помощью леммы, что оценка (19) сохраняет силу и в случае нечетного в.

Из (17) очевидным образом следует, что

P{AN} < RN(1)

+ Rn (2)

+ Rn(3) ( 1 + П j>2

Rn (2j + 2) Rn (2j)

Rn (2j + 1) Rn (2j — 1)

поэтому из (19) получаем, что

Rn (2) + Rn (3)

P{AN} < RN(1) +

1 — q

(20)

[N/2] означает максимальное целое число, не превосходящее N/2, а \в/2~\ - минимальное целое, не меньшее, чем в/2.

Далее будем следовать доказательству теоремы статьи [2] для рассматриваемого случая. Если в четное, то из (16) и (18) вытекает, что

Ям (в + 2) = N — в)^ — в — 1)/(в/2 + 1) Ям (в) = (в + 2)(в + 1)/(в/2)

и

/ (в/2 + 1) = в + 1 / (в/2) См — в — 1.

Отсюда нетрудно установить, используя лемму, что для любого четного в ^ [N/2] — 2

Учитывая (16) и (18), с помощью леммы находим, что

Rn (1) = O(N^), Rn (2) = O(N ^),

x x Л x 3т — 2 „

Rn (3) = O(N—).

Отсюда и из (20) следует утверждение теоремы.

Финансовое обеспечение исследований осуществлялось из средств федерального бюджета на выполнение государственного задания КарНЦ РАН (Институт прикладных математических исследований КарНЦ РАН).

ЛИТЕРАТУРА

1. Бейтман Г., Эрдейн А. Высшие трансцендентные функции. Гипергеометрическая функция. Функции Лежандра. М.: Наука, 1965. 296 с.

2. Павлов Ю. Л. О связности конфигурационных графов // Дискретная математика. 2019. Т. 31, вып. 2. С. 115-123. doi: 10.4213/dm1573

3. Павлов Ю. Л., Чеплюкова И. А. Случайные графы Интернет-типа и обобщенная схема размещения // Дискретная математика. 2008. Т. 20, вып. 3. С. 3-18. doi: 10.4213/dm1008

4. Hofstad R. Random Graphs and Complex Networks. Vol. 1. Cambridge: Cambridge Univ. Press, 2017. 337 p. doi: 10.1017/9781316779422

5. Reittu H, Norros I. On the effect of very large nodes in Internet graphs GL0BEC0M'02 // IEEE. 2002. P. 2624-2628. doi: 10.1109/GL0C0M.2002.1189105

6. Reittu H, Norros I. On the power-law random graph model of massive data networks // Performance Evaluation. 2004. Vol. 55, iss. 1-2. P. 3-23. doi: 10.1016/S0166-53/6(3)00097-x

Поступила в редакцию 02.01.2020

87

References

1. Bateman H., Erdelyi A. Higher transcendental functions. Vol. 1. New York: McGraw-Hill Book Company, 1953. 321 p.

2. Pavlov Yu. L. O svyaznosti konfiguratsionnykh grafov [On connectivity of configuration graphs]. Diskretnaya matem. [Discrete Math. Appl.]. 2019. Vol. 31, iss. 2. P. 115-123. doi: 10.4213/dm1573

3. Pavlov Yu. L., Cheplyukova I. A. Random Internet-type graphs and the generalized allocation sceme. Discrete Math. Appl. 2008. Vol. 18, iss. 5. P. 447-464. doi: 10.1515/DMA.2008.033

СВЕДЕНИЯ ОБ АВТОРБ:

Павлов Юрий Леонидович

главный научный сотрудник, д. ф.-м.н., проф. Институт прикладных математических исследований КарНЦ РАН, Федеральный исследовательский центр «Карельский научный центр РАН» ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910 эл. почта: [email protected] тел.: (8142) 781218

4. Hofstad R. Random Graphs and Complex Networks. Vol. 1. Cambridge: Cambridge Univ. Press, 2017. 337 p. doi: 10.1017/9781316779422

5. Reittu H., Norros I. On the effect of very large nodes in Internet graphs GL0BEC0M'02. IEEE. 2002. P. 2624-2628. doi: 10.1109/GL0C0M.2002.1189105

6. Reittu H., Norros I. On the power-law random graph model of massive data networks. Performance Evaluation. 2004. Vol. 55, iss. 1-2. P. 3-23. doi: 10.1016/S0166-53/6(3)00097-x

Received January 02, 2020

CONTRIBUTOR:

Pavlov, Yury

Institute of Applied Mathematical Research,

Karelian Research Centre,

Russian Academy of Sciences

11 Pushkinskaya St., 185910 Petrozavodsk,

Karelia, Russia

e-mail: [email protected]

tel.: (8142) 781218