Научная статья на тему 'Задача нахождения порогового значения в эргодической ресурсной сети'

Задача нахождения порогового значения в эргодической ресурсной сети Текст научной статьи по специальности «Математика»

CC BY
203
26
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЭРГОДИЧЕСКАЯ РЕСУРСНАЯ СЕТЬ / ПОРОГОВОЕ ЗНАЧЕНИЕ / ПРЕДЕЛЬНОЕ СОСТОЯНИЕ / РАСПРЕДЕЛЕНИЕ ПОТОКА / ERGODIC RESOURCE NETWORK / THRESHOLD VALUE / LIMIT STATE / FLOW DISTRIBUTION / RANDOM WALKS IN NETWORKS

Аннотация научной статьи по математике, автор научной работы — Скороходов Владимир Александрович

Рассмотрена задача поиска порогового значения в эргодической ресурсной сети. Показано, что данная задача сводится к решению системы уравнений, описывающей закономерности перераспределения ресурса для каждой вершины сети. Разработан алгоритм сложности $O(n^3)$ нахождения порогового значения в произвольной эргодической ресурсной сети.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The problem of finding the threshold value in ergodic resource network

Resource network is a graphical model of diffusion proposed earlier in the literature. Every node of the network stores some amount of “resource”. This resource disseminates through networks according to the specified rules. Earlier it was proved that if the total amount of resource in the network does not exceed some threshold value that the diffusion process is equivalent to the random walk in the related Markov chain. The problem of finding the threshold value in ergodic resource network is considered. It is shown that this problem is reduced to solving of system of equations, which describes the principles of redistribution of resource for each node of a network. The $O(n^3)$ complexity algorithm for finding the threshold value in arbitrary ergodic network is developed.

Текст научной работы на тему «Задача нахождения порогового значения в эргодической ресурсной сети»

УДК 519.1 ББК 78.34

ЗАДАЧА НАХОЖДЕНИЯ ПОРОГОВОГО ЗНАЧЕНИЯ В ЭРГОДИЧЕСКОЙ РЕСУРСНОЙ СЕТИ

Скороходов В. А.1

(Южный федеральный университет, Ростов-на-Дону)

Рассмотрена задача поиска порогового значения в эргодической ресурсной сети. Показано, что данная задача сводится к решению системы уравнений, описывающей закономерности перераспределения ресурса для каждой вершины сети. Разработан алгоритм сложности 0(п3) нахождения порогового значения в произвольной эргодической ресурсной сети.

Ключевые слова: эргодическая ресурсная сеть, пороговое значение, предельное состояние, распределение потока.

Введение

Ресурсные сети - динамические графовые модели распространения ресурса - введены и достаточно хорошо изучены в работах О. П. Кузнецова и Л. Ю. Жиляковой (см., например, [5, 7]). Ресурсная сеть - это сеть, для каждой дуги которой указана пропускная способность, а для каждой вершины - величина находящегося в ней ресурса. В каждый момент дискретного времени ресурс каждой вершины перераспределяется между смежными с ней вершинами по определённым правилам. Таким образом, между каждыми последовательными моментами времени по дугам сети проходит поток. При этом правила функционирования сети таковы, что обязательно выполняются два условия. Первое - это условие замкнутости сети, т.е. ресурс ни в какой вершине сети не добавляется извне и не исчезает. Второе - условие неразрывно-

1 Владимир Александрович Скороходов, кандидат физико-математических наук, доцент (pdvaskor@yandex.ru).

сти: ресурс, выходящий из вершины, вычитается из ее ресурса, а входящий в вершину - прибавляется к ее ресурсу.

Поскольку ресурс перераспределяется между вершинами в некоторой пропорции, то задача предельного распределения ресурса в сети схожа как с задачей поиска сбалансированного потока, рассмотренной в статье [2], так и с задачами о распределении потока, рассмотренными в статье [9]. Остановимся подробнее на указанных работах.

В статье [2] рассмотрена модель произвольной ориентированной сети с неограниченными пропускными способностями дуг, каждая из вершин которой производит некоторый поток ресурса. Предполагается, что время дискретно и на любом временном шаге каждая вершина распределяет пришедший в нее поток по исходящим дугам в заданной пропорции. Поток, пришедший в каждую вершину-сток, поглощается полностью. В статье [2] доказано, что в случае, когда каждая из вершин графа связана путем со стоком, при любом наборе величин производимого в вершинах потока существует единственный «сбалансированный» поток. Также приведены аналитические формулы для вычисления предельного потока.

