Задача о равновесной маршрутизации транспортных сетей

ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ

ТЕХНИКА

УДК 621.865.8-5.001.5

Н. С. Васильев

ЗАДАЧА О РАВНОВЕСНОЙ МАРШРУТИЗАЦИИ ТРАНСПОРТНЫХ СЕТЕЙ

Доказано существование равновесия по Нэшу в векторной задаче маршрутизации. Установлено, что равновесие обладает свойствами устойчивости и эффективности по Парето. Обоснована сходимость игрового алгоритма поиска равновесия, уравнивающего длины маршрутов.

Ключевые слова: многопродуктовые сети, маршрутизация, теория игр,

равновесие по Нэшу, оптимальность по Парето, устойчивость решения.

Рассмотрим многокритериальную оптимизационную задачу маршрутизации многопродуктовой сети. Создание эффективных систем управления потоками в транспортных сетях (ТС), например в пакетных телекоммуникационных системах, основано на моделях сетей с переменной метрикой [1-5]. Изменяемая метрика присуща даже од-нопродуктовой пакетной сети из-за наличия обратной связи между потоками и задержки в передаче пакетов (задержка — это метрика). Игнорирование такой зависимости не позволяет обеспечивать устойчивого управления потоками ТС [1].

Свойства ТС с переменной метрикой ранее изучались в связи с поиском равновесной маршрутизации глобальной пакетной сети передачи данных [2, 3]. При этом существование равновесной маршрутизации установлено лишь для сетей с близкой к кольцевой топологией. В результате проведения вычислительных экспериментов найдено равновесие по Нэшу в модели сети Интернет [4]. Таким образом, численный поиск равновесного решения задачи уже прошел экспериментальную апробацию, но не получил должного теоретического обоснования.

Настоящая статья посвящена доказательству общей теоремы существования равновесия и установлению его свойств — устойчивости и эффективности по Парето, сходимости алгоритма поиска равновесной маршрутизации, в котором, уравниваясь, уменьшаются длины маршрутов передачи продуктов.

Оптимизационная модель ТС. Топологию ТС представим в виде связного неориентированного графа Г = (и, V), вдоль ребер I Е V (I = 1, 2,... ,п) которого расположены линии (каналы) передачи продуктов, а в узлах и Е и размещены источники и стоки передаваемых потоков. Доставка продуктов каждой к-й пары источник-сток,

или тяготеющей пары (к = 1, 2 ,...,К) осуществляется по одному или нескольким маршрутам графа сети (Ьк}, соединяющим эти узлы. Входные потоки Ак — А^ поступают в узлы—источники, разделяются в них на маршрутные потоки (Ак} и по маршрутам (Ьк} передаются в соответствующие узлы-стоки, из которых покидают ТС.

Функционирование сети происходит с задержками /г(гг) на линиях сети / — 1, 2,..., п, зависящими от потоков гг. Например, в пакетных сетях передачи данных время задержки всякого пакета на любой линии складывается из:

• времени определения направления дальнейшей передачи (в транзитный узел сети) с помощью маршрутной таблицы;

• времени ожидания пакета в очереди;

• времени пересылки пакета по выбранной линии.

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

Время доставки продуктов вдоль маршрута Ь (или длина маршрута Ь) равно сумме задержек:

Pf

leb

Зафиксировав векторную функцию / — (/ь /2,..., /п), опустим далее индекс / в обозначении метрики сети (1). Потоки в сети задаются в единицах измерения интенсивности передачи. По смыслу использованных обозначений для всех допустимых значений индексов к, / должны выполняться балансовые соотношения

J

k

ЕАк = Ак и £ Ак — г;.

Здесь гг обозначает суммарный поток по /-й линии ТС, который ограничен значением гг — пропускной способностью линии:

гг < / — 1, 2,..., п.

Под допустимой маршрутизацией сети (для к-й тяготеющей пары) понимаем совокупность маршрутов Мк — (Ьк} и маршрутных потоков (Ак} (интенсивностей передачи) для всех тяготеющих пар к — 1, 2,..., К такую, что выполняются соотношения (2), (3) и р(Ьк, г) < то. Векторный входной поток (А1, А2,..., А^) называется допустимым, если для него найдется допустимая маршрутизация.

Задавая маршрутизацию, будем перечислять только применяемые маршруты передачи, для которых маршрутные потоки положительны. В процессе управления ТС за счет ограничения входного потока обеспечивается его допустимость. Выбор допустимой маршрутизации M = {{Lk}, {\k },k = 1, 2,..., K} однозначно задает вектор допустимых потоков по линиям ТС z = (z\, z2,..., zn), от которого зависит время передачи продуктов (изменяется метрика сети (1)).

