CC BY
69ПРИМЕНЕНИЕ ТЕОРИИ S-ГИПЕРСЕТЕЙ ДЛЯ МОДЕЛИРОВАНИЯ СИСТЕМ СЕТЕВОЙ СТРУКТУРЫ
В. К. Попков
Институт вычислительной математики и математической геофизики СО РАН,
630090, Новосибирск, Россия
УДК 519.173
Рассматриваются основные понятия теории 5-гиперсетей. Показано, что на языке этой теории можно описать различные системы сетевой структуры с точностью до адекватного решения поставленной задачи. Аналитическая постановка задачи анализа и синтеза структур указанных систем может служить имитационной моделью, применимой для решения поставленных задач.
Ключевые слова: граф, гиперсеть, 5-гиперсеть, структурный анализ, синтез, математическое и имитационное моделирование.
Basic concepts of the theory of 5-hypernetworks are considered. It is shown that the concepts of this theory can be used to describe many network structure systems with an accuracy of an adequate solution to the formulated problem. In fact, analytical formulation of problems of analysis and synthesis of network structure systems is a nearly imitation model, which can be used to solve formulated problems.
Key words: graph, hypernetwork, 5-hypernetwork, structure analysis, synthesis, mathematical and imitation modeling.
Введение. В настоящей работе рассмотрены основные определения теории S-гиперсе-тей, приведена классификация математических моделей структур в рамках данной теории, а также классификации симбиотических отношений между системами сетевой структуры. Изобразительные возможности языка теории S-гиперсетей позволяют легко формулировать разнообразные задачи, связанные со структурами исследуемых сложных систем. Также рассмотрены задачи оптимизации некоторых систем сетевой структуры и их формальные постановки (например, транспортные сети, сети связи, инженерные сети и др.).
1. Основные определения. Приведем определение простой гиперсети, в которой элементы типа узла однотипны, а линейные элементы (ветви, ребра) имеют различную природу [1].
Шестерка, состоящая из трех множеств и трех отображений S = (X, V, R; P, F, W), называется гиперсетью, если Vv £ V\P(v)\ = 2, Ут £ R\W(r)| = 2, Ут £ R множество F(r) С V составляет маршрут в графе PS = (X, V).
Таким образом, первичная PS и вторичная WS сети гиперсети S являются графами, а F отображает ребра WS=(X, R) в маршруты графа PS=(X ,V).
Так как множество F(т) является маршрутом, то отображение F единственным образом определяет отображение W. Действительно, концевые вершины маршрута F(т) одновременно являются концами ребра т, т. е. гиперсеть S можно задать пятеркой (X,V,R; P,F).
В гиперсети вида S = (Y,V,R) узел y С Y заменяется на граф вида y = {xj,E^ — граф узла y структурированной гиперсети, где xj — j-я вершина вторичной сети WSj, отображенная в узел y структурированной гиперсети SA = (Y,V,G(Xi,Ri)). Таким образом, в отличие от гиперсетей вершины вторичных сетей помещаются в узлы первичной сети независимо друг от друга, без ограничения на характер отображения, т. е. возможны варианты отображения нескольких вершин одной вторичной сети в один узел первичной сети.
Работа выполнена в рамках Проекта Президиума РАН №14.2.
Приведем формальное определение 5-гиперсети. Пусть задано множество графов (гиперграфов) О0 = (X0,У), О1 = (X 1,и1),...,О0 = (Xк,ик) и корневое дерево Т0 = (X,Я), где X = ...,Хк, Я = Т\, ...,Гк — определяющее вложение графов О з в Ог (г < ]) аналогично
вложениям, определяемым в гиперсетях, за исключением того, что вершины хк и х31 графов Ог и Оз не тождественны, а инцидентны. Очевидно, что одной и той же вершине хк могут
быть инцидентны несколько вершин Х3к
31 гр^2
к1 ,хк2
хк} из I графов [Озд}, 5 = 1,...,1.
На множестве вершин Хк определяется ЬЗ = (Хк ,Е). Вершины хи х^ смежны в ЬЗ, если соответствующие графы О^ и в вершине хк имеют некоторую системообразующую связь ¡(хЗ1 ,хЗа). В противном случае эти вершины не связаны. Так же как и в гиперсетях, ребру иЗ Е О з в графе Ог сопоставляется цепь или некоторая связная часть между соответствующими вершинами из Ог. На рис. 1 приведен пример такой гиперсети. Следует отметить, что
а
(1,2)
(1,1)
(2,2)
(2,4)
(2,2)
(3,1)
(3,4)
(3,3)
. Ф
У1 I I
© ф
V, | ©
V,, 2 г2 з V, 4
Рис. 1. 5-гиперсеть и ее составляющие: а — отображение графа вторичной сети Ох в граф первичной сети О2 с образованием гиперсети 02(0х); б — отображение гиперсети 02(0\) и графа Оз в граф Оо с образованием ^-гиперсети Н = (О0(О3,О2(Ох))); в — гиперсеть Н = (О0(О3,О2(Ох))), в которой определены внутриузловые связи (графы Ь)
Рис. 2. Сумма графов сетей ^-гиперсети Н: а — объединение всех графов вторичных сетей ^-гиперсети Н; б — сумма графов всех сетей ^-гиперсети Н
системообразующие связи типа {1(х,у)} могут иметь различную природу и, как правило, существенно зависят от времени. В некоторых случаях, например в системе транспортных сетей различного типа (метро, автобус, трамвай), такими связями в транспортных муль-тиузлах являются тротуарные линии (пешеходные переходы). В этом случае имеет смысл рассматривать объединение всех вторичных сетей (рис. 2,а). Однако для некоторых задач целесообразно рассматривать сумму всех графов гиперсети Н включая первичную сеть РБ, т. е. О = О0 + +... + Оп + {и }. На рис. 2,б приведен пример объединения всех графов, входящих в Б-гиперсеть Н. При этом структура вложений имеет вид, представленный на рис. 3.
С использованием приведенных ниже матриц определенную таким образом Б-гиперсеть можно задать с точностью до изоморфизма и даже с точностью до нумерации вершин и ребер.
Графы Ог, г = 1,..., к задаются матрицами инциденций {Мг = сП)}. Вложения графов определяются системой матриц инциденций {Мг (а\), Щ(Ь})}, таких что а\ = 1, если вершина XI Е Ог инцидентна вершине хг Е Оз (г < ]), и а\ = 0 в противном случае. Для матрицы инциденций ребра имеем Щ = 1, если ребро ир Е О3 вторичной сети инцидентно ветви и^ Е Ог первичной сети, и Ь} = 0 в противном случае. Представление Б-гиперсети заканчивается множеством матриц смежности М^ = (з^).
Пусть вершине хгх Е Ог инцидентны вершины {Х]р Е О3р}. Тогда матрицы смежности М^в^) определяют смежность этих вершин в х\.. Таким образом, Б -гиперсеть Н — (Оо,О\, ...,Ок) однозначно задается следующей системой матриц:
1) Мг(с}) — матрица инциденций графов Ог (г = 0,...,к; 1г = 1,...,пг; рг = 1,...,тг, где к + 1 — число графов в БНМ; пг — число вершин в графе Ог; тг — число ребер в графе Ог);
2) {Мг(а1\),Щ(Ь}.)} — матрицы инциденций, определяющие вложение графов Оз в граф
Рис. 3. Структура вложений графов
Ог (г,] = 0, ...,к (г <]); 1г = 1,...,п; = 1,...,п; йг = 1,
. 3) Щ (вЪ) -
(г — ...,к; Хг
,тг
Рз = 1,...,т);
матрицы смежностей вершин графов вторичных сетей в первичной сети н, ¡,й = 1, ...,п, т. е. вг? = 1, если вершины f и й графов {Оз}
1, ...,пг
инцидентны вершине хг и смежны в этой вершине, иначе в
0).
г
Ж-
О
V
V.
V,
к,
-к.
к,
к,
г
д
к,
А '4
Рис. 4. Примеры топологических взаимосвязей ребер и вершин различных сетей Б-гиперсети Н = РБ)
Вероятно, наибольшее число приложений теории гиперсетей и Б-гиперсетей приходится на электросвязь и транспорт, поэтому большая часть задач, рассматриваемых в данной работе, связана с этими направлениями [1-4]. Тем не менее теория 5-гиперсетей применима для анализа и синтеза других систем сетевой структуры. Особый интерес вызывают задачи анализа межсетевых структурных взаимодействий сложных систем различной природы.
2. Отображения. В данной работе подробно рассмотрены топологические свойства Б-гиперсетей, имеющие практическое значение для синтеза и анализа транспортной системы города. Для понимания топологических задач необходимо рассмотреть различные типы вложений вторичных сетей в первичные.
Приведем примеры отображений графов вторичных сетей в первичную сеть, имея в виду практическое использование теории при описании и анализе реальных систем сетевой структуры.
При отображении графа вторичной сети ШБ в первичную сеть РБ возникают четыре класса вложений ребер ШБ в ветви РБ (рис. 4,а).
Для гиперсети Н = (РБ, ШБ):
1. Ребра вторичной сети ШБ не отображаются в ребра первичной сети, имеет место только отображение вершин ШБ в вершины РБ. Таким образом, матрицы в представлении
экс
гиперсети отсутствуют (рис. 4,6). В этом случае имеет место экс-отображение ШБ ^ РБ и соответственно экс-гиперсеть.
2. Если ребра вторичной сети ШБ = (X 1,Я) параллельны ветвям первичной сети РБ = (X°,У), то имеет место параотображение ШБ Р РБ (рис. 4,в), которое порождает парагиперсеть Н = (ШБ, РБ).
3. Если ребра вторичной сети ШБ располагаются на "плоских" ветвях первичной сети
эк
РБ, то имеет место эктоотображение ШБ ^ РБ (рис. 4, г) и соответственно эктогиперсеть.
4. В последнем случае ребра вторичных сетей располагаются внутри ветвей первичной сети. На рис. 4,д приведен пример эндоотображения ШБ -н РБ, которое порождает эндоги-персеть.
Вершины могут отображаться друг в друга одним из четырех способов:
1. Вершина вторичной сети х абстрактно отображается в вершину у первичной сети, если их взаимное расположение безразлично, т. е. имеет место экс-отображение.
2. Если вершина х отображается рядом с узлом у, то имеет место параотображение (вершины 2.1 и 3.1 на рис. 1).
3. При эктоотображении вершин одна из них располагается на другой (на рис. 1 вершины 2.1 и 3.1 располагаются на узле 1).
4. При отображении одной вершины внутрь другой имеет место эндоотображение вершин (на рис. 1 вершина 1.2 располагается внутри вершины 2.1).
Б-гиперсети можно называть в соответствии со способом отображения элементов. Очевидно, что в одной и той же Б-гиперсети различные элементы могут отображаться в другие одновременно различными способами.
Таким образом, словарь теории Б-гиперсетей увеличился за счет особенности отображения элементов гиперсети на поверхности и различных взаимосвязей между инцидентными ветвями ребер вторичных сетей. Предложенная классификация отображений позволяет ставить задачи, связанные с описанием, анализом и синтезом сетей различного назначения.
3. Плоские Б-гиперсети. С практической точки зрения большое значение имеет исследование топологических свойств эктогиперсетей, в частности их плоская реализация. Задачи, которые при этом возникают, тесно связаны с задачами укладки графов на ориентированные поверхности. Однако специфика гиперсетей, в частности Б-гиперсетей, позволяет формулировать новые топологические задачи в теории Б-гиперсетей.
Пусть задана гиперсеть Н = (РБ,ШБ), которую будем называть РБ-планарной, если граф РБ первичной сети планарен, ШБ-планарной, если граф ШБ-планарен.
Данные характеристики хорошо изучены в теории графов. Более интересна следующая характеристика. Гиперсеть Н называется псевдопланарной, если граф ШБ может быть размещен в РБ без пересечения ребер. Гиперсеть Н квазипланарна, если граф ШБ может быть реализован в РБ без пересечения ребер, а РБ может быть реализован на плоскости без пересечения ветвей. Если такие реализации возможны, то гиперсеть Н планарная; если данные реализации выполнены, то гиперсеть Н плоская. На рис. 5 видно, что квазипланарная гиперсеть может быть неплоской.
Утверждение. Если гиперсеть Н = (РБ, ШБ) ШБ-планарна, то она планарна.
Доказательство. Если граф РБ первичной сети не планарен, то его можно сделать планарным путем удаления некоторых ветвей. В оставшейся части РБ' можно выполнить плоскую реализацию ШБ. Для доказательства достаточно показать, что первичная плоская сеть РБ гомеоморфна плоскому кругу с отверстиями.
Уменьшим физический размер граней плоской первичной сети до точки (дырки). Тогда очевидно, что ШБ реализуем на поверхности, образованной первичной сетью, так как является ШБ-планарным.
Поверхность рода 1 допускает плоскую реализацию как минимум полного пятивершин-ного графа ШБ, который, как известно, не является планарным (рис. 5,а). Вообще говоря, на неплоской первичной сети можно расположить без пересечения ребер полный семивер-шинный граф вторичной сети.
На рис. 5,а видно, что РБ не плоский, а планарный, ШБ — плоский в РБ, т. е. внутри (на поверхности ветви) ребра не пересекаются. В то же время на рис. 5,б первичная сеть плоская, а вторичная — нет, и даже не планарная. Следовательно, из псевдопланарности гиперсети не следует планарность ШБ.
а
Рис. 5. Псевдопланарная гиперсеть: а — пятивершинная плоская реализация графа ШБ; б — неплоская реализация в плоском графе РБ
Применение понятия "планарный" к гиперсетям не всегда корректно. Действительно, РБ допускает изменение геометрии рисунка, т. е. из планарного можно сделать плоский граф РБ, при этом И и И' остаются изоморфными.
Следует отметить, что преобразование конфигурации РБ с целью сделать ее плоской приводит к изменению пространственной конфигурации ШБ, т. е. граф вторичной сети не может иметь двухклеточное вложение в плоскую реализацию первичной сети. Это видно на рис. 5,а: если перенести вершину Х5 (см. рис. 5,6), то граф РБ станет плоским, при этом граф ШБ будет иметь пересекающиеся ребра. Не существует перетрассировки ребер, позволяющей сделать его плоским, так как род графа ШБ равен 1.
Изменяя трассировки ребер ШБ в РБ, получаем другую гиперсеть И', эквивалентную И [2]. Таким образом, изменяя трассировку ребер ШБ на ветвях РБ, получаем неизоморфное преобразование.
С практической точки зрения вместо эктогиперсети целесообразно рассмотреть эндоги-персеть. В этом случае представляет интерес пересечение ребер не внутри ветвей, а только на узлах первичной сети.
Эндогиперсеть БН = (РБ, ШБ) будем называть ШБ-квазиплоской, если в каждом узле РБ = (X, V) существует плоская реализация фрагментов вторичных гиперсетей {ШБг} Б-гиперсети, такая что БН = (РБ,ШБ\, ...,ШБк). Гиперсеть БН называется квазиплоской, если ШБ является квазиплоской в плоской сети РБ.
В эндогиперсети модель узла У первичной сети представляет собой окружность О (У), разделенную на Б (У) дуг (Б (У) —степень узла У). На каждой дуге выделяются вершины-полюсы, являющиеся окончаниями ребер, входящих в этот узел. Внутри узла-диска располагаются вершины вторичных сетей, связанные с соответствующими полюсами внутриузловыми ребрами. Некоторые полюсы связаны непосредственно, так как принадлежат транзитным ребрам сетей ШБг. Через один (пару) полюс может проходить несколько ребер вторичных сетей.
Нестационарная Б-гиперсеть называется квазипланарной, если она является квазипла-нарной в любой стационарный промежуток времени.
При исследовании проблем анализа и синтеза сетевой структуры возникают постановки следующих задач.
1. Пусть заданы граф первичной сети РБ, семейство графов вторичных сетей {ШБг} и отображения Xг — X0. Необходимо провести трассировку ребер в графе РБ, так чтобы Б-гиперсеть стала квазиплоской.
2. Найти критерий квазиплоскости Б-гиперсети И = (РБ, ШБ\,..., ШБк).
Таблица 1
Классификация симбиотических связей
Вторичная сеть Б-гиперсети ШБ = (X, Я) Первичная сеть Б -гиперсети РБ=( Y ,V)
Полезная (П) Нейтральная (Н) Вредная (В)
П Мутуализм Комменсализм Паразитизм
(mutualism) (commensalism) (parasitism)
Н Комменсализм Нейтрализм Аменсализм
(commensalism) (neutralism) (amensalism)
В Паразитизм Аменсализм Конкуренция
(parasitism) (amensalism) (competition)
3. Пусть задана Б-гиперсеть Н. Требуется составить расписание работы внутризоновых ребер, так чтобы нестационарная Б-гиперсеть стала квазипланарной.
4. Решается предыдущая задача, но среднее число циклов в Н должно быть минимально возможным.
5. Добавить в Н минимальное число ветвей, так чтобы Б-гиперсеть стала квазипланарной с учетом перетрассировки ребер вторичных сетей ШБ^.
Очевидно, что понятие планарности в Б-гиперсетях порождает большое количество комбинаторных задач.
4. Классификация симбиотических связей в теории 5-гиперсетей. Для многих приложений теории Б-гиперсетей отношения между вторичной и первичной сетями, а также между вторичными сетями имеют характер симбиотических связей. Иными словами, они могут быть полезными, нейтральными или вредными. Исследование таких взаимоотношений позволяет анализировать устойчивость, развитие и другие характеристики систем различных взаимосвязанных сетей. В табл. 1 приведена классификация симбиотических связей.
Рассмотрим табл. 2-5, в которых приведены примеры различных симбиотических связей, с учетом следующих отображений ребер в ветви первичной сети (примеры таких отображений представлены на рис. 4):
— ребра вторичной сети ШБ не отображаются в ребра первичной сети (экс-отображение ШБ РБ);
Таблица 2
Примеры экс-симбиоза WS и РБ в Б-гиперсети Н = (ШБ, РБ) для различных ССС
Вторичная сеть Первичная сеть S-гиперсети PS=(Y,V)
Б-гиперсети
ШБ = (X, Я) Полезная (П) Нейтральная (Н) Вредная (В)
П Команды одного клуба Элита и общество Финансовая
(мутуализм - эс/пп) (комменсализм - пирамида
эс/пн) (паразитизм - эс/пв)
Н Социальное Независимые клубы Инфекционные
обслуживание по интересам больные и общество
(комменсализм - эс/нп) (нейтрализм - эс/нн) (аменсализм - эс/нв)
В Система жертва - Существа в Соперники
хищник агрессивной среде (конкуренция - эс/вв)
(паразитизм - эс/вп) (аменсализм - эс/вн)
Таблица 3
Примеры парасимбиоза WS и РБ в Б-гиперсети И = (ШБ, РБ) для различных ССС
Вторичная сеть Первичная сеть Б -гиперсети РБ=(У V)
Б-гиперсети
ШБ = (X, Я) Полезная (П) Нейтральная (Н) Вредная (В)
П Композиционные Линии электропередач Занятие телефонных
материалы (пс/пп) (ЛЭП) и шоссе пар в кабеле для пере-
(пс/пн) дачи данных (пс/пв)
Н Система освещения Кабельные линии и ЛЭП и низко-
дороги и шоссе инженерные сети в частотные каналы в
(пс/нп) одном коллекторе кабеле тональной
(пс/нн) частоты (пс/нв)
В Зимнее горячее и Тротуары и проезжая Трамвайные пути и
холодное водо- часть (пс/вн) дорога с проезжей
снабжение в одном частью (пс/вв)
коллекторе (пс/вп)
— ребра вторичной сети ШБ = (X 1,Я) параллельны ветвям первичной сети (параотоб-ражение ШБ —— РБ);
— ребра ШБ располагаются на "плоских" ветвях первичной сети (эктоотображение
эк
ШБ -к РБ);
— ребра вторичных сетей располагаются внутри ветвей первичной сети (эндоотображение
ШБ —5 РБ).
Приведенные примеры в некотором роде искусственны, но они демонстрируют важность данных связей для исследования различных значимых характеристик комплексов, состоящих из разнотипных систем сетевой структуры (ССС).
Из табл. 2 следует, что в приведенных системах сетевой структуры межсетевые связи не являются физическими объектами, поэтому связи не отображаются друг в друга. Взаимосвязаны только узловые объекты.
Таблица 4
Примеры эктосимбиоза WS и РБ в Б-гиперсетях И = (ШБ, РБ) для различных ССС
Вторичная сеть Первичная сеть Б-гиперсети РБ=(У V)
Б-гиперсети
ШБ = (X, Я) Полезная (П) Нейтральная (Н) Вредная (В)
П Асфальтовое Маршруты общест- Потоки грузового
покрытие бетонных венного транспорта на транспорта на дорогах
дорог (эк.с/пп) дорогах (эк.с/пн) (эк.с/пв)
Н Спецтранспорт при Полосы движения на Гололедица на
ремонте дорог проезжей части дорогах (эк.с/нв)
(эк.с/нп) (эк.с/нн)
В Защитные покрытия Потоки транспорта на Рельсовый транспорт
дорог, труб и т. д. разбитых дорогах на автодорогах
(эк.с/вп) (эк.с/вн) (эк.с/вв)
Таблица 5
Примеры эндосимбиоза WS и РБ в Б-гиперсетях Н = (ШБ, РБ) для различных ССС
Вторичная сеть Первичная сеть Б-гиперсети РБ=(У,У)
Б-гиперсети
ШБ = (X, Я) Полезная (П) Нейтральная (Н) Вредная (В)
П Сети электросвязи Поток пассажиров в Потоки минеральной
города (эн. с/пп) метро (эн. с/пн) воды в стальных
трубах (эн. с/пв)
Н Поток агрессивной Кабели связи в Ливневый поток в
жидкости в трубах туннелях метро кабельной кана-
(эн. с/нп) (эн. с/нн) лизации (эн. с/нв)
В Система питания в ав- Обледенение ЛЭП Виртуальный компью-
тотранспорте (эн. с/вп) (эн. с/вн) тер (ПК в ПК) (эн. с/вв)
При парасимбиозе линейные элементы сетей существуют параллельно, их взаимодействие, как правило, является опосредованным. В данном случае деление сетей на первичные и вторичные условно.
Примеры отношений, приведенные в табл. 4, 5, показывают типичность экто- и эндосим-биозов для инженерных сетей.
Из приведенных примеров систем сетевой структуры следует, что их взаимодействие может также описываться симбиотическими связями. Например, комменсализм является преимущественным отношением между сетями различных уровней гиперсети, соответствующей сети связи, обладающей высокой живучестью. Гиперсети с такими отношениями, как правило, находятся в устойчивом равновесии, а отношение аменсализма обусловливает неустойчивое равновесие. Понятно, что отношение паразитизма делает гиперсеть неустойчивой. Особый интерес представляют гиперсети, в которых отношения между сетями различного уровня являются "мутуализмом" или "конкуренцией". В первом случае имеет место взаимная польза и, следовательно, высокая устойчивость, во втором — жесткая конкуренция на грани развала. Ниже показано, что устойчивость гиперсетей связана также со структурными характеристиками, которые оказывают влияние на их связность и потоки.
Оценка симбиотических отношений является нетривиальной задачей, их качественная и численная меры определяются как наличием или отсутствием взаимоотношений между первичными РБ и вторичными WS сетями, так и их конкретным отображением Г(г) : ШБ — РБ. При г=0 отображение отсутствует. По аналогии с целеустремленными системами [5] в рассматриваемом случае отношения симбиоза можно доопределить такими понятиями, как сотрудничество, конфликт и независимость.
Обозначим через р(РБ)/Ш Б (Г (г)) ожидаемую оценку эффективности РБ, если ШБ реализовано в РБ с помощью отображения Г (г); соответствующие величины для ШБ обозначим р(ШБ)/РБ(Г-1(г)). Будем считать, что р принимает значения от 0 до 1. Как отмечено выше, при г = 0 отображение отсутствует.
Введем понятия сотрудничества, конфликта и независимости между сетями Б-гиперсети:
— если р(РБ)/ШБ(Г(г)) > р(РБ)/ШБ(Г(0)), то ШБ сотрудничает с РБ;
— если р(РБ)/ШБ(Г(г)) < р(РБ)/ШБ(Г(0)), то ШБ конфликтует с РБ;
— если р(РБ)/ШБ(Г(г)) = р(РБ)/ШБ(Г(0)), то ШБ не зависит от РБ.
Аналогичное неравенство можно построить для обратного отображения Г-1 : РБ ШБ.
Очевидно, что оценки р(РБ)/Ш Б (Г (г)) можно упорядочить таким образом, чтобы для г,г + 1 выполнялось неравенство р(РБ)/Ш Б (Г (г)) < р(РБ)/ШБ (Г (г + 1)).При этом {Г (г)} = Q, т.е. множество отображений Г (г) задает пространство Q, которое определяет все многообразие гиперсетей с заданными сетями РБ и ШБ.
Теперь можно определить степень сотрудничества в зависимости от Г(г). Степень сотрудничества РБ с ШБ при заданном Г (г) определяется формулой АС (РБ, ШБ) = р(РБ)/ ШБ(Га))-р(РБ)/ШБ(Г(0)), а степень конфликта РБ с ШБ — выражением АК(РБ, ШБ) = -АС(РБ, ШБ).
Степень сотрудничества или конфликта сети РБ с сетью ШБ, вообще говоря, не равна степени сотрудничества или конфликта сети ШБ с сетью РБ. Обозначим через 8(РБ,ШБ) степень эксплуатации сети РБ сетью ШБ, т. е. 5(РБ,ШБ) = АС (РБ, ШБ) — АС (ШБ, РБ). Очевидно, что 5(ШБ,РБ) = АС(ШБ,РБ) — АС(РБ,ШБ). В зависимости от значений 5(РБ, ШБ) и 8(ШБ, РБ) можно определить различные типы эксплуатации.
Введенные выше понятия и параметры позволяют получить количественные характеристики Б-гиперсетей при моделировании реальных систем сетевой структуры.
5. Классификация 5-гиперсетей. Область применимости математической теории определяется не только свойствами математического объекта, но и его пластичностью. В частности, подробная классификация Б-гиперсетей позволяет адекватно описать различные системы для структурного анализа и оптимизации.
В табл. 6-13 приведена базовая классификация Б-гиперсетей, ориентированная на моделирование сложных систем сетевой структуры.
Таблица 6
Системная типология гиперсетей
Классификационные Характеристики Б-гиперсетей
признаки
Типы вложений Экс-гиперсеть, парагиперсеть, эктогиперсеть, эндогиперсеть
Размерность Конечная, бесконечная
Потоковая функция Дискретная, непрерывная
Атрибуты Детерминированная, случайная
Стабильность Стационарная, нестационарная
Структура гиперсети Каскадная, смешанная, параллельная
Разнообразие вторичных Однотипная, ^-типная
сетей
Таблица 7
Системная типология первичных и вторичных сетей
Классификационные Характеристики первичной и вторичных сетей
признаки
Тип математического Граф, гиперграф, гиперсеть
объекта
Ориентация Ориентированная, смешанная, неориентированная
Сложность Тривиальная, пустая, дерево, планарная, полная, произвольная
Однородность Однородная, неоднородная
Весовые характеристики Взвешенная, невзвешенная
Атрибуты Детерминированная, случайная
Стабильность Стационарная, нестационарная
Таблица 8
Системная типология элементов
Классификационные признаки Характеристики элементов
Типы элементов Весовые характеристики Ориентация Время существования Представление Число полюсов Узлы (вершины), ветви (ребра), полюсы (полусвязь) Взвешенный(ая,ое), невзвешенный(ая,ое) Ориентированный, неориентированный Постоянно, по расписанию, случайное Абстрактное, геометрическое Все полюсы, свободные полюсы Таблица 9 Системная типология связей
Классификационные признаки Характеристики связей
Способ соединения Ориентация Время существования связи Надежность соединения Связь точечных элементов Связь элементов То Слияние, инцидентность, слабая инцидентность, смежность Ориентированная, неориентированная Постоянно, по расписанию, случайное С резервированием, без резервирования Абстрактная (функциональная), физическая (геометрическая) Экс-вложение, паравложение, эктовложение, эндовложение Топологическая типология Таблица 10 пологическая типология Б-гиперсетей
Классификационные признаки Топологические характеристики Б-гиперсетей
Размерность пространства Род поверхности первичной сети Число уровней в иерархии Число сетей на к-м уровне Размерность Тип укладки элементов вторичных сетей в первичной Одномерное, двумерное, трехмерное Плоская, к-го рода Обычная гиперсеть (два слоя), к уровней (слоев) Уровень 0 — первичная сеть, N (к) —число сетей на уровне к Конечная, бесконечная Не укладываются, укладываются рядом с другими, укладываются на элементе, укладываются внутри элемента
28 Теоретическая информатика
Таблица 11
Топологическая типология вторичных сетей
Классификационные признаки Топологические характеристики вторичных сетей
Тип математического объекта Наличие циклов Ориентация Род графа Связанность графов вторичных сетей Граф, гиперграф, ультраграф, гиперсеть Циклическая, ациклическая Ориентированная, неориентированная Плоский, к-го рода Связанная (связана с другими вторичными сетями), свободная (связана только с первичной сетью)
Таблица 12
Топологическая типология элементов
Классификационные признаки Топологические характеристики элементов
Типы элементов Размерность Число полюсов Представление Узел (вершина), ветвь (ребро), полюс (полусвязь) Без размера, линейный, плоский, объемный Без полюсов, к-полюсный Абстрактное, геометрическое
Таблица 13
Топологическая типология связей
Классификационные признаки Топологические характеристики связей
Ориентация полюсов Типы полюсов в элементах Разнообразие типов полюсов Занятость полюсов Тип связи полюсов Неориентированные, ориентированные Неоднородные, однородные Однотипные, разнотипные Занятые, свободные Слияние, инцидентность, полуинцидентность
Приведенная выше классификация 5-гиперсетей позволяет с большой точностью описать структуры реальных сложных систем при решении различных связанных с ними задач структурного анализа и оптимального синтеза. Следует отметить, что в основе данной классификации лежит классификация транспортных систем, предназначенных для передачи или перевозки информации, энергии или вещества (продукта) [2].
6. Маршруты и метрика в 5-гиперсетях. Дана взвешенная гиперсеть ЛБ = (Х, V, Я); X = (х\,..., хп) — вершины, V(х¿) — вес вершины х^; V = (у\,..., ут) — ветви; ¡(у^) — вес ветви У3; Я = (т\,...,тд) — ребра гиперсети; ЛР = (X, V) — взвешенный граф первичной сети; ЛШ = (X, Я) — вторичная сеть; ЛР = (V, Я) — гиперграф, определяющий структуру вложения ЛШ в ЛР таким образом, что каждому ребру г = (х, в) £ Я будет сопоставлена (х, в)-цепь в первичной сети, следовательно, вес ребра г = (х, в) £ Я будет равен суммарному весу (х, в)-цепи в ЛР = (X, V).
Приведем определения маршрутов, кратчайших маршрутов, кратчайших квазимаршрутов и слабых кратчайших маршрутов применительно к рассматриваемой задаче.
Маршрутом в гиперсети Б = (X, У, Я) называется конечная последовательность ц = (х1,г1,х2, ...,хг-1,Гк-1, %к), составленная из элементов X, Я таким образом, что вершины и ребра чередуются, а два любых соседних элемента инцидентны.
Квазимаршрутом в гиперсети Б = (X, У, Я) называется конечная последовательность в которой пара соседних элементов (хг,гг) инцидентны, а (гг,хг+1) слабоинцидентны.
Если в определении маршрута заменить "инцидентность" на "слабую инцидентность", то получим определение слабого маршрута. Ориентированные маршруты определяются аналогично с учетом ориентации ребер (для сетей симплексной связи).
Длиной ребра (или его части) называется число ветвей, инцидентных этому ребру (части ребра). Длина рл маршрута ц (квазимаршрута, слабого маршрута) равна суммарной длине ребер (частей ребер), входящих в маршрут ¡.
Из определения маршрута в гиперсети Б = (X, У, Я) непосредственно следует, что каждому маршруту ц в Б между вершинами х и у соответствует маршрут ц в графе ШБ = (X, Я).
Расстояние р(хг,х^) между парой вершин хг и хз в гиперсети Б находится по взвешенному графу WS * = (X, Я). Каждому ребру г к графа WS * ставится в соответствие длина, равная |{гг}|, где {уг} = Г (г к). Таким образом, кратчайшие маршруты в гиперсетях могут быть найдены с помощью известных алгоритмов по графу WS*. Для ориентированной гиперсети граф WS* ориентируется.
Отношения квазиотдаленности и квазирасстояния несимметричны не только для ориентированных гиперсетей, но и для неориентированных гиперсетей.
Квазирасстояние р(х^,х^) между парой вершин хг и хз гиперсети Б можно найти по взвешенному орграфу ВБ* = (Б, и), в котором длина дуги пх равна числу ветвей в части ребра г к, входящего в квазимаршрут, соединяющий вершины хг и хз гиперсети Б.
Отношения слабой отдаленности и слабого расстояния играют большую роль при решении прикладных задач на гиперсетях.
В гиперсетях (ориентированных гиперсетях) слабое расстояние р(хг,хз) между вершинами хг и хз вычисляется с помощью взвешенного графа ПБ* = (X,и) (ПБ* = (X, и)), в котором ребру (дуге) пх ставится в соответствие длина, равная сумме весов ветвей в цепи, соединяющей вершины хг и хз в гиперсети Б.
Таким образом, отдаленность и расстояние для гиперсетей и оргиперсетей и для разных определений маршрутов можно вычислять с помощью известных методов на специально построенных графах, орграфах, гиперграфах и ультраграфах.
Маршрут ¡ называется простой цепью, если каждая вершина встречается в ¡ не более одного раза.
Для Б-гиперсетей число определений увеличивается в несколько раз в зависимости от числа различных вторичных сетей, вложенных как в первичную сеть, так и друг в друга. Действительно, определение маршрутов зависит от выбора вторичной сети. Однако следует упомянуть о маршруте, который строится на объединении всех вторичных сетей. В качестве концевых вершин рассматриваются две вершины х и у первичной сети, к которым стянуты отображенные в них вершины вторичных сетей.
7. Метрика £-гиперсети. В данном пункте приведен ряд метрик, определяющих расстояние между вершинами и ребрами гиперсети, а также между вторичными сетями в Б-гиперсети.
7.1. Расстояние в гиперсетях. Расстоянием (квазирасстоянием, слабым расстоянием) рня(х,у) между вершинами х и у гиперсети НБ = (РБ,ШБ) называется длина кратчайшего маршрута (квазимаршрута, слабого маршрута) между соответствующими вершинами
Рис. 6. Примеры сводимости гиперсети к соответствующим графам: а — гиперсеть; б — граф для вычисления кратчайших маршрутов; в — граф для вычисления кратчайших квазимаршрутов; г — граф для вычисления слабых маршрутов
х,у Е X. Очевидно, что рня(х,у) определена на множестве всех пар гиперсети ИБ и удовлетворяет аксиомам Фреше:
1) рефлексивность рня(х,у) = 0, если х = у;
2) симметричность рня(х,у) = рня(у,х);
3) транзитивность рня(х,у) < рня(х,г) + рня^,у).
Выполнение первой аксиомы очевидно.
Вторая аксиома неверна для квазимаршрутов, так как ц(х,у) = ц(у,х), т.е. (х, у)-ква-зимаршруты противоположной направленности часто не совпадают.
Третья аксиома справедлива, поскольку для вычисления кратчайших маршрутов (квазимаршрутов, слабых маршрутов) нетрудно построить эквивалентные графы, в которых вычисляются кратчайшие (х, у)-маршруты в ИБ-гиперсети. Так как третья аксиома справедлива для графов и орграфов, то из сказанного выше следует справедливость аксиом Фреше для ИБ-гиперсети. Очевидно, что для квазирасстояния, как и для расстояния в орграфе, аксиома симметричности не выполняется. На рис. 6 приведены примеры сводимости гиперсети (рис. 6,а) к графам (рис. 6,б-г) для решения соответствующих задач поиска кратчайших маршрутов.
По аналогии с теорией графов можно ввести понятие эксцентриситета вершины х Е X. Основное отличие заключается в существовании трех видов эксцентриситета вследствие существования трех видов минимальных (х, у)-маршрутов:
1) £n(x) = maxpAx,y) соответствует кратчайшему (x, у)-маршруту;
yex
2) £ka(x) = maxpka(x,y) соответствует кратчайшему (x, у)-квазимаршруту;
yex
3) £ps(x) = max pps(x, у) соответствует кратчайшему слабому маршруту в HS или марш-
yex
руту в PS.
Тогда R(HS) = min£(x) — радиус (квазирадиус, слабый радиус), а D(HS) = max£(x) — xex xex
диаметр (квазидиаметр, слабый диаметр).
Если отображение WS в PS не задано, то имеет место следующая задача: для заданных PS и WS найти такое отображение WS в PS, чтобы R(HS) ^ min / max и D(HS) ^ min / max.
В гиперсетях можно также находить расстояние между ребрами, переходя к более сложной метрике, чем та, которая обычно используется на графах. Ребро вторичной сети может быть реализовано по различным маршрутам, следовательно, взаимосвязь между ребрами зависит как от структуры графа WS вторичной сети, так и от трассы этого ребра в структуре первичной сети PS.
При решении ряда задач необходимо вычислять расстояние между ребрами вторичной сети в некоторой гиперсети HS = (PS; WS) = (X,V,R; P,W,F). Пусть заданы два ребра ri и rj Е R. Расстояние между вершинами x Е W(ri) и у Е W(rj) обозначим prirj (x,y) (W(ri) и W(rj) — множества вершин, по которым проходят ребра ri и Tj соответственно). Вершину
у Е W(rj), ближайшую к вершине x Е W(ri) в графе PS, обозначим Lr. (у) = min p(x,y).
j xew (ri)
Пусть L(ri,Tj) = maxmin p(x,y). Ясно, что введенная таким образом величина
yew (rj) xew (ri)
L(ri,Tj) не является расстоянием, так как не удовлетворяет аксиоме симметрии.
Аналогично определим L(Tj,Ti) = maxmin p(y,x). Следующее выражение опреде-
xew(ri) yew(rj)
ляет расстояние pps(Ti,Tj) и является метрикой Хаусдорфа на гиперсети PS: pps(Ti,Tj) =
max(L(Ti,Tj),L(Tj,Ti)), иначе pPS(Ti,Tj) = max{ maxmin p(x,y), maxmin p(y,x)}, где
yew (rj) xew (ri) xew (ri) yew (rj)
p(x,y) — расстояние между вершинами x и у в первичной сети PS.
На множестве ребер можно ввести так называемую равномерную метрику pps(Ti,Tj) =
max p(x, у). Данная метрика удовлетворяет трем аксиомам Фреше.
xew(ri) yew(rj)
Назовем величину £(Ti) = max pps(Ti,Tj) эксцентриситетом ребра Ti Е R. Ребро t* Е R бу-
rjeR
дем называть серединным,если£(r*) = min£(т^),иг**-периферийным, если £(r**) = max£(ri).
rieR rieR
Величину £(т**) = n(HS) будем называть шириной гиперсети HS, а £(т*) = O(HS) — отклонением гиперсети HS. Сложность задачи вычисления введенных характеристик является полиномиальной.
При решении ряда практических задач необходимо найти трассировки ребер WS в PS, так чтобы n(HS) и O(HS) принимали экстремальные значения.
Представляет интерес задача проверки выполнения равенств реализаций WS в PS. 7.2. Расстояние в S-гиперсетях. В отличие от гиперсетей каждая вторичная сеть из {WSi} имеет собственный набор вершин {Xi}, такой что \Xi\ < \X0| У1,] = 1,n.
В отличие от гиперсетей расстояние в S-гиперсети SH = (PS, {WSi}) определяется не только для вершин и ребер, но и для вторичных сетей WS. Вершины вторичных сетей в общем случае являются независимыми элементами и могут быть несвязанными. В данном случае эти сети могут быть несвязанными и в евклидовом пространстве. Поэтому
а
Рис. 7. Иллюстрация к аксиоме транзитивности для расстояний между сетями: а — P(x, z) + P(z, v) > P(x, y); 6 — P(x, z) + P(z, v) = P(x, y)
k
необходимы другие метрики, которые позволили бы оценить метрическую зависимость этих сетей.
Рассмотрим несколько метрик, связанных с разнообразием как элементов, так и способов
п
построения функции расстояния. Для вершин У ^ = X обычная метрика вычисляется
г=0
по объединенному графу вторичных сетей (см. рис. 2,а) с рассчитанными весами ребер. Аналогично можно построить графы для вычисления квазирасстояний и слабых расстояний.
7.3. Расстояние между сетями. В зависимости от задач на Б-гиперсети БИ можно рассмотреть метрики, более адекватные поставленным задачам. В данном пункте не рассматриваются конкретные задачи, основное внимание уделено различным сетевым метрикам.
Рассмотрим метрику вложений. Пусть две сети Шг и Шз лежат на слоях хг,уз Е Я соответственно. Пусть у этих сетей имеется общий предок Шх, лежащий на слое Zк. Тогда рУ(Шг,Шз) = (г — к) + (] — к). Определенное таким образом расстояние является метрикой.
Действительно, при г = ] ру(Шг,Шз) < 0. Верна также аксиома симметрии. Покажем, что выполнено условие транзитивности. В силу того что между любой парой вершин х, у в дереве вложений существует один путь, возможны два случая: 1) р(х,г) + р(г,у) > р(х,у) (рис. 7,а); 2) р(х,г) + р^,у) = р(х,у) (рис. 7,б). Таким образом, на Б-гиперсети задается метрическое пространство вложений (отображений).
Представляет интерес еще одна метрика. Для сетей и Шз, применяя операции исключения промежуточных сетей, получим отображение и Шз на первичную сеть РБ. Тогда множествам ребер Шг и Шз будут соответствовать множества ветвей в РБ, N(Шг) и N(Шз) соответственно.
Определим между сетями Шг и Шз расстояние рР(Шг,Шз) = ^(Шг) и N(Шз)^(Шг)П N(Шз)||. Покажем, что введенное таким образом расстояние индуцирует псевдометрику МР{БН = (РБ,Шг,Шз)}: из определения и из равенства рР(Шг,Шз) = 0 не следует, что Шг = Шз.
Аксиома симметричности выполняется вследствие коммутативности операций П и и.
Покажем, что выполняется условие транзитивности. Так как на множества N(Шг) и N(Шз) не накладываются ограничения, то для произвольных подмножеств Z,X,Y Е N справедливо неравенство \(Х и Y)\(Х и Y)| < \(Х и Z)\(Z П X) и (^ и YП Y))|. Равенство имеет место, если Z С X и Y.
Очевидно, что в данной метрике максимальное расстояние между Ш г и Шз равно р(Шг,Шз) = \N(Шг) и N(Шз)\, т. е. не зависит от их расположения в РБ, если эти сети не пересекаются.
Для БН = (РБ,Шг, ...,Шп) можно предложить метрику Громова — Хаусдорфа. Пусть
Ь = р(Ш1,Шк) = штшахрнТ,т\), где р(т^,т1з) — метрика на пространстве всех ребер по Уз Мг з з
Рис. 8. Пример для доказательства справедливости метрического пространства
Хаусдорфу;
Г3 ^ • Как и для предыдущих метрИК, выполнены требованИЯ рефлексивности и симметричности.
Покажем, что для введенного расстояния выполнено условие транзитивности. Так как метрика Громова — Хаусдорфа справедлива на любых метрических пространствах, в которые отображены графы {Wi}, условие транзитивности выполняется, вследствие того что граф первичной сети РБ является метрическим пространством.
Рассмотренные выше метрики не являются исчерпывающими для вторичных сетей Б-ги-персети БИ. Например, расстояние между графами вторичных сетей можно измерить сле-
~ к п
дующим образом. Пусть задан граф объединенных вторичных сетей Ш = {и Шг и 0{}
г=1 1=\
(графы {01} соединяют полюсы в каждом узле У1 (см. рис. 2,а)). Для определения расстояния между графами Шг и Шз достаточно в графе Ш вершины Шг и Шз склеить в Хщ1 и ущ.. Тогда рРвШгШз) = рщ (хщ> ).
Выполнение условий рефлексивности и симметричности следует из способа построения графа IV.
Рассмотрим ситуацию, приведенную на рис. 8. Здесь р(Ш\,Ш2) = а, р(Ш\,Ш3) = Ь, р(Ш2,Ш3) = с. Покажем, что Ь + т + с > а.
Очевидно, что Ь + с > а, так как к = 0 и I = 0. Справедливость неравенства следует из того, что Шк и Ш отображены в точки, а рщ(Шк) = а — длина кратчайшего маршрута. Таким образом, введенное выше расстояние является метрикой на метрическом пространстве НБ = (РБ,Шг,...,Шп).
8. Устойчивость. Б-гиперсеть называется устойчивой, если при заданном воздействии на ее структурные элементы численные характеристики сети остаются в определенных интервалах.
8.1. Операции над элементами сети или всей сетью. В данном пункте рассматриваются некоторые операции над элементами Б-гиперсети, которые приводят к ее изменению. 1. Удаление элементов (рис. 9):
— узлов (общее удаление, внутреннее, внешнее);
— вершин с инцидентными ребрами, т. е. вершин в графе вторичной сети;
— ветвей с инцидентными ребрами;
— ребер в графе вторичной сети;
— полюсов;
— связей между сетями.
а б в
Рис. 9. Удаление элементов: а — элементы не удалены, б — внутреннее удаление, в — внешнее удаление
2. Изменение весовых характеристик элементов сетей:
— узла (с соответствующими весом, стоимостью, пропускной способностью);
— ветви (с соответствующими длиной, стоимостью, пропускной способностью);
— вершины (с соответствующими весом, стоимостью, пропускной способностью);
— ребра (с соответствующими длиной, стоимостью, пропускной способностью);
— связей (с соответствующими длиной, стоимостью, пропускной способностью).
3. Изменение структуры вложений (операций):
— малые изменения: перетрассировка ребра; перетрассировка к-ребер; смена отображений (вложений) двух вершин; циклическая перестановка вершин в узлы первичной сети; склеивание вершин;
— большие изменения: изменение структуры вложений вторичных сетей в первичную; перетрассировка всех ребер; переадресация всех вершин вторичной сети (т. е. новое отображение вторичной сети в первичную); исключение промежуточной вторичной сети а — Ь — с ^ а — с.
4. Изменение способа укладки: случайная укладка (отображение); специальная укладка (по заданному сценарию); оптимальная укладка.
8.2. Характеристики и атрибуты сети. В данном пункте рассматриваются основные структурные и численные характеристики, используемые в постановках различных задач теории Б-гиперсетей.
1. Структурные характеристики гиперсети:
1.1. Метрические (диаметр, радиус, матрица расстояний).
1.2. Потоковые (минимальный (в, ¿)-разрез, максимальный поток).
1.3. Связность (компактная связность, тотальная связность, К-связность, локальная (в, ¿)-связность (квазисвязность, слабая связность)).
1.4 Числа гиперсети (максимальная клика, минимальное покрытие, обхват, максимальная укладка и др.).
1.5. Свойства (гамильтонова, эйлерова, (к, -устойчивая, потокоустойчивая идр.)
2. Численные характеристики Б-гиперсети.
2.1. Характеристики вершин:
— aW(х) —степень х (число инцидентности) (число ребер в Ш, инцидентных вершинех);
— (х) — валентность (число полюсов).
2.2. Характеристики узлов:
— (у) — V-степень узла у Е Н (число ветвей);
— Б^(у) — г-степень узла у Е Н (число ребер);
— Vн (у) — валентность узла (число полюсов гиперсети Н);
— (у) — ранг узла (число вершин (отображений), вложенных в у Е Шг);
— Я(у) — абсолютный ранг узла у Е РБ С Н (число вершин всех сетей, отображенных в узел у).
2.3. Характеристики ребер:
— БХ[(г) — X-степень ребра г Е Ш (число вершин, инцидентных ребру у);
— Бщ (г) — У-степень ребра г Е Ш (число ветвей, инцидентных ребру г Е Шг).
2.4. Характеристики ветвей:
— Б^(у) — г-степень ветви V Е Н (число ребер, инцидентных у);
— Б^(у) — х-степень ветви V Е Н (число вершин, инцидентных у).
2.5. Характеристики сетей и конфигурации:
— глубина к(БИ) (число ярусов);
— ширина р(БН) (максимальное число сетей в ярусе);
— спектр в(БН) = {г(1)\1 = 1,..., п};
— число сетей;
— ранг слоя г(1) — число сетей в 1-м слое;
— Б(1) — степень слоя (число сетей в примыкающих слоях);
— Б(Шг) — степень сети (число сетей, непосредственно вложенных в сеть Шг);
— х(Шг) = (п, т,д,1, Ш) — структурная характеристика сети Шг (п — число вершин; т — число ребер; д — число вложенных сетей; I — номер слоя; Шз — сеть подложки (первичная сеть для Шг)).
На рис. 10 показан пример сети, имеющей следующие характеристики: глубина к(БН) = 7, ширина р(БН) = 4, спектр в(БН) = (1, 2, 3, 4, 3, 3, 2), число сетей п(БН) = 18; г(1) = I при I = 1 + 4.
9. Управляемость. Важным направлением в теории гиперсетей является исследование поведения структурных и других характеристик гиперсетей с учетом изменения отображений заданных вторичных сетей в первичную.
Частично упорядоченная последовательность п = {РБ, ШБ\,...,ШБк} называется псев-догиперсетью, если не определены отображения ф(ШБ, РБ), ф(ШБз,ШБг) (] < I) для всех соседних пар вторичных сетей из п.
Псевдогиперсеть БИ =(РБ, ]¥Б, ф(WБ,PБ)) будем называть управляемой, если оператор ф( WБ, РБ) принимает значение из области П. Множество П задает множество эквивалентных гиперсетей П(БИ) ={БИ =(РБ, WБ, ф( ^Б,РБ) Е П )}.
Задача. Пусть заданы псевдогиперсеть БИ = (РБ, WБ) Е П и некоторая структурная характеристика /3(БИ) гиперсети БИ Е П(БИ). Требуется найти гиперсеть БИ0 Е П(БИ), так чтобы значение в (БИ0) было экстремальным или находилось в заданном интервале.
Так как |П| = 0(п\т\), то в общем случае данная задача решается методом перебора.
В дальнейшем псевдогиперсеть БИ будем называть управляемой гиперсетью и обозначать БЫп =(РБ,ШБ, ф(ШБ,РБ) е П).
Псевдогиперсеть, в которой не отображены только ребра, называется слабоуправляемой; если не отображены еще и вершины, то псевдогиперсеть называется сильноуправляемой. Если ф( ]¥Б,РБ) определено, то псевдогиперсеть не является управляемой. В том случае если в иерархической гиперсети БН = (РБ, ШБ\,...,ШБк) все пары (ШБШБг) управляемы, гиперсеть БИ абсолютно управляема, а если не все, то относительно неуправляема.
Псевдогиперсеть БИ = (РБ, ШБ) называется воспроизводимой (достижимой, доступной) относительно ф(ШБ,РБ) Е П, если значение в (БИ) принадлежит заданному интервалу при некотором отображении ф( ШБ,РБ).
10. Некоторые приложения теории 5-гиперсетей. В ранее опубликованных работах автора большая часть приложений теории гиперсетей была связана с областью телекоммуникаций и связи [1]. В работе [2] рассмотрены некоторые задачи оптимизации транспортных сетей мегаполиса. Ниже рассматриваются некоторые структурные модели городских сетей связи, а также транспортной системы, в которых математическим объектом является Б-ги-персеть.
10.1. Структурные модели транспортных сетей мегаполиса. Транспортная инфраструктура мегаполиса представляет собой сложную иерархическую нестационарную систему сетевой структуры. Проектирование (развитие) системы предполагает поэтапную модернизацию сети с учетом перспективы и наличия соответствующего финансирования. Вся транспортная инфраструктура является интегральной взаимосвязанной системой сетей различного вида, принадлежащих различным собственникам, которая предназначена для удовлетворения социальных, экологических, финансовых, коммунальных и других потребностей жителей города, связанных с качеством доставки.
По возможности математическая модель должна объединять все факторы, влияющие на облик и функционирование транспортной системы. Рассмотрим примеры взаимодействия раздичных городских пассажирских сетей. На рис. 11 представлена Б-гиперсеть с тремя видами транспортных систем: метро, автобус, трамвай.
10.2. Транспортные единицы (треды), элементы и узлы транспортной системы. Здесь и далее в качестве транспортных единиц рассматриваются автомобильный и электрический транспорт, а также гужевые повозки и другие участники дорожного движения:
— автомобильный транспорт: маршрутный пассажирский; индивидуальный пассажирский; грузовой; служебный; скоростной (с сиреной и мигалкой); специальный;
— электрический транспорт: троллейбусы, трамваи, скоростные электрички, электропоезда, метро, фуникулер, скоростной трамвай;
— узловая основа транспортных сетей: транспортные узлы; перекрестки дорог; стоянки, остановки общественного транспорта и других участников движения; парковки и другие места долговременных стоянок тредов; конечные остановки транспорта, вокзалы, автостанции, порты и другие места загрузки и разгрузки транспортных единиц;
— средства управления движением: светофоры; информационные щиты и электронные табло; дорожные знаки и указатели; дорожная разметка; полосы разгона и торможения на перекрестке; посты ГИБДД; правила дорожного движения; индивидуальные информационные и навигационные системы.
10.3. Уровни дорожно-транспортной сети. Уровни дорожно-транспортной сети (ДТС) задают структуру Б-гиперсети для формального описания.
Метро
Дорожная (первичная) сеть
,3 у
г,
(Х5Ж/
X!
и
Трамвай
Объединенная вторичная сеть
З-гиперсеть
Рис. 11. Пример объединения (суммирования) всех вторичных сетей ^-гиперсети Н = (0о(01,02,Оз))
1. Основа ДТС: уличная сеть города, площади и перекрестки, туннели, внутридворовые проезды, стоянки и гаражи, различные препятствия и др.
2. Дороги и другие транспортные линейные сооружения: дорога включая поперечное сечение между внешними границами тротуаров; проезды, рельсы (трамвая, метро, электропоезда и др.), эстакады, мосты и другие инженерные сооружения, предназначенные для проезда транспорта.
3. Проезжая часть (границами проезжей части являются тротуары (обочины), газоны, отделяющие проезжую часть от тротуаров, или разделительная полоса).
4. Полоса движения — любая из продольных полос на проезжей части независимо от дорожной разметки, имеющая ширину, достаточную для движения в один ряд нерельсовых транспортных средств. Конечными узлами полос являются участки проезжих частей (аллели) между перекрестками, разветвлениями и другими узлами дорожной сети; рельсовые пути; полосы движения на дорогах; полосы движения с контактными проводами для троллейбусов; монорельсы.
5. Локусы — локальные участки сети на полосах движения, соответствующие местам, занимаемым транспортными единицами в течение определенного интервала времени.
6. Маршруты движения транспорта: утвержденные маршруты городского пассажирского транспорта; маршруты автотранспорта предприятий; маршруты индивидуальных и других транспортных единиц (тредов).
7. Графы аллелей — множество вершин, соответствующих пересечению стоп-линий с полосами движения на перекрестках, разветвлениях и в других узлах дорожной сети. Ребрам сопоставляются аллели — участки полос на проезжей части. Фактически этот граф описывает структуру движения транспорта, определяемую дорожной разметкой и специальными знаками. Таким образом, аллель является непрерывной полосой движения между узлами, остановка в которых необходима в силу правил дорожного движения.
8. Граф локусов — наибольший граф по количеству вершин и ребер среди вторичных сетей Б-гиперсети транспортной системы города. Этот граф строится следующим образом. Аллели разбиваются на участки, в каждом из которых может находиться не более одного треда. В данном случае вершинами являются возможные остановки транспорта или границы между локусами. Две вершины считаются смежными, если тред может быть перемещен из одной вершины в другую за один такт процесса движения.
10.4. Задачи анализа и оптимизации для транспортных систем мегаполиса. В данном пункте приведены названия задач, которые рассматриваются и решаются учениками автора.
1. Моделирование транспортных потоков:
— математические модели потоков основных транспортных единиц внутри города;
— анализ транспортных потоков;
— распределение (проектирование) различных городских транспортных подсистем;
— классификация, моделирование и оптимизация транспортных развязок.
2. Модели передвижения пассажиров и товаров по городу:
— математические модели пассажиропотоков на городском транспорте;
— анализ и оптимизация маршрутов для пассажиров на городском и личном транспорте;
— математические модели грузопотоков и их оптимизация;
— организация транспортных потоков для обеспечения событийных переездов.
3. Управление транспортными системами:
— управление потоками транспортных средств путем расстановки разметок и развязок;
— управление потоками посредством светофоров и других сигнальных средств;
— оптимальное управление городскими транспортными системами и алгоритмы маршрутизации транспортных единиц;
— мониторинг движения транспорта и пешеходов.
4. Математические модели для задач оптимального размещения пунктов обслуживания транспортных средств и населения:
— бензозаправок и СТО;
— гаражей и других мест хранения транспортных единиц;
— остановок и временных стоянок транспортных единиц;
— мест обслуживания населения с использованием городского транспорта и др.
10.5. Задача управления светофорами на перекрестках любой конфигурации. Пусть задана Б-гиперсетевая модель любого транзитного перекрестка, т. е. на окружности диска геометрической модели узла уз располагаются полюсы, соответствующие входам на перекрестке. Пусть пара полюсов соединяется ребром и? = (хзк ,х31) и имеет место поток транспорта из полюса хк в полюс х\. В результате получаем граф Рг = (X, и), соответствующий потокам транспорта через перекресток уз. Вес V (из) характеризует величину потока машин за определенный промежуток времени. Если Б-гиперсеть нестационарная, то величина V(и3) зависит от времени ¿. Как правило, сутки можно разделить на несколько частей, в каждой из которых значение V(и3) изменяется незначительно. Для каждого выделенного промежутка можно составить расписание работы светофоров.
Очевидно, что минимальное число тактов работы светофоров определяется необходимостью пропуска трафика по независимым путям проезда через перекресток. Длительность работы одного такта определяется величиной потока машин, для которых разрешен проезд за данный такт.
Сформулируем постановку задачи управления светофором. Множеству всех дуг {и3}, г = 1, ...,пз заданного перекрестка уз сопоставим пз — вершины некоторого графа
Рис. 12. Пример задачи управления перекрестками: а — модель перекрестка; б — граф зависимости потоков
G = (U, R). Две вершины u3k и uj смежны в G, если смежны соответствующие им дуги в орграфе Pj = (X, U) перекрестка yj.
Очевидно, что в графе Pj любому пустому подграфу Pk соответствует независимое множество потоков. В данном случае такое подмножество может быть максимальным. Семейство {Pk} пустых подграфов, таких что (J Pk = Pi, определяет расписание работы све-iki тофоров, если наряду с открытием полос для движения определена длительность работы
каждого такта светофора.
Введем следующие обозначения: Xj = (x>l,xj2, ■ ■■,xk) — подмножество вершин в X, таких что подграф Pj = (XXj ,Uj) является пустым, т. е. uj = 0; V(Xj) — вес вершины xj;
bj = max V (Xj). Тогда целевая функция задачи имеет вид Ф = bj ^ min при условии
j=i
Xij = X.
i,j
Таким образом, семейство подграфов P = {Pj} покрывает все вершины графа G и не содержит ни одного ребра из b, т. е. P Р| G = X. Очевидно, что некоторое расписание работы светофора получается из решения Ф следующим образом. Для каждого подмножества независимых полос, соответствующих Pj, время работы на j-м такте определяется выражением
Atj
Т b
где Т — циклический период работы светофора.
На рис. 12 приведен пример узла гиперсети со всевозможными потоками между полюсами. Заключение. В работе рассмотрены некоторые основные понятия и определения теории Б-гиперсетей. Показано, что в рамках данной теории можно строить адекватные модели для решения различных задач для систем сетевой структуры.
Список литературы
1. Попков В. К. Математические модели живучести сетей связи. Новосибирск: ВЦ СО АН СССР, 1990. 233 с.
2. Попков В. К. Математические модели связности. Новосибирск: ИВМиМГ СО РАН, 2006. 490 с.
3. Попков В. К. Методы оптимизации структур зоновых сетей связи / В.К.Попков, С.Б.Кауль, М.И.Нечепуренко. Новосибирск: ВЦ СО АН СССР, 1983. 182 с.
4. Попков В. К. Математические модели и методы оптимизации городских транспортных систем // Материалы 2-й Всерос. конф. "Проблемы оптимизации и экономические приложения", Омск, 29 июня — 4 июля 2009 г. Омск: Б. и., 2009. С. 80-81.
Попков Владимир Константинович — д-р физ.-мат. наук, проф., гл. науч. сотр. Института вычислительной математики и математической геофизики; e-mail: popkov@sscc.ru
Дата поступления — 2.09.2010
