О предельном распределении максимальной степени вершины в случайном графе Интернет-типа Текст научной статьи по специальности «Математика»

Труды Карельского научного центра РАН № 3. 2010. С. 59-65

УДК 519.2

0 ПРЕДЕЛЬНОМ РАСПРЕДЕЛЕНИИ МАКСИМАЛЬНОЙ СТЕПЕНИ ВЕРШИНЫ В СЛУЧАЙНОМ ГРАФЕ ИНТЕРНЕТ-ТИПА

1 2 Ю. Л. Павлов , Е. Н. Дертишникова

1 Институт прикладных математических исследований Карельского научного центра РАН

2Институт социально-экономического развития территорий (г. Вологда)

Рассматриваются случайные графы, состоящие из N занумерованных вершин. Степени вершин определяются независимо в соответствии со степенным распределением с показателем т>0. Все полуребра вершин занумерованы. Граф строится путем равновероятного соединения полуребер для образования ребер. Последние исследования показали, что такие случайные графы можно использовать для моделирования топологии сети Интернет. Получено предельное распределение максимальной степени вершины при условии, что сумма степеней равна n, где n четно, т< 1 и N, п так, что n/N1/T ^ж.

К л ю ч е в ы е с л о в а : случайные графы, Интернет, максимальная степень вершины, предельное распределение.

Yu. L. Pavlov, E. N. Dertishnikova. ON LIMIT DISTRIBUTION OF MAXIMUM VERTEX DEGREE IN RANDOM GRAPH OF INTERNET TYPE

We study random graphs consisting of N numbered vertices. The degrees of the vertices are drawn independently from power-law distribution with the exponent t>0. All of the stubs of the vertices are numbered. The graph is constructed by joining each stub to another equiprobably to form edges. Reсent studies show that such random graphs can be used for modeling the Internet topology. We obtain the limit distribution of the maximum vertex degree under the condition that the sum of vertex degrees is equal to n, n is even, t< 1 and N, n such that n/Nl/z ^®.

K e y w o r d s : random graphs, Internet, maximum vertex degree, limit distribution.

В последнее время появилось большое число книг и статей, посвященных использованию случайных графов для моделирования сложных сетей передачи данных, включая Интернет (см. например, [1ап80п et а1., 2000; ЯеШи, Когго8, 2004; Битей, 2007]). В связи с этим такие графы иногда называют графами Интернет-типа. Степени их вершин являются независимыми случайными величинами, об-

щим распределением которых служит дискретный аналог распределения Парето с положительным показателем т.

Пусть в графе содержится N вершин, занумерованных числами от 1 до N а степени вершин обозначим п,...,Плг. Пусть ц - случайная величина, равная степени произвольной вершины, и положим

Р{П >к}=к-т, т>0, £=1,2, ... (1)

Для удобства описания структуры графа будем использовать понятие полуребра, т. е. ребра, инцидентного конкретной вершине, но для которой смежная вершина еще не определена. Предполагается, что все полуребра графа являются различными (занумерованными). Процесс формирования графа состоит из двух этапов. На первом этапе для каждой вершины определяется ее степень, т. е. число выходящих из нее полу-ребер, являющееся реализацией случайной величины п . На втором этапе полуребра, выходящие из всех вершин, соединяются равновероятно; два полуребра, соединившись, образуют ребро. Понятно, что для построения графа необходимо, чтобы общее число полуребер было четным. Для обеспечения этого условия искусственно вводят дополнительную вершину, степень которой равна 0 или 1 в зависимости от того, является ли суммарное число полуребер основных вершин четным или нет. Нетрудно видеть, что такая конструкция графа допускает петли и кратные ребра.

Во многих работах (см., например, [ЯеШн, N01X08, 2004; Бигге1;, 2007]) указываются возможные варианты содержательной интерпретации рассмотренной модели. Например, при моделировании Интернета, вершинам графа могут соответствовать локальные сети (точнее, автономные системы), кратные ребра означают одновременную передачу данных несколькими компьютерами одной сети в другую, а петля соответствует подключению одного компьютера к другому через общий маршрутизатор внутри одной локальной сети.