Любая k-я тяготеющая пара "заинтересована" в уменьшении времени доставки продуктов, которое определяется длинами применяемых маршрутов передачи (1). В сети с потоками z минимально возможное время доставки продуктов k-й пары составляет

Tk(z) = min p(Lk, z),

где {Lk} — множество всех маршрутов, соединяющих эту пару.

Маршрутизацию k-й тяготеющей пары назовем оптимальной, если все применяемые маршруты передачи имеют минимальную длину, равную Tk (z).

Поскольку вектор z зависит от выбираемой маршрутизации (см. (2)), то оптимальным решением этой задачи для k-й пары является выбор ее кратчайших маршрутов соединения в сети с изменяющейся метрикой (1) [5].

Далее исследуется игровая задача об оптимальной маршрутизации ТС. Тяготеющие пары k = 1, 2,...,K рассматриваются как игроки в бескоалиционной игре, выбирающие свою стратегию — маршрутизацию [2, 4]. Равновесие по Нэшу в этой игре назовем равновесной (оптимальной) маршрутизацией ТС. Соответствующий вектор потоков в сети также будем называть равновесным.

В равновесии каждой тяготеющей паре "невыгодно" отклоняться от своей маршрутизации (из-за этого время передачи продуктов только увеличится) при условии, что все остальные пары придерживаются своих маршрутизаций.

На практике выбор маршрутизации может проводиться не самими тяготеющими парами, а с помощью некоторого алгоритма, построенного на этом принципе. Таковы, например, сетевые протоколы [1].

Существование равновесия. Введем вспомогательную задачу математического программирования, определив функции ti = ti(zi) (l = 1, 2,... ,n) как решения задачи Коши для обыкновенного дифференциального уравнения (ОДУ):

dt

zi-t + ti = fi

dzi

Пусть Z — многогранник допустимых потоков по линиям передачи. В соответствии с выражениями (2) и (3) Z — выпуклый ограниченный многогранник. Рассмотрим следующую экстремальную задачу:

n

F

i=i z

Теорема 1. Пусть все функции задержек монотонно возрастают, дифференцируемы и V//i(z) ^ то, z ^ zi. Тогда, если Z = 0, то минимум целевой функции (5) достигается в единственной точке z*, которой отвечает некоторая равновесная маршрутизация.

Доказательство. С помощью критерия Сильвестра проверим положительную определенность матрицы Якоби целевой функции F(z). Условия теоремы и определение этой функции (см. (4), (5)) дают д 2F д 2F

_ = (*ti(.,) +tlыс = /;<zi) > о, д-^ = o.'i = l2,

где штрихом обозначено дифференцирование по переменной zi. Все условия этого критерия выполнены, поэтому целевая функция F(z) — строго выпуклая. В условиях теоремы это позволяет сделать вывод о том, что решение выпуклой экстремальной задачи (5) существует и единственно.

Докажем, что z* — точке минимума функции (5) — отвечает равновесная маршрутизация. Для этого применим теорему Куна-Таккера [6], которая в данном случае служит критерием оптимальности потока z*. В записи условий оптимальности учтем, что ограничения (3) неактивны. Согласно принятым предположениям элемент z* удовлетворяет строгим неравенствам в (3).

Выразим произвольный допустимый вектор z в виде z = AA, где вектор A = (AJ) входит в соотношения (2). Через A обозначена n х х J-матрица всех маршрутов, соединяющих рассматриваемую тяготеющую пару. Напомним, что A — это 0 х 1-матрица инциденций ребра-маршруты. Маршруты передачи представлены столбцами матрицы A. Указанное представление вектора потоков z = AA всегда возможно: для неприменяемых маршрутов L^ полагаем A^ = 0.

Условия оптимальности из теоремы Куна-Таккера в задаче (2)-(5) представляют собой систему соотношений, распадающуюся на подсистемы, описывающие оптимальные решения для отдельных тяготеющих пар. Поэтому рассмотрим произвольную пару k, зафиксировав маршрутизацию остальных пар. Для упрощения записи в обозначениях опустим верхний индекс k.

Итак, запишем функцию Лагранжа [6, 7]:

H(р, A) = F(AA) + ^р, Ao - £ A^ , A > 0.

Тогда критерий оптимальности маршрутизации (векторы Л = Л*, z * = АЛ*) для k-й тяготеющей пары принимает следующий вид:

VXH = fA - j

Здесь вектор задержек f = (f\, f2,..., fn) вычислен в точке z*.

Если Лj = 0, то из соотношений (6) следует равенство (fA)j = j, а иначе (fA)j ^ j. По определению матрицы маршрутов и из уравнения (1) (fA)j = p(Lj,z*). Полученные соотношения означают, что все маршруты, применяемые произвольной k-й парой, являются кратчайшими (имеющими длину j). Отсюда следует, что решение задачи маршрутизации, отвечающее вектору потоков z*, равновесно, так как в соответствии с определением доказана оптимальность маршрутизации всех тяготеющих пар.

