CC BY
52
УДК 519.1
АЛГОРИТМ ВЫЧИСЛЕНИЯ ОПРЕДЕЛИТЕЛЕЙ ПРЕДФРАКТАЛЬНЫХ ГРАФОВ С ПОЛНЫМИ ЗАТРАВКАМИ, СОХРАНЯЮЩИХ СМЕЖНОСТЬ СТАРЫХ РЕБЕР
Байрамукова Зухра Халитовна
UDC 519.1
ALGORITM OF CALCULATION OF DETERMINANTS OF PREFRACTAL GRAPHS WITH THE FULL PRIMERS, KEEPING OLD EDGES CONTIGUITY
Bayramukova Zuhra Halitovna
Кочкаров Ахмат Магометович д.ф.-м.н., профессор
Северо-Кавказская государственная гуманитарнотехнологическая академия, Черкесск, Россия
Kochkarov Ahmat Magometovich Dr.Sci.Phys.-Math., professor
North-Caucasian State Humanitarian Technological Academy, Cherkessk, Russia
В статье получен алгоритм - рекуррентная формула для вычисления определителей предфрактальных графов с полными затравками, сохраняющих смежность старых ребер в траектории
Ключевые слова: БАЗИСНЫЕ ФИГУРЫ ПРЕДФРАКТАЛЬНЫХ ГРАФОВ, ОПРЕДЕЛИТЕЛИ ПРЕДФРАКТАЛЬНЫХ ГРАФОВ
In the article, the algorithm - a recurrent formula for calculation of determinants of prefractal graphs with the full primers, keeping old edges contiguity in a trajectory was received
Keywords: BASIC FIGURES OF PREFRACTAL GRAPHS, DETERMINANTS OF PREFRACTAL GRAPHS
В настоящее время бурно развивается раздел дискретной математики, направление - спектральная теория графов [1] , основанный на
алгебраических инвариантах графов - его спектрах. Спектральная теория графов позволяет выявить зависимость между спектральными и структурными свойствами графов, характеризовать графы спектрами. Что позволяет разработать приложения спектрального метода как в самой теории графов, так и в комбинаторике, в физике при исследовании физических моделей, в которых спектры графов имеют важное самостоятельное значение. В настоящее время теоретико-графовые (топологические) подходы приобрели для прикладных задач большое значение. Как известно, задачи, структура которых меняется во времени и, более того, размерность этих задач изменяется во времени (увеличивается), можно моделировать с помощью предфрактальных и фрактальных графов [2], [3]. При исследовании сетей больших
размерностей изменяющихся во времени - так называемых больших и малых миров также моделируют с помощью предфрактальных и
фрактальных графов [4]. Чтобы выявить связи между спектральными и структурными свойствами предфрактальных графов необходимо вычислять определители их матриц смежности.
А также при исследовании многих задач математического программирования [5], задач экономики с определением балансов [б], в задачах теории графов [7] часто приходится вычислять определители. Например, в задачах линейного программирования [8], чтобы найти решение систем линейных уравнений ограничения с использованием метода Крамера, необходимо вычислять определители матриц коэффициентов системы ограничения. А в теории графов вычисляются определители матриц смежностей для определения тех или иных инвариантов графов. Как только задачи становятся большой размерности, вычисление определителя усложняется.
В настоящей работе рассматривается вычисление определителей матриц смежностей предфрактальных графов [9] с полными затравками, смежность старых ребер которых в траектории не нарушается. Приведем в начале несколько понятий, часто применяемых в данной работе.
Термином затравка условимся называть какой-либо связный граф H = (W,Q). Для определения фрактального (предфрактального) графа [9], [l0],[ll] нам потребуется операция замены вершины затравкой (3В3). Суть операции 3В3 заключается в следующем. В данном графе G = (v , E ) у намеченной для замещения вершины ~ є V выделяется множество V = {~ }çV, j = l,2,...,V~, смежных ей вершин. Далее из графа G удаляется
вершина v~ и все инцидентные ей ребра. Затем каждая вершина V- єV,
j = l,2,...,V соединяется ребром с (одной и той же, если смежность старых
ребер сохраняется) вершиной затравки H = (W, Q).
Предфрактальный граф будем обозначать через GL =(vl , EL ), где VL -множество вершин графа, а EL - множество его ребер. Определим его
рекуррентно, поэтапно заменяя каждый раз в построенном на предыдущем этапе l = 1,2,...,L-1 графе Gt = (V¡,Et) каждую его вершину затравкой H = (W, Q). На этапе l = 1 предфрактальному графу соответствует затравка G1 = H. Об описанном процессе говорят, что предфрактальный граф Gl =(vl , el ) порожден затравкой H = (W, Q). Процесс порождения предфрактального графа GL , по существу, есть процесс построения последовательности предфрактальных графов G1,G2,...,GL называемый траекторией. Для предфрактального графа Gl , ребра появившиеся на l-том l є {1,2,..., l} этапе порождения, будем называть ребрами ранга l. Новыми ребрами предфрактального графа GL назовем ребра ранга L, а все остальные ребра назовем - старыми.
Если из предфрактального графа GL, порожденного и-вершинной затравкой H , последовательно удалить все старые ребра (ребра ранга l , l = 1,2,..., L -1), то исходный граф распадется на множество связных компонент {fi^}, каждая из которых изоморфна [7] затравке H. Множество компонент {^j[i)} будем называть блоками первого ранга. Аналогично, при удалении из предфрактального графа GL всех старых ребер рангов l = 1,2,...,L - 2, получим множество блоков {fi^} второго ранга изоморфных предфрактальному графу G2. Обобщая, скажем, что при удалении из предфрактального графа GL всех ребер рангов l = 1,2,...,L - r, получим множество {bL)}, r є {1,2,...,L -1} блоков r-го ранга изоморфных предфрактальному графу Gr. Измененным блоком r-го ранга мы будем называть блок r-го ранга, из которого удалена одна вершина затравки и все инцидентные ей ребра.
«Элементарной фигурой» [1] называется : а) граф K2 (ребро) или б) любой граф Cq, q > 1 (простой цикл); «базисной фигурой» и называется любой граф, все компоненты которого являются элементарными
фигурами. Кп1 (с, р) - число базисных фигур с п1 вершинами в предфрактальном графе О1, К*п1 (с, р) - число базисных фигур с п1 -1
вершинами в измененных блоках, имеющих с простых циклов и р компонент.
Для вычисления определителей в данной работе используется Лемма [1].Определитель матрицы смежностей графа О = (V,Е) с N вершинами вычисляется по формуле
А = (-1^ I(-1)р(и)2с(и),
и е.и N
где р(и) - число компонент, с(и)- число простых циклов, содержащихся в и, а UN означает множество всех базисных фигур, содержащихся в графе
О = (V, Е) и имеющих точно N вершин.
В результате применения леммы к предфрактальным графам, получена
Теорема. Определитель матрицы смежностей А1 предфрактального графа О1 с полной п -вершинной затравкой н = (Ж, 0 вычисляется по формуле
|А,| = (- 1)п' I(- I)р2сКп,(с,р).
Суммирование ведется по множеству чисел базисных фигур с N = п' вершинами, которое определяет формула
п / \
Кп1 (с,р) = I ПКп,'-1 (а,,А,)+
1а =с 1=1
IА■=р
п-1 п—] )
+ I I К]Л(а, А) Сп ПКп,'—1 (а,,А )ПКп'—1 (у,3,) +
}=2 a+Ia,.+Iу =с ,=1 ,=1
А+IАi +Id =р + I Кп1 (а,А)П<'—1 (у, ,3,)
a+Іуi =с ,=1
А+Ш, = р
и
n—1
Ki(c, p) = Z K*n,i—і (a р)П к„,і—і (a, Д- )+
2 a+a=c i=1
Z b+b=p
n—1 j n—j
+ Z Z Kj—1,1 (a, РС3—1 П K„J—1 (g, d )n Kni—1 (a, b ). +
j=3 Za+Zg +a=c i=1 i=1
Z b+Zd+b=p
+ Z Kn—1,1 (a, ЬЙ<і—1 (g ,d )•
a+Zg =c i=1
b+Zdii=p
Доказательство. Условие теоремы предполагает, что определены множества Kni—1(c,p), K*nl—1(c,p). С увеличением l в предфрактальном графе
появляются новые вершины и новые ребра, то есть его форма усложняется. Для того чтобы систематизировать процесс нахождения чисел базисных фигур Knl (c, p), используем схему:
1) в базисных фигурах графа Gl с nl вершинами отсутствуют ребра 1-го ранга (нет измененных блоков);
2) из старых ребер 1-го ранга сохранено одно ребро (два измененных блока);
3) из старых ребер 1-го ранга сохранен цикл С3 (три измененных блока);
п) из старых ребер 1-го ранга сохранены базисные фигуры затравки(имеется п измененных блоков).
Для подсчета числа базисных фигур по каждому пункту схемы используем правило умножения из комбинаторики. Суммируя количества базисных фигур с равным числом циклов с и компонент р из всех пунктов схемы, получаем
кпі(ср) = X Пк«,/-М,Д)+
Ха =с і=і
ІЛТ^ІЛі-г Xі
Д+ХД + Х8і =р
+ X к>,ь)п<і-і(Гі Л)
а+ V V =с і=1
Здесь каждая сумма получена в соответствующем пункте схемы.
Для вычисления к* (с, р) используем схему:
1) в базисных фигурах нет ребер 1-го ранга (один измененный блок і -1 - го ранга);
2) в базисных фигурах имеется одно ребро 1-го ранга (три измененных блока і -1 - го ранга);
3) имеется цикл С3 из ребер 1-го ранга (четыре измененных блока
і -1- го ранга);
п-1) из ребер 1-го ранга в базисные фигуры измененного блока і - го ранга входят базисные фигуры затравки с п -1 вершинами.
Отсюда следует формула
*
кпі(^ Р) =
п-1
X кП,і-1 (а,Д)П кп,і-1 (а,Д)+
і=1
І п-І
п к*,і-1(у Л )П кпЛ-1(а, Д). +
і=1
і=1
+ X кп-1,1 (а,Д)П<і-1 (V ,Л).
і=1
Теорема доказана.
Вычислим, к примеру, |л2| при п = 4. По теореме имеем:
определитель матрицы смежностей предфрактального графа G2 с полной четырехвершинной затравкой н = (Ж, 0 вычисляется по рекуррентной формуле
И =(- 1)42 I (- 1)Р 2 СК 42 (с, р ) ,
где
K42 (c, p) = X П K41 (а,ß)+
Xa =c i=1
Xßi = Р
3 4- j j
+ X X Kji(a,ß) • C4 • П к 41 (a ,ß )n k*^- ,d)+
j=2 а+Ха + Хп =c i=1 i=1
ß+Xß + Xd =p
+ X K41(a,ß)n K*1(n ,d)
a+Xn =c i=1
ß+Xdi = p
K 41 (c, p) принадлежат множеству всех чисел базисных фигур этапа l = 1, а K *1 (c, p) - множеству всех чисел базисных фигур в измененных блоках. Пусть l = 1. Рассматриваем граф G1 (рис.1).
Рис.1.
Построим все базисные фигуры в графе G1 с 4-мя вершинами
(рис.2).
Рис.2.
Первые три фигуры имеют 0 циклов и 2 компоненты, т.е. К41(0,2) = 3. Остальные три-1 цикл и 1 компоненту, К41(1,1) = 3 . Т.о. по лемме получаем
|41 = (-1)4 (з(-1)220 + 3(-1)121 )= -3 Пусть I = 2. Рассматриваем граф 02 (рис.3) по схеме:
Рис.3.
1) в базисных фигурах графа 02 с N = 42 = 16 вершинами отсутствуют ребра 1-го ранга (нет измененных блоков) (рис. 4а));
2) из старых ребер 1-го ранга сохранено одно ребро (два измененных блока) ( например, рис. 4 б));
3) из старых ребер 1-го ранга сохранен цикл С3 (три измененных
блока) (например, рис.4в));
4) из старых ребер сохранен либо цикл С4 или два ребра, не имеющих общую вершину (4 измененных блока) (рис. 4г)), т.е. базисные фигуры затравки.
Рис.4.
Т.о., все базисные фигуры графа с 16 вершинами содержатся в графах этих 4-х видов.
1) К42 (c, Р) = Е П К41 («/, Д )
Еа =с І=1 ЕД=р
где К41 (а, Д )є {К41 (с, Р )}={К 41 (0,2), К41 (1,1)}={3,3},
К 42 (0,8) = К 41 (0,2) = 34 = 81,
К42 (1,7) = К41 (1,1)К41 (0,2) К41 (0,2)К41 (0,2)+
+ К 41 (0,2) К 41 (1,1) К 41 (0,2) К 41 (0,2)+
+ К 41 (0,2) К 41 (0,2) К41 (1,1) К 41 (0,2) +
+ К41 (0,2)К41 (0,2)К41 (0,2)К41 (1,1)= 4 • 3 • 33 = 324,
К 42 (2,6) = С 4 К 41 (0,2)К421 (1,1)= 6 • 34 = 486,
К 42 (3,5) = С1К 41 (0,2)К431 (1,1) = 324,
К 42 (4,4) = К 41 (1,1)= 34 = 81;
2) к 42 (с, Р) = Е С42К21(0,1)П К41(а ,Д )П КІ1(Уі а ),
Еа + =с і=1 і=1
ЕД+Еаі +1=р
К *1 (ГІ Аі )=К 31 (1,1)=1;
Е 42 (2,7) = К41 (0,2)К321 (1,1)С42 = 3 • 3 • 4 = 54 К42 (3,6) = 2К41 (0,2)К41 (1,1)К321 (1,1)С42 = 108 ,
К42 (4,5) = К421 (1,1)К 321 (1,1)С42 = 54.
3) К 42 (с, р) = Е С43К31(1,1)П КМ А) К^аД)
Е ^ +а+1=с І=1
Е5і +Д+1=Р
к 42 (4,6) = С4 К 3, (1,1)К 41 (0,2)К3, (1,1) = 12,
К42 (5,5) = С4К31 (1,1)К41 (1,1)К3 (1,1) = 12 .
4
*
4) К 42 (с, р) = Е К41 (а,Д)П К’М ,А)
а+ЕГі =с
д+ЕАі=р
К 42 (4,6) = К 41 (0,2)К 31(1,1) = 3.
К 42 (5,5) = К 41 (1,1)К ¿(1,1) = 3.
2=1
Таким образом,
К 42 (0,8) = 81, К42 (1,7) = 324, К42 (2,6) = 486, К42 (3,5) = 324, К 42 (4,4) = 81, К42 (2,7) = 54,
К 42 (3,6) = 108, К 42 (4,5) = 54, КА2 (4,6) = 15, КА2 (5,5) = 15.
Следовательно,
|Л42| = (-1)16(81(-1)820 + 324(-1)721 + 486(-1)622 + 324(-1)523 + 81(-1)424 +
+ 54(-1)722 +108(-1)623 + 54(-1)524 + 15(-1)624 + 15(-1)525 =-375.
Задача вычисления определителей матриц смежности
предфрактальных графов рассматривается впервые. Получен алгоритм
вычисления определителей предфрактальных графов с полными
затравками, сохраняющих смежность старых ребер в траектории. Для
вычисления определителей таких предфрактальных графов использован
способ (лемма [1]), основанный на рассмотрении структуры графа.
Полученный алгоритм упрощает процесс вычисления, поскольку при его
использовании нет необходимости рассматривать ни матрицу смежности
предфрактального графа, ни его структуру, и сводит к работе с
множеством чисел базисных фигур предыдущего этапа траектории.
Список литературы:
1. Цветкович Д., Дуб М., Захс Х. Спектры графов: теория и применение. Наукова Думка. Киев.1984. 384 с.
2. Кочкаров А.А., Сенникова Л.И. Количественные оценки некоторых связностных характеристик предфрактальных графов. // Прикладная дискретная математика. -2011.№ 4(14) -С. 56-61.
3. Кочкаров А.А. Структурная динамика: свойства и количественные характеристики предфрактальных графов. - М.: Вега-Инфо, 2012.- 120 с.
4. Кочкаров А.А. Новые теоретико-графические подходы в моделировании сложных систем: Автореф. дис. ... канд. физ.-матем. наук . М.: ИПМатем. им. М.В. Келдыша. РАН, 2005. 24с.
5. Кузнецов Ю.Н., Кузубов В.И., Волощенко А.Б. Математическое программирование.-М.: Высшая школа,1980. 302 с.
6. Малыхин В.И. Математика в экономике.-М.: ИНФРА-М.2000. 356 с.
7. Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. -М.:Наука,1990. 384 с.
8. Ашманов С.А. Линейное программирование. - М.: Наука,1981. 340 с.
9. Кочкаров А. М. Распознавание фрактальных графов. Алгоритмический подход.-Нижний Архыз: РАН САО.1998. 170 с.
10. Байрамукова З.Х., Кочкаров А.М. Спектры предфрактальных графов с затравками -циклами, сохраняющих смежность старых ребер.// Научный журнал КубГАУ. №81(07). 2012 года. 10 с.
11. Кочкаров А. А., Кочкаров Р. А. Параллельный алгоритм поиска кратчайшего пути на предфрактальном графе. // Журнал вычислительной математики и математической физики. - Т. 44. № 6.-С. 1147 - 1152.