В различных статьях и монографиях (см. например, [1ап80п е! а1., 2000; ЯеШи, N01x08, 2004; Бигге1;, 2007; Павлов, 2007, 2009; Павлов, Чеп-люкова, 2008]) изучалось предельное поведение различных характеристик Интернет-графов при N—да. В ходе исследований выяснилось, что свойства графов существенно зависят от значения параметра т. Наблюдения за реальными сетями показали, что предложенная модель является адекватной, если т е (1,2), хотя с развитием сетей уже встречаются случаи т<1. Отмечается также, что если параметр т изменяется так, что его значение переходит через точки т=1 или т=2, то происходят значительные изменения свойств графа. Поэтому представляет интерес изучение графов Интернет-типа и при значениях параметра т вне интервала (1,2). Заметим, что если т е(1,2), то распределение (1) имеет конечное математическое ожидание и бесконечную дисперсию.

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

В настоящей работе рассматривается подмножество Интернет-графов, для которых сумма степеней вершин известна и равна п. Расположим степени вершин в виде вариационного

ряда П(1) — П(2) < .. <П(N), записав П(1),...,П(N) в неубывающем порядке. Обозначим П() максимальную степень вершины, т. е. п( = тахп.

(") l<i<N

В работе [Павлов, Чеплюкова, 2008] было найдено предельное распределение максимальной степени вершины при т>0 и N п——т так, что 1<п/№<С(т), где С(т) - значение дзета-функции Римана в точке т. В этой работе рассматривались также случаи ^N[1 и пШ | С(т). Заметим, что при т<1 справедливо равенство С(т) =т. В случае п/М—т и т<1 было дополнительное условие п/Ш/т —>0. В работе [Павлов, 2009] получены предельные теоремы для П( ) в

случае т>1 и п/Л— С(т).

В настоящей работе доказана теорема о предельном поведении максимальной степени вершины при условии, что т е (0,1), vN=n и N,n—m так, что пШ^ —т. Справедливо следующее утверждение.

Теорема. Пусть ^п—т так, что

пШ^ —т, т е (0,1). Тогда

р { П ы П ^ (х) йх ,

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

f(t) = ехр|-Г(1 — Т) | г |Т (1 -1 tg П) С08-ПТ}, (2)

а Г(1- т) означает значение гамма-функции в точке 1 -т.

Методом доказательства теоремы является обобщенная схема размещения частиц по ячейкам, введенная и изученная В. Ф. Колчиным (см., например, [Колчин, 2004]). Ниже приводятся вспомогательные утверждения (леммы 13), с помощью которых в конце статьи доказывается сформулированная теорема.

Из (1) ясно, что

рк =Р{п = к }= к-Т - (к +1)-Т, £=1, 2, ... (3)

Пусть £1, ..., ^ - независимые одинаково распределенные случайные величины, каждая из которых имеет распределенные (3). Отсюда следует, как легко видеть, что если к1, ..., кы -натуральные числа такие, что к1+.+ кы = п, то справедливо равенство

Р{П1 = к1,...,пN = kN } =

Р{ = {1,...,#N = kN I 5 + ... + 4 = 4

а если k1 +... + kN ф n ,

(4)

то

р{п1 = k1,...,пN = ки }= 0 . Соотношение (4) означает, что для двух наборов случайных величин (пг,...,пм) и (#1,..., ^) выполнены условия обобщенной схемы размещения.

Введем вспомогательные случайные величины (^1(г),..., ^(г)), для которых

р{г) = к}=р{ = к|£ < г}, / = 1,...,N, и обозначим

(г)

Zn = 5 + ... + 4, Zv) =^1(Г) + ... + 5 P = p{ > r}

Используя (4), легко получить следующую лемму.

Лемма 1. Справедливо равенство

рП < Л=( -p)N Р{) = n}

П(N) < ] 11 Pr] P{n = n}.

Рассмотрим предельное поведение вероятности P{n = n}.

Лемма 2. Пусть N, n^-ж так, что n/N 1/т ^ ж. Тогда для n таких, что P{n = n}> 0,

Р{ = n}=TNn-т+1)(1 + o(1)).