Эффективность равновесия. На множестве допустимых маршру-тизаций ведем отношение эквивалентности. Именно, маршрутизации M\,M2 (всей сети или только отдельной пары) эквивалентны, если они приводят к одному и тому же вектору потоков z на линиях сети. Класс эквивалентности маршрутизации M обозначим как Rz (M).

Для упрощения записи опустим индекс z, а множество применяемых k-й парой маршрутов {Lк} при маршрутизации M — обозначим Mk.

Из доказательства теоремы 1 вытекает

Следствие 1. Равновесной является всякая маршрутизация, которая эквивалентна равновесной маршрутизации.

Считаем, что в сети с потоками z может применяться произвольная эквивалентная маршрутизация. Это предположение имеет место в пакетных сетях, в которых управление передачей осуществляется с помощью маршрутных таблиц [1]. Тогда время доставки продуктов k-й пары вычисляется по следующей формуле:

Tk

M'eRz(Mk) Lj£M' j

Подстановка в уравнение (7) равновесной маршрутизации дает значения критериев (7), совпадающие с длинами применяемых (кратчайших) маршрутов (следствие 1).

Теорема 2. Пусть все пары узлов графа сети являются тяготеющими и для любых попарно смежных ребер k,l,m выполнены неравенства треугольника fk(0) ^ f (0) + fm(0). Тогда равновесная маршрутизация Парето эффективна.

Доказательство. Рассуждая от противного, найдем такую допустимую маршрутизацию M = {{Lk}, {Лк}, k = 1, 2,..., K}, для которой

VkTк

Здесь хотя бы одно неравенство — строгое [8]. Поэтому равновесные потоки г* таковы, что г = г*.

Из неравенства треугольника следует, что в равновесии г* > 0 (/ = 1, 2,..., п). Докажем, что

%1 < г*, / = 1, 2,..., п.

Если при маршрутизации М линия / не применяется для передачи продуктов, то соответствующее неравенство (9) очевидно выполнено. Пусть теперь > 0, / = (а, Ь). Можно считать, что у тяготеющей пары (а,Ь), номер которой к, имеется маршрут соединения Ь = {(а, Ь)} € Мк. Если это не так, то покажем, что существует маршрутизация М'к € Д(Мк), обладающая этим свойством. Тогда вместо М достаточно рассмотреть М'.