В статье [9] рассмотрены задачи о максимальном потоке в произвольной ориентированной сети, для каждой дуги которой вместе с пропускной способностью задана вторая величина - доля приходящего в её начальную вершину потока, которая должна быть пропущена по этой дуге. Рассмотрены два вида такого распределения потока: жёсткое и нежёсткое. В случае жёсткого распределения приходящий в некоторую вершину поток распределяется по выходящим дугам строго в указанных для дуг долях. В случае нежёсткого распределения приходящий в некоторую вершину поток распределяется по выходящим дугам таким образом, чтобы долевая пропорциональность величин потока выполнялась только для тех дуг, на которых полученная величина потока меньше пропускной способности. Последнее означает, что в некоторых случаях нежёстко распределённый поток, приходящий в некоторую вершину, можно «продавить» по выходя-

щим дугам помимо того, что проходит через данную вершину при условии жёсткого распределения.

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

В настоящей работе рассмотрена задача поиска порогового значения в эргодической (сильно связной) ресурсной сети с применением подходов, описанных в работах [2] и [9]. Показано, что данная задача сводится к решению системы линейных алгебраических уравнений, описывающей закономерности перераспределения ресурса для каждой вершины сети.

1. Основные понятия

Приведём основные понятия, необходимые для дальнейшего изложения (см. [5, 7, 8]).

Определение 1. Ресурсной сетью называют связную ориентированную сеть С(Х, и, /) (X = [х\,..., хп}) без стоков, для каждой дуги и которой указана пропускная способность с(и), и задана вектор-функция <^(1) = (д\^),... ,дп(1)), где дг(¿) ^ 0 Vг е [1; п]г.

Величина называется количеством ресурса в вершине XI в момент времени ¿, а вектор Q(t) - состоянием сети в момент времени 1

Здесь и далее полагаем, что графом (сетью) является тройка С(Х, и, f), где X - множество вершин, и - множество дуг, а f -отображение, которое каждой дуге ставит в соответствие пару вершин (начальную и концевую).

Для того чтобы определелить вектор-функцию Q(t), задаётся вектор Q(0) = (д\(0),..., дп(0)) начального распределения ресурса в сети С и указываются правила перераспределения ре-

сурсов (правила функционирования сети):

+ 1) = чг(1) — ^ ^(и,1) + ^ ^(и,1) Vг е [1; п]^,

где величины Р(и, ¿) - величины ресурсного потока выходящего по дуге и в момент времени £ - определяются следующим образом (для определённости будем считать, что х^ - начальная вершина дуги и):

с^^ ^ (■£) > £ С(Ь);;

(1) ^ М) = <

+

^^ ■ ц(г), д3(г) < £ Ф).

] +

Здесь и далее через [х]+ будем обозначать множество дуг, выходящих из вершины х, а через [х]- - множество дуг, входящих в вершину х.

Определение 2. ^стояние <^(1) называется устойчивым, если выполняется <^(1) = <^(1 + 1).

Согласно правилам перераспределения ресурса, если Q(t) устойчиво, то для всех натуральных г имеет место равенство = + г).

Определение 3. ^стояние = (д*,...^1**) называется асимптотически достижимым из состояния Q(0), если для каждого г е [1; и всякого е > 0 существует ¿е такое, что для всех 1>1£ имеет место неравенство — ^(¿)| < е.

Определение 4. ^стояние называется предельным для начального состояния Q(0) в ресурсной сети С, если оно либо устойчиво и существует такой момент времени I, что = <3(1), либо оно асимптотически достижимо из Q(0).

Определение 5. Ресурсную сеть будем называть эргодиче-ской, если она является сильно связной.

Определение 6. Эргодическую ресурсную сеть будем называть регулярной, если существует по крайней мере два контура, длины которых являются взаимно простыми числами.

Определение 7. Эргодическую ресурсную сеть будем называть й-циклической, если наибольший общий делитель длин всех её контуров равен числу

Определим множества вершин 2+(Ь) и 2- (Ь) следующим образом. Будем говорить, что для всех ] е [1; п]г в момент времени £ вершина х^ е 2-(£), если ^ (Ь) ^ ^^ с(у), в противном

ve[xj ]+

случае будем говорить, что Xj е 2 +(£).

Другими словами, множество 2-(Ь) состоит из тех вершин х2 ресурсной сети, которые в момент времени £ передают по выходящим дугам весь свой текущий ресурс, т.е. каждая дуга и, выходящая из вершины х^ е 2-(Ь), насыщается ресурсным потоком по второму правилу (вторая строка) в (1). Множество 2+(Ь) образуется теми вершинами, для которых при полном насыщении своих выходящих дуг ресурсным потоком - работая по правилу 1 (первая строка) в (1) - передаёт не весь свой текущий ресурс.

Определение 8. Будем говорить, что вершина х переходит в зону 2-, если найдётся такой момент времени что х е 2-({) V г ^ г'.

п

Обозначим через Ш = ^ величину суммарного ресур-

г=1

са сети.

Определение 9. Пороговым значением для ресурсной сети С будем называть такую величину Т, для которой если Ш ^ Т, то все вершины ресурсной сети С перейдут в зону 2 В противном случае для каждого момента времени £ множество

2+(1) = 0.

2. Нахождение порогового значения в эргодической ресурсной сети

Рассмотрим вопрос о нахождении порогового значения для эргодической ресурсной сети С.

Поскольку все вершины сети в предельном состоянии при Ш ^ Т распределяют ресурс по второму правилу (вторая строка) в (1), следовательно, перераспределение ресурса между вершина-10

ми можно рассматривать как жёстко распределённый поток (см. [9]) в сети, каждая вершина х которой является одновременно и источником с потенциалом д* (см. [2]), и стоком. Последнее становится возможным, поскольку в предельном состоянии при Ш ^ Т весь ресурс перераспределяется за один такт, и в каждой вершине в следующий момент £ + 1 оказывается столько же ресурса, сколько было в момент времени £ для всех £ £ Z+.

Таким образом, для величин пропускной способности с(и) и величин предельного потока Р*(и) справедливы следующие выражения ([3, 9]):

( £ Е*(и) - Е р*(и) = 0' Vж £ х;

(2)

и6 [ж] иб[х]+

У 0 < ^*(и) < с(и), Vи £ и.

(3) Р*(щ) • с(щ) = ^*(щ) • с(щ) V£ [х] + , Vх £ X.

Отметим, что структура произвольной эргодической ресурсной сети такова, что при дополнительных условиях, когда считаем каждую вершину и источником, и стоком, она удовлетворяет условиям з-охватываемости и ¿-охватываемости (см. [9]). Последние соответственно означают, что для каждой вершины х существует путь из какого-нибудь источника в вершину х и существует путь из вершины х в какой-нибудь сток. Отсюда следует, что для нахождения порогового значения можно воспользоваться методом, описанным в работах [2] и [9]. Согласно этому методу для сети С составим систему линейных алгебраических уравнений, которые описывают закономерности распределения ресурса из каждой вершины при условии, что все вершины находятся в зоне 2- и достигнуто предельное состояние О*. Её решение позволит определить пороговое значение для сети С.

Систему уравнений относительно неизвестных Р (и) - количества ресурса, проходящего по дуге и, и - количества ресурса в вершине х, будем строить в три этапа:

Этап 1. Для каждой вершины х составим уравнения следующего вида:

(4) ^ (и) - • Ях = 0 V и £ М+,

ьб[х] +

(6)

(5) О, — £ ^(ь) = 0.

Замечание 1. Уравнения (4) (первого вида) обеспечивают выполнение равенства (3). Уравнения (5) (второго вида) связывают величину входящего в вершину х потока с величиной ресурса в этой вершине, таким образом обеспечивая выполнение равенства в условии (2).

Этап 2. К уравнениям, построенным на этапе 1, добавим уравнение вида Р (-ы) = г, где г е и - произвольная дуга сети О. Таким образом, получили систему уравнений

^(и) — . ■ = 0, V х е X, V и е М+;

ь£[х] +

— ^ ^(у) = 0, V ж е X;

к РМ = г.

Покажем, что решение системы (6) существует и единственно.

Зафиксируем нумерации во множествах вершин и дуг: X = {х\, х2,..., хп-\,хп} и и = {и\,и2,..., ит}. Здесь и далее будем считать, что т, = \и|. Основную матрицу системы (6) обозначим через А. При этом порядок следования элементов в строке матрицы А таков, что вначале указываются коэффициенты при неизвестных Р(и), затем при неизвестных Qx.

Теорема 1. Решение системы уравнений (6) существует и единственно для любого действительного значения х.

Доказательство. Основная матрица системы (6) без послед-

ней строки имеет следующим вид:

А' =

1 0 . .0 bii bl2 . . bin

0 1 . .0 Ь21 Ь22 . . b2n

0 0 . .1 bm1 Ьт2 . . bmn

ап ai2 . . 0,1т, 1 0 . .0

0,21 «22 . . 0,2т 0 1 . .0

oni оП2 . . Опт 0 0 . .1

где величины a,ij и bij определяются по следующим правилам:

Н]

{ —

-1, Uj е [Xi] ;

Uj е [%i]-.

bij =

- c(Uj)

£ Ф)■

ve[xj ]+ 0,

Ui е [xj ]+;

Ui е [xj ]+.

Обозначим через В матрицу, состоящую из элементов Ь^. Отметим, что для элементов Ь^ матрицы В имеет место следующее соотношение:

(7)

^ bij = -1 Vj е [1; n]z.

i=1

Покажем, что rank А1 = т + п — 1. Для этого проведём элементарные преобразования строк матрицы А1 таким образом, чтобы исключить все ненулевые элементы a,ij. В результате получим матрицу А'1 такую, что

f Ет В \ Al = { в D )

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Em В

в D

где Ет - единичная матрица порядка т, в - матрица порядка п х т, все элементы которой равны нулю.

Таким образом, получили, что rank А1 = rank Ет + rank D, и поскольку rank Ет = т, то покажем, что rank D = п — 1.

Рассмотрим отдельно матрицу D. Её элементы dij таковы,

что

^ d%3 = 0 Vj е [1; n]z.

г=1

Это следует из правил построения системы (6) и соотношения (7). Более того, для матрицы D имеет место равенство D = (Е — РУ, где Р - стохастическая матрица (см. [1, 5]) ресурсной сети G.

Матрица Р является неотрицательной, следовательно (см. [1]), её наибольшее по модулю собственное значение г является положительным и простым корнем характеристического многочлена, и поскольку Р является стохастической матрицей, то г = 1. Отсюда и из сильной связности ресурсной сети G следует, что rank D = rank (Е — Р)Т = п — 1.

В итоге показали, что rank R = m + п — 1, следовательно, элементарными преобразованиями расширенная матрица системы (6) может быть приведена к следующему виду:

А'' =

1

О О

V 0

ООО

ООО ООО О1О

О

а,1

1 &т+п— 1

О О

О

О О

z !

где а,г = 0 для всех значений г £ [1; т + п — 1]г. Последнее следует из нетривиальной разрешимости задачи о максимальном потоке в сети, которая является одновременно з-охватываемой и ¿-охватываемой (см. [9]).

Для определённости обозначим через р номер столбца, содержащего единицу в последней строке (т.е. будем считать, что = ир). Выполним элементарное преобразование для строки Ар: Ар — А'^+п+1. В левой части полученной строки А'р остался единственный ненулевой элемент ар, находящийся в последнем столбце. При помощи этого элемента элементарными преобразованиями исключим остальные элементы столбца р.

В результате получили, что rank А = rank А" = т + п. Следовательно, решение системы линейных уравнений (6) существует и единственно.

Для ресурсной сети G рассмотрим две системы вида (6), которые отличаются только последним уравнением. Положим F (и) = zi последним уравнением первой системы, а F (и) = Z2 - последним уравнением второй системы. Пусть (F', Q') и (F", Q") - соответственно решения первой и второй системы вида (6).

Теорема 2. Если z1 ^ z2, то имеют место следующие соотношения:

(8) Г Р'(иг) > F"(Ui), Vi е [1; m]z;

(8) \Q'X] > Q'xj, V j е [1; n]z.

Доказательство. Аналогично доказательству теоремы 2 в [9] соотношения (8) напрямую следуют из неравенства z1 ^ z2 и полученного в доказательстве теоремы 1 общего вида решения системы (6):

(F,Q) = z ■ ( £ь ..., £т, (1, ..., (п У , где = 1, если щ = и.

В качестве следствия теоремы 2 выступает следующая теорема.

Теорема 3. Величина порогового значения Т в ресурсной сети может быть найдена при помощи следующего алгоритма.

Алгоритм 1.

Шаг 0. Положим V = Ф, V = U \ V. _

Шаг 1. Выберем произвольную дугу и множества V. Решаем систему уравнений (6), в качестве последнего уравнения полагаем уравнение F(и) = с(и).

Шаг 2. Для каждой дуги w е V выполняем проверку подстановкой решения системы уравнений, рассмотренной на шаге 1, и если неравенство в условии (2) выполняется, то V := V{J{w}.

Шаг 3. Если V = и, то полагаем V = и \ V и возвращаемся на шаг 1. Иначе полученное на шаге 1 решение системы вида (6) является искомым и пороговое значение Т может быть найдено следующим образом:

п

т = £ ЯХг.

г=1

Вычислительная трудоёмкость алгоритма 1 определяется трудоёмкостью решения системы линейных алгебраических уравнений, которая исходя из общего вида системы (6) и доказательства теоремы 1 ограничена величиной 0(п3), где п = \Х|. Таким образом трудоёмкость алгоритма 1 ограничена величиной 0(т ■ п3), и в худшем случае, когда сеть О является плотной, она ограничена величиной 0(п5). Однако, аналогично тому, как было отмечено в [9], трудоёмкость алгоритма 1 может быть уменьшена ввиду общего вида решения системы (6), указанного в доказательстве теоремы 2. Действительно, получив решение системы (6), одновременно с ним определяется пропорциональность его элементов. Таким образом, нет необходимости в повторном решении системы.

Пользуясь пропорциональностью элементов решения и тем, что один из них (в части Р) должен совпадать с пропускной способностью соответствующей дуги, полученное решение системы с трудоёмкостью, ограниченной величиной 0(п2), может быть приведено к искомому. Таким образом, вычислительная трудоёмкость алгоритма 1 может быть уменьшена до 0(п3).

3. Существование предельного состояния при Ш = Т

Рассмотрим вопрос о существовании предельного состояния в эргодической ресурсной сети С при Ш = Т.

Пусть Q(0) - начальное состояние в сети С. При этом со-

п

стояние Q(0) таково, что Ш = £ д^0) = Т. В случае, когда

1=1

сеть С является регулярной, для любого начального состояния существует единственное предельное состояние (см. [4, 8]). Та-

ким образом, рассмотрим только случай нерегулярной эргодиче-ской сети.

Полагаем, что наибольший общий делитель длин всех контуров в сети С равен й. Для марковской цепи, соответствующей такой ресурсной сети, не существует предельного распределения (см. [8]). Значит, по [5] для случая Ш < Т начальное состояние определяет существование предельного (см. [5]), поскольку в большинстве случаев количество ресурса в каждой вершине будет периодически повторяться с периодом й. Однако случай Ш = Т существенно отличается от предыдущего.

По теореме 1 из [6] при Ш ^ Т потоки стабилизируются, предельный поток существует и единственен и в сети существует предельное состояние для любого начального состояния. Пороговое значение Т составляется из элементов решения системы (6) при условии (3), описывающем закономерности распределения ресурса в случае, когда все вершины находятся в зоне Zи условии максимальности ресурсного потока, проходящего в сети С.

Таким образом, справедлива следующая теорема.

Теорема 4. Состояние полученное последним при применении алгоритма 1 для нахождения порогового значения сети, является предельным для любого начального состояния Q(0) с суммарным ресурсом величины Ш = Т.

Доказательство напрямую следует из теоремы 1 в [6] и теоремы 3.

Пример 1. Рассмотрим ресурсную сеть С1 на рис. 1. Для удобства (чтобы не загромождать рисунок) каждая пара противоположных дуг изображена одним ребром. Т.е. каждая вершина сети С1 соединена дугой с каждой из оставшихся вершин и, кроме того, в вершинах 1 и 4 имеются петли.

Отметим, что сеть С1 является регулярной, поскольку существуют по крайней мере два контура, длины которых - простые числа (см. [9]). Далее также будет рассмотрен пример эргодиче-ской сети, которая не является регулярной.

2

3

Рис. 1. Регулярная сеть Сг с петлями Матрица пропускных способностей для сети С\ имеет вид

Сг =

( 2 2 2 2 2 \ 2 0 2 2 2

5 5 0 5 5 4 4 4 4 4 11110

Зафиксируем нумерацию дуг сети следующим образом:

f (иг) = (1,1), f (и2) = (1, 2), /Ы = (1, 3), f (щ) = (1, 4), /(и5) = (1, 5), /(щ) = (2,1), /(и7) = (2, 3), /(щ) = (2, 4), /(ид) = (2, 5), /(то) = (3,1), /(ип) = (3,2), /(и12) = (3,4), /(игз) = (3, 5), /(иы) = (4,1), /(и15) = (4,2), /(иге) = (4,3), f (ии) = (4, 4), f (иге) = (4, 5), f (щд) = (5,1), f (и2о) = (5, 2), /(и2г) = (5,3), /(и22) = (5,4).

Решая для ресурсной сети Сг систему вида (6), полагая Р(и,г) = 2 в качестве последнего уравнения, получим следующий набор значений: Р(щ) = 2, Vг £ [1; 22]г и <^г = = 10, Я2 = Яз = Яь = 8.

Поскольку для найденного решения системы вида (6) выполняется Р(и,гд) > с(и,гд), то необходимо выполнить пересчёт, пользуясь пропорциональностью элементов решения. В результате такого пересчёта получим искомый набор значений: Р(щ) = 1, Vг £ [1;22]г и Яг = Яа = 5, Я2 = Яз = Яб = 4.

Таким образом, пороговое значение для ресурсной сети Сг равно Т = 22. Предельное состояние Q* = Q при величине ресурса в сети Ш = Т. • 18

5

Пример 2. Рассмотрим 3-циклическую ресурсную сеть С2

на рис. 2.

0 2 0 4 0

0 0 2 0 0

1 0 0 0 0

0 0 0 0 4

2 0 0 0 0

5 ^

Рис. 2. Ресурсная сеть С2 Матрица пропускных способностей имеет вид

С2 =

Решая для ресурсной сети С2 систему вида (6), полагая Р(и\) = 2 в качестве последнего уравнения, получим следующий набор значений: Р(иг) = Р(и3) = Р(и4) = 2, Р(и2) = Р(и5) = Р(щ) = 4, Яг = 6, Я2 = Яз = 2, Яа = Яъ = 4. Выполняя пересчёт с использованием пропорциональности, получим искомый набор значений: Р(иг) = Р(и3) = Р(и4) = 1, ^Ы = ^(и5) = Р(щ) = 2, Яг = 3, Я2 = Яз = 1, Яа = Яъ = 2.

Таким образом, пороговое значение для ресурсной сети С2 равно Т = 9. Предельное состояние Я* = Я при величине ресурса в сети Ш = Т. На рис. 3 приведены графики динамического изменения величины ресурса в сети С2 при начальном состоянии

Я(0) = (0, 0, 6, 0, 3).

Следует отметить формулу для вычисления порогового значения ^-циклической ресурсной сети, приведённую в [6, стр. 24]

4

2

Рис. 3. Графики динамического изменения величин ресурсов в сети С2, где 1, 2, 3, 4, 5 - номера узлов сети С2

как следствие 2 к теореме 2: (9) Т = min

cpOUt ' i

qj* '

где г"иЬ = ^ а элементы ql* являются средними ариф-

]+

метическими соответствующих компонент предельных векторов (] € [1; q}z) при Ш = 1 и произвольном начальном состоянии. Однако вычисление последних представляется довольно затруднительным для произвольной ресурсной сети, а именно, в тех случаях, когда значение й заранее неизвестно. Существующие алгоритмы поиска только величины й имеют вычислительную трудоёмкость 0(п3), что уже сравнимо с трудоёмкостью алгоритма 1. С другой стороны, в [6] показано, что вектор О1* = ,..., ^^ является единственным положительным собственным вектором стохастической матрицы ресурсной сети, а значит, трудоёмкость его вычисления (0(п3)) должна быть сравнима с трудоёмкостью алгоритма 1.

Приведём вариант решения задачи поиска порогового значения в ресурсной сети С2 при помощи формулы (9).

Сеть С2 является 3-циклической ресурсной сетью, в которой множество вершин разбивается на три циклических множества: {1}, {2, 4} и {3, 5}. Тогда для произвольного начального состояния при величине ресурса Ш = 1 предельные векторы имеют вид:

<<\* = (1; 0; 0; 0; 0), <<\* = (о; , <\* = (в; 0; 1; 0; 0 .

Найдём компоненты ql* вектора < * как среднее арифметическое соответствующих компонет векторов < *, ] £ {1, 2, 3}. Получим

<* =П 1122

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1* = (1И2.2\

r^OUt

Для каждой вершины i вычислим значение величины г

qj *•

„out О rnOUt Г) Out 1

= 6- = 18, \ = 1 = 18, \г = 1 = 9, 1* 1 1* 1 1* 1

41 3 42 9 43 9

~out Л ~out О

\ = 4 = \ = 2 = 91* 2 1* 2

44 9 45 9

Минимум достигается в вершинах 3 и 5. Таким образом, получили Т = 9. •

Литература

1. ГАНТМАХЕР Ф.Р. Теория матриц. — М.: Наука, 1966. -576 с.

2. ЕРЗИН А.И., ТАХОНОВ И.И. Задача поиска сбалансированного потока // Сибирский журнал индустриальной математики. - 2006. - Т. IX, №4(28). - С. 50-63.

3. ЕРУСАЛИМСКИЙ Я.М., СКОРОХОДОВ В.А., КУЗЬМИ-НОВА М.В., ПЕТРОСЯН А.Г. Графы с нестандартной достижимостью: задачи, приложения. — Ростов-на-Дону: Южный федеральный университет, 2009. — 195 с.

4. ЖИЛЯКОВА Л.Ю. Несимметричные ресурсные сети. I. Процессы стабилизации при малых ресурсах // Автоматика и телемеханика. — 2011. — №4. — С. 133-143.

5. ЖИЛЯКОВА Л.Ю. Эргодические циклические ресурсные сети. I. Колебания и равновесные состояния при малых ресурсах // Управление большими системами. - 2013. — №43. — С. 34-54.

6. ЖИЛЯКОВА Л.Ю. Эргодические циклические ресурсные сети. II. Большие ресурсы // Управление большими системами. - 2013. — №45. — С. 6-29.

7. КУЗНЕЦОВ О.П., ЖИЛЯКОВА Л.Ю. Двусторонние ресурсные сети - новая потоковая модель // Доклады АН. -2010. — Т. 433, №5. — С. 609-612.

8. СКОРОХОДОВ В.А. Устойчивость и стационарное распределение на графах с нестандартной достижимостью // Известия ВУЗов. Северо-Кавказский регион. Естественные науки. - 2007. — №4. — С. 17-21.

9. СКОРОХОДОВ В.А., ЧЕБОТАРЕВА А.С. Задача о максимальном потоке в сети с особыми условиями распределения потока // Дискретный анализ и исследование операций. - 2015. — Т. 22, №3. — С. 55-74.

THE PROBLEM OF FINDING THE THRESHOLD VALUE IN ERGODIC RESOURCE NETWORK

Vladimir Skorokhodov, Southern Federal University, Rostov-on-Don, Cand.Sc., Associated Professor (pdvaskor@yandex.ru).

Abstract: Resource network is a graphical model of diffusion proposed earlier in the literature. Every node of the network stores some amount of "resource". This resource disseminates through networks according to the specified rules. Earlier it was proved that if the total amount of resource in the network does not exceed some threshold value that the diffusion process is equivalent to the random walk in the related Markov chain. The problem of finding the threshold value in ergodic resource network is considered. It is shown that this problem is reduced to solving of system of equations, which describes the principles ofredistribution of resource for each node of a network. The 0(n3 ) complexity algorithm for finding the threshold value in arbitrary ergodic network is developed.

Keywords: ergodic resource network, threshold value, limit state, flow distribution, random walks in networks.

Статья представлена к публикации членом редакционной коллегии О. П. Кузнецовым.

Поступила в редакцию 15.12.2015. Дата опубликования 30.09.2016.

i Надоели баннеры? Вы всегда можете отключить рекламу.