Доказательство. Нетрудно проверить, что лемма 2 вытекает из результатов работы [Ткачук, 1973]. Однако, следуя этой работе и лемме 2.5.2 книги [Pavlov, 2000], мы приведем подробное доказательство леммы 2, поскольку, как будет видно ниже, оно послужит основой для аналогичного доказательства в схеме серий (лемма 3), для которой использовать статью [Ткачук, 1973] нельзя. Обозначим

Y=(1/т / n), (5)

где а = т /(2т + 2). Легко видеть, что Р{ = n}= P,(n) + NP2(n) + P,(n), (6)

где

p1(n) = p{n = n; 5 < n j N}

P2( n) =

p{n = n; 5 <n j = 1,..., N -1,5 >y4

pin) = p|zn = n; j5 > n 5 >

Оценивая последовательно эти вероятности, мы увидим ниже, что основной вклад в сумму (6) дает второе слагаемое.

Рассмотрим вероятность Р1(п). Обозначим

Я(^) = X ехр{кн’} Рк. (7)

к <уп

Из (3) следует, что при к—да рк=тк-(т+41+0(1)). (8)

Отсюда нетрудно получить, что при достаточно больших I

Xкрк < С/-Т, Xрк < С21-Т, (9)

к <1 к >1

здесь и далее символы С1, С2, ... означают некоторые положительные постоянные.

Поскольку N1/Т / п ^ 0, из (5) следует, что (уп )-Т= о( N-1). (10)

Используя это соотношение и учитывая, что при 0<у<1 справедливо равенство еу = 1 + д( у), где 3(у) < 2 у, из (7) и (9) получаем, что

Я(1/0))= XРк ехр{/0)}=

к

X Рк(+^(к /(?п)))=1- X Рк +Q,

к <уп к >]п

где, в силу (9), (10), при N—да

Q < 2(п-1 XкРк = о(-1),

к

X Рк =о( -1).

к >-}П

Учитывая это, находим, что Я (1/(уп) ) = 1 + о( N-1). (12)

Введем вспомогательные независимые, одинаково распределенные случайные величины £\(у), ..., &(у), имеющие следующее распределение вероятностей:

р{(г) = к}= Рк ехр{//(уп)]Я-1 (1/{уп)\ к <]п. Обозначим (у) = ^1(у) +... + (у). Легко ви-

деть, что

Р (п) = ^ (1/(^))ехр{-1/r}p{CN (Г) = п} (13) Докажем, что при N—да р/(г) = п}< СN-1/т. (14)

Обозначим ф(г), фу(г) характеристические функции случайных величин £ и ^(у) соответственно. Воспользуемся формулой обращения и представим вероятность р/ы(у) = п} в виде

р/ (7) = п}=

(11)

1

2П

1/т

exi

itn

N

1/т

%

N

-1 /т

dt.

t

-П

Нетрудно видеть, что

Pr(t) = R^t+1 /(yO) / R(l /(Y»>).

Поскольку exp{ /(ут)}й 1 + 2k /(y?) :

R(U + 1/(y*))|

Е p,e

tik

k <yn

+ 2(y?) 1 x

(17)

Ф(.

z, s, а

) Е( j + а)

j 1 7 ts-1e-а‘

r(s)

I

1-

dt. (20)

ze

ReP(t) =1+(os t - і)Е -(, 1

k=0 (k + 1)

sin kt

sin t Е-

cos( k + 1)t

sin t Е ------------------= 1 + Е -

k=0 (k + 1)T k=0 (k + 1)f

(22)

Е

cos kt

Е

cos kt

1 rxr-1e - x (1 - e - x cos t)

I ^ 1-

(k + 1)т Г(т) * 1 - 2e x cos t + e

dx ,

;cos(k + 1)t 1 7 xTl(ex cos t -1)

Е v- ' = —=— \ ~ ' — dx .

k=0 (k + 1)т Г(т) J 1 - 2ex cos t + e2x

Подставляя эти выражения в (22), получаем,

что

Re p(t) =

------— 7 xT-1e - x-

Г(т) 0 1

(1 - cos t)(1 + e x)

2e x cos t + e-

■dx

(2З)

Для того чтобы выполнялось равенство Яе <р(г) = 0, последнее слагаемое в (23) должно равняться единице. Но это возможно только, ес-

ли для всех х

f Л

Еkp, <\p(?)\+2(n-1Еkp, + O Еp, .

yn k<yn ^ k>yn у

Отсюда и из (11) получаем, что

|R(/t + 1/(yn))| й p(t)| + o(N-1).

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

|py(t)|N й P(t)N|l + o(p-1(t)N-1)f . (18)

Покажем, что для t є [-п,п] справедливо неравенство |py(t)| ^ C4 > 0.

Из (З) получаем, что

p(t) = 1 + ( -1)(,T,l), (19)

где ф(z, s,а) - трансцендентная функция Лерча, имеющая вид:

7 zJ

(1 - cos t)(1 + e x) 1 - 2e-x cos t + e -2x

= 1,

или cos t = e x, что исключено. Поэтому Re%(t) ф 0 и из (18) следует, что при любом фиксированном t

. \г

(24)

N й C5 P(t)| N.

Из (19) и (21) находим, что при г—0

р(г) = 1 + (гг - г2 / 2 + О (г3)) г(1 - т)(-гг)Т-1, откуда получаем, что при \г\< £ и достаточно малом £

\Т I

0|й exp{- C6 i?i т}.

'6Г\і- (25)

Поскольку при є<\?\<п справедливо неравенство

(26)

P(t)| й e-C,

из (15), (24) и (25) следует, что P{n (У) = п}< C8N-1/тХ

При s< 1 и z—>1 известна асимптотика функции (20) (см., например, [Flajolet, Sedgewick, 2009]):

Ф( s,1) = Г(1 - s)(- ln z)s-1(1 + o(1)). (21)

Отсюда и из (19) нетрудно получить, что ^(t)—>1 при t—>0. Рассмотрим случай 0<e<|t|<^. Из (19) и (20) следует, что

cos kt

| exp{- C9 |t| T}t +

CN

-1/t

eN t\йП1

k=0 (k + 1Г

Согласно [Прудников и др., 1981] (см. примеры 5.4.3.1 и 5.4.2.1)

откуда и следует (14). Из (5) и (12)-(14) находим, что

Р1(п) < С12N-1/Те-1/г = о(Ш-(Т+1)). (27)

Оценим вероятность Р2 (п). Очевидно, что Р2(п) = X р/ = п - к}р{£ +... + £-1 = к,

N-1<к <п-уп

£ <уп, г = 1,...,N -1}. (28)

Обозначим £1(уп),..., £ (уп) вспомогательные

независимые одинаково распределенные случайные величины, для которых

р/0п) = к}=р{ = к\£ <уп}.

Обозначим также -1 (уп) =

£(уп) +... + £-х(Уп). Тогда р{ +...+£м-1, £ <^п, г = 1,...Д-1}= р^1/ <^n}Р { +...+£N-1 = к| £1 <71, г = 1,...Д-1}= р"-1{ £1 <71}} =к}.

Отсюда и из (9), (10), (28) следует, что

Рг(п) =

(1 + о(1)) Xр/ = п - к}р/-1(}п) = к} (29)

N-1 <к <п-уп

Покажем, что при достаточно больших п

р// >r1N1/Т}< С^. (30)

s

e-C11Ndt

k=0

1

Легко видеть, что

| > * л,-1/Т I

р^мМ > Y~lN 1/Т}< (N-1)р£(п > у-! 1/Т}+ (р{) <Y-1N1/Т})^ -1х

рС-к > г/ \ 41Сзп) < г^\г=1...д-1}

(! - 1)р£ ({) > Г }+ :

р^ч/Т > у-!1'4} (31)

Заметим, что

р{?1(?п) >Г-N 1/Т}= XP{£\()n) = к}<

к >у~1Ы1!т

С14 р£ >Г- N1/Т}.

Отсюда и из (9) получаем неравенство N - 1)р£ (/) > 1/Т }< С15 Ы^у-1 N1/Т )

= С15ГТ.

Покажем, что при выполнении условий леммы имеют место соотношения

Я2,Я3 = о(п-(т+1)) . Если ке К2, то, как нетрудно видеть,

Я2 < Сх^пГ)-(Т+1)Xр/ч(У0 = к}

К2

С^)-(Т+1)р/тNч(/) > У-N1/Т}

и, как следует из (30), Я2 < С20п-(Т+1)^Т/2, поэтому

Я2 = о(п-(Т+1)). (36)

Рассмотрим Я3. Если к е К3, то, как и выше, Рп-к < С21(уп)-(т+1) , откуда следует, что

Я < С22(^п)-(т+1)р// > п(1 - г1)}. (37)

Учитывая (9), нетрудно получить, что (32) Е£(уп) < С23(^п)1-Т- Поэтому с помощью нера-

(33)

С помощью (9) для достаточно больших п нетрудно вывести оценку:

Е£-1 (7~1!1/Т) =

XkP{£л-l = к | £N-1 < у-'М 1/Т}< Cl6(Y-1Л 1/Т)1-Т.

к

Используя неравенство Чёбышева, отсюда получаем, что

р/Си ч/- N1/Т) >УЧ N 1/Т}<

N 1-1/ТЕ£(уч N1/Т) < С17уТ, а из (9) находим, что

(1 }-1=1+оа),

Ч 1 - р{£ > уш} )

поэтому из (31)-(33) следует оценка (30). Учитывая (29), представим вероятность Р2 (п) в виде суммы

Р2(п) = Я + Я2 + Я3, (34)

где

Я, = (1 + о®^р{ = п -к}/^) = к},

К

г = 1,2,3;

К\ = {к : N - 1 < к <7-^1/Т},

К2 = {к : у-1 N 1/Т< к < п(1 - уа)},

К3 = {к : п(1 -у“) < к < п(1 - у)}.

С помощью (5) и (8) нетрудно получить, что для к е К1 справедливо равенство

Рп-к =т(п - к)-(т+1)(1 + о(1)) , следовательно,

Я =Т(1+o(1))X(n - к)-(т+1) р/Оп) = к} =

тГ(т+1)р{) < Y-1N1/Тj(1+о(1)) = Т7-(Т+1)(1 + о(1)).

венства Чёбышева находим, что

р{-1 (уп) > п(1 - 7“ )}< С24}п-Т/-Т, следовательно, как видно из (5) и (37), Я3 = о(п-(т+1)) . Отсюда, из оценок (35), (36) и

представления (34) получаем, что в условиях леммы

Р2(п) = тп-(Т+1)(1 + о(1)). (38)

Оценим, наконец, вероятность Р3(п). Легко заметить, что

Р(п)=(З -

Ж+...+^N-2 = k}рL<rN-l =п-к, 4ч > Т1,£ > Уп}-

к<п(1-2?)

Отсюда следует, что Р3(п) <C2ЛЛ х