Поскольку > 0, то найдется такая пара к', что / = (а, Ь) € Ьк' € € Мк'. Выберем величину А, 0 < А < шт{Ак, Ак'}, где поток Ак проходит по такому маршруту Ьк, что / € Ьк € Мк. Тогда часть маршрутного потока Ак, равную величине А, перебросим с маршрута Ьк на Ь — новый для к-й пары маршрут соединения. Такую же величину А, являющуюся частью потока Ак', направим по маршруту Ь' = (Ьк'\{/}) и Ьк, новому для пары к'. Все остальные элементы маршрутизации М оставим без изменения. В результате получена искомая маршрутизация М', М' € Д(М).

Согласно допущению (8) относительно маршрутизаций М, М* и определению критериев (7) имеем

V/ = 1, 2,..., п /,(г;) = р(Ь, г) < Тк(г) < Тк(г*) = /,(**).

Поскольку функции задержек монотонно возрастают, отсюда получаем неравенства (9), г = г*. Целевая функция задачи (5) монотонно возрастает по каждой переменной . Тогда из неравенства (9) следует неравенство ^(г) < ^(г*), противоречащее тому, что г* — минимум целевой функции задачи (5). Теорема 2 доказана.

Устойчивость решения. Исходные данные модели обычно имеют некоторую неопределенность. Возникает необходимость исследовать устойчивость искомого решения. В рассматриваемой модели будем варьировать все параметры с помощью изменения с = (А0,г) — вектора, составленного из значений входных потоков и пропускных способностей линий ТС.

Задержки в сети и целевая функция (5) — это функции переменных г, с, а многогранник потоков — значение многозначного отображения с ^ Z(с). Предполагается, что параметр с изменяется в пределах множества С, такого, что при с € С выполняются все условия теоремы 1

и, кроме того, все функции задержек непрерывны по совокупности переменных. Тогда справедлива следующая теорема.

Теорема 3. Метрика сети непрерывно зависит от параметров модели.

Доказательство. Из теоремы о непрерывной зависимости ОДУ (4) от параметра следует, что целевая функция Г (г, с), г Е Z (с), с Е С, экстремальной задачи (5) непрерывна. Анализ линейных соотношений (2) и (3) показывает, что отображение с ^ Z(с) непрерывно по Хаусдорфу [7]. Ввиду теоремы 1 отсюда можно заключить, что оптимальное решение задачи (5) г* = г* (с) непрерывно зависит от параметра с. Таким образом, метрика сети также непрерывна, как сумма непрерывных функций (см. уравнение (1)).

Непосредственным следствием теорем 1 и 2 является вывод о том, что решение задачи маршрутизации устойчиво к изменению параметров модели.

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

1. Произвольно выберем начальную маршрутизацию (шаг Ь = 0).

2. Пусть на шаге Ь = 0,1,... уже построена маршрутизация, обозначаемая Мг

3. Пусть в текущей маршрутизации Мь существует маршрут Ьь, имеющий большую длину по сравнению с Ь. (Иначе решение задачи уже найдено.) Тогда часть потока Лг, передаваемого по маршруту Ьь, перебросим на маршрут Ь в целях уменьшения разности длин этих маршрутов. (Это возможно вследствие монотонности функций задержек, см. (1).) При этом либо уравняются длины маршрутов, либо маршрут Ь останется, по-прежнему, короче, а маршрут Ь не будет использоваться (в случае Л|ь = Лг).

4. Определим очередную маршрутизацию ТС Мь+1 как результат добавления к Мг пары Ь,Л1ь и, возможно, исключения маршрута Ь в случае, когда он не будет применяться.

Указанные действия — применение принципа уравнивания Ю.Б. Гермейера как метода решения минимаксных задач [10] (см. критерий (7)).

Теорема 4. Последовательность маршрутизаций {Мг, Ь = 0,1,...}, построенная по принципу уравнивания, сходится к равновесному решению задачи.

Доказательство. Вычислим производную функции F(AA) в текущей точке zb = AA4 по направлению вектора А, все координаты которого равны нулю за исключением тех, которые отвечают маршрутным потокам вдоль L и L и равны соответственно 1 и -1:

dF(AA) = (/A, А) = p(L,z4) - p(L,zt) < 0.

Шаг градиентного метода в направлении А в целях выравнивания длин этих маршрутов приводит к уменьшению значения целевой функции в задаче (5): F(zi+1) < F(z4), t = 0,1,...

Монотонная числовая последовательность {F(z4)} сходится к F(z*), где z* — решение задачи (5). Согласно теореме 1 z4 ^ z*, t ^ то. По следствию 1 в пределе получаем равновесную маршрутизацию.

СПИСОК ЛИТЕРАТУРЫ

1. БертсекасД., ГаллагерР. Сети передачи данных. - М.: Наука, 1989.

2. Васильев Н. С. О свойствах решений задачи маршрутизации сети с виртуальными каналами // Вычисл. матем. и матем. физ. - 1997. - Т. 37, № 7. -С. 785-793.

3. В а с и л ь е в Н.С. О свойствах решений задачи динамической маршрутизации сети // Вычисл. матем. и матем. физ. - 1998. - Т. 38, № 1. - С. 42-52.

4. Васильев Н. С., Федоров В. В. О построении алгоритмов маршрутизации пакетных сетей на основе векторных критериев // Изв. РАН. Теория и системы управления. - 2005. - № 3. - С. 36-47.

5. В а с и л ь е в Н. С. Задача о кратчайших маршрутах в сетях с переменной метрикой // Вестник МГТУ им. Н.Э. Баумана, Серия "Естественные науки". -2008. -№ 1. - С. 70-75.

6. В а с и л ь е в Ф. П. Численные методы решения экстремальных задач. - М.: Наука, 1980.

7. И о ф ф е А. Д., Тихомиров В. М. Теория экстремальных задач. - М.: Наука, 1974.

8. Подиновский В. В.,Ногин В. Д. Парето-оптимальные решения многокритериальных задач. - М.: Наука, 1982.

9. Е м е л и ч е в В. А., М е л ь н и к о в О. И., С а р в а н о в В. И., Т ы ш к е в и ч Р. И. Лекции по теории графов. - М.: Наука, 1990.

10. Ф е д о р о в В. В. Численные методы максимина. - М.: Наука, 1979.

Статья поступила в редакцию 31.03.2008

Николай Семенович Васильев окончил МГУ им. М.В. Ломоносова в 1974 г. Д-р физ.-мат. наук, профессор кафедры "Высшая математика" МГТУ им. Н.Э. Баумана. Автор более 50 научных работ в области теории оптимального управления и ммоделиро-вания распределенных телекоммуникационных систем.

N.S. Vasiliev graduated from the Lomonosov Moscow State University in 1974. D. Sc (Phis.-Math.), Professor of "Higher Mathematics" department of the Bauman Moscow State Technical University. Author of more than 50 publications in the field of theory of optimal control and simulation of distribute telecommunication systems.