УДК 519.1
01.00.00 Физико-математические науки
ФРАКТАЛЬНЫЕ И ПРЕДФРАКТАЛЬНЫЕ ГРАФЫ, ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ОБОЗНАЧЕНИЯ1
Кочкаров Расул Ахматович Кандидат экономических наук РИНЦ SPIN-код 5253-4030
1. Финансовый университет при Правительстве Российской Федерации, Москва, Россия
2. Институт проблем управления РАН, Москва, Россия
rasul [email protected]
UDC 519.1
Physics and mathematics
FRACTAL AND PREFRACTAL GRAPHS, BASIC DEFINITIONS AND SYMBOLS
Kochkarov Rasul Ahmatovich Candidate in Economic Sciences SPIN-code 5253-4030
1. Financial University under the Government of the Russian Federation, Russian Federation, Moscow
2. Institute for Control Sciences of RAS, Russian Federation, Moscow
rasul [email protected]
Павлов Дмитрий Алексеевич Кандидат физико-математических наук РИНЦ SPIN-код 8822-5089
Кубанский государственный аграрный университет им. И. Т. Трубилина, Krasnodar, Russia
Хубиева Диана Абрек-Зауровна Аспирант
Северо-Кавказская государственная гуманитарно-технологическая академия, Черкесск, Россия
В работе приводится описание фрактального и предфрактального графа. Предложены основные определения и обозначения, приводится процедура построения предфрактального графа, операция замещения вершины затравкой
Ключевые слова: ФРАКТАЛЬНЫЙ ГРАФ, ПРЕДФРАКТАЛЬНЫЙ ГРАФ, ОПЕРАЦИЯ ЗАМЕЩЕНИЯ ВЕРШИНЫ ЗАТРАВКОЙ
Doi: 10.21515/1990-4665-134-015
Для обозначения графа - конечного или бесконечного в работе используется общепринятое обозначение G = (V, E) [1, 2].
Для определения предфрактальных (prefractal) и фрактальных (fractal) графов приведем дополнительные определения (в скобках приводятся англоязычная терминология) [3, 4].
Pavlov Dmitry Alekseevich Candidate in Physics and mathematics SPIN-code 8822-5089
Kuban State Agrarian University, Krasnodar, Russia
Khubieva Diana Abrek-Zaurovna Postgraduate Student
North - Caucasian State Humanitarian-Technological Academy, Cherkessk, Russia
The fractal and prefractal graph are described in the article. The basic definitions and notation are proposed, the procedure for constructing prefractal graph, the operation of replacement vertex by seed is given
Keywords: FRACTAL GRAPH, PREFRACTAL GRAPH, REPLACEMENT VERTEX BY SEED
1 Работа выполнена при поддержке РФФИ (проекты № 17-06-00577 и 16-29-04268).
Затравкой (seed) называется какой-либо связный n -вершинный граф H = (W, Q) c непомеченными (ненумерованными) вершинами v eW. Операция замещения вершины затравкой
Обобщением известной операции расщепления вершины графа является операция замещения вершины затравкой (ЗВЗ, replacement vertex by seed, RVS). Суть этого обобщения состоит в том, что расщепляемая вершина замещается не ребром, а затравкой H.
H
Ж
u eU б)
а)
Рисунок 1 - Операция замещения вершины затравкой
Операция ЗВЗ реализуется следующим образом. В данном графе G = (V, E) у намеченной для замещения вершины v0 eV выделяется ее окружение (environment of a vertex) - множество U всех вершин, смежных с вершиной v, и множество R всех ребер, инцидентных вершине V : R = {r = (v, u): u e U}, |u| - число вершин во множестве U. Далее
определяется отображение р вершин и е и во множество вершин затравки Н (см. рис. 1.а и 1.б):
р: и ^ Ж, (1)
то есть каждой вершине и е и ставится в соответствие определяемая с помощью р вершина затравки (р(и) = V еЖ). После чего у каждого ребра г = (V,,и) е Я выделенного окружения конец V заменяется на определяемую отображением (1) вершину V = р(и) затравки Н (см. рис. 1.в и 1.г). Старое ребро е = (V, и) в новом измененном виде (V, и) сохраняет первоначальное обозначение (нумерацию). Операция ЗВЗ считается оконченной, как только для каждого ребра (V, и) е Я, и еи замещаемая вершина V будет заменена на определяемую отображением (1) вершину V = р(и) затравки H. Ненумерованным вершинам затравки присваиваются номера с учетом уже имеющихся номеров других вершин данного графа С. Аналогично присваиваются обозначения (номера) ребрам затравки, которые заместили намеченную вершину V.
Рассмотрим поэтапный процесс выполнения операции ЗВЗ. На этапе ^ = 1 в данной затравке Н = (Ж, О) нумеруются вершины и ребра, полученный граф обозначается через = (V, Е). На этапе 5 = 2 все вершины графа ^ замещаются затравкой Н. На рис. 2 представлен пример замещения вершин графа ^ затравкой Н - полный 3-вершинный граф (треугольник), где смежность старых ребер выбирается произвольная: (а) малыми пунктирными окружностями обведены вершины, замещаемые затравкой; (б) средними пунктирными окружностями обведены затравки, замещающие вершины; (в) старые ребра графа выделены жирными линиями.
H = (W, Q)
\ H
G = н а)
б)
новые ребра
в)
старые ребра
Рисунок 2 - Операция замещения вершин графа G затравкой H
На каждом следующем этапе s = 1,2,...,l к вершинам применяется операция ЗВЗ, по завершению этапа l получен граф Gl = (V, E), который называется предфракталъным (если l ^ да, то речь идет о фрактальном графе). На этапе s = l +1 для каждой вершины v е V осуществляется операция ЗВЗ - замещение вершины затравкой H. В процессе выполнения этих операций все ребра e е El сохраняются и далее называются старыми ребрами (old edges) по отношению ко всем текущим графам GM,G/+2,...,G, где L > 1. При этом все старые ребра, инцидентные замещаемой вершине v е V, становятся (случайным, либо регулярным образом) инцидентными вершинам затравки, заместившей вершину v .
Ребра каждой из таких заместивших затравок называются новыми ребрами (new edges), то есть множество новых ребер можно представить как El+l \ E. При этом ребра этого множества являются старыми в текущих графах G/+2,G/+3,...,GL. Таким образом, граф G/+1 = (Vl+1,E/+1) получается в результате применения операции ЗВЗ к каждой из вершин V •
Предфракталъный граф обозначается через GL = (VL, EL), где VL -множество вершин графа, а EL - множество его рёбер. Определяется он рекуррентно, в построенном на предыдущем этапе i = 1,2,..., L -1 графе Gl = (V, E) каждая его вершина заменяется затравкой H. На этапе l = 1 предфрактальному графу G1 соответствует затравка H: Gx = H. Об описанном процессе говорят, что предфрактальный граф G порождён затравкой H (generated by seed). Процесс порождения предфрактального графа G по существу есть процесс построения последовательности предфрактальных графов Gx,G,...,G,...,G, называемой траекторией (trajectory). Фрактальный граф G = (V, E) определяется бесконечной траекторией [5].
На рис. 3 представлена траектория Gx, G2, G3 предфрактального графа G, порожденного затравкой-треугольником, смежность старых ребер выбрана произвольной.
^ = Н
а) /
а
Н
б)
............
I \ I ^ 1 I I I
I ■
I
I
I
I
I
I
I
I
А
а
в)
Рисунок 3 - Траектория предфрактального графа 03
•-•
С = Н1 н
2 Н 3
а)
в)
Рисунок 4 - Траектория предфрактального графа С, порожденного множеством затравок Н.
Обобщением процесса порождения предфрактального графа Оь является такой случай, когда вместо единственной затравки Н задается множество затравок Н = {Н}={Н,Н2,...,Н,•••,Н }, Т > 2. Суть этого
обобщения состоит в том, что при переходе от графа G к графу G каждая вершина замещается некоторой затравкой Ht е H, которая
выбирается случайно или согласно определенному правилу, отражающему специфику моделируемой задачи. В соответствие с этим в качестве предфрактального графа G принимается одна из затравок Ht. Мощности множества вершин затравок Ht = (Wt, Qt), то есть количества их вершин, соответственно равны: |w| = nt. Для упрощения в дальнейшем будут использоваться обозначения: затравка H е {Ht}, количество вершин затравки n = max n., количество ребер затравки q = max а,.
t=1,2,...,T t=1,2,...,T
На рис. 4 представлен пример порождения предфрактального графа G , порожденного множеством затравок H смежность старых ребер выбрана произвольной: (а) H = H,H2,H3}: H - полный 3-вершинный граф-треугольник; H - полный 2-вершинный граф; Щ - 4-вершиннаый граф-звезда; (б) затравки, вновь заместившие вершины, обведены малыми пунктирными окружностями; (в) большие пунктирные окружности обводят подграфы, появившиеся вместо вершин графа G после второго этапа замещения вершин затравкой.
Канонический и неканонический предфрактальные графы
Отличительной особенностью процесса порождения предфрактального графа является то, что на каждом этапе l = 2,3,...,L в текущем графе G х = (V х, E^) замещается той или другой затравкой каждая вершина v е V х. Предфрактальные графы, получаемые в результате такого процесса, называем каноническими (canonical).
В общем случае неканонический (noncanonical) предфрактальный граф порождается множеством затравок H мощности |н| > 1, однако при
одном принципиальном отличии: при переходе от графа G к графу G в
траектории С,С,•••,С,•••,С, замещается затравкой из Н не каждая вершина у е , а лишь подмножество вершин кД ^ V-!, которое определяется либо случайно, либо согласно конкретным правилам, отражающим содержательную специфику моделируемой задачи.
С = (Кз, Ез)
Рисунок 5 - Неканонический предфрактальный граф С, порожденный затравкой-треугольником.
На рис. 5 представлен неканонический предфрактальный граф С, порожденный единственной затравкой - полный 3-вершинный граф (треугольник), при сохранении смежности старых ребер. Вершина у' не была замещена затравкой на третьем этапе, а вершина у" замещена затравкой только на третьем. Суммарно получается, что на втором шаге только две вершины из трех замещены затравкой, на третьем шаге замещены все вершины кроме одной. Малыми пунктирными окружностями обведены затравки, появившиеся на последнем - третьем этапе замещения вершин графа. В подграфе, обведенном большой
пунктирной окружностью, замещались все вершины на всех этапах. Фактически этот подграф является каноническим подграфом (canonical subgraph) и, если рассматривать его отдельно, - каноническим предфрактальным графом.
•-•
g = h h 2
а)
H
v\
в)
Рисунок 6 - Траектория неканонического предфрактального графа 03, порожденного множеством затравок Н
На рис. 6 представлен неканонический предфрактальный граф 03, порожденный множеством затравок Н, смежность старых ребер выбрана произвольной: (а) вершина V ' не была замещена затравкой на втором этапе; (б) вершины V " и V "' не замещены затравками на третьем.
Рисунок 7 - Неканонический предфрактальный граф .
Нетривиальным случаем операции ЗВЗ в процессе порождения предфрактального графа 01, траектории ^ = (V,Е), 1 = 1,2,...,ь является замещение вершины не затравкой, а графом 0{_( траектории С = (V, Е), I = 1,2,...,Ь ; г е[1,1 - 1].
На рис. 7. изображен неканонический предфрактальный граф , в котором на последнем - четвертом этапе порождения две вершины замещены графом С из траектории С ,С ,С .
Предфрактальный мультиграф
В качестве затравок могут использоваться не только обыкновенные графы, но и мультиграфы, в том числе ориентированные графы. Мультиграфом (или псевдографом) называется граф, в котором разрешается присутствие кратных рёбер, имеющих одни те же конечные вершины, то есть две вершины могут быть соединены более чем одним ребром.
Существует несколько различных способов обозначения ребер мультиграфа. В одном случае ребро определяется вершинами, которые оно соединяет, при этом каждое ребро может повторяться несколько раз. В другом случае ребра являются равноправными и должны иметь собственную идентификацию.
Предфрактальный граф, порожденный множеством мультиграф-затравок либо единственной мультиграф-затравкой, условимся называть предфракталъным мультиграфом (prefractal multigraph).
На рис. 8 изображен канонический предфрактальный мультиграф С3, порожденный множеством затравок Н = {И, И2}, смежность старых ребер выбрана произвольной. В процессе порождения предфрактального графа ребра е" и е" смежные в , таковыми уже не являются в С3.
На рис. 9 изображен канонический предфрактальный ориентированный мультиграф С3, порожденный множеством затравок
Н = {И, И}, смежность старых ребер выбрана произвольной. Дуга е'
затравки И является петлей. В процессе порождения предфрактального
графа изменяются инцидентности дуг: дуга е" образующая петлю в С2,
перестает быть таковой в 03, начало дуги выходит из вершины V ', конец
входит в V ".
о1 = н1 И2 а)
С
в)
Рисунок 8 - Траектория предфрактального мультиграфа С, порожденного множеством затравок Н .
Л
^ = И И 2 а)
в)
Рисунок 9 - Траектория предфрактального ориентированного мультиграфа , порожденного множеством затравок Н .
Предфрактальные графы, порожденные затравками - гиперграфами, являются сложными объектами и требуют отдельного исследования. Напомним, что в гиперграфе ребром могут соединяться не строго две вершины, а любые подмножества вершин.
Список литературы:
1. Кочкаров A.M. Aсимптотический подход к многокритериальной задаче покрытия графа цепями // Доклады Aкадемии наук Белорусской ССР. - 1983. Т. XXY. - № 10. - С. 911.
2. Кочкаров A.M., Байрамукова З.Х. Спектры предфрактальных графов с затравками-циклами, сохраняющих смежность старых ребер // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета. - 2012. - № 81. - С. 93-102.
3. Павлов ДА., Кочкаров P.A. Aлгоритмы с оценками построения покрытий непересекающимися простыми цепями на предфрактальном графе // Препринт СAО PAR. - 2004. - № 199. - 22 с.
4. Павлов ДА., Кочкаров A.A. Об одной многокритериальной задаче покрытия минимального веса предфрактального графа простыми пересекающимися цепями // Препринт СAО PAK. - 2004. - № 200. - 12 с.
5. Кочкаров A.A., Кочкаров P.A., Mалинецкий Г.Г. Некоторые аспекты динамической теории графов // Журнал вычислительной математики и математической физики. - 2015. - Т. 55. № 9. - С. 1623-1629.
References
1. Kochkarov A.M. Asimptoticheskij podhod k mnogokriterial'noj zadache pokrytija grafa cepjami // Doklady Akademii nauk Belorusskoj SSR. - 1983. T. XXY. - № 10.
- S. 911.
2. Kochkarov A.M., Bajramukova Z.H. Spektry predfraktal'nyh grafov s zatravkami-ciklami, sohranjajushhih smezhnost' staryh reber // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta.
- 2012. - № 81. - S. 93-102.
3. Pavlov D.A., Kochkarov R.A. Algoritmy s ocenkami postroenija pokrytij neperesekajushhimisja prostymi cepjami na predfraktal'nom grafe // Preprint SAO RAN. - 2004. - № 199. - 22 s.
4. Pavlov D.A., Kochkarov A.A. Ob odnoj mnogokriterial'noj zadache pokrytija minimal'nogo vesa predfraktal'nogo grafa prostymi peresekajushhimisja cepjami // Preprint SAO RAN. - 2004. - № 200. - 12 s.
5. Kochkarov A.A., Kochkarov R.A., Malineckij G.G. Nekotorye aspekty dinamicheskoj teorii grafov // Zhurnal vychislitel'noj matematiki i matematicheskoj fiziki. - 2015. -T. 55. № 9. - S. 1623-1629.