CC BY
61
УДК 519.177 ББК 22.18
РЕСУРСНЫЕ СЕТИ С ОГРАНИЧЕНИЯМИ НА ЕМКОСТЬ АТТРАКТОРОВ. ФОРМАЛЬНЫЕ ХАРАКТЕРИСТИКИ1
Жилякова Л. Ю.2
(ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва)
Исследуются процессы распределения ресурса в сетях с ограничениями на емкость вершин-аттракторов. Устанавливается их сходимость при любом суммарном ресурсе. Формулируется критерий вторичной аттрактивности вершин, находятся векторы предельного состояния и потока, формула для второго порогового значения ресурса Т1. Вводится ряд дополнительных характеристик сетей с ограничениями.
Ключевые слова: ресурсная сеть, графовая динамическая пороговая модель, неоднородная цепь Маркова, ограничения на емкость.
1. Введение
Работа является продолжением исследования регулярных несимметричных ресурсных сетей с ограничениями на емкость аттракторов [9]. Ресурсная сеть без ограничений представляет собой графовую динамическую модель с одним пороговым переключением правил функционирования [6-8]. Свойство регулярности означает, что граф сильно связен (т.е. состоит из одной эргодической компоненты), и НОД длин всех его циклов
1 Работа выполнена при частичной финансовой поддержке РФФИ (проекты № 14-01-00422а, 15-07-02488а).
2 Людмила Юрьевна Жилякова, доктор физико-математических наук ^НПуакоуа. ludmila@gmail. сот)
равен 1. Свойство несимметричности означает, что найдется такой номер 7, что в матрице весов графа (пропускных способностей его ребер) сумма элементов 7-й строки и 7-го столбца будут различны. (Нетрудно показать, что если это условие выполняется, то таких номеров как минимум два). Иными словами, в графе существует как минимум две вершины, у которых суммарная пропускная способность входящих в нее ребер гне равна суммарной пропускной способности исходящих из нее ребер Г7оШ.
В несимметричной сети необходимо существует хотя бы одна вершина, которая при большом ресурсе, т.е. ресурсе, большем единственного для каждой сети порогового значения, и любом начальном состоянии накапливает у себя все излишки. При этом остальные вершины в предельном состоянии имеют лишь некоторое небольшое количество ресурса, не превосходящее их суммарных выходных пропускных способностей, сколь бы ни был велик суммарный ресурс в сети. Вершины, притягивающие к себе ресурс, названы аттракторами. Это, как правило, вершины-приемники (те вершины, у которых г,'" > г°и*), однако не каждый приемник может быть аттрактором.
Для того чтобы дать возможность накопить ресурс другим вершинам, в сети вводятся ограничения на емкости аттракторов. При достижении заранее заданного значения аттракторы перестают накапливать ресурс, и тогда его излишки переходят в некоторое множество других вершин. Мы назвали эти вершины вторичными аттракторами.
В [8] исследована динамика суммарного предельного потока в зависимости от количества ресурса в сети. Доказано существование второго порогового значения Т° > Т, при котором начинается накопление ресурса во вторичных аттракторах.
Однако на многие вопросы ответы пока не получены. Вот некоторые из них:
1. Устойчива ли сеть с ограничениями? Существуют ли в ней предельные состояния и потоки при произвольном суммарном ресурсе и начальном состоянии? Если да, то каковы предельные состояния и предельные потоки в сети с ограничениями? (Пока установлено только то, что суммарный поток в сети
сходится к заданным величинам, но это не гарантирует отсутствия регулярных или нерегулярных колебаний потока в ребрах.)
2. Всегда ли вторичными аттракторами будут одни и те же вершины, или это зависит от начального распределения ресурса и его количества?
3. Существует ли точная нижняя грань, определяющая количество ресурса, при котором будет происходить накопление во вторичных аттракторах, или в зависимости от начального состояния это количество может быть разным? Иными словами, единственно ли значение 7° для каждой сети, и если да, то как его найти?
4. Какими еще качественными и количественными характеристиками обладают такие сети?
В настоящей работе приведены результаты, дающие ответы на эти вопросы.
Отметим, что все результаты, полученные для ресурсных сетей, носят в статье название теорем; результаты, касающиеся порождаемых ими матриц и векторов, сформулированы в виде утверждений.
2. Основные обозначения и свойства сети с ограничениями на емкость аттракторов
Определения и свойства ресурсных сетей без ограничений приведены в [6-8]. Здесь мы кратко остановимся на основных обозначениях и результатах, полученных для сетей с ограничениями.
Ресурсная сеть представляет собой взвешенный ориентированный граф О = (V, Е), \У\ = п. Веса, соответствующие пропускным способностям ребер, задаются матрицей Я = (гу)пхп.
Q(t) = (#1(0, ..., #п(0) - состояние сети в момент V, qi(t) - количество ресурса в вершине Уг в момент V, Q* - предельное состояние.
Гг1п и г!ои1 - суммарные входная и выходная пропускные способности вершины У1, Ж - суммарный ресурс сети; Z_(t) - мно-
жество вершин, для которых q,(t) < r,out; Z+(t) - множество вершин, для которых qi(t) > r,out.
Т - пороговое значение ресурса, такое что при W < Т все вершины, начиная с некоторого t', переходят в зону Z-(t); при W> T зона Z+(t) не пуста, начиная с некоторого t" (теорема 3 [6]).
В [8] доказано, что Т определяется по формуле
yöut
T = min .
ze{1,...,"} q.
Q и Q1*- векторы предельного состояния при W = Т и при W = 1 соответственно.
Ресурс, выходящий из вершины v, по ребру e,j в момент t, приходит в вершину Vj в момент t + 1; между моментами t и t + 1 он находится в ребре e,j. Этот ресурс назовем потоком fij(t). Общий поток сети описывается матрицей F(t) = (f(t))nxn.
FOUt(t) , Fn(t) - векторы исходящего и входящего потока.
Доказано, что в сети без ограничений при любом значении W > Т суммарный поток в сети равен T [7].
Входные соседи вершины v, - множество V" = {vk\-ы > 0}; выходные соседи вершины v, - множество V°ut = {vk\-ik > 0} .
В ресурсной сети без ограничений при W > T некоторые вершины в предельном состоянии начинают накапливать излишки ресурса. Такие вершины были названы аттракторами.
Вершина vj несимметричной регулярной сети без ограничений является аттрактором тогда и только тогда, когда для нее выполняется [8]:
-out
j = arg mn .
ге{1,..."} q1
В данной модели будем называть эти вершины первичными аттракторами. На них накладываются ограничения на емкость. Ограничения имеют вид rjOUt + p. Это означает, что каждый аттрактор может набрать сверх своей выходной пропускной способности p единиц ресурса, p > 0. Значение rjOUt взято не произвольно. Именно такое количество ресурса в предельном
состоянии имеет каждый аттрактор при Ж = Т. Все неаттракторы Ук имеют при Ж = Т ресурс, равный ~, строго меньший своей выходной пропускной способности. И при любом Ж > Т они уже не могут получить больше ~ [7, 8].
Считается, что ограничение на емкость аттрактора работает лишь тогда, когда в начальном состоянии ресурс в нем был не больше чем г°и: + р. Если специально не указано иное, будем всегда предполагать, что в начальном состоянии ресурс всех первичных аттракторов меньше, чем их ограничения на емкость.
Для сети с ограничениями доказано существование второго порогового значения суммарного ресурса 7° > Т, при переходе через которое изменяются функционирование сети и динамика суммарного потока.
По утверждению 2 [9] для значений суммарного ресурса Ж существует четыре промежутка, на которых функционирование сети различно.
При Ж е (0, Т] с некоторого момента времени сеть описывается однородной цепью Маркова. Предельное состояние и векторы входного и выходного потоков в ней существуют, единственны и совпадают между собой. Суммарный предельный поток равен Ж и (естественно) возрастает с ростом Ж.
При Ж е (Т, Т + 1р] предельное состояние и поток существуют. Предельный поток единственен, предельное состояние единственно при I = 1; при I > 1 предельное состояние единственно во всех вершинах, кроме аттракторов. Ресурс в аттракторах не меньше их выходной пропускной способности. Величины ресурса сверх пропускной способности в аттракторах зависят от начального распределения ресурса, однако сумма этих излишков не зависит от начального состояния и равна Ж- Т. Суммарный предельный поток равен Т и не изменяется с ростом Ж.
При Ж е (Т + 1р, Т11 + 1р] все аттракторы достигают ограничения на емкость, и в остальных вершинах начинает накапливаться избыточный ресурс, но еще никакая из них не способна
перейти в зону 2+*. Суммарный предельный поток равен Ж - 1р и возрастает с ростом Ж.
При Ж е (Т11 + 1р, да) происходит насыщение вторичных аттракторов и стабилизация потока на значении Т11. При любом сколь угодно большом значении Ж суммарный предельный поток равен Т11.
Если ограничения на аттракторы равны нулю (р = 0), второй интервал исчезает и остаются три: (0, Т], (Т, Т11], (Т11, да).
3. Переходные процессы в сети с ограничениями
В сети с ограничениями, когда величина суммарного ресурса находится в первых двух из четырех указанных интервалов, функционирование не отличается от функционирования сети без ограничений. В данной работе интерес представляет лишь ресурс, больший величины Т + 1р. Именно на этих значениях проявляются новые свойства модели.
При граничном значении Ж = Т + 1р сеть всё еще функционирует как сеть без ограничений. А это означает, что предельное состояние в ней существует и каждый аттрактор в нем имеет ресурс, равный г°ш + р, а остальные вершины находятся в и их ресурс совпадает с компонентами вектора предельного состояния Q (при Ж = Т).
Рассмотрим функционирование сети при
Ж е (Т + 1р, Т11 + 1р] на достаточно больших тактах времени, когда каждый аттрактор уже набрал ресурс, равный г°и: + р, а все остальные вершины перешли в зону Z~(t).
Вектор состояния сети в момент времени : рассчитывается следующим образом.
Сначала находится поток, входящий в вершины, как если бы сеть работала без ограничений:
ртф = рои;_1}д, = (гГ..., ^, ^ дп^^
где Я' - стохастическая матрица: Я' = diag(r1ouí,...,гОи)_1 Я.
Здесь первичные аттракторы имеют номера от 1 до I.
Затем определяются значения Лдг(0 потенциальных избытков в аттракторах и коэффициенты пропорционального уменьшения потока в аттракторы сг(0, г = 1, ..., I, [9]:
Лд, (7) = д, (7) -{г°и + р);
С (7) = .
г V / п
I Лг(7)
^=1+1
После этого вычисляется вектор состояния на такте Р.
( п п
6(7) = Р + ¥°и (7 - 1)Д'+
-сЛО I /,1(7),..., -С(7) I /}1 (7),
V >=1+1 з=1+1
I с, (7)/+1,/ (7),..., IС (7)/пг (7) I.
г=1 г=1 )
Здесь Р = (р, ...р, 0, ..., 0) - вектор ограничений с ненулевыми компонентами, соответствующими первичным аттракторам.
Вектор Р - статичная часть вектора состояния, которая не изменяется в процессе функционирования. Не нарушая общности при вычислении изменения вектора состояния, положим Р = 0. В этом случае после вычисления предельного состояния к получившемуся вектору нужно снова прибавить ненулевой вектор ограничений Р.
Имеем:
( п п
6(7) = р°ш (7 - 1)Д,+
(1)
I С/ (7)/+1,/ (7),..., I С/ (7 )/пг (7) I.
-С (7) I /л(7),..., - с, (7) I /л (7),
V >=1+1 >=1+1
Поскольку Р = 0, каждая вершина в сети с суммарным ресурсом Ж е (Т, Т11], включая аттракторы, на каждом такте отдает весь свой ресурс, т.е. функционирует по правилу 2. Поэтому весь ресурс каждой вершины становится выходным потоком и выполняется равенство Р0^) = Q(t). Тогда равенство (1) можно переписать в виде
Q(t ) +
n г n r
ci(t ) Z qj (t ) jc, (t) X qj (t )j.
j=1+1
j=1+1
= Q(t -1) R.
11 - qt+i(t Z (t ) JOut..... - qn (t )Zc (t )
1=1 r1+l 1=1 ri+i y
Разделим стохастическую матрицу R на четыре блока:
R=
где блок Я0 имеет размер I х I и соответствует вершинам-аттракторам.
Тогда левую часть равенства можно записать в матричной форме следующим образом:
R R
R R
{
Q(t )
E 0
R2diag(c1(t ),..., c,(t )) E -diag(C(t),...,c,))R2t)
А
= Q(t - 1)R '.
Введем обозначение:
(
E 0 >
R2diag(c1(t ).. ..c, (t )) E - diag((c1(t).....c,(t))R2T^ = S\t ).
Тогда имеем:
есто=я« - щ'.
Утверждение 1. - стохастическая матрица.1
Утверждение 2. - невырожденная матрица. Доказательство этого утверждения очевидно, потому что является нижней треугольной матрицей с ненулевыми элементами на главной диагонали. □
Следовательно, £\0 обратима и справедливо равенство:
(2) = Я«- 1)^ 40.
1 Все утверждения приводятся с доказательствами. Объемные доказательства утверждений и теорем вынесены в приложение.
Нетрудно убедиться, что имеет вид
(3) 5 'ч(7) =
E
- Б(7 ) Я^аф^ ),..., с (7)) {е - ё1ав{(
0 I
Б(7)
где Б(7) = {Е - ё1ав{(с1(7),..., С (7))Я Тогда
Г
г,
Я 5 '-1 (7) =
Я0 Я'] ( Е о 1
я2 Я3) V- Я(7 )Я2йха8(с1(7),...,сг (7)) Б(7))
Замечание. В граничном случае, если избытки в вершинах-аттракторах равны нулю (сг-(0 = 0, г = 1, ..., /), то ^(О = Е, и, соответственно, ^(О = Е, и функционирование сети описывается однородной цепью Маркова со стохастической матрицей Я'.
Утверждение 3. = 1, где 1 - вектор-столбец, состо-
ящий из п единиц.
Доказательство вытекает из того факта, что для любой матрицы, обратной стохастической, суммы элементов каждой строки равны единице (см., например, задачу 2 (с. 52) в [11]).П
Матрицу Х, удовлетворяющую условию Х-1 = 1, и имеющую отрицательные элементы, следуя [13], назовем псевдостохастической.
Очевидно, что умножение вектор-строки слева на псевдостохастическую матрицу сохраняет сумму элементов вектора.
Кроме того, по построению матриц и, соответственно, ^(О, ни один из элементов вектора Q(t) не может быть отрицательным. Этот факт следует из того, что Q(t) - вектор состояния ресурсной сети, по определению содержащий неотрицательные элементы. И в самом деле, блок матрицы ^(О, содержащий отрицательные элементы, соответствует излишкам ресурса, которые аттрактор не может принять и которые заведомо не могут превысить приходящий ресурс.
Замечание. Два нижних блока матрицы S (формула (3)) таковы, что элементы блока -D(t) R2 diag(ci(t), ..., ci(t)) отрицательны; отрицательны и суммы по строкам этого блока. Блок D(t) - диагональный с положительными элементами. Эти элементы больше единицы на абсолютную величину суммы одноименной строки матрицы -D(t) R2 diag(ci(t), c/(t)).
Существуют примеры сетей, для которых матрица RS}l(t) является стохастической (см. пример 1 в разделе 7). Но существуют и контрпримеры. Для регулярных сетей с несколькими аттракторами при отсутствии ребер между аттракторами и петель в аттракторах (что соответствует случаю Ro = 0) элементы верхнего левого квадратного блока 1 х I этой матрицы при достаточно больших t отрицательны. В самом деле, для таких матриц произведение RW_1(t) имеет вид
RS '-'(t ) =
0 R ! f E 0 !
r2 R - D(t)R2diag(Ci(t ),..., с, (t )) D(t ) J
- RD(t )R2diag(c1(t ),..., с, (t ))
RD(t)
чЯ - Яр(* )Я^а§(с1),• (0)
Из чего сразу следует, что верхний блок отрицателен при ненулевых значениях е().
Одна из таких матриц приведена в примере 2 (раздел 7). Если матрица RSl(t) - стохастическая, то при Ж е (Т, Т11] функционирование сети описывается неоднородной цепью Маркова:
к-1
еа+к)=^ )п я 5- ((+о.
1=0
4. Изменение потоков между аттракторами и инвариантные преобразования сети
Покажем, что всякой псевдостохастической матрице RS'1(t) с отрицательными элементами можно поставить в соответствие стохастическую матрицу. Причем компоненты вектора
состояния, соответствующие неаттрактивным вершинам, при этом преобразовании не изменятся.
В этом случае любую ресурсную сеть с ограничениями можно будет описать неоднородной цепью Маркова.
Докажем, что в ресурсной сети с ограничениями и без ограничений при Ж> Т все компоненты вектора состояния Q(t), за исключением компонент, соответствующих аттракторам (первичным для сети без ограничений и для сети с ограничениями при Ж е (Т, Т11] и первичным и вторичным для сети с ограничениями при Ж > Т11) не зависят от увеличения или уменьшения величины пропускных способностей ребер между аттракторами и петель в аттракторах. Единственное условие, которое должно выполняться: пропускные способности этих ребер должны изменяться так, чтобы все аттракторы по-прежнему оставались аттракторами.
Пусть произвольная регулярная несимметричная ресурсная сеть с I аттракторами (I > 1) задана матрицей пропускных способностей
(
Я =
Яо Я
Я2 Яз
Л
где блок Яо имеет размер I х I и соответствует вершинам-аттракторам. Рассмотрим матрицу
Яо +1 Я
Я2 Яз
Я =
1 нем
где Яз - квазисимметричная матрица, у которой суммы элементов соответствующих строк и столбцов совпадают. Элементы этой матрицы могут быть как положительными, так и отрицательными, однако по абсолютной величине они не превосходят соответствующих элементов матрицы Яо. То есть матрица ЯШм> неотрицательна.
Обозначим сумму всех элементов блока Яо через Уошш, сумму элементов матрицы Яз через г^им; ТШч> - пороговое значение новой сети; Qnew - предельное состояние при Ж = ТШч>.
Теорема 1. Матрица Rnew полученная из исходной матрицы R, задает ресурсную сеть без ограничений, в которой
1) аттракторами являются те же вершины, что и в сети с матрицей R;
2) компоненты вектора Qnew при W = Tnew, соответствующие неаттрактивным вершинам совпадают с компонентами вектора Q исходной сети W = T;
3) компоненты вектора Qnew при W = Tnew для аттракторов равны суммам соответствующих строк матрицы Rnew, и для них выполняется соотношение
out _ „out . out
ri _ new = ri + ri _ S .
4) пороговое значение новой сети вычисляется по формуле
Tnew T + rS_sum.
Доказательство см. в приложении.
Если блок Ro матрицы исходной сети заменяется блоком Ro + Rs в рамках условия теоремы 1, такие изменения будем называть допустимыми.
Таким образом, допустимо изменяя пропускные способности ребер между аттракторами, мы не влияем на остальные компоненты вектора предельного состояния, хотя при таких изменениях два верхних блока стохастической матрицы становятся другими.
Следующая теорема определяет параметры сети с ограничениями при таких изменениях.
Теорема 2. При любых допустимых изменениях матрицы R:
1) пороговое значение Т11 изменяется и вычисляется по формуле
T и = t II + r •
new S _ sum ,
2) при фиксированном W е (Tnew, Tlw ] компоненты вектора состояния в сети с ограничениями, соответствующие неаттрактивным вершинам, не изменяется;
3) в первичных аттракторах предельное состояние достигается за конечное время и количество ресурса равно новым выходным пропускным способностям этих вершин;
4) во вторичных аттракторах суммарное количество ресурса изменяется на величину, равную (- г^им).
Доказательство см. в приложении.
Из теорем 1 и 2 следует, что с помощью допустимых изменений можно увеличивать элементы матрицы Яо на любую, сколь угодно большую величину.
Тогда вновь рассмотрим переходную матрицу Я'5"1-1 (?):
Я '-; (?) =
Г Я я; ■) Г Е 0 ^
1Я2 Я3 J V Б(?) Я2ахав(с;(?),...,с (?)) Ба) J
Я - ЯЭДЯ^хав^О,...,^ (?))
ЯБ?)
Л
ЧЯ2 -Яр(?)Я2<Иаф1(?),...,с1 (?)) Яз^(0.
Блок Я2 - Яз'^(0 Я2 diag(cl(í), ..., с()) неотрицателен в силу определения сети с ограничениями. Пропускные способности ребер от неаттрактивных вершин к аттракторам уменьшаются, но всегда остаются положительными, если были положительны в исходной сети.
Отрицательные элементы могут присутствовать только в блоке Яо' - Я1 Б(?) Яг diag(cl(t), ..., с;(0). Однако с помощью допустимого изменения матрицы Яо можно настолько увеличить элементы матрицы Яо ' , что все элементы блока будут неотрицательны, и матрица из псевдостохастической превратится в стохастическую. В самом деле, при увеличении элементов Яо ' элементы матрицы Я1 ' уменьшаются. Остальные множители вычитаемого постоянны и ограничены. При этом все характеристики новой сети однозначно определяются по характеристикам прежней сети. Компоненты предельного вектора для неаттрактивных вершин не изменяются.
Таким образом, каждой псевдостохастической матрице можно поставить в соответствие стохастическую матрицу, которой описывается сеть, эквивалентная данной.
5. Неоднородные цепи Маркова и пороговое значение Т11
В этом разделе мы докажем существование предельного потока при Ж е (Т, Г11]. Если предельный поток при таком суммарном ресурсе существует, отсюда автоматически следуют
- существование предельного потока при Ж > Г11 (поскольку суммарный поток при этом перестает изменяться и совпадает с потоком при Ж = Г11);
- существование предельного состояния при любом Ж > Т.
5.1. НЕОДНОРОДНЫЕ ЦЕПИ МАРКОВА
Исследуем закон функционирования (2), имеющий место при Ж е (Т, Г11].
Если матрица не стохастическая, поставим ей в со-
ответствие стохастическую матрицу, допустимо увеличив пропускные способности ребер между аттракторами. Это преобразование всегда взаимно однозначно, и по вектору состояния новой сети восстанавливается вектор состояния исходной на любом такте. Поэтому, не нарушая общности, будем полагать, что матрица - стохастическая.
Введем некоторые определения из теории неоднородных цепей Маркова.
Неоднородная цепь Маркова называется слабо эргодиче-ской, если все переходные матрицы регулярны и однотипны [2, 15, 16] (две матрицы называются однотипными, если все их ненулевые элементы находятся в одинаковых позициях). Слабая эргодичность означает, что в матрице t
К = П Я'(0
г=1
при t ^ да разница между строками исчезает, однако предела может не существовать.
Для сильной эргодичности должно выполняться условие
Нш ПК (г) = 1Я-
tг=1
Т
где 1 - вектор-столбец из п единиц, ж - некоторый вероятностный вектор.
Рассмотрим неоднородную цепь Маркова, порожденную
функционированием сети при Ж е (Т, 7°].
к-1
еа+к)=есг )п ля'-1 ((+о.
г=0
По построению она является слабо эргодической.
Тогда при к ^ да получим последовательность предельных матриц с одинаковыми строками. Обозначим их через Л/да, / = 1, 2, ... Этим матрицам соответствует последовательность предельных векторов
е*+1=еа )яда.
При этом Qrj+l = '5* ^ + /), где ^ - достаточно велико.
Докажем, что неоднородная цепь Маркова, заданная соотношением (2), сильно эргодическая, и векторы Qj - это один и тот же вектор предельного состояния. Для этого докажем вспомогательное утверждение.
Лемма 1. Существует Пш Я1-1 (г).
г -^да
Доказательство.
Первые I компонент векторов Qj остаются неизменными, так как они соответствуют вершинам-аттракторам, на которые поставлены ограничения. Следовательно, при ^ ^ да в матрице
Я 'Я ') =
Ч - ) Я^щ^г ),...,с (г))
чЯ2 - ВДОК^щ^),...^(г)) ВДО, первые I столбцов имеют предел. Но это означает, что существуют пределы для двух левых блоков матрицы Л У-1(0. Следовательно, последовательности с() сходятся, и сходятся последовательности матриц
) = ( Е - ахав^ (С1(г),...,С1 (г)) < Отсюда пределы матриц ЛУ1^) и Яч(0 существуют. □
Утверждение 4. Неоднородная цепь Маркова со стохастическими матрицами RW-1(t) сильно эргодическая.
Доказательство.
По лемме 1 существует предел lim S1-1 (t) = S '*_1.
t
Тогда
Q*+i = QjR s ^.
Но RS*'-1 - стохастическая матрица некоторой регулярной однородной цепи Маркова. Тогда предел ее степеней существует и равен стохастической матрице с одинаковыми строками.
Таким образом, совершив еще один предельный переход, получим:
lim Qj+1 = Qj lim R S ^ f = QjR,
где R"* - предельная матрица регулярной однородной цепи Маркова. При этом
lim Qj+k = Q *
- предельный вектор этой цепи Маркова, являющийся левым собственным вектором матрицы R"*, соответствующим собственному числу Л= 1: Q* = Q*R"*.
Это означает, что исходная неоднородная цепь Маркова -
t
сильно эргодическая и lim Q R S(i) существует и равен R"*. □
t i=i
Кроме того, матрица R"* состоит из одинаковых строк, каждая из которых равна собственному вероятностному вектору матрицы R"*. В терминах ресурсной сети это вектор предельного распределения единичного ресурса Q1*'' для семейства сетей, заданного некоторой регулярной стохастической матрицей R":
Q1*IIRII = Q1*II.
R"* = 1Q1*'';
_ Q1*"
Обобщим полученные результаты на псевдостохастические матрицы и, соответственно, на любую сеть с ограничениями на аттракторы.
Теорема 3. В регулярной несимметричной сети с ограничениями на аттракторы при W е (T, Т1] предельное состояние существует, единственно и является собственным вектором матрицы
t
R'' * = limПRS' 1 (0 .
t i=i
Доказательство.
Если RW-1(i) - стохастические матрицы, доказательство следует из утверждения 4.
Если RS~l(i) - псевдостохастические матрицы, доказательство следует из того, что любой псевдостохастической матрице можно поставить в соответствие стохастическую матрицу, которая будет описывать сеть, все вершины которой (за исключением первичных аттракторов) при любом суммарном ресурсе функционируют идентично вершинам исходной сети и имеют то же количество ресурса на каждом такте. Ресурс в первичных аттракторах вычисляется по формулам теоремы 1.
Таким образом, между векторами состояния и переходными матрицами двух сетей установлено взаимно однозначное соответствие. И существование предельной матрицы и предельного состояния в одной сети влечет за собой их существование в другой. □
Предел произведений псевдостохастических матриц RS}l(i) является стохастической матрицей и существует стохастическая матрица R", задающая регулярную однородную цепь Маркова, что ß1*'' - ее предельный вектор распределения вероятностей и выполняется равенство t
lim П R 'S ' 1 (i) = lß1*'' = R'*.
t i=i
Пока все вершины функционируют по правилу 2, любой вектор предельного состояния пропорционален ß1*'':
ß* = Wß1*''.
Предельный вектор ß1*'' является единственным собственным вектором регулярной стохастической матрицы R", соответствующим максимальному собственному числу Л= 1.
При увеличении суммарного ресурса Ж компоненты вектора предельного состояния растут пропорционально. Закон распределения ресурса изменится тогда и только тогда, когда одна или несколько вершин получат ресурс, больший своей выходной пропускной способности, и перейдут на правило 1.
Напомним, что Я"* - предельная стохастическая матрица сети с ограничениями на аттракторы при р = 0. Первичные аттракторы уже ограничены. Поэтому при увеличении Ж на правило 1 перейдут вершины, отличные от них. Количество суммарного ресурса, при котором одна или несколько вершин, не являющихся первичными аттракторами, достигают значения г£"*, является пороговым: Ж = Т11. При Ж> Т11 поток перестает увеличиваться (он стабилизируется на значении Т11), а закон распределения ресурса (2) изменяется. При р > 0 для стабилизации потока суммарный ресурс должен превзойти значение Т1 + 1р. Суммарный предельный поток при этом по-прежнему будет равен Т1.
5.2. ФУНКЦИОНИРОВАНИЕ СЕТИ ПРИ Ж = Т11
Существование предельного состояния при Ж е (Т, Г11] доказано в теореме 3. Г1 - пороговое значение ресурса, при котором начинается накопление во вторичных аттракторах, а суммарный поток в сети перестает расти и стабилизируется на величине Т11. Существование Т11 доказано в утверждении 2 [9]. Докажем его единственность.
Георема 4. В регулярной несимметричной сети с ограничениями на аттракторы пороговое значение Т11, такое что при Ж < Т11 + 1р функционирование сети происходит по закону (2), а при Ж > Т11 + 1р в зоне начиная с некоторого момента t\
находится хотя бы одна вершина, не являющаяся первичным аттрактором, единственно.
Доказательство вытекает из единственности (с точностью до множителя) собственного вектора 6* регулярной матрицы Я", соответствующего собственному числу Л= 1. Из этого следует, что при Ж е (Т, Г11] вектор предельного состояния единственен. Т11 - такое значение ресурса, при котором компоненты вектора
предельного состояния, соответствующие вторичным аттракторам, достигают значения г/"'. Гп - сумма компонент такого вектора предельного состояния. □
Исследуем поведение сети при Ж = 711. Будем обозначать вектор предельного состояния при Ж = Гп через Q .
Положим, что Ж = Г11, и в равенстве (2) и перейдем к пределу по времени. Имеем:
(4) Q = QRS '-1,
( р
(5)
S'-1 =
(E - diag ((С,..., С, R ))"'
(E - diag((Ci,..., С, R))"' 1diag(Ci,..., C,)
Предельные значения коэффициентов С рассчитываются по формуле
С =---,
^^ out qk k=,+1 rk
где в числителе находится i-я координата вектора
AQ = QR-(r°ut ,.,rout ,0,...,0), i = 1, ..., l.
Матрица RS1-1 в общем случае псевдостохастическая. Элементы ее верхнего левого блока могут быть отрицательными. Кроме того, строки этой матрицы различны. Это следует
непосредственно из формул (4), (5). То есть матрицаRS1-1, являясь предельной, не совпадает ни с какой предельной матрицей регулярной однородной цепи Маркова, которая состоит из n одинаковых положительных строк. Однако для любой матрицы R S1-1 справедливо следующее утверждение.
Утверждение 5. Предел степеней R' S1-1) при t ^ да существует и равен предельной матрице однородной цепи Марко- 1 п
ва с предельным распределением вероятностей —-Q : )t=^(l ■Q),
где 1 - вектор-столбец, состоящий из п единиц.
Доказательство. Существование предельной матрицы
(я'Я ' 1) следует непосредственно из утверждения 4 (для стохастической) и теоремы 3 для псевдостохастической матрицы Я 'Я ' 1.
Для нахождения этой предельной матрицы рассмотрим два случая.
1) Матрица Я 'Я 1-1 - стохастическая. Тогда матрица
Я'Я ' 1) - предел степеней стохастической матрицы, все ее строки одинаковы:
(я'!? '-1 )да = 1ж,
где ж - некоторый вероятностный вектор-строка, причем ж- левый собственный вектор матрицы (к'Я ' 1) .
Вектор 1 (О) также является левым собственным вектором
этой матрицы. Поскольку этот вектор для регулярной цепи Маркова единственен (с точностью до множителя) [10], имеем
ж=\е.
уг II
И непосредственно отсюда вытекает, что
И)да=^ (1 • е).
2) Матрица Я 'Я ' -1 имеет отрицательные элементы. Так как предел ее степеней существует (см. доказательство теоремы 3), имеет место равенство:
(я я '-1 )(Я '-1 )да = (Я '-1 )да.
(л -1 \да Я'5" ) неотрицательны. Каждый столбец матрицы (я1«!?'1) является правым собственным вектором матрицы Я' -1. Для регулярной сети это означает, что все столбцы матрицы (я'1-1) пропор-
циональны единичному вектор-столбцу 1. Из этого следует, что
строки матрицы (я1) одинаковы, и теми же рассуждениями можно показать, что
(я' )да=^г(1 •е). а
Замечание. При доказательстве утверждения мы не прибегали к допустимым преобразованиям матрицы пропускных
способностей. Поэтому вектор () и полученная предельная
матрица являются характеристиками данной произвольной сети, независимо от наличия отрицательных элементов в ее переходных матрицах.
Непосредственно из утверждения 5 следует, что каждой сети с ограничениями можно единственным образом поставить в соответствие регулярную однородную цепь Маркова с матрицей Я", задающую новую сеть без ограничений со следующими параметрами:
1) предельный вектор распределения единичного ресурса:
Г" е;
2) пороговое значение: Т = Т п;
3) вектор предельного состояния при Ж = Т": О11 = (О ;
4) предел степеней стохастической матрицы:
Я"да = ^л (1 • о0).
6. Предельные характеристики сети с ограничениями
Полученные результаты позволяют сформулировать критерий вторичной аттрактивности вершин, а также найти векторы предельного состояния и потока при разных суммарных ресурсах.
Лемма 2. Неаттрактивная вершина регулярной несимметричной сети без ограничений при наложении ограничений
является вторичным аттрактором тогда и только тогда, когда при Ж = 711 для нее выполняется д. = г^'.
Доказательство следует из того, что вектор Q единственен и поэтому равенство д = г'0" будет выполняться при любом начальном состоянии для одних и тех же индексов к. Для всех остальных вершин выполняется строгое неравенство: д ■ < г°и'.
При увеличении суммарного ресурса сверх Ж = Гп по утверждению 2 [9] предельный поток в сети неизменен. Это означает, что ресурс во всех вершинах, функционирующих по правилу 2, также не изменяется (поскольку они отдают и получают весь свой ресурс). Следовательно, все значения компонент вектора предельного состояния 0*, соответствующие неаттрактивным вершинам, при любом, сколь угодно большом, ресурсе будут иметь значения д* = < г°ии. Все излишки будут скапливаться в
вершинах, для которых д. = , и при этом на них нет ограничений. А это и есть вторичные аттракторы. □
При Ж = 711 выполняется равенство Q = QR''*. Однако пре-
" пи*
дел произведений псевдостохастических матриц К при этом также является пределом степеней некоторой стохастической матрицы К", задающей однородную цепь Маркова. Определим одну из возможных таких стохастических матриц.
Если матрица R ' 1 (формула (4)) псевдостохастическая, допустимыми изменениями матрицы К приведем ее к стохастической.
Любая стохастическая матрица задает семейство сетей, которому соответствует семейство матриц пропускных способностей, соответствующие строки которых пропорциональны, выберем ту из них, пороговое значение Т которой совпадает с 711 исходной сети. При этом для всех первичных и вторичных аттракторов будет выполнено равенство ~ = , т.е. и первичные, и вторичные аттракторы исходной сети являются первичными аттракторами индуцированной сети.
Зададим новую индуцированную сеть матрицей Я"ек по формуле
(6) Я"™ = . „гТ )Я' Я"1.
У этой сети аттракторами являются первичные и вторичные аттракторы сети, заданной матрицей Я. В самом деле, у сети с матрицей Я, имеющей вид
Я = ^(г^,..., г°ш )Я', аттракторы (они же первичные аттракторы) - вершины У1, ..., VI,
V.»
а у сети с матрицей Я по построению V:, ..., VI остаются аттракторами, но к ним добавляется еще одна или несколько вершин, способных в предельном состоянии при наличии ограничений (т.е. при умножении матрицы Я' на матрицу ), набрать ресурс, равный выходной пропускной способности - по определению вторичных аттракторов.
Таким образом, зная предельный вектор распределения ресурса при Ж = Т11, можно построить однородную цепь Маркова, эквивалентную данной неоднородной в том смысле, что их предельные состояния при Ж = Т1 совпадают. Для Qr*" и (( выполняется соотношение
С" =^й О
Более того, легко обобщить этот результат и найти матрицу £,,|'-1(Ж), которая будет задавать эквивалентную однородную цепь Маркова для любого суммарного ресурса в исходной сети с ограничениями на интервале Ж е (Т, 711]. Она будет задаваться по формуле (5) с той лишь разницей, что коэффициенты с? будут зависеть от суммарного ресурса. Обозначим их через
с* = ):
(7) сгт=4^.' = 1.....';
к= 1+1 Гк
q/(W) - значения соответствующих компонент вектора предельного состояния при суммарном ресурсе, равном W.
При этом матрица пропускных способностей этой сети такова, что пороговое значение T в ней равно суммарному ресурсу сети с ограничениями W. То есть,для каждого W строится сеть, для которой это значение будет пороговым. Предельное состояние этой сети совпадает с предельным состоянием исходной сети с ограничениями.
По лемме 2 вершина является вторичным аттрактором тогда и только тогда, когда при W = T11 для нее выполняется: ^ = -0ut и она не является первичным аттрактором. Сформулируем критерий вторичной аттрактивности, позволяющий определять вторичные аттракторы по индуцированной однородной цепи Маркова и соответствующей ей матрице пропускных способностей.
Теорема 5 (критерий вторичной аттрактивности). Неаттрактивная вершина Vj регулярной несимметричной сети без ограничений с матрицей пропускных способностей R при наложении ограничений является вторичным аттрактором тогда и только тогда, когда в индуцированной сети Rnew (формула (6)) для нее выполняется
у out
(8) j = arg min .
q1
Доказательство см. в приложении.
Полученный результат позволяет, зная параметры индуцированной сети без ограничений, найти величину порогового значения T1 для сети с ограничениями.
Теорема 6 (о пороговом значении). Пороговое значение T11 , такое что в регулярной несимметричной сети с ограничениями на емкость аттракторов, заданной матрицей пропускных способностей R, и такое что при W > T1 + lp начинается накопление
ресурса сверх выходных пропускных способностей во вторичных аттракторах, находится по формуле
out
.II • г
T11 = шп
ге{1,...,„} q1*"ew '
1*new «
где - элементы вектора предельных вероятностей цепи
Маркова со стохастической матрицей К"™. Доказательство см. в приложении.
Следующая теорема дает оценку границ, в которых может изменяться пороговое значение 711.
Теорема 7 (оценка порогового значения). Для порогового значения 711 выполняется соотношение:
T + £("Г - ~)< TII < ,
k=l+1
где ~, к = I + 1, ..., ш, - компоненты вектора предельного состояния при Ж = Т во вторичных аттракторах. Доказательство см. в приложении.
Сформулируем общую теорему о предельном состоянии сети с ограничениями.
Теорема 8 (о предельном состоянии). В регулярной несимметричной сети с ограничениями на аттракторы р предельное состояние О* существует при любом значении суммарного ресурса Ж. При этом существуют два пороговых значения Т и Т11
(0 < T < ^ < гтш), такие что:
1) при Ж е (0, Т предельное состояние единственно и находится по формуле О = Ж О*1;
2) при Ж е (Т, Т + 1р] предельное состояние единственно при I = 1; при I > 1 предельное состояние единственно во всех вершинах, кроме аттракторов:
Q* = (гГ + Лq1\...,/Гt + Л^, ~+1,...,~„),
где ~ - компоненты вектора предельного состояния при Ж = Т:
б = (С ,..,гГ, 2) •
3) при Ж е (Т + /р, Т11 + /р] предельное состояние единственно. Оно состоит из суммы двух векторов: Q = Р + , где Р = (р, ...,р, 0, ..., 0), а Qw является собственным вектором стохастической матрицы Я'Б'*^1(Ж) (формула (5)), параметры сг* = е*(Ж которой рассчитываются по формуле (7). Матрица пропускных способностей индуцированной сети Япек(Ж) находится по формуле
Кп<™ (Ж) = ^(г^ )Я я'*"1 (ж).
На правом конце полуинтервала при Ж = Гп+ /р вектор предельного состояния имеет вид:
$ = Р + б = (гГ + Р,..., г"* + р, С,..., С, дт+1,..., дп )•
4) при Ж е (Т3 + /р, да], предельное состояние единственно с точностью до излишков во вторичных аттракторах. Оно находится по формуле
$ = (гГ + Р,..,гГ + Р, С + Лдм,.,С + Ад1 дт+ъ..,дп) где вторичные аттракторы имеют номера от / + 1 до т; б -собственный вектор стохастической матрицы Я'Я'1, соответствующий собственному числу Л= 1; Лд/, ] = / + 1, ..., т, -излишки ресурса сверх Т11 + /р, распределенные между вторичными аттракторами.
7. Примеры применения полученных результатов для нахождения вторичных аттракторов и предельных состояний
Пример 1. Сеть с одним аттрактором.
Пусть сеть с пятью вершинами задана матрицей пропускных способностей:
(1 11 1 Л
1 11 1 1
3 11 1 1
1 2 1 1 1
V 1 11 1 V
R =
Введем ограничение на аттракторы: р = 5.
Нужно найти вторичный аттрактор, первое и второе пороговые значения и найти вектор предельного состояния на каждом из описанных интервалов.
Вычислим все характеристики сети. Всюду, где значения вычислены с некоторой точностью, будем полагать, что имеют место приблизительные равенства. В примере вычисления приводятся с довольно высокой точностью, потому что в противном случае погрешности не позволяют наглядно продемонстрировать эффект вторичной аттрактивности.
1. При Ж = 1 вектор предельного состояния: 0!*= (0,2358; 0,2139; 0,1834; 0,1834; 0,1834);
2. Аттрактор в этой сети - вершина Уь Для нее выполняется условие:
5
= 21,204;
состояния будет:
j = arg min — ;
ie{1,- -n} qi
y,out y,out
3. T = min = -1—-:
Ie!i,--,"} q1 q\ 0,2358
4. При W=T вектор предельного
ß = (5; 4,537; 3,(8); 3,(8); 3,(8)).
В полуинтервале (T, T + Ip] = (21,204; 26,204] предельный поток стабилен и равен 21,204, а все излишки ресурса скапливаются в первичном аттракторе - вершине vi.
5. Найдем экспериментально значение 7° Для этого рассмотрим функционирование сети с ограничением при заведомо большом ресурсе (заведомо выполняется: W > 7° + lp).
По теореме 7 711 < rSum. Для данной сети rSum = 28; l = 1,p = 5. Тогда суммарный ресурс можно взять W > 33. Положим W = 35. Динамика ресурса в каждой вершине представлена на рис. 1.
out
Рис. 1. Функционирование сети с ограничением на емкость
аттракторар = 5 и начальным состоянием О(0) = (0, 0, 0, 0, 35) (вершина У2 - вторичный аттрактор)
Предельное состояние будет О* = (10,0; 12,0867; 4,3768; 4,2610; 4,2754).
При Ж > Т° + 1р предельный поток в сети стабилизируется и равен Т11.
Поскольку <2 - это вектор предельного состояния при Ж = Т11 и для него ресурс во вторичном аттракторе равен его выходной пропускной способности, ясно, что этот вектор отличается от О* только первыми двумя компонентами. Из #1* нужно
- *
вычесть ограничение р = 5, в #2 оставить ресурс, равный выходной пропускной способности этой вершины:
<2 = (5,0; 5,0; 4,37679; 4,26104; 4,27543).
Отсюда легко видно, что Т11 = 22,9133; для ограничения р = 5: Т11 + 1р = 711 + 1-5 = 27,9133.
В полуинтервале (Т + ¡р, Т11 + ¡р] = (26,204; 27,913] предельный поток возрастает с возрастанием Ж и равен Ж - ¡р (в данном случае Ж - 5).
При Ж > 27,9133 предельный поток стабилизируется на величине, равной Т11 = 22,9133.
6. Найдем новую стохастическую матрицу, задающую однородную цепь Маркова, с собственным вектором, который при
Ж = Т11 совпадает с вектором $ . Это матрица Я Я'-1, где Я - стохастическая матрица, полученная из матрицы пропускных способностей Я.
Я =
Г1 1 1 1 1 ^
5 5 5 5 5
1 1 1 1 1
5 5 5 5 5
3 1 1 1 1
7 7 7 7 7
1 1 1 1 1
6 3 6 6 6
1 1 1 1 1
15 5 5 5 5 J
£' 1 вычисляется по формуле (5).
Для того чтобы найти £1-1, нужно вычислить коэффициенты С, 1 = 1, ..., /. Поскольку аттрактор в сети один, нужно вычис-
лить только С
Лд1
Х- О
к=2 Г
'И
дк
В числителе стоит величина, на которую суммарный входной поток в аттрактор превосходит его выходную пропускную способность. В знаменателе стоит сам входной поток, за исключением потока, пришедшего по петле.
Чтобы найти эти значения, умножим вектор $ на матрицу Я. Имеем: <Я = (5,4410; 4,9007; 4,1905; 4,1905; 4,1905). Отсюда
Ад = 5,4410 - 5 = 0,4410;
С =
дк = 5,4410 -1 = 4,4410 ,
к =2 К"
где 1 - поток, пришедший по петле. Все значения для расчета ох известны.
* °,4410 = 0,0993 .
1 4,4410
Найдем матрицу по формуле (5). Для этого выпишем матрицу Я2. Разделим матрицу К на блоки:
К =
(1 1 1 1 11
5 5 5 5 5
1 1 1 1 1
5 5 5 5 5
3 1 1 1 1
7 7 7 7 7
1 2 1 1 1
6 6 6 6 6
1 1 1 1 1
15 5 5 5 5 )
Тогда
ЯН 1,3,1,1 I = (0,2; 0,4286; 0,1667; 0,2)т.
5 7 6 5
Вычислим все блоки матрицы £' 1:
Е
- (е -^((¿1,...,£,)к,т)- я^ёй,-,£,) (е -^ё^,...,с,)^2тi",
Е - а1аё^(с1,...,с/)Я2Т Л =
= (Е - (0,0993(0,2; 0,4286; 0,1667; 0,2)))-1 = = (Е- &аё((0,01987; 0,04256; 0,01655; 0,01987)))-1 =
(1,0203 0 0 0 ^
0 1,0444 0 0
0 0 1,0168 0
0 0 0 1,0203
-(Е -(е1,...,с1 )Я (1,0203 0
0 0
0
ч
Отсюда
(
1,0444 0
)Я2Т )) Я2а1ае(<с1
0 0 1
0 0
1,0168 0
с) -
1( 0,019871 (-0,0203 1 0,04256 _ -0,0444 0,01655 - -0,0168
0 0 1,0203Д 0,01987) ^-0,0203 )
1 0 0 0 0
- 0,0203 1,0203 0 0 0
- 0,0444 0 1,0444 0 0
- 0,0168 0 0 1,0168 0
- 0,0203 0 0 0 1,0203
Я'-1 -
Новая стохастическая матрица однородной цепи Маркова будет иметь вид
Я § '-1 -
(1 1 1 1 11
5 5 5 5 5
1 1 1 1 1 ( 1 0 0 0 0 1
5 5 5 5 5 - 0,0203 1,0203 0 0 0
3 7 1 1 7 1 7 1 1 7 1 1 7 1 - 0,0444 - 0,0168 0 0 1,0444 0 0 1,0168 0 0
6 1 6 1 6 1 6 1 6 1 0,00203 0 0 0 1,0203)
15 5 5 5 5 )
Я Б '-1 -
( 0,1796 0,1796 0,4140 0,1463 ч 0,1796
Проверим,
0,2041 0,2089 0,2041 0,2089
0,2034 0,20411 0,2034 0,2041
0,1458 0,3401
0,1492 0,1741
0,1453 0,1695
0,1458 0,1700
0,2041 0,2089 0,2034 0,2041
является ли вектор )) = (5,0; 5,0; 4,37679; 4,26104; 4,27543) левым собственным вектором этой матрицы. Нетрудно убедиться, что
(0,1796 0,2041 0,2089 0,2034 0,20411
(5; 5; 4,37679; 4,26104; 4,27543)
0,1796 0,2041 0,2089 0,2034 0,2041
0,4140 0,1458 0,1492 0,1453 0,1458
0,1463 0,3401 0,1741 0,1695 0,1700
ч0,1796 0,2041 0,2089 0,2034 0,2041)
= (5; 5; 4,37679; 4,26104; 4,27543).
Разделим компоненты вектора )) на величину Т11 = 22,9133, чтобы получить равновесный вектор распределения единичного ресурса однородной цепи Маркова и предельную матрицу этой цепи Я*".
Q1*'' = (0,2182; 0,2182; 0,1910; 0,1860; 0,1866).
Матрица Я*" состоит из п одинаковых строк Qr*".
Нетрудно проверить, что - ).
Матрица (я'Б 1-1) также сходится к матрице Я*".
Умножим матрицу Я' Б1-1 слева на диагональную матрицу, полученную из вектора выходных пропускных способностей вершин сети:
яп™ - )я Б"1.
Тем самым образуем новую сеть, пороговое значение которой Тпек' = Т11, а предельный вектор состояний при Ж = Т1 совпадает с вектором состояний исходной сети с ограничениями на аттракторы при Ж = Т1.
Rnew = diag(5;5;7;6;5)
( 0,8982 0,8982 2,8982 0,8779 0,8982
1,0203 1,0203 1,0203 2,0405 1,0203
( 0,1796 0,1796 0,4140 0,1463 0,1796
ч 7
1,0444 1,0444 1,0444 1,0444 1,0444
0,2041 0,2041 0,1458 0,3401 0,2041 1,0168 1,0168 1,0168 1,0168 1,0168
0,2089 0,2089 0,1492 0,1741 0,2089 1,0203] 1,0203 1,0203 1,0203 1,0203
0,2034 0,2041] 0,2034 0,2041
0,1453 0,1695 0,2034
0,1458 0,1700 0,2041
Эта сеть имеет два первичных аттрактора: вершины vi и V2.
out
r
Убедимся в этом, вычислив отношения для каждой
вершины:
out
r1
5
1* 4i
out
_4_
1* <?4
r
1* 42
6
0,2182 ■ = 32,23,
= 22,91 = T1
7
5
qf 0,1910 = 26,79.
= 36,65.
0,1860 ql5 0,1866
Как видно, на роль аттрактора третьей очереди претендует вершина У5. Вычисленное отношение для нее наименьшее среди неаттрактивных вершин.
Пример 2. Сеть с двумя аттракторами. Пусть сеть с пятью вершинами задана матрицей пропускных способностей:
R =
(0 0 11 1]
0 0 11 1
2 1 11 1
1 2 11 1
V 1 1 11 V
out
r
2
r
5
В этой сети два первичных аттрактора - вершины VI и У2. Причем аттракторы не имеют петель и не сообщаются ребрами.
Таким образом, для такой сети стохастическая матрица К имеет нулевой блок Ко':
К=
( 1 1 11
0 0
3 3 3
1 1 1
0 0
3 3 3
1 1 1 1 1
3 6 6 6 6
1 1 1 1 1
6 3 6 6 6
1 1 1 1 1
15 5 5 5 5 )
Примем, что р = 0.
Пороговое значение 711 = 21,1655.
Вторичный аттрактор этой сети - нейтральная вершина V5.
Рис. 2. Функционирование сети с ограничением на емкость аттрактора при Ж = 711 и Q(0) = (0; 0; 0; 0; 21,1655) (вершина V5 - вторичный аттрактор)
Вектор предельного состояния при Ж = Г11: й = (3,0; 3,0; 5,0827; 5,0827; 5,0).
Вычислим все блоки матрицы Б1-1. Для этого найдем С, с2, умножив вектор й на стохастическую матрицу К. й-Я = (3,5414; 3,5414; 4,6943; 4,6943; 4,6943). Тогда
* Л 0,5414
3,5414
= 0,1529 .
Я =
Г1
3 6
6 3
V 5 5,
Г 0,(3) 0,1(6)^ 0,1(6) 0,(3)
V 0,2 0,2 ,
Промежуточные вычисления:
Г1 1 1 I
(С ,...,£, )Я2 = (0,1529;0,1529)
3 6 5 111
= (0,0765;0,0765; 0,0612);
V 6 3 5
Г0,9235 0
е-(^...д)Я2 ] =
Е-а1а§[ (С1,...,С;)Я
0] 0 0,9235 0 0 0 0,9388
Г1,0828 0 0 ] 0 1,0828 0
0
0 1,0652
-1Е-diag[ (с1,...,Сг)Я2 II R2diag(c5,...,е1) =
С1 = С2 =
1
I
(1,0828 0
0 0
1,0828 0
0 1 0
1,0652
(1 11
3 6
1 1
6 3
1 1
V 5 5 у
(0,1529 0 ^ 0 0,1529
(-0,0552 - 0,02761
- 0,0276 - 0,0552
- 0,0326 - 0,0326
\
Отсюда
(
1 0 0 0 0
0 1 0 0 0
- 0,0552 - 0,0276 1,0828 0 0
- 0,0276 - 0,0552 0 1,0828 0
- 0,0326 - 0,0326 0 0 1,0652
Я'-1 =
И, наконец, вычислим К 8У 1:
Я',?'-1 =
0 0 1 1 11
3 3 3
0 0 1 1 1
3 3 3
1 1 1 1 1
3 6 6 6 6
1 1 1 1 1
6 3 6 6 6
1 1 1 1 1
5 5 5 5 5 )
1 0 0 0 01
0 1 0 0 0
- 0,0552 - 0,0276 1,0828 0 0
- 0,0276 - 0,0552 0 1,0828 0
- 0,0326 - 0,0326 0 0 1,0652У
- 0,0385 - 0,0385 0,3609 0,3609 0,3551Л
- 0,0385 - 0,0385 0,3609 0,3609 0,3551
0,3141 0,1474 0,1474 0,1805 0,1775
0,1474 0,3141 0,3141 0,1805 0,1775
0,1769 0,1769 0,2166 0,2166 0,2130у
КБ'-1 =
Как видно, эта матрица является псевдостохастической, так как имеет отрицательные элементы.
V
У
Разделив компоненты вектора й на пороговое значение Г11, получим предельный вектор распространения единичного ресурса, образующий предельную матрицу Я*" однородной цепи Маркова:
б1*'' = (0,1417; 0,1417; 0,2401; 0,2401; 0,2362).
Матрица Я*" состоит из п одинаковых строк б1*''.
Можно убедиться, что выполняется равенство
йЯ*'' = й .
При этом для предела степеней матрицы Я' Б1-1 выполняется равенство
(я Б-1 )Г= я*" .
Таким образом, предел степеней псевдостохастических матриц с отрицательными элементами - стохастическая матрица с неотрицательными элементами.
Допустимые преобразования.
Произведем с исходной матрицей допустимые преобразования, с тем чтобы превратить псевдостохастическую матрицу Я Б1-1 в стохастическую.
Увеличим все элементы блока Я0, прибавив к нему псевдостохастическую матрицу
Я5 =
Г 2 2
21 3
Тогда
^нем _
Г 2 2 1 1 11
7 7 7 7 7
Г 2 21 1 11 2 3 1 1 1
2 3 1 1 1 8 8 8 8 8
1 1 1 1 1
2 11 1 1
3 6 6 6 6
1 21 1 1 1 1 1 1 1
V 1 11 1 1, 6 3 6 6 6
1 1 1 1 1
V 5 5 5 5 5 ,
Вторичный аттрактор этой сети - также нейтральная вершина У5.
Пороговое значение увеличилось на суммарную пропускную способность добавленных ребер Т1пе™ = 30,1655.
Вектор предельного состояния при Ж = ТЕпен':
й"ек = (7,0; 8,0; 5,0827; 5,0827; 5,0) = й + (4; 5; 0; 0; 0).
Умножим новый вектор вектор й"" на стохастическую матрицу Я,пе№:
й"™Ятеу = (7,5414; 8,5414; 4,6943; 4,6943; 4,6943).
Заметим, что
д™ Я'™ = йЯ + (4, 5, 0, 0, 0).
При этом на вычислении величин С,с2 это не отразилось. Их величины остались прежними. По определению
. , 0,5414
с = С =-= 0,1529 .
1 2 3,5414
Матрица Я2 не претерпела изменений. Тогда вновь:
(
Б2=
Имеем
1 0 0 0 0
0 1 0 0 0
— 0,0552 — 0,0276 1,0828 0 0
— 0,0276 — 0,0552 0 1,0828 0
— 0,0326 — 0,0326 0 0 1,0652
Л
^пем —1_
Г2 2 1 1 1 ^
7 7 7 7 7
2 3 1 1 1
8 8 8 8 8
1 1 1 1 1
3 6 6 6 6
1 1 1 1 1
6 3 6 6 6
1 1 1 1 1
V 5 5 5 5 5 У
1 0 0 0 0
0 1 0 0 0
— 0,0552 — 0,0276 1,0828 0 0
— 0,0276 — 0,0552 0 1,0828 0
— 0,0326 — 0,0326 0 0 1,0652
V
У
ч
У
(0,2692 0,2692
К
'Б'-1 =
0,2356 0,3141 0,1474 0,1769
0,3606 0,1474 0,3141 0,1769
0,1547 0,1354 0,1474 0,3141
0,1547 0,1354 0,1805 0,1805
0,15221
0,1332
0,1775
0,1775
0,2130
ч 0,2166 0,2166 у
Как видно, из псевдостохастической матрицы К Я'-1 допустимыми преобразованиями получилась одна из бесконечно многих стохастических матриц Яте™ Б'-1. Разница между ними заключается лишь в строках, соответствующих потенциальным аттракторам.
Убедимся, что вектор 0>"е™ является собственным вектором этой матрицы.
Действительно,
(7; 8; 5,0827; 5,0827; 5)
'0,2692 0,2692 0,1547 0,1547 0,15221
0,2356 0,3606 0,1354 0,1354 0,1332
0,3141 0,1474 0,1474 0,1805 0,1775
0,1474 0,3141 0,3141 0,1805 0,1775
ч 0,1769 0,1769 0,2166 0,2166 0,2130 у
= (7; 8; 5,0827; 5,0827; 5).
Вектор Q1*", задающий соответствующую однородную цепь Маркова, будет следующим:
Q1*'' = (0,2321; 0,2652; 0,1685; 0,1685; 0,16575).
Вычислим отношение
для каждой вершины и найдем
аттракторы:
оШ
Г
7
1* 41
оШ
_3_
1* 4з
Г
0,2321
оШ
= 30,165 = Т1
г,
_4_
1* 44
6
0,1685
= 35,61.
8
1* 42
г
5_
1*
45
0,2652
_5
0,16575
= 30,165 = Т1
= 30,165 = Т1
Таким образом, в индуцированной сети, порожденной матрицей Я""™ = diag(r1oмí,..., гОО"' )Я Я , три аттрактора. В исходной
Г
4
опт
Г
2
сети два из них первичные - и У2, и один вторичный - У5. Однако с точки зрения новой сети эти аттракторы неразличимы.
8. Заключение
В работе исследованы основные свойства ресурсной сети с ограничениями на аттракторы. Доказана сходимость процессов перераспределения любого количества ресурса в регулярной несимметричной сети с ограничениями на аттракторы. Найдены предельные состояния и потоки. Сформулирован критерий вторичной аттрактивности вершин. Получено выражение для величины второго порогового значения Т11 и произведена его оценка. Кроме того, получен ряд результатов относительно изменения пропускных способностей, названных допустимыми. Эти результаты применимы не только к сетям с ограничениями, но и к базовой модели ресурсной сети без ограничений. Они задают преобразования, инвариантные относительно неаттрактивных компонент вектора состояния сети.
Эта модель интересна не только с теоретической точки зрения. Она может иметь практические приложения в разных областях. Наиболее перспективным, как нам кажется, является выявление явных и скрытых лидеров в группах агентов. Эта задача в некоторой степени обратна задаче нахождения консенсуса [1, 2, 14] и похожа на модели расчета влиятельности, описанные в [4, 5, 12] и многих других работах. Если в агентной системе есть матрица влияний, ее можно рассматривать как граф ресурсной сети. Поместив в сеть достаточно большое количество ресурса, заведомо большее порогового значения Т, можно выявить лидера группы - им будет вершина аттрактор. Для выявления «лидеров второго эшелона» - тех агентов, влиятельность и лидерский потенциал которых высоки, - представляется перспективным использовать предложенную модель с ограничениями. Ограничивая следом вторичные аттракторы и т.д., можно получить «круги лидерства», аналогичные кругам соседства вершины. Однако, в отличие от кругов соседства, лидерство является глобальным показателем системы. Продолжая итерационный процесс ограничения аттракторов всё боль-
ших степеней, можно ранжировать всю сеть по влиятельности входящих в нее агентов. Естественно, в социальных сетях топология (обозначающая влиятельность агентов друг на друга) не является жестко заданной и очень часто претерпевает изменения. Скрытые лидеры могут становиться явными. Предложенная модель легко расширяется до «дважды динамической»: с динамикой топологии и ресурса. В этом случае можно прогнозировать возможные изменения, а также исследовать сеть на наиболее уязвимые места, в которых малые воздействия могут привести к глобальной перестройке рангов аттракторов.
Литература
1. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Метод проекции в задаче о консенсусе и регуляризованный предел степеней стохастической матрицы // Автоматика и телемеханика. -2011. - №12. - С. 38-59.
2. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Сходимость и устойчивость в задачах согласования характеристик (обзор базовых результатов) // Управление большими системами. -2010. - №30.1. - С. 470-505.
3. АДЕЛЬСОН-ВЕЛЬСКИЙ Г.М., ДИНИЦ Е.А., КАРЗА-НОВ А.В. Потоковые алгоритмы. - М.: Наука, 1975. -119 с.
4. БАЗЕНКОВ НИ., ГУБАНОВ Д А. Обзор информационных систем анализа социальных сетей // Управление большими системами. - 2013. - №41. - С. 357-394.
5. ГУБАНОВ ДА., НОВИКОВ ДА., ЧХАРТИШВИЛИ А.Г.
Социальные сети: модели информационного влияния, управления и противоборства. - М.: Физматлит. - 2010. -228 с.
6. ЖИЛЯКОВА Л.Ю. Несимметричные ресурсные сети.
I. Процессы стабилизации при малых ресурсах // Автоматика и телемеханика. - 2011. - №4. - С. 133-143.
7. ЖИЛЯКОВА Л.Ю. Несимметричные ресурсные сети.
II. Потоки при больших ресурсах и их стабилизация // Автоматика и телемеханика. - 2012. - №6. - С. 103-118.
8. ЖИЛЯКОВА Л.Ю. Несимметричные ресурсные сети. III. Исследование предельных состояний // Автоматика и телемеханика. - 2012. - №7. - С. 67-77.
9. ЖИЛЯКОВА Л.Ю. Ресурсная сеть с ограничениями на емкость аттракторов // Управление большими системами. - 2015. - №58. - С. 67-89.
10. КЕМЕНИ ДЖ., СНЕЛЛ ДЖ. Конечные цепи Маркова. - М.: Наука, 1970. - 271 С.
11. ХОРН Р., ДЖОНСОН Ч. Матричный анализ. - М.: Мир, 1989. - 655 С.
12. BRIN S., PAGE L. The anatomy of a large-scale hypertextual web search engine. // Computer Networks. - 1998. - Vol. 30. -P.107-117.
13. CHRUSCINSKI D., MAN'KO V.I., MARMO G., VENTRIGLIA F. On pseudo-stochastic matrices and pseudopositive maps // arXiv:1504.05221v2 [quant-ph] - [Электронный ресурс] - URL: http://arxiv.org/pdf/1504.05221v2.pdf (дата обращения: 15.06.2015).
14. DeGROOT M.H. Reaching a consensus // J. Amer. Statist. Assoc. - 1974. - Vol. 69, No. 345. - P. 118-121.
15. HAJNAL J. The ergodic properties of non-homogeneous finite Markov chains // Proc. Cambridge Philos. Soc. - 1956. -Vol. 52. - P. 67-77.
16. HAJNAL J. Weak ergodicity in non-homogeneous Markov chains // Proc. Cambridge Philos. Soc. - 1958. - Vol. 54. -P. 233-246.
9. Приложение
Доказательство утверждения 1. Докажем, что
Г_E
V
стохастическая матрица. Здесь
Я =
'+1,1 'г+1,г
ои? ои?
'г+1 'г+1
'п1 'пг
ои? ои?
п п
Рассмотрим два нижних блока матрицы 5\0. 1) Блок
),...,е, (?)) =
'г+1,1
'г+1
)
)
Его к-я строка имеет вид
г+1,г
ои г
гг+1
С (?)
"¿С (?)
'г+к1
ои
V 'г+к
С. (' (Г)
'г+к
Ее сумма равна
'г+к1
оЫ
V 'г+к
К' (?)
'г+к
г г
•1 = I'
=1 '
г+к ,г
С (?):
г=1 'г+к
где 1 - вектор-столбец, состоящий из I единиц. 2) Найдем Е-diag( (сД?),...,сг(?))Я
Е - ^[(сД?),...,сг (?)) Я2 ] =
( г
1 -I С- (?)
'г+1,1
г=1 'г+1 0
1 -I С- (?)
г+2,1
1=1 'г+2 0 ...
0 ...
1 -I с (? )~п17
^ 1 „ои?
1 =1
оиГ
п
п
0
ои?
0
п у
Все ненулевые элементы положительны, поскольку ci(t) < 1, i = 1, ..., l, по определению, и
l r n r
Z/,\ l+k,i „ l+k,i i ci(t <1—^ =1.
ri+k
i = 1 rl + k
Сумма элементов строк с номером к двух блоков равна
= 1 .□
l r Г l r ^
(t) + 1 -]TCi(t) l+k,i
i=1 rl+k V i=
out
rl+k у
i=1
Доказательство теоремы 1.
Рассмотрим функционирование исходной сети при W > T с того момента времени, когда все аттракторы функционируют по правилу 1. При таком суммарном ресурсе в сети с матрицей R суммарный предельный поток стабилизируется на значении Т. При этом, по определению Т, все аттракторы на каждом такте отдают в каждое выходящее ребро ресурс, равный его пропускной способности. Когда произошла стабилизация, поток в каждой вершине сбалансирован, т.е. дивергенция в каждой вершине равна нулю и в сети происходит циркуляция [3]. Если пропускные способности ребер, связывающих аттракторы, соответствующие блоку R0, изменить, прибавив блок Rs, в полученном блоке R0 + Rs суммы элементов соответствующих строк и столбцов изменятся на одну и ту же величину. А это означает, что в каждой вершине сохраняется нулевая дивергенция. Изменение пропускных способностей ребер, связывающих аттракторы, на элементы матрицы Rs не нарушает баланса между аттракторами. При этом поток от аттракторов к остальным вершинам остается неизменным. Следовательно, выполняются все утверждения теоремы:
1) аттракторы не теряют свой статус; новые аттракторы не появляются;
2) компоненты вектора QHew, начиная с номера l + 1, совпадают с одноименными компонентами вектора Q ;
3) компоненты, соответствующие аттракторам, имеют ре-
" „out „out „out , „out
сурс равный ri _ new : r new = П + П _ S .
4) пороговое значение Tnew рассчитывается как сумма всех компонент вектора Q„ew, т.е. отличаются от T суммой первых l слагаемых. □
Доказательство теоремы 2.
1. Новая величина порогового значения T^ изменяется на то же значение rssum, что и величина порогового значения Tnew.
2. Если W е (Tnew, T ], это означает, что еще ни один вторичный аттрактор не перешел на функционирование по правилу 1. По правилу 1 функционируют только первичные аттракторы. Если мы снова изменим поток между аттракторами, не нарушая условия сбалансированности div(vi) = 0, i = 1, ..., l, потоки из аттракторов в неаттрактивные вершины останутся прежними. Следовательно соответствующие компоненты векторов потока и состояния не изменятся.
ОТГ 1 „out „out , „out
3. Как и в условиях теоремы 1, ri new = ri + rt S .
4. При некотором фиксированном ресурсе W чем больше выходная пропускная способность первичных аттракторов, тем меньше излишка получают вторичные аттракторы, и наоборот. Изменение суммарной пропускной способности аттракторов на величину rs sum влечет за собой изменение излишка ресурса во
вторичных аттракторах на противоположную величину - rssum.
□
Доказательство теоремы 5.
Вектор QQ - собственный вектор матрицы (R,new)c° = R"*, имеющей пороговое значение T"ew = T11 . При ресурсе, равном
rew
, все потенциальные аттракторы в предельном состоянии будут иметь ресурс, равный своей выходной пропускной способности (по определению порогового значения). По построению все аттрактивные вершины исходной сети с матрицей R будут аттракторами и в новой сети и для них условие (8) выполняется.
Поскольку при ресурсе, равном пороговому значению, сеть функционирует по правилу 2, предельное состояние существует, единственно и для него справедливо
Q _ TnewQi*new =r°ut-new_new,qm+) , m > l.
Суммы строк матриц R и Rnew совпадают, и поэтому rout_new _ rout, i = i, n, следовательно, формулу можно переписать в виде
(9) Q _ TmevQQ*'mev _ (r1out,...,C,qm+1,...,qn) , m > l.
Если m = l и больше ни в одной вершине в предельном состоянии ресурс не достиг значения rout , это означает, что поток в сети с ограничениями можно увеличить сверх 7° и при этом все вершины, за исключением первичных аттракторов, будут функционировать по правилу 2. А это противоречит определению 7°
Таким образом, множество вершин, для которых выполняется условие (8), расширяется. Все вершины, не являющиеся первичными аттракторами, - вторичные аттракторы. □
Доказательство теоремы 6.
Рассмотрим формулу (9).
Для аттрактивных вершин выполняется
Tnewq]*new _ rout, i = 1, ..., m.
Для остальных вершин:
Tnewqi*new < rfout, k = m +1, ..., n.
Непосредственно отсюда следует, что для всех аттрактивных вершин выполняется равенство
out out
r1 r m rrinew
— — _ T , для остальных - неравенство
1*new * 1*new q1 qm
new rk
rjinew ^
„out
r
1*new qk
У out
Таким образом, T11 _ Tnew _ min —£— .□
q*new
Доказательство теоремы 7.
1. T11 > T по определению. Накопление во вторичных аттракторах происходит только после того как насытились первичные. Во всех первичных аттракторах при W = T выполняется ~ = rout, i = 1, ..., l.
Во вторичных аттракторах при W = T выполняется строгое неравенство: qk <гЦ"", k = l + 1, ..., m.
T11 - такое значение суммарного ресурса, при котором будет выполняться qk = r^ut, k = l + 1, ..., m.
Выпишем два предельных вектора - Q для W = T и QQ для W = T11:
Q 4г ,...,гГ, q+1>...,~и );
QQ = (rioMt,..,rout ,...>rout, qm+i,..,qn ).
Сумма компонент первого вектора равна T, сумма компонент второго равна T11.
Сравним эти векторы покомпонентно. Для первых l компонент выполняется равенство, для остальных - строгое неравенство: qk <rkout, k = l + 1, ..., m; qk <qk, k = m + 1, ..., n. Второе неравенство строгое, потому что при W = T11 предельный поток в сети равен T11 > T , а это означает, что в предельном состоянии все вершины, не являющиеся ни первичными, ни вторичными аттракторами, будут иметь ресурс больший, чем при W = T.
Отсюда
T11 > T + £ (rkout - ~k ).
k=+1
2. rSum - суммарная пропускная способность сети. Рассмотрим вектор выходных пропускных способностей вершин:
Rout = (r1out,..., rmut,..., rnout); сумма его компонент равна rSum.
Сравним его с вектором предельного состояния при W = Г11:
QQ = (r1oMi,..., m, qm+1,...,qn ), сумма компонент которого равна T11.
qk <rГ, к = m + 1, ..., n. Следовательно, T11 < rSum. □
RESOURCE NETWORKS WITH THE CAPACITY LIMITATIONS ON ATTRACTOR-VERTICES. FORMAL CHARACTERISTICS
Ludmila Zhilyakova, Institute of Control Sciences of RAS, (Moscow, Profsoyuznaya st., 65), dr. sci., leader scientist, zhilyakova.ludmila@gmail.com.
Abstract: We study the resource redistribution in networks with capacity limitations on so-called attractor-vertices. The stability of the processes for any total amount of resource in such networks is proved. We formulate the criterion of secondary attractivity, and find vectors of limit flow and limit state, formula for the second threshold value of resource Т1. As indirect results we get several additional characteristics of networks with limitations and without them.
Keywords: resource network, graph dynamic threshold model, attractors, capacity limitation.
Статья представлена к публикации членом редакционной коллегии П.Ю. Чеботарёвым.
Поступила в редакцию 20.08.2015.
Опубликована 31.01.2016.