( ^ (39)

X р/*^ =кШ£ч =,} =п-к-/}

коЦ-2у) V Я )

где Я={г: уп<4<п(1-у)-к}. В силу (8) при

г>уп

р/^ч = ,}< С26(^п)-(Т+1), поэтому, используя (9), получаем, что

X -1 = 'М4 =п - к - г'} <

Я .

С21(1п)(т+1^р{{ >М< С28(?п)(-2т-1)

Отсюда и из (39) следует, что Р3(п) < С,!2(уп)-2т-1 = о(Ш-(т+1)), и из (6), (27), (38) получаем утверждение леммы 2.

Для суммы (г) справедлив следующий ре-

зультат.

К\

Лемма 3. Пусть N,n—т так, что п / N1/Т ^ га, г = п - zN1/Т, где г - фиксированное положительное число. Тогда

р{г) = п}= (1 + о!)! -(Т+1) | g (х )ёх,

г

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

Доказательство. Мы будем следовать методу доказательства леммы 2. Все введенные там обозначения сохраняют силу и далее, а случайные величины ZN и £, г = 1,. ., N, естественным образом заменяются на (г) и £(г) соответственно. Представим вероятность P{CN (г) = п} в виде суммы, аналогичной (6):

р/см (г) = п}= Р\(п ) + т2(п) + Р,(п). (40)

Для оценки Р\(п ) нетрудно получить неравенства, подобные (9):

XрNl(г:, = к}< С1/1-т, XрNl(г:, = к}< С2/-т. (41)

к<1 к>1

Используя эти соотношения, легко находим, как и в (12), что

Я (1/0)) = 1 + о( N-1). (42)

Опять вводятся вспомогательные независимые одинаково распределенные случайные ве-

личины £ гЧУ),. ., NN )(У), для которых

р{ (г V) = к }= ехр{к /(уп )}}{£■(г) = к } -1(1/(?«)) к < уп.

Легко видеть, что

Р\(п) = RN (1/(^п))ехр{- Уу^(г V) = п}, (43)

где а )(г) = £( г \г) +... + £(г )(у).

Обозначим ру г (г) характеристическую функцию случайной величины £( г\у) и представим вероятность р/^(г\у) = п} по формуле обращения

р/ (Г) = п}=—

I

ехр

ггп

N1

1/Т ( | ту,г\ N 1/Т

(44)

ёг.

Рассматривая выражение

Я(гг + \/(уп)

Я(\/п

и используя (41), нетрудно получить, аналогично (17) - (24), что при любом фиксированном г

СР ^)N

\РУ,Г (0|N < С3 рг (г)Л

(45)

и, кроме того,

рг (г) = р(г) + о( N-1). (46)

При доказательстве леммы 2 мы видели, что если \г\<£ , то выполняется неравенство (25), а если £ < < п, то (26). Используя эти оценки

и разбивая интеграл, стоящий в правой части равенства (43), на сумму двух интегралов, соответствующих указанным областям изменения переменной г, получим из (45), (46), что р{)(У) = п}< С4N1/т.

Отсюда и из (5), (42), (43) приходим к соот-

ношению

Р\(п) < С5N-1е-1/т = о(Ш-(т+1)).

(47)

Оценим Р2(п). Обозначим £(г\уп),. ., £(гГ)(уп) вспомогательные независимые одинаково распределенные случайные величины, для которых

р{(г\]п) = к}= р{(г) = к | £(г) <М-

Обозначим также

^-\(г)(у) = £(гV) +... + £-\(гV). Тогда

р/£\(г) +... + £-\(г) = к, £(г) < уп, г = 1,...! -1}=

рЛ-1 {(г) <?}\г\уп) = к}.

Отсюда и из (41) следует, что в условиях леммы

Р2(п) = (1 + о(1)) х

X р/ = п - к}р/-10п) = к}. (48)

п-г<к <п-уп

Обозначим функцию распределения случайной величины £ через р(х). Из (1) следует, что при х—т

1 - х

0, х < 0;

+ о(х-т), х > 0.

(49)

Согласно теореме 2.6.1 книги [Ибрагимов, Линник, 1965] условия (49) достаточно для того, чтобы р(х) принадлежала области притяжения устойчивого закона с показателем т, а в силу теоремы 2.1.1 этой же книги получаем, что такой закон является предельным для случайной величины -т/N1/т. Используя теорему 2.2.2

[Ибрагимов, Линник, 1965], нетрудно найти, что

(

1п р(г) = -Г(1 -т) 1гГ

откуда

г пт

1 - 'и* т

л

С08-

пт

2 :

Р

N

1 /т

(

ехр^-г(1 -т) г

г пт

1 - т

л

С08-

пт I

х

1/т

N

г

1/т

N

N-1

г

2

Учитывая (41), получаем оценку, аналогичную (30):

р{CN_l(г V) > у1 N 1/т}< С6Гт. (51)

Если к < у-N1/т, то, учитывая (34) и следуя доказательству соотношения (35), получаем, что Я\ = тп-(т+1) р/п - г <йг-\(}п) < 71 N 1/т}х (1 + о(1)).

Для вычисления вероятности

р/п - г < )\(?п) < у1 N1/т} введем рп г (г)- ха-

рактеристическую функцию случайной величины £( г \уп) ■

Р^г (г) = X еЛ р{^1( г)0п) = к }=

к <уп

Используя (41) и (46), получаем в итоге, что

K,r (t)|N1 =Ио| N-1(1+o(1)).

Отсюда и из (5), (50), (51) следует, что при любом фиксированном у

р{-т^-/г) < y}^^fg(х)ёх. (53)

Учитывая (50) и равенство г = п - zN1/т, из (52) и (53) находим, что

Я\ = (1 + о(1))тп-(т+1) | g( х)йх. (54)

г

Если к е К2, то, используя (51), получаем, что Я2 < С7(уап) р/с„-1(гV) > г-1 N1/т} (55)

= о( п-(т+т)).

Если к е К3, то, как и в лемме 2, видим, что Я3 = о(п-(т+1)), поэтому из (34), (48), (54), (55) следует, что

Р2(п) = (1 + о(1))тп-(т+1) | g (х )йх. (56)

г

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

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

зав. лаб. теории вероятностей и копмьютерной статистики, д. ф.-м. н.

Институт прикладных математических исследований КарНЦ РАН

ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910

эл. почта: рау10у@кгс.каге11а.ги тел.: (8142) 763370

Дертишникова Екатерина Николаевна

аспирант

Институт социально-экономического развития территорий ул. Комсомольская, 23, Вологда, Россия, 160014 эл. почта: Ка1уа-ёег1@таП.ги тел.: 89217021153

Оценка P3(n) проводится аналогично соответствующему доказательству в лемме 2, поэтому из (40), (47) и (56) получаем утверждение леммы 3.

Теперь мы можем доказать теорему. Из (9) следует, что Pr < C7r-т = o(N-1), поэтому из лемм 1 - 3 очевидным образом получаем требуемое.

Литература

Ибрагимов И. А., Линник Ю. В. Независимые и стационарно связанные величины. М.: Наука, 1965. 524 с.

Колчин В. Ф. Случайные графы. М.: Физматлит, 2004. 256 с.

Павлов Ю. Л. Предельное распределение объема гигантской компоненты в случайном графе Интернет-типа // Дискретная математика. 2007. Т. 19, № 3. С. 22-34.

Павлов Ю. Л. О предельных распределениях степеней вершин в условных Интернет-графах // Дискретная математика. 2009. Т. 21, № 3. С. 14-23.

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

Прудников А. П., Брычков Ю. А., Маричев О. И. Интегралы и ряды. М.: Наука, 1981. 798 с.

Ткачук С. Г. Локальные предельные теоремы, учитывающие большие уклонения в случае предельных устойчивых законов // Известия АН Узб. ССР. Сер. физ.-мат. наук. 1973. Т. 2. С. 30-33.

Durrett R. Random Graph Dynamics. N.Y.: Cambridge University Press, 2007. 221 p.

Flajolet P., Sedgewick R. Analytic Combinatorics. Cambridge: Cambridge University Press. 2009. 824 p.

Janson S., Luczak T., Rucinski A. Random Graphs. Wiley, New York, 2000. 333 c.

Pavlov Yu. L. Random Forests. Utrecht: VPS, 2000. 122 p.

Reittu H, Norros I. On the power-law random graph model of massive data networks // Performance Evaluation. 2004. Vol. 55, N 1. P. 3-23.

Pavlov, Yury

Institute of Applied Mathematical Research, Karelian Research

Centre, Russian Academy of Science

11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia

e-mail: pavlov@krc.karelia.ru

tel.: (8142) 763370

Dertishnikova, Ekaterina

Institute for Socioeconomic Development 23 Komsomolskaya St., 160014 Vologda, Russia e-mail: Katya-dert@mail.ru tel.: 89217021