ИССЛЕДОВАНИЕ ПОЛНЫХ ОДНОРОДНЫХ РЕСУРСНЫХ СЕТЕЙ С «ЖАДНЫМИ» ВЕРШИНАМИ: ЗОНА «ДОСТАТОЧНОГО БОЛЬШОГО» РЕСУРСА
Чаплинская Н. В.1
(ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва)
«Ресурсная сеть с жадными вершинами» - модификация графовой динамической модели «ресурсная сеть». На каждом такте дискретного времени вершины графа передают друг другу ресурс по ребрам с ограниченной пропускной способностью, причем сначала передают имеющийся ресурс себе в петлю, а затем оставшийся ресурс, если он имеется, распределяют по исходящим ребрам по правилам «стандартной» ресурсной сети. Это два правила с пороговым переключением: если вершина имеет ресурс, превышающий суммарную пропускную способность всех ее исходящих ребер, она передает в каждое исходящее ребро полную его пропускную способность, в противном случае отдает весь свой ресурс, распределяя его пропорционально пропускным способностям исходящих ребер. Рассмотрен частный случай: полная однородная ресурсная сеть с «жадными» вершинами. Для сети такого вида существуют два пороговых значения суммарного ресурса, разделяющих зоны различного поведения сети: первое разделяет зоны «недостаточного» и «достаточного» ресурса, второе -зоны «достаточного малого» и «достаточного большого» ресурса. В данной статье исследована последняя зона - зона «достаточного большого» ресурса: описан процесс функционирования сети, найдено предельное состояние сети.
Ключевые слова: графовая динамическая пороговая модель, ресурсная сеть, модель «жадных» вершин, зона «достаточного большого» ресурса.
1. Введение
Ресурсной сетью называют графовую динамическую потоковую модель замкнутой системы, в которой ресурс в дискретном времени перераспределяется между вершинами, не поступая извне и не расходуясь. Эта модель была предложена впервые в 2009 году в [13], а свое дальнейшее развитие получила в [10, 12]. Ресурсная сеть описывается ориентированным взвешенным графом. Веса ребер называются пропускными способностями. Модель характеризуется двумя правилами распределения
1 Надежда Васильевна Чаплинская, техник (nadya1462@gmail.com).
ресурса между вершинами. Выбор правила определяется пороговым переключением, которое происходит в зависимости от количества ресурса в вершине и от пропускных способностей ребер, выходящих из этой вершины.
В [10] для данной модели были получены результаты, позволяющие для сети любой топологии с любым значением суммарного ресурса и любым его начальным распределением между вершинами определить предельный поток и предельное состояние сети. В [10] также была определена формула, позволяющая для такой произвольной сети найти пороговое значение суммарного ресурса, разделяющее зоны различного поведения сети.
При малом ресурсе, т.е. при суммарном ресурсе, не превосходящем порогового значения, динамика сети описывается моделью рассеяния на графах [15, 16]. Для графов, имеющих постоянную топологию, модели рассеяния, в свою очередь, описываются однородными цепями Маркова, которые широко используются при моделировании процессов из различных предметных областей, например, при решении задач о нахождении консенсуса в многоагентных системах [5, 6], решении задач о нахождении количественной оценки различных видов риска и их влияния на финансовое состояние предприятия [9], в социальных сетях [7] и т.д.
При большом ресурсе, т.е. при суммарном ресурсе выше порогового значения, динамика сети описывается неоднородной цепью Маркова. В [10] для случая большого ресурса были обнаружены вершины, накапливающие излишки ресурса, - вершины-аттракторы.
С момента появления ресурсной сети в 2009 году в [13], были рассмотрены некоторые модификации этой модели. Была представлена модель с ограничениями на ёмкость вершин (монография [12]). Были предложены и описаны ресурсные сети на графах с нестандартной достижимостью (см. [8]): в работе [1] - с вентильной достижимостью, в работе [2] - с магнитной достижимостью. В [3] были введены двухресурсные сети и рассмотрена топология полных однородных несимметричных двусторонних
ресурсных сетей с петлями. В продолжение этой работы в [4] были рассмотрены двухресурсные сети с магнитной достижимостью. В [14] были описаны динамические ресурсные сети.
Настоящая статья является продолжением работы [11], в которой была рассмотрена еще одна модификация ресурсных сетей - ресурсная сеть с «жадными» вершинами. Отличие этой модели заключается в том, что каждая вершина передает ресурс сначала в свою петлю (если она есть) и только затем остатки распределяет в другие вершины. Рассматривается частный случай: полная однородная сеть с петлями. Для этого случая были найдены два пороговых значения суммарного ресурса, разделяющих зоны различного поведения сети: первое разделяет зоны «недостаточного» и «достаточного» ресурса, второе - зоны «достаточного малого» и «достаточного большого» ресурса. В [11] были исследованы зоны «недостаточного» и «достаточного малого» ресурса. В настоящей статье исследуется зона «достаточного большого» ресурса.
2. Ресурсные сети - основные понятия
Ресурсная сеть с «жадными» вершинами есть модификация обычной ресурсной сети, наследущая все ее базовые понятия. Приведем основные определения «стандартной» ресурсной сети, а также опишем процесс ее функционирования.
Ресурсная сеть - это связный ориентированный граф С = (у,Е) с вершинами уг е V, | V | = п, ребрам е^ = (ьг, ) е Е которого приписаны неотрицательные веса г^, обозначающие пропускные способности этих ребер. Матрицу К = (г^)пхп называют матрицей пропускных способностей.
Вершинам графа приписаны ресурсы дг(1) - неотрицательные числа, изменяющиеся в дискретном времени ¿. Каждая вершина может хранить неограниченное количество ресурса. Вектор = (I), ..., Яп(Ъ)), элементами которого являются значения ресурсов в вершинах в момент времени ¿, называется состоянием Q(t) сети в момент времени ¿.
Состояние = (д*,..., дП) называется предельным, если для
51
любого е > 0 существует такое, что для всех | q* —д,,(¿) | < е, г = 1,2,...,п.
п
В сети выполняется закон сохранения ресурса:
i=1
где Ш - это суммарный ресурс всех вершин сети.
п п
ГТ = гз,1> и г°иЬ = г^ - входная и выходная пропуск-3=1 3=1
ные способности вершины соответственно.
В каждый момент времени все вершины сети ы, г = 1, ..., п, передают имеющийся в них ресурс по выходящим ребрам. Правила передачи ресурса в сети стандартной модели следующие: в момент £ вершина г^ отдает в ребро е^, соединяющее ее с вершиной ьз
• г^ единиц ресурса, если > г°иЬ (правило 1);
• Шгединиц ресурса, если ^ (¿) ^ г^ (правило 2).
г
Таким образом, правило 1 применяется тогда, когда вершина содержит ресурса больше, чем может отдать по исходящим ребрам. В этом случае по каждому ребру отдается ресурс, равный пропускной способности этого ребра. Всего вершина отдаст
п
ГТ'Ь = г'ъз ресурса. Если условие применения правила 1 не
3 = 1
выполняется, т.е. если в вершине недостаточно ресурса для передачи полной пропускной способности по каждому ребру, то работает правило 2. В этом случае весь свой имеющийся ресурс вершина распределяет пропорционально пропускным способностям ребер. При = г™1 применение правил 1 и 2 дает одинаковые результаты.
Для каждого момента времени £ множество вершин, функционирующих по правилу 1, будем называть зоной Z +(£), по правилу 2 - зоной Z-(£).
Вершины, имеющие ресурс, отдают его одновременно на каждом такте. Ресурс, выходящий из вершины Vi по ребру eiз в момент ¿, приходит в вершину ьз в момент £ +1. Между моментами £ и £ +1 ресурс находится в ребре е^. Этот ресурс называет-
п
ся потоком (¿). Величина ¡^(Ь) = ^ Л? - ресурс, выходя-
3 = 1
п
щий из вершины Vi в момент ¿. Величина Дп(Ь + 1) = ^ Ду (Ь) -
i=l
ресурс, входящий в вершину в момент £ + 1.
Пороговое значение ресурса Т - важная характеристика «стандартной» ресурсной сети. Т разделяет зоны различного поведения сети: при Ш ^ Т, начиная с некоторого момента времени , все вершины переходят в зону 2-(Ь); при Ш > Т, начиная с некоторого момента времени зона 2не будет пуста и станет постоянной по мощности. В [10] доказано, что в любой сети, кроме поглощающей, пороговое значение ресурса Т существует и единственно. В [10] также предложены формулы, которые позволяют определить значение Т для любого класса сетей (кроме поглощающей).
3. Модель сети с «жадными» вершинами
3.1. ОПИСАНИЕ И ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
Модель сети с «жадными» вершинами была предложена и формально описана в [11]. Напомним основные понятия и особенности поведения данной модели.
Рассматривается ресурсная сеть с наличием хотя бы одной петли. Ее функционирование определяется следующим образом: Вершина Vi, имеющая петлю, на такте Ь отдает:
• гц ресурса в петлю, если д^) > Гц, и оставшийся ресурс Ад^Ь) = д^) — гц распределяет между другими вершинами по правилам стандартной ресурсной сети,
• д^) ресурса в петлю, если д^) ^ гц (весь имеющийся ресурс уходит в петлю).
Вершина, не имеющая петлю, отдает ресурс другим вершинам по правилам стандартной ресурсной сети.
Другими словами, все вершины с петлями являются «запасливыми» (или «жадными»): они передают имеющийся ресурс в первую очередь себе в петлю и уже затем распределяют остатки (если они есть) между другими вершинами.
Будем говорить, что сеть с «жадными» вершинами остановилась на такте ¿, если Уг = 1,п д^) ^ г^. Это означает, что если количество ресурса во всех вершинах не превосходит пропускных способностей петель, то ресурс не перераспределяется между вершинами. Остановка сети является частным случаем ее стабилизации.
Вершина Vi называется насыщенной в момент времени ¿, если ^ г и, и ненасыщенной, если < ги. В [11] доказано, что вершина, насыщенная в момент времени ¿, в момент времени Ь + 1 также останется насыщенной.
Ограничение на топологию сетей: исследуются полные однородные ресурсные сети с «жадными» вершинами. Ресурсная сеть называется полной, если г^ = 0 Уг,] = 1,п. Однородность сети означает, что г^- = г Уг,] = 1, п.
3.2. ПОРОГОВЫЕ ЗНАЧЕНИЯ РЕСУРСА
В [11] было показано, что для полных однородных ресурсных сетей с «жадными» вершинами существуют два пороговых значения суммарного ресурса Т1 = гп и Т2 = гп2, разделяющих зоны различного поведения сети (рис. 1). Т! разделяет зоны «недостаточного» и «достаточного» ресурса. Зона «достаточного» ресурса в свою очередь делится порогом Т2 на зоны «достаточного малого» и «достаточного большого» ресурса.
Для зоны «недостаточного» ресурса было доказано, что сеть останавливается (за конечное число тактов или асимптотически, в зависимости от начального состояния сети).
В зоне «достаточного» ресурса сеть никогда не останавливается. При этом за конечное число тактов все вершины сети становятся насыщенными, и с момента их насыщения сеть функционирует эквивалентно стандартной полной однородной ресурсной сети без петель.
«Достаточный» ресурс, по аналогии со стандартной сетью, делится порогом Т2 = гп2 на «малый» (Т1 < Ш ^ Т2) и «большой» ресурс (^ > Т2). Для зоны «достаточного малого» ресурса была доказана стабилизация сети и найдено ее предельное состояние. 54
Рис. 1. Схема пороговых значений суммарного ресурса в сети с «жадными» вершинами
3.3. «ДОСТАТОЧНЫЙ БОЛЬШОЙ» РЕСУРС
Рассмотрим функционирование сети при Ш > Т2 = то2.
«Большой ресурс» означает, что при любом начальном состоянии ф(0) в любой момент времени зона 2 + (1) будет непуста.
Утверждение 1. При большом суммарном ресурсе Ш > Т2 ненасыщенные вершины насыщаются за 1 такт.
Доказательство. В сети есть хотя бы одна вершина из зоны 2+, а, значит, ненасыщенная вершина получит ресурса не меньше г. Таким образом, на такте £ + 1 она будет иметь ресурс размером не меньше г, т.е. станет насыщенной.
Учитывая утверждение 1, далее будем рассматривать сеть с уже насыщенными вершинами.
Количество вершин из зоны 2 + (Ь) обозначим кь. Пусть на такте Ь = 0 вершины пронумерованы по убыванию имеющегося в них ресурса. То есть в зоне 2 +(0) находятся вершины VI, г = 1, ко, в зоне -(0) - вершины у.1, г = к0 + 1,п:
41(0) ^ ... ^ дко(0) > гп ^ дко+1 (0) ^ дп(0).
Введем понятие дефицита зоны Z -(Ъ): И^) = ^ (гп — ^(¿)). То есть дефицит И^) - это
viez- (г)
ресурс, которого зоне Z-(£) не хватает до гп(п — кг).
Утверждение 2. При большом суммарном ресурсе Ш > Т2 на любом такте £ суммарные выходные (входные) потоки всех вершин из зоны Z + (£) совпадают.
Доказательство. Вершина из зоны Z+(£) отдает полную пропускную способность г по всем ребрам. Тогда суммарный выходной поток каждой из таких вершин Vi равен
= т.
Суммарный входной поток одной вершины Vi из зоны Z+(£) складывается из ресурса, отданного ей на такте £ всеми вершинами из зоны Z+, и всеми вершинами из зоны Z-:
+ 1) = гкг + £ /°и\г).
З^Аг
То есть получаем не зависящие от г значения и
+ 1) для всех вершин из зоны Z + (¿).
Из доказательства следует, что ресурс в каждой вершине из зоны Z+(£) либо сохраняется, либо уменьшается на одну и ту же величину (Дп(£ + 1) ^ При этом в начальный мо-
мент времени вершины были расположены в порядке убывания имеющегося в них ресурса, значит, переход в зону Z- может осуществляться только начиная с наименее наполненной вершины -т.е. с Ьк0. Учитывая, что вершины, попавшие в зону Zпоки-нуть эту зону не могут, формулируем следующее следствие из утверждения 2.
Следствие 1. На каждом такте вершины из зоны Z + теряют одинаковое количество ресурса, таким образом оставаясь упорядоченными по убыванию.
В случае когда все вершины находятся в зоне Z+(£), т.е. кг = п, формулы из доказательства утверждения 2 переписы-
ваются следующим образом:
Ш = Т~п : = гп, + 1) = гп.
Получив, что суммарные входной и выходной потоки каждой вершины одинаковы и равны гп, формулируем второе следствие.
Следствие 2. Если все вершины находятся в зоне 2 + (1), то состояние С?({) устойчиво.
Пусть мощность зоны 2 + (Ь) постоянна, т.е. Ш кг = к. Такая ситуация имеет место при выполнении неравенства
Як(0) — гп > ——, иными словами, если «профицит» самой по-
к
следней вершины Ик (вершины с наименьшим начальным ресурсом) из зоны 2 +(0) больше —. Действительно, суммарный
к
ресурс, который отдадут вершины из зоны 2+(0), не может превышать —(0), так как зона 2-(0) не может получить ресурса больше, чем —(0).
Утверждение 3. При большом суммарном ресурсе Ш > Т2,
/ \ —(0) , если выполняется неравенство дк(0)---— > гп, то предельное
к
состояние сети имеет вид:
Я- = («от — —0),(0) — —м...,га).
Доказательство см. в приложении.
Рассмотрим теперь общий случай: кг непостоянно. Это, в свою очередь, эквивалентно тому, что вершины из зоны 2+, начиная с наименее наполненной Ьк0, могут перейти в зону 2 Таким образом, мощность зоны г+ невозрастает с течением времени.
Случай постоянной мощности рассмотрен в утверждении 3. Если же мощность уменьшается, то в некоторый момент времени £' этот процесс закончится, так как зона 2 + при Ш > Т2 не может быть пуста. Тогда для любого Ь ^ Ь' имеем I > 0 вершин в зоне 2+(£) и п — I вершин в зоне 2-(Ь). То есть начиная с момента времени £' мощность зоны 2 +(Ь') является постоянной. Таким
57
образом, условия утверждения 3 для к = I и выполняются и сеть будет иметь следующее предельное состояние:
= ) - ^, ..., «(^) - ^, т, ..., т).
Остается только найти состояния вершин зоны 2 +(ь) (дг(^), г = 1,1) и дефицит ).
Используя утверждение 2, заключаем, что все вершины из зоны 2 +(£) на каждом такте Ь отдают одинаковое количество ресурса зоне 2-(£), а значит, состояние каждой вершины V,, 3 = 1,1, к моменту времени суммарно уменьшилось на определенную величину , т.е.
V з =ТЛ : д3(0 = д,(0) - 6.
По закону сохранения ресурса в сети, суммарное количество ресурса в вершинах ьг, г = I + 1,п, к моменту времени увеличилось ровно на столько, сколько потеряли вершины и,, з= 1,1:
п п
Е дг(1')= ^ Яг(0) + 51.
г=1+1 г=1+1
Тогда
п п
ДО = ^ (т - Фг)) = ^ (т - дг(0)) - 5I,
г=1+1 г=1+1
а предельное состояние вершин V,, з = 1,1, выглядит следующим образом:
V з = 1,1: д* = д3(О - ^ = д3(0) - 1 £ (т - дг(0)).
г=г+1
Итак,
V] = 1,1 : д* = д3(0) - = ^ (т - дг(0)).
г=1+1
Здесь I - наибольшее целое число, для которого выполняется неравенство д* > гп.
Таким образом, можно сформулировать следующую теорему. Теорема 1. При большом суммарном ресурсе Ш > Т2 предельное состояние сети существует и равно
Я* = (Я1(0) — у, ..., (0) — у, гп, ..., гп^,
п
где у = ^ (гп — дг(0)), а I - наибольшее целое число, для
г=1+1
которого выполняется неравенство
1 п
11 (0) — 1 ^ (гп — д{(0)) > гп.
г=1+1
Замечание 1. Для случая постоянной мощности зоны 2+ (т.е. Ш кг = к и, следовательно, к* = I = к) имеем у =
п
^ (гп — (Цг(0)) = —(0). Поэтому утверждение 3 есть частный
г=к+1
случай теоремы.
Пример 1. Рассмотрим полную однородную ресурсную сеть с пятью «жадными» вершинами и единичной пропускной способностью (рис. 2).
Начальное состояние подобрано таким образом, чтобы все вершины были уже насыщенными:
Q(0) = (14, 12, 7, 2, 1).
Суммарный ресурс Ш=36 удовлетворяет условию Ш>^?=25 зоны «достаточного большого» ресурса. Для нахождения предельного состояния сети воспользуемся полученной выше теоремой.
Найдем - наибольшее целое число, для которого выполняется неравенство
1 п
11 (0) — 1 ^ (гп — д{(0)) > гп.
г=1+1
Рис. 2. Однородная ресурсная сеть с пятью «жадными» вершинами, = 1
1 = 1 ^
14—(5—12+5—7+5—2+5—1) = 16 > 5—неравенство выполняется. 1 = 2 ^
1 19
12 — -(5 — 7 + 5 — 2 + 5 — 1) = — > 5 — неравенство выполняется.
1 = 3 ^
г, К Л 14
7--(5 — 2 + 5 — 1) = — > 5 — неравенство не выполняется.
33
Получили I = 2, т.е. в зоне 2+* будут только вершины г>1, ь2. Тогда предельное состояние сети вычисляется по формуле
Я* = (Я1(0) — у, д2(0) — у, гп, гп, гпу
Здесь у = ^(т — дг(0)) = 5 — 7 + 5 — 2 + 5 — 1 = 5.
г=3
Имеем следующее предельное состояние сети:
Я* = (п, 5, 9, 5, 5, 5, б).
Протокол работы сети приведен в таблице 1, динамика ресурса - на рис. 3. •
Таблица 1. Протокол работы сети с начальным состоянием Я(0) = (14, 12, 7, 2, 1)_
и У1 У2 Уз У4 У5
0 14,0000 12,0000 7,0000 2,0000 1,0000
1 12,2500 10,2500 5,2500 4,0000 4,2500
2 11,8125 9,8125 4,8125 4,8125 4,7500
3 11,6563 9,6563 4,8906 4,8906 4,9063
4 11,5781 9,5781 4,9492 4,9492 4,9453
5 11,5391 9,5391 4,9736 4,9736 4,9746
6 11,5195 9,5195 4,9871 4,9871 4,9868
7 11,5098 9,5098 4,9935 4,9935 4,9935
8 11,5049 9,5049 4,9967 4,9967 4,9967
9 11,5024 9,5024 4,9984 4,9984 4,9984
10 11,5012 9,5012 4,9992 4,9992 4,9992
11 11,5006 9,5006 4,9996 4,9996 4,9996
12 11,5003 9,5003 4,9998 4,9998 4,9998
13 11,5002 9,5002 4,9999 4,9999 4,9999
14 11,5001 9,5001 4,9999 4,9999 4,9999
15 11,5000 9,5000 5,0000 5,0000 5,0000
16 11,5000 9,5000 5,0000 5,0000 5,0000
4. Заключение
Рассмотрена модификация модели ресурсной сети - сеть с «жадными» вершинами. «Жадные» вершины на каждом такте сначала передают необходимое количество ресурса себе в петлю, а затем оставшийся ресурс (если он имеется) распределяют
61
16
14
10
в
г~ 2
5_
1У_1 I м_2 у_3 I у_4 V 5
Рис. 3. Динамика ресурса в сети с начальным состоянием д(0) = (14, 12, 7, 2, 1).
в исходящие рёбра по правилам стандартной ресурсной сети. Исследование ограничено топологией полной однородной сети, т.е. сети, представленной полным графом, у которого веса ребер одинаковы.
Для такой модели известны пороговые значения Т\ = гп и Т2 = гп2, разграничивающие зоны различного поведения сети: зоны «недостаточного» и «достаточного» ресурса, зоны «достаточного малого» и «достаточного большого» ресурса соответственно.
В данной работе описано функционирование сети, суммарный ресурс которой находится в зоне «достаточного большого» ресурса. Доказана сходимость процесса перераспределения ресурса, найдено предельное состояние сети.
В дальнейшем планируется исследование других топологий сети модели «жадных» вершин; нахождение основных характеристик функционирования, определение условий остановки сети, получение векторов предельных состояний и потоков для разных значений суммарного ресурса и различного начального распределения этого ресурса между вершинами.
Литература
1. АБДУЛРАХМАН Х., ЕРУСАЛИМСКИЙ Я.М., СКОРОХОДОВ В.А. Ресурсные сети с вентильной достижимостью // Инженерный вестник Дона. - 2018. - №4. - С. 78.
2. АБДУЛРАХМАН Х., СКОРОХОДОВ В.А. Ресурсные сети с магнитной достижимостью // Известия ВУЗов. СевероКавказский регион. Естественные науки. - 2016. - №4. -С. 4-10.
3. АБДУЛРАХМАН Х., СКОРОХОДОВ В.А. Полные двух-ресурсные сети с петлями // Известия ВУЗов. СевероКавказский регион. Естественные науки. - 2016. - №2. -С. 10-16.
4. АБДУЛРАХМАН Х., СКОРОХОДОВ В.А. Двухресурсные сети с магнитной достижимостью // Известия ВУЗов. Северо-Кавказский регион. Естественные науки. - 2020. -№3. - С. 4-10.
5. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Сходимость и устойчивость в задачах согласования характеристик (обзор базовых результатов) // Управление большими системами. -2010.-№30.1 - С. 470-505.
6. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Метод проекции в задаче о консенсусе и регуляризованный предел степеней стохастической матрицы // Автоматика и телемеханика. - 2011. -№12. - С. 38-59.
7. ГУБАНОВ Д.А., НОВИКОВ Д.А., ЧХАРТИШВИЛИ А.Г. Социальные сети. Модели информационного влияния, управления и противоборства. - М.: Изд-во физ.-мат. литры, 2010.-228 с.
8. ЕРУСАЛИМСКИЙ Я.М., СКОРОХОДОВ В.А., КУЗЬМИ-НОВА М.В., ПЕТРОСЯН А.Г. Графы с нестандартной достижимостью: задачи, приложения. - Ростов-на-Дону: Южный федеральный университет, 2009. - 195 с.
9. ЖИГИРЬ А.А. Методы количественной оценки экономического риска строительной организации при реализации ин-
вестиционных проектов // ЕГИ. - 2020. - №1. - С. 106-111.
10. ЖИЛЯКОВА Л.Ю., КУЗНЕЦОВ О.П. Теория ресурсных сетей: монография. - М.: РИОР: ИНФРА-М, 2017. - 283 с.
11. ЖИЛЯКОВА Л.Ю., ЧАПЛИНСКАЯ Н.В. Исследование полных однородных ресурсных сетей с «жадными» вершинами // Управление большими системами (в печати).
12. ЖИЛЯКОВА Л.Ю. Ресурсные сети с ограничениями на ёмкость вершин [Электронный ресурс]: монография. - М.: ИЦ РИОР, НИЦ ИНФРА-М, 2018. - 160 с.
13. КУЗНЕЦОВ О.П. Однородные ресурсные сети. I. Полные графы // Автоматика и телемеханика. - 2009. - №11. -С. 136-147.
14. СКОРОХОДОВ В.А., АБДУЛРАХМАН Х. Динамические ресурсные сети. Случай малого ресурса // Вестник Воронежского государственного университета. Серия: Физика. Математика. - 2018. - №4. - С. 186-194.
15. BLANCHARD PH., VOLCHENKOV D. Random Walks and Diffusions on Graphs and Databases: An Introduction (Springer Series in Synergetics). - Berlin - Heidelberg: Springer-Verlag, 2011. - 262Berlin - Heidelbergp.
16. MASUDA N., PORTER M.A., LAMBIOTTE R. Random walks and diffusion on networks // Physics Reports. - 2017. -Vol. 716-717. - P. 1-58.
Приложение
Доказательство утверждения 3.
«Профицит» вершины Ьк из зоны 2 +(0) превосходит вели-
0(0)
чину —-—, тогда в любой момент времени £ в сети имеется ров-
к
но к вершин из зоны 2 +.
Рассмотрим разность дефицитов на тактах £ + 1 и V.
п п
Б(г + 1) -о(г) = ^ (гп - дг(г + 1)) - ^ (гп - дг(1)) = г=к+1 г=к+1
^ Ф) - ^ Ф + 1) = Я-^) -Я-(1 + 1)
1=к+1 1=к+1
к() - г) п — 1
= я-а)-(я-а)- Е тП)- +кг(п-к)) =
1=к+1
± - кг (п - V = -±- огт - ^пп-г1
п - 1 п - 1 п - 1
г=к+1
С другой стороны,
п
= ^ (гп - дг(г)) = гп(п -к) -Я-^),
1=к+1
Я~(г) = гп(п -к) -О(Ь).
Тогда имеем
+ 1) - 0(1) = -*—(гп(п -к) - Б(1)) - кГп(п - к), п - 1 п - 1
оа + 1) = 0(0,
т = (^У»^
Получили убывающую геометрическую прогрессию, а, значит,
Иш = о.
Таким образом, зона 2-* не будет иметь дефицита, а, учитывая тот факт, что вершины не могут покидать зону 2-(Ь), заключаем, что в предельном состоянии все вершины ы, г = к + 1,п, имеют гп ресурса.
Теперь найдем предельный ресурс в первых к вершинах -вершинах зоны 2 +(Ь). По утверждению 2, выходные и входные потоки вершин зоны 2 + (Ь) будут совпадать, значит, ресурс у этих вершин меняется одинаково. Суммарно отданный зоне 2-(Ь) ресурс должен быть равен дефициту. Тогда получим, что ресурс
в каждой вершине зоны 2 +(£) уменьшился на — 0(0).
к
Итого, предельное состояние сети выглядит следующим образом:
<* = О*1«» - 1Г ■ "<0) - Т -"'У
RESEARCH OF COMPLETE HOMOGENEOUS "GREEDY-VERTICES" RESOURCE NETWORKS: ZONE OF "SUFFICIENT LARGE" RESOURCE
Nadezda Chaplinskaya, V.A. Trapeznikov Institute of Control Sciences of RAS, Moscow, student (nadya1462@gmail.com).
Abstract: "Resource network with greedy vertices" - the modification of the graph dynamic model "resource network". At each discrete-time moment the graph vertices transfer resources to each other through the edges with limited throughput, first passing the available resource to themselves via the loop and then distributing the remaining resource (if it is available) to outgoing edges according to the "standard" resource network rules. These are two rules with threshold switching: if the vertex has resource, that exceeds the total throughput of all vertex's outgoing edges, it transfers the full throughput to each outgoing edge; otherwise, it gives away the entire available resource, distributing it in proportion to the throughputs of the outgoing edges. The particular case of a complete homogeneous resource network with "greedy" vertices is considered. For networks of such type there are two total resource thresholds, separating zones of different network behaviour: the first threshold divides the zones of "insufficient" and "sufficient" resources, the second divides the zones of "sufficient small" and "sufficient large" resources. In the article the last zone - "sufficient large" resource - is investigated: the functioning of the network is described, the asymptotic state is found.
Keywords: graph dynamic threshold model, resource net, "greedy-vertices" model, zone of "sufficient large" resource.
УДК 519.1 ББК 22.176
DOI: 10.25728/ubs.2021.90.3
Статья представлена к публикации членом редакционной коллегии О.П. Кузнецовым.
Поступила в редакцию 29.01.2021. Дата опубликования 31.03.2021.