CC BY
112
Научный журнал КубГАУ, №113(09), 2015 года
1
УДК 519.17:656.02
01.00.00 Физико-математические науки
МНОГОКРИТЕРИАЛЬНАЯ ЗАДАЧА ПОИСКА ОПТИМАЛЬНЫХ ПУТЕЙ В КРУПНОМАСШТАБНОЙ ТРАНСПОРТНОЙ СИСТЕМЕ
Павлов Дмитрий Алексеевич к.ф.-м.н., доцент РИНЦ SPIN-код, 8822-5089 [email protected]
Лихобабин Евгений Геннадьевич магистрант
Кубанский государственный аграрный университет, Краснодар, Россия
В статье исследуется многокритериальная задача, возникающая при организации маршрутов в крупномасштабных системах управления транспортом. В качестве математического инструмента для построения модели используются предфрактальные графы. Предфрактальные графы естественным образом отражают структуру устройства связей транспортной системы, отражая ее важные особенности - локальность и дифференциацию. Локальность обеспечивается созданием внутренних маршрутов (городских, внутрирайонных и т.д.). Под дифференциацией понимается разделение маршрутов на внутрирегиональные, межрегиональные и международные. Поставленная задача сводится к покрытию предфрактальных графов простыми пересекающимися по ребрам и вершинам цепями. На множестве всех допустимых покрытий строится векторно-целевая функция с определенными критериями. В понятиях транспортной системы приведенные критерии имеют конкретную содержательную интерпретацию, позволяющие спроектировать транспортные маршруты учитывая особенности системы.
В статье построены полиномиальные алгоритмы для нахождения оптимальных по определенным критериям решения. По критериям не оптимизирующим выделенные маршруты приводятся их оценки нижних и верхних границ. По всем приведенным алгоритмам построены и обоснованы оценки вычислительной сложности, подтверждающие преимущество использования методов предфрактальных и фрактальных графов перед классическими методами теории графов
Ключевые слова: ФРАКТАЛЬНЫЙ ГРАФ, ПРЕДФРАКТАЛЬНЫЙ ГРАФ, ТЕОРИЯ ГРАФОВ, МНОГОКРИТЕРИАЛЬНАЯ ОПТИМИЗАЦИЯ, ПОКРЫТИЯ ГРАФОВ, ПОЛИНОМИАЛЬНЫЙ АЛГОРИТМ, ТРАНСПОРТНАЯ СИСТЕМА, ОПТИМАЛЬНЫЙ МАРШРУТ
UDC 519.17:656.02
Physical-Mathematical sciences
МиЬЛСШТЕША PROBLEM OF FINDING THE OPTIMAL PATHS FOR LARGE-SCALE TRANSPORT SYSTEM
Pavlov Dmitriy Alexeevich Cand.Phys.-Math.Sci., associate professor RSCI SPIN-code, 8822-5089 [email protected]
Likhobabin Evgeniy Gennadyevich
Kuban State Agrarian University, Krasnodar, Russia
This article explores the multicriteria problems arise in the organization of routes in large-scale transport management system. As a mathematical tool for constructing a model, we were using the prefractal graphs. Prefractal graphs naturally reflect structure of the device of communications of transport system, reflecting its important features - locality and differentiation. Locality is provided with creation of internal routes (city, raionwide, etc.). Differentiation is understood as division of routes on intra regional, interregional and international. The objective is reduced to a covering of prefractal graphs by the simple paths which are crossed on edges and nodes. On the set of feasible solutions, vector criterion function with certain criteria is based. In concepts of transport system, the given criteria have concrete substantial interpretation, the transport routes allowing to design considering features of system.
In this article, we construct polynomial algorithms for finding optimal according to certain criteria decision. By the criteria which aren't optimizing the allocated routes their estimates of the lower and upper bounds are given. On all given algorithms the estimates of computing complexity confirming advantage of use of methods of prefractal and fractal graphs before classical methods of the theory of graphs are constructed and proved
Keywords: FRACTAL GRAPH, PREFRACTAL GRAPH, THEORY GRAPH, MULTICRITERION OPTIMIZATION, COVERING GRAPH, POLYNOMIAL ALGORITHM, TRANSPORT SYSTEM, OPTIMAL PATH
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
2
При проектировании инфраструктуры транспортной системы [3,4] одной из актуальных проблем является задача организации сети пассажирского или грузового транспорта. В процессе проектирования транспортной сети, маршруты перевозок следует находить «особым» образом, учитывая экономические и общественные требования предъявляемые к системе. В качестве модели карты дорог некоторого промышленного объекта, населенного пункта, района или города рационально использовать граф [2]. В этом графе вершинам соответствуют узлы транспортной системы (промышленные объекты, склады, остановки, перекрестки и т.д). Ребрам графа соответствуют отрезки дорог, соединяющих перечисленные узлы транспортной системы.
Рассмотрим сеть дорог в определенном порядке, начиная с масштаба страны и заканчивая определенным населенным пунктом, каждый раз подключая дороги рассматриваемого уровня (масштаба). В масштабе страны будем рассматривать дороги связывающие округа. Далее, в масштабе округа рассмотрим сеть дорог соединяющих субъекты округа (области, республики, края). В масштабе субъектов округа рассмотрим сеть дорог связывающих определенные районы выбранного округа. Аналогично, при рассмотрении транспортной сети в масштабе района нас интересуют только дороги соединяющие населенные пункты этого района. Процесс рассмотрения сети дорог в таком порядке напоминает траекторию построения фрактальных и предфрактальных графов.
Моделью такого рода карты дорог со свойством самоподобия [1] состоящей из “большого” числа составных частей является
предфрактальный граф, в общем случае порожденный множеством затравок.
Как в случае, когда в качестве модели схемы дорог применяется “обычный” граф, так и при использовании предфрактального графа, при исследовании сетей пассажирского или грузового транспорта возникает за-
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
3
дача построения системы транспортных маршрутов некоторого специального вида, позволяющей попасть из любого узла транспортной системы в любой другой при ограничениях накладываемых на время, длину пути, число пересадок и т.д.
В данной статье предложено формальное описание этой задачи в терминах теории графов [2] и многокритериальной дискретной оптимизации [5-7,10,12,14,15].
Покрытие [5-8,16] предфрактального графа состоящее из цепей, берется в качестве всей системы транспортных маршрутов. Необходимые требования и ограничения, налагаемые на систему маршрутов отражают критерии векторно-целевой функции [5].
Необходимые определения
Оговорим заранее, что недостающие определения теории графов, предфрактальные и фрактальных графов можно найти в работах [2], [1].
Затравкой назовем связный н-вершинный граф Н = (117, (7), где W-множество вершин, а Q -множество ребер.
Предфракталъный граф будем обозначать через GL = (VL,EL), где VL-множество вершин графа, а ^-множество ребер. Определим его поэтапно, где в построенном на предыдущем этапе графе Gt = (yb El)i I = 1,2,L — 1 заменяя каждый раз его вершину затравкой Н = (И7, (?). Ребрами ранга / предфрактального графа GL, назовем ребра, появившиеся на /-ом I = {1,2, ..., L} этапе порождения.
Предфракталъный граф GL = (VL,EL) назовем (и,£)-графом, если затравкой этого графа является полный и-вершинный граф.
Предфракталъный граф GL = УМ является взвешенным, если каждому его ребру = Е
G (0f_1a, i
поставлено в соответствие число
где I = 1 ,L - ранг ребра, а>0 и в < - В понятиях
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
4
транспортной системы под весом понимается расстояние между объектами или затраты, связанные с транспортировкой.
Постановка задачи
Пусть дан взвешенный предфрактальный граф GL = (VLf EL) порожденный затравкой Н = (W, Q), где | W\=n, \Q\=q.
Покрытием графа GL назовем подграф х = {yLfEK), EX^EL, построенный из множества простых цепей {C1, C 2,..., Ck,..., CK}, где между двумя любыми вершинами из покрытия имеется простая цепь. Множество всех покрытий х обозначим через X. Покрытие х = (VLf Ех) - связный подграф графа Gl. Покрытие состоит из простых цепей, пересекающихся по вершинам либо ребрам.
Максимальной назовем кратчайшую цепь, не являющуюся подцепью никакой другой кратчайшей цепи [9,13,16].
В предфрактальном графе GL простую цепь будем называть /смешанной цепью С\ если она содержит ребра i различных рангов.
На множестве покрытий х Е X графа GL_ = (VLf EL) определим векторно-целевые функции:
),F2(x),F3(x),F4(x),F5
-»■ min
(1)
(2)
где Eee&j, w(e) - общий вес покрытия х;
Fn (х) = mrn ) -> max (3)
k=l,K
где Ck - максимальна цепь, k = l,K, из покрытия х Е [Clf C2f...lCkJ...J Ск}, a - ее длина (суммарный вес ребер цепи).
F3 (х) = N (х) -»■ min (4)
где N(x) - число всех максимальных цепей в покрытии х;
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
5
(X) = i -> min
для всякой смешенной цепи С1 из покрытия х.
тт
(5)
(6)
расстояние в покры-
где для любых вершин u, v £ GL графа рх (и, ъ тип х, a рЙ (ix, i?) - расстояние на графе Gh;
Все покрытия {х} предфрактального графа GL образуют множество допустимых решений X = X{GL) = [х} векторно-целевой функции (1)-
(6).
В понятиях транспортных систем приведенные критерии векторноцелевой функции (1) имеют определенную содержательную интерпретацию.
Весам ребер предфрактального графа Gh, могут соответствовать определенные затраты и ограничения при движении транспорта по узлам транспортной системы. Критерий (2) учитывает затраты пассажиров и администрации транспортной системы. При эксплуатации расходы должны быть минимальны.
Критерий (3) отражает нахождение маршрутов пассажирского транспорта с наибольшим количеством узлов на своем пути. Оптимальным для этого критерия является покрытие содержащее максимальные цепи.
Чтобы доехать до нужного узла транспортной системы с наименьшим числом пересадок, необходимо уменьшить общее количество маршрутов в системе. На это направлен критерий (4).
Важными особенностями транспортной системы считаются локальность и дифференциация ее маршрутов. Внутрирегиональными (городскими, внутрирайонными) должны быть транспортные маршруты меньшей длины и меньшего веса, тем самым обеспечивая локальность. Таким образом упрощается процесс администрирования транспортной системой на определенном уровне (района, города и т.д.). Межрегиональными
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
6
являются маршруты более длинные и с большим весом. Под дифференциацией понимается разделение маршрутов по их функциям на межрегиональные и внутрирегиональные. При пересечении внутрирегиональности и межрегиональности может произойти нарушение дифференциации, т.е. ухудшение в функциональности маршрута. За недопущение таких ситуаций в работе транспортной системы в векторноцелевой функции (1) отвечает критерий (5). Смешанная цепь Ск есть модель маршрута сочетающая в себе обе функции - внутрирегиональную и межрегиональную. Так как ее старые ребра соединяют блоки и подграф-затравки предфрактального графа GL, которые и соответствуют картам дорог районов, городов и т.д.
При эксплуатации транспортной системы часто требуется добраться до конечного пункта с наименьшим количеством остановок. Критерий (6) отражает эти требования к построению таких маршрутов.
Алгоритм (3± построения остовного дерева минимального веса
Рассмотрим взвешенный предфрактальный граф GL = (VLfEL), с затравкой Н = (W, Q), где | W\=n, \Q\=q. Алгоритм ^ находит на графе GL остовное дерево Т = (VLf Ет) минимального веса [1].
Опишем, вкратце, суть работы алгоритма. Рассмотрим отдельно каждую подграф-затравку z^, I = 1,L, s = 1, я/-1 из множества .Z(GL). Пооче-
редно на каждой из
nL-l
71— 1
подграф-затравке строится остовное дерево
минимального веса , Е со). Поиск остовного дерева
минимального веса отдельно взятой подграф-затравки находится алгоритмом Прима [2]. Алгоритм Прима применяется в алгоритме ^ в качестве процедуры. Нахождения остовных деревьев минимального веса
всех подграф-затравок позволяет построить остовное дерево
минимального веса предфрактального графа GL.
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
7
Для каждого ребра предфрактального графа определен свой “идентифицирующий” номер, однозначно определяющий ребро во всей траектории. В случае необходимости по номеру можно определить принадлежность подграф-затравке и к какому блоку относится выделенное ребро. Таким образом, построение остовного дерева минимального веса
для подграф-затравки есть выделение множества ребер на
предфрактальном графе GL.
АЛГОРИТМ А.
Вход: взвешенный пред фрактальный граф GL = (VL, £L).
Выход: Остовное дерево минимального веса Г = (VLf Ет).
Шаг 1. Для предфрактального графа GL построить множество под-
Pl) = {
граф-затравок Z(GL) = {zy\ l = l,L, s = Пронумеровать все ребра
предфрактального графа GL в соответствии с построенным множеством
Шаг 2. Используя алгоритм Прима, последовательно на всех затрав-
ках zs\i = i,l, s = 1,п1 1 из множества Z(GL), выделить остовные деревья
минимального веса
i = l, l, s = l,nl~1.
ls
Шаг 3. В результате работы шага 2 получается множество из остовных деревьев минимального веса ;
nL-l
П- 1
0 = 1 = 1,L, s =
Этим множеством и определяется остовное дерево минимального веса
Т =
L>
ЕЛ ◄
Теорема 1. На предфрактальном (п,Ь)-графе GL = (VL, алгоритм f?1 выделяет остовное дерево минимального веса Т = (VLf Ет) порожденного затравкой Н = (W,Q), где \W\ = д \VL\ = N = nL. Вычислительная сложность алгоритма равна 0(А/тг2).
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
8
Доказательство. Для выполнения шага 2 требуется О (?iz ) операций на каждой подграф-затравке. На всех подграф-затравках будет выполнено
кО(п2) операций, где к =
7Ll-l
71- 1
Тогда, ОСкп2) = О (р~~~п2) = °(.nL - п2) = OQNn2}.<
Примечание 1. Вычислительной сложностью алгоритма /Д на предфрактальном графе GL в сравнении с вычислительной сложностью алгоритма Прима оценивается неравенством 0(Nn2) < 0{№). Вычислительная сложности алгоритма Прима в п1~2 раз больше вычислительной сложности алгоритма /Д ◄
Теорема 2. Алгоритм на предфракталъном (п,Ь)-графе
L>
El), с затравкой Н
), где
= п, \VL\ = N = nL строит
остовное дерево минимального веса Т = (Yi,ET').
Доказательство. Алгоритм /Д на предфракталъном графе GL строит
множество остовных деревьев минимального веса
С'9 _ л/СО
1 Е
U i =
s = i,nl~1. Докажем, что множество {ГД0] образует остовное дерево минимального веса Т = (VLf Ет). предфрактального графа GL.
Выделенные на подграф-затравках zsw остовные деревья т:ь\ s = образуют остовный лес на n!_1 связных компонентах, блоках предфрактального графа GL.
Далее, остовное дерево , s = i,nL~z выделенные на подграф-затравках образуют nL~2 связных компонент, т.е. блоков {в^}, а их количество равно nL~2.
Продолжая аналогичный процесс получим, что остовные деревья выделенные на подграф-затравках вместе с раннее найденными
остовными деревьями образуют n связных компонент. Каждая компонента
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
9
,(i-il-
СВЯЗНОСТИ будет представлять остовное дерево блока }. На последнем этапе остовное дерево подграф-затравки z^ связывает п компонент покрытия предфрактального графа GL в остовное дерево Т = (VLf Ет). предфрактального графа GL.
Согласно определению взвешиванного предфрактального графа, вес всякого ребра (7 — 1) -го ранга 1 = 2Д, меньше веса любого ребра /-го ранга. Следовательно, выделение остовного дерева минимального веса на подграф-затравках z^ достаточно для получения остовного дерева минимального веса предфрактального графа GL.
В результате работы алгоритма /?ь полученный связный остовный подграф T = (VLtET), в силу построения им остовного дерева минимального веса Ts^ = (у}^,Ет&), i = T/L, s = i,ni_1, представляет собой
остовное дерево минимального веса Т = (VLf Ет) предфрактального графа
Gl. ◄
Алгоритмом р1 строит остовное дерево минимально веса Г = (VLf Ег) на предфрактальном графе, которое является допустимым решением х1 = Т = (VLlET) Е X. Допустимое решение х1 оптимизирует критерий (2), /ДСху) = miir^ F^x), векторно-целевой функции (1) - (6).
Для остальных критериев (3) - (6) оптимальность покрытия х1 не очевидна. Построим для некоторых из этих критериев оценки [5].
Для критерия (6) оценим верхнюю границу значений функции F- (т1) используя наибольшую цепь max^j max^ v&Ci рх (и, v) среди всех возможных покрытий {х1}.
Для каждого n -вершинного графа G=(V,E) среди множества всех его остовных деревьев {Т = (У, Fj-)} остовное дерево с наибольшей диаметрально цепью есть гамильтонова цепь [2]. Длина гамильтоной цепи равна
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
10
п-1 [2]. Если рассмотреть предфрактальный граф Gh порожденный 77вершинной затравкой H, то длина его гамильтоновой цепи будет равна тг^ — 1. Концевые вершины гамильтоновой цепи могут быть смежными, поэтому длина гамильтоновой цепи предфрактального графа с вычетом единицы является верхней границей оценки,
max^} рх (и, v) — 1 = nL — 2, по критерию (6) векторно-
целевой функции (1) - (6).
Пусть предфрактальный граф GL порожден затравкой Н являющейся деревом. Тогда предфрактальный граф является деревом и между любой парой его вершин существует единственная цепь. В этом случае, на предфрактальном дереве Gh алгоритм выделит покрытие хъ которое совпадает с предфрактальным графом Gh. Тогда нижняя граница оценки по критерию (6) векторно-целевой функции (1) - (6) будет равна нулю.
Лемма 1. Если покрытие х1 = Т = (VL,ET) выделяемое алгоритмом /? 1 иа предфрактальном (n,L) -графе GL = {VLjEl), совпадает с гамильтоновой цепью этого предфрактального графа, тогда х± является оптимальным по критериям /^(Х) 11 Fi (г),
E3°(r1) = min^E3(x).
Очевидно, дерево х1 = Т = (VLf Ет\ с двумя висячими вершинами
[2], является гамильтоновой цепью. Если у предфрактального графа GL покрытие х± совпадает с его гамильтоновой цепью, тогда N(_x±) = 1. Из этого следует, что А/(усу) > 1 - нижняя граница оценки по критерию (4).
Количество максимальных цепей N(D) любого дерева D
определяется числом его висячих вершин,
= С2 =
, где m -
число висячих вершин дерева D. Звезда К1 гП, являющаяся деревом, имеет наибольшее число висячих вершин. У звезды число максимальных цепей
равно N(KXn) = С2 _1 =
-2)
В покрытии х1 = Т = (VL, ЕуО
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
11
предфрактального графа GL = (yLfEL)^ порожденного «-вершинной звездой-затравкой Н = Kl7l, число максимальных цепей Л/Сху) не превосходит < nL-1(Vi — 1). Верхняя оценка достижима на
предфрактальном графе порожденном звездой-затравкой с
пересекающимися старыми ребрами. Число подграф затравок у такого предфрактального графа равно Число висячих вершин в каждой из подграф затравке - n-1.
Обобщение всех проделанных исследований по поиску оценок для критериев из векторно-целевой функции (1) - (6), лежит в основе доказательства следующей теоремы.
Теорема 3. Алгоритм на предфрактальном (п,Ь)-графе
Gl = {VLfEL), с п-вершинной затравкой Н = (Wf Q), выделяет покрытие хг = Т = (VLfET) оптимальное по критерию): F£(*y) = Е1 (А), и
оцениваемое по критериям: F3 (уу) Е — 1)] и
E [0;nL - 2].
Алгоритм P2 выделения наибольших максимальных цепей
Алгоритм выделения наибольших максимальных цепей на предфрактальных графах более глубоко исследован в работах [5,10]. Здесь лишь приведем еще раз процедуру его работы и построим оценки для векторноцелевой функции (1-6).
Пусть дан предфрактальный граф GL = (VLrEL), с затравкой H=(W,Q), \W\ = п. Алгоритм /?2 выделяет на предфрактальном графе покрытие х2 = J = (Vl,Ej} = {ClfC2,...fCkfСк} Е X , все цепи которого Ск = Ь?к>ик}- простые, к = 1 ,К.
Алгоритма /?2 использует алгоритм выделения наибольших максимальных цепей на произвольном графе представленный в работах [5,11]. В качестве процедуры, алгоритм /?2, использует алгоритм выделения
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
12
наибольших максимальных цепей на каждой подграф-затравке множества
Z(Gl) G zf-, I = 1,L, s = В результате на предфрактальном графе
Gl выделяется подграф ff* = (v^, Ер ) = [Q, С2,..., ,..., Ск (г>], где
цепи Ск
являются максимальными и наибольшими, среди всех
цепей между вершинами if., v 6 fp подграф-затравки . Выделяемое на подграф-затравках предфрактального графа GL множество покрытий
(0
{Js I = 1,L, s = 1,п1 1, составляет покрытие х2 = ] = {[VLrEj).
В работе [5,10] приведено описание алгоритма выделения наибольших максимальных цепей на произвольном графе и построена оценка вычислительной сложности, которая равна АЛГОРИТМ /?2
Вход: предфрактальный граф GL = (VLfEL).
Выход: связный остовный подграф
/ = (VLfEj^ = {ClfC2f... ,Ckf ...,СК}.
Шаг 1. Построить множество подграф-затравок
Z(Gl) = {z^}, l = lfL, s = l,nL L, для предфрактального графа GL. Все ребра предфрактального графа GL пронумеровать относительно построенного множества ZCG^.
Шаг 2. Используя алгоритм выделения наибольших максимальных цепей, выделять остовные подграфы
= CkfСК (0] последовательно, на всех
подграф-затравках z^, s = 1,тГ-1 из множества
следуя порядку
уменьшения ранга I = L, L — 1, Создать множество цепей
{Q} = = после нахождения
.00
— l,n;_1
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
13
После построения множества
‘L-i+l^ = {^L-l+l,l>^L-l+ 1,2 > ■■■> ^L-l + l,k> ■■■> ^L — i + hK^ _j4± ^
цепей
l = L,L — 1, ...,2,1, соединить каждую его цепь CL_l+hk с ребрами цепей
подграф-затравок Объединять построенные цепи в множество
цепей {C*_i+1}.
Шаг 3. У цепи Ск е подграф-затравки s = каждое
к = 1,К со присоединять к той цепи из множества ' Л
ребро е Е Ck = {vk {С*-£+1>, к концу которой она инцидентна. В множество цепей £+2}
внести построенную цепь.
В случае, когда ребро e инцидентно своим концом одной или нескольким цепям из {С£_;+1}, тогда внести в множество {С£_;+2} все полученные при этом цепи.
Если концам двух различных цепей CL_l+ljft и CL_l+lift инцидентны обе вершины vkruk ребра е, тогда в множество {Q_(+2.} вносить цепь, образованную цепями CL_L+lik , и ребром е, только в том случае,
когда концы цепей CL_l+hk и CL_L+l k^ не инцидентные ребру е, так же не инцидентны концам других цепей из {Q_f+1}. Иначе, вносить в множество {С£_£+2} цепи, которые получились из нескольких цепей множества и ребер цепей подграф-затравок (1-1 )-го ранга.
Если ребро е не является инцидентным никаким цепям из {Q_;+1}, то в множество {С£_;+2} внести его в качестве отдельной цепи.
ШАГ 4. В результате работы ШАГА 3, после обработки цепей всех подграф-затравок, получится множество цепей
1} = 1а, 1, Cl,2, ■ ■- Хь,к, ■ ■-, Cl,kl }• Из множества {Q } изменением нумерации получить множество {£]_, С2гCkJСК], которое определяет искомый остовный подграф / = (vLl Ef). ◄
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
14
Теорема 4. Алгоритм /?2, выделяющий покрытие ] = (VLf Ej) на предфракталъном (п,Ь)-графе GL = (VLf EL), порожденном затравкой H=(W,Q), где \W\ = п, \VL \ = N = nL, имеет вычислительную сложность
)•
Примечание 2. Сравнив вычислительные сложности алгоритма/^ на предфракталъном графе Ghи алгоритма выделения наибольших максимальных цепей получим неравенство 0(Л/?гл) > 0{NJ). Вычислительная сложность алгоритма выделения наибольших максимальных цепей превышает в пь~э раз вычислительную сложность алгоритма
Теорема 5. Алгоритм /32
^2 = I = (Уь> ^/) = {^1j "•> "•> От} ^ X,
одного ранга, на предфрактальном
порожденном затравкой H=(W,Q), где \ W
критерию: F1(_x2) С
Лт)
т-‘
пд.
Ъ "
строит покрытие где Ск - кратчайшие цепи (п.Ь)-графе GL = ( VLjEl), = 7i, |(?| = q, с оценкой по -1
Доказательство. На предфрактальном графе GL, порожденном затравкой Н, алгоритм /?2 строит покрытие
х2= j = (VLf Ej) = {(Д, CZf —f Ek) принадлежащее множеству
допустимых решений X векторно-целевой функции (1) - (6).
Построим нижнюю оценку. Значение критерия F1 (А) является весовым, оно равно сумме весов ребер покрытия х Е X. Очевидно, из множества допустимых решений наибольшим весом будет покрытие содержащее все ребра предфрактального графа GL, т.е. х = Gh. Оценим
общий вес предфрактального графа Gh. Обозначим через -
общий вес подграф-затравки е Z(GL) ранга /, I = 1,1, где s = 1,7ii_1,
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
15
тогда w(Gl) = Вес отдельно взятой затравки ранга /, I = 1,L
оценивается w ) < ц(а/Ь)1_1Ь, где |(?| = q - число ребер в затравке Н.
На предфрактальном графе GL сумма весов всех подграф-затравок одного ранга оценена сверху ) < q Вес всего
предфрактального w(_GL) < ^ (afb]
графа
удовлетворяет
неравенству
1 1?г' 1 <
(■naj
--1
Построим нижнюю оценку. Покрытием из множества допустимых решений наименьшим по весу должно быть остовное дерево предфрактального графа GL. Для получения нижней оценки по критерию (2) нужно оценить вес остовного дерева минимального веса Т = (VLf Ет\ построенного алгоритмом Дща предфрактальном графе GL. Поскольку алгоритм (31 строит остовное дерево минимального веса Т = (VL,ET),
чтобы получить I = 1,L, s = на всех подграф-
затравках Z(Gl), то iv(T) = где w(T^) - общий вес
остовного дерева минимального веса Т^1\ Согласно определению
взвешенного предфрактального графа, каждое ребро подграф-затравки z*p ранга / не может быть меньше чем (afb)l~1a. Тогда,
> (п — T)(a/b)l~1a, где (н-У)-количество ребер остовного дерева
[2,9]. Общий вес остовного дерева минимального веса подграф-затравок одного ранга w(T^) > а(п — l)(a/jfj)i_17ii_1, I = 1,L. Для остовного
дерева минимального веса T выполняется:
>Л;а(п— ^ 1 > а(п — —1)/па/Ь — 1.
Л1
Таким образом,
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
16
Fi
]• ◄
Заключение
Построенная модель системы организации маршрутов в транспортной системе с использованием предфрактальных графов значительно уменьшает вычислительный процесс нахождения оптимальных маршрутов в сравнении с традиционным способом решения задачи на графах. Сравнительный анализ вычислительной сложности предложенного алгоритма с известным алгоритмом Прима, показывает его превосходство над последнем порядка меньше чем в N/n2 раз.
Что касается использования алгоритма выделения наибольших максимальных цепей на предфрактальном графе в сравнении с использованием его на графе, то превосходство первого алгоритма порядка меньше чем в раз.
Литература
1. Кочкаров А.М. Распознавание фрактальных графов. Алгоритмический подход. - Нижний Архыз: РАН САО.-1998.
2. Кристофидес Н. Теория графов. Алгоритмический подход. - М.: Мир, 1978.
3. Орлянская Н.П., Нагоев А.В. Проблемы проектирования и внедрения информационной системы учета работы автотранспорта. Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета. 2005. № 9. С. 148-155
4. Орлянская Н.П., Нагоев А.В. Разработка математической модели обработки информационной системы учета автотранспорта. Труды Кубанского
государственного аграрного университета. 2007. № 8. С. 26-30.
5. Павлов Д.А. Многокритериальная задача покрытия предфрактального графа простыми цепыми// Диссертация на соискание ученой степени кан. ф.-м. н. -Таганрог: ТРГУ, 2004.
6. Павлов Д.А. Многокритериальная задача покрытия предфрактального графа цепями типа t (t = 1,2,3). Черкесск, КЧГТИ, 2003, Деп. в ВИНИТИ, №670-В2003. - С.1-17.
7. Павлов Д. А. Многокритериальная задача покрытия фрактальных и предфрактальных графов простыми цепями. Черкесск, КЧГТА, 2004, Деп. в ВИНИТИ, №1248-В2004. - С.1-12.
8. Павлов Д.А. Оценка покрытия предфрактального графа кратчайшими простыми цепями// VI Всероссийский симпозиум «Математическое
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
17
моделирование и компьютерные технологии». Тез. докл. Кисловодск: КИЭП, 2004. - С15-16.
9. Павлов Д.А., Кочкаров А.А Об одной многокритериальной задачи покрытия минимального веса предфрактального графа простыми пересекающимися цепями. Препринт №200. РАН САО . Нижний Архыз. 2004.-12с.
10. Павлов Д.А., Кочкаров А.А. Узденов А.А. Об одной многокритериальной задаче выделения наибольших максимальных цепей на предфрактальных графах. Препринт №198. РАН САО. Нижний Архыз. 2004.-27с.
11. Павлов Д.А., Кочкаров Р.А. Алгоритм с оценками построения покрытий непересекающимися простыми цепями на предфрактальном графе. Препринт №199. РАН САО. Нижний Архыз. 2004.-24с.
12. Павлов Д.А., Салпагаров С.И. Многокритериальная задача выделения маршрутов на предфрактальном графе// Известия ТРГУ. - Таганрог: ТРГУ, 2004.
13. Павлов Д.А., Узденов А.А. Разработка и исследование задачи распознавания
предфрактального графа с затравкой - простая цепь// В
сборнике: Перспективные системы и задачи управления Материалы Второй Всероссийской научно-практической конференции. -Таганрог: ТРГУ, 2007.
14. Павлов Д.А., Узденов А.А. Алгоритмы определения абсолютных р-центров на предфрактальных графах с затравкой - полный и-вершинным графом. Препринт №201. РАН САО. Нижний Архыз. 2004.-9с.
15. Узденов А. А., Павлов Д.А. Об одной многокритериальной задаче о р-медианах на предфрактальных графах// Электронный научный журнал "Исследовано в России". — 2007. — Т. 10. —с.1953.
16. Юшманов С.В. Маршруты в графах и связанные с ними множества вершин. // Диссертация на соискание ученой степени к.ф.-м.н. - Москва: МГУ, 1982.
References
1. Kochkarov A.M. Raspoznavanie fraktal'nyh grafov. Algoritmicheskij podhod. -Nizhnij Arhyz: RAN SAO.-1998.
2. Kristofides N. Teorija grafov. Algoritmicheskij podhod. - M.: Mir, 1978.
3. Orljanskaja N.P., Nagoev A.V. Problemy proektirovanija i vnedrenija informacionnoj sistemy ucheta raboty avtotransporta. Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta.
2005. № 9. S. 148-155
4. Orljanskaja N.P., Nagoev A.V. Razrabotka matematicheskoj modeli obrabotki informacionnoj sistemy ucheta avtotransporta. Trudy Kubanskogo gosudarstvennogo agrarnogo universiteta. 2007. № 8. S. 26-30.
5. Pavlov D.A. Mnogokriterial'naja zadacha pokrytija predfraktal'nogo grafa prostymi cepymi// Dissertacija na soiskanie uchenoj stepeni kan. f.-m. n. -Taganrog: TRGU, 2004.
6. Pavlov D.A. Mnogokriterial'naja zadacha pokrytija predfraktal'nogo grafa cepjami tipa . Cherkessk, KChGTI, 2003, Dep. v VINITI, №670-V2003. - S.1-17.
7. Pavlov D.A. Mnogokriterial'naja zadacha pokrytija fraktal'nyh i predfraktal'nyh grafov prostymi cepjami. Cherkessk, KChGTA, 2004, Dep. v VINITI, №1248-V2004. - S.1-12.
8. Pavlov D.A. Ocenka pokrytija predfraktal'nogo grafa kratchajshimi prostymi cepjami// VI Vserossijskij simpozium «Matematicheskoe modelirovanie i komp'juternye tehnologii». Tez. dokl. Kislovodsk: KIJeP, 2004. - S15-16.
http://ej.kubagro.ru/2015/09/pdf/46.pdf
Научный журнал КубГАУ, №113(09), 2015 года
18
9. Pavlov D.A., Kochkarov A.A. Ob odnoj mnogokriterial'noj zadachi pokrytija minimal'nogo vesa predfraktal'nogo grafa prostymi peresekajushhimisja cepjami. Preprint №200. RAN SAO . Nizhnij Arhyz. 2004.-12s.
10. Pavlov D.A., Kochkarov A.A. Uzdenov A.A. Ob odnoj mnogokriterial'noj zadache vydelenija naibol'shih maksimal'nyh cepej na predfraktal'nyh grafah. Preprint №198. RAN SAO. Nizhnij Arhyz. 2004.-27s.
11. Pavlov D.A., Kochkarov R.A. Algoritm s ocenkami postroenija pokrytij neperesekajushhimisja prostymi cepjami na predfraktal'nom grafe. Preprint №199. RAN SAO. Nizhnij Arhyz. 2004.-24s.
12. Pavlov D.A., Salpagarov S.I. Mnogokriterial'naja zadacha vydelenija marshrutov na predfraktal'nom grafe// Izvestija TRGU. - Taganrog: TRGU, 2004.
13. Pavlov D.A., Uzdenov A.A. Razrabotka i issledovanie zadachi raspoznavanija predfraktal'nogo grafa s zatravkoj - prostaja cep'// V sbornike: Perspektivnye sistemy i zadachi upravlenija Materialy Vtoroj Vserossijskoj nauchno-prakticheskoj konferencii. -Taganrog: TRGU, 2007.
14. Pavlov D.A., Uzdenov A.A. Algoritmy opredelenija absoljutnyh r-centrov na predfraktal'nyh grafah s zatravkoj - polnyj n-vershinnym grafom. Preprint №201. RAN SAO. Nizhnij Arhyz. 2004.-9s.
15. Uzdenov A.A., Pavlov D.A. Ob odnoj mnogokriterial'noj zadache o r-medianah na predfraktal'nyh grafah// Jelektronnyj nauchnyj zhurnal "Issledovano v Rossii". — 2007. — T. 10. —s.1953.
16. Jushmanov S.V. Marshruty v grafah i svjazannye s nimi mnozhestva vershin. // Dissertacija na soiskanie uchenoj stepeni k.f.-m.n. - Moskva: MGU, 1982.
http://ej.kubagro.ru/2015/09/pdf/46.pdf
