Спектры предфрактальных графов с затравками – циклами, сохраняющих смежность старых ребер

Размещено на http://www.allbest.ru/

Спектры предфрактальных графов с затравками - циклами, сохраняющих смежность старых ребер

Байрамукова Зухра Халитовна

Кочкаров Ахмат Магометович

УДК 519.1

СПЕКТРЫ ПРЕДФРАКТАЛЬНЫХ ГРАФОВ С ЗАТРАВКАМИ - ЦИКЛАМИ, СОХРАНЯЮЩИХ СМЕЖНОСТЬ СТАРЫХ РЕБЕР

Байрамукова Зухра Халитовна

Кочкаров Ахмат Магометович

д.ф.-м.н., профессор

Северо-Кавказская государственная гуманитарно-технологическая академия, Черкесск, Россия

Исследуется задача нахождения характеристических многочленов и спектров предфрактальных графов с затравками_циклами, смежность старых ребер которых в траектории не нарушается. Получена рекуррентная формула

Ключевые слова: СПЕКТР ПРЕДФРАКТАЛЬНОГО ГРАФА, ИНВАРИАНТНЫЕ ПО ФОРМЕ МАТРИЦЫ

UDC 519.1

SPECTRA OF PREFRACTAL GRAPHS WITH THE PRIMING CYCLES, KEEPING EDGES OF OLD CONTIGUITY

Bayramukova Zukhra Halitovna

Kochkarov Ahmat Magometovich

Dr.Sci.Phys._Math., professor

North-Caucasian State Humanitarian Technological Academy, Cherkessk, Russia

The problems of finding of characteristic polynomials and spectra prefractal graphs with the priming cycles are investigated, the contiguity of old edges in the trajectory isn't broken. The recurrent formula is received

Keywords: SPECTRA OF PREFRACTAL GRAPHS, INVARIANT FORM MATRIXES

В данной работе впервые рассматривается задача о спектрах предфрактальных [1] графов с затравками - циклами. Необходимость рассмотрения задачи в такой постановке связана с исследованием свойств моделей на предфрактальных графах.

Под спектром графа понимают множество, состоящее из собственных значений матрицы смежности, то есть нулей характеристического многочлена [2].

Термином затравка условимся называть какой-либо связный граф

.

Для определения фрактального (предфрактального) графа [1] нам потребуется операция замены вершины затравкой (3В3). Суть операции 3В3 заключается в следующем. В данном графе

у намеченной для замещения вершины выделяется множество

, ,

смежных ей вершин. Далее из графа удаляется вершина и все инцидентные ей ребра.

Затем каждая вершина

,

соединяется ребром с (одной и той же, если смежность старых ребер сохраняется) вершиной затравки

.

Предфрактальный граф будем обозначать через , где - множество вершин графа, а - множество его ребер. Определим его рекуррентно, поэтапно заменяя каждый раз в построенном на предыдущем этапе графе

каждую его вершину затравкой

.

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

.

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

Если из предфрактального графа , порожденного n-вершинной затравкой , последовательно удалить все старые ребра (ребра ранга l, ), то исходный граф распадется на множество связных компонент , каждая из которых изоморфна [3] затравке H. Множество компонент будем называть блоками первого ранга. Аналогично, при удалении из предфрактального графа всех старых ребер рангов , получим множество блоков второго ранга. Обобщая, скажем, что при удалении из предфрактального графа всех ребер рангов , получим множество , блоков r_го ранга.

Рассмотрим последовательность симметрических матриц порядка - матрица у которой по главной диагонали нули, а остальные элементы нули, либо единицы. - матрица в которой единицам в соответствуют блоки - единичные матрицы порядка , нулям - нулевые матрицы того же порядка, за исключением первого в главной диагонали - ему соответствует матрица . Матрицы последовательности будем называть инвариантными по форме.

Пусть

предфрактальный граф, в котором смежность старых ребер не нарушается. затравка имеет n вершин. имеет вершин, которые пронумеруем следующим образом: в каждом блоке 1-го ранга одна вершина (инцидентная старым ребрам) имеет номер вершины затравки, остальные нумеруем с периодом n. Т.е., если вершина затравки имеет номер k , то в данном блоке еще имеются вершины с номерами . имеет вершин. В каждом блоке 1-го ранга одна из вершин имеет номер, полученный на этапе l-1. Остальные нумеруем с периодом . Таким образом, в каждом блоке 1-го ранга оказывается одна вершина имеющая номер из первых номеров, одна имеющая номер из вторых номеров, и т.д., и одна вершина имеющая номер из n-х номеров. Если смежным вершинам затравки соответствуют смежные вершины соответствующих номеров в блоках 1-го ранга, то такие предфрактальные графы обладают инвариантностью формы матриц смежностей. Действительно, пусть в смежны вершины i-тая и j-тая . Тогда, в блоке 1-го ранга, содержащем k-тую вершину (k принимает последовательно значения ) смежны вершины с номерами , . В матрице разбитой на блоки порядка это отражается в виде единичных матриц расположенных в i-той блочной строке, в j-том блочном столбце и в j- той блочной строке, в i-том блочном столбце.

Матрицы смежностей предфрактальных графов

с n-вершинной затравкой - циклом , смежность старых ребер, в траектории которых не нарушается, инвариантны по форме, так как вершины предфрактального графа с затравкой - циклом можно пронумеровать приведенным выше способом. Выбор различной нумерации приводит к изоморфным графам [3]. Это позволяет получить рекуррентные формулы для определения характеристических многочленов предфрактальных графов различных этапов траектории.

Пусть . Для определения

применяем алгоритм Гаусса. При вычислении характеристических многочленов графов

,,,…,

рассматриваем их как определители блочных матриц и используем (обобщенный) алгоритм Гаусса [4]. Преобразования в том и в другом случаях аналогичные, только в первый элемент главной диагонали , а в первый блок по главной диагонали - матрица . Поэтому будем вычислять многочлен двух переменных и , который получается если в заменить первый элемент главной диагонали матрицы на . Обозначим его . Затем в полученный результат вместо подставляем последовательно , ,…, учитывая при этом особенности операций над блочными матрицами. Таким образом, получаем рекуррентную формулу для определения характеристических многочленов предфрактальных графов последовательных этапов траектории.

Например, в случае, когда затравкой является цикл

, если и

, если

(матрица разбита на блоки 4-го порядка) и для произвольного l

, если

(матрица разбита на блоки порядка ).

Найдем, используя алгоритм Гаусса

Таким образом

Выполним аналогичные преобразования, используя (обобщенный) алгоритм Гаусса для определения многочлена

.

Переставим блочные строки и столбцы как в предыдущем случае, при этом знак определителя не будет изменяться, так как матрица разбита на блоки 4-го - четного порядка

.

По (обобщенному) алгоритму Гаусса прибавление к блочной строке другой, умноженной на число не меняет определителя. После преобразований получаем

.

Подставляя, вместо матрицу , получаем

Спектр графа будем находить из уравнения .

Повторяя рассуждения для произвольного l, имеем

.

Степень 1-го множителя изменилась, так как в определителе выносится из блочной строки. После замены на получаем

Аналогично можно получить рекуррентные формулы для определения , когда затравки - простые циклы . Для этого выведем формулы многочленов .

Здесь . Обозначим

.

Приведем определитель к треугольному виду по алгоритму Гаусса. На первом шаге получим нули в первом столбце, начиная со второго элемента. Для этого вычтем первую строку из n-1-ой строки, а к n-ой строке прибавим, умножив на :

На втором шаге получаем нули во втором столбце, начиная со второго элемента: вторую строку умножаем на второй элемент n-1-ой строки и прибавляем к n-1-ой, вторую строку умножаем на второй элемент n-ой строки и прибавляем к n-ой.

Можно заметить, что на m-том шаге m-тую строку умножаем на m-тые элементы предпоследней и последней и прибавляем, соответственно, к этим строкам . После выполнения n-2 шагов получаем

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

Подставляя вместо матрицу , получаем следующую теорему.

Теорема. Характеристические многочлены предфрактальных графов с затравками-циклами , смежность старых ребер в которых не нарушается, определяются по рекуррентной формуле

Множитель появился из-за того, что при перестановке блочных строк (столбцов) состоящих из матриц четного порядка знак определителя не меняется. характеристический многочлен рекуррентный предфрактальный

Преимущество этих формул также и в том, что нахождение собственных значений (спектра) предфрактального графа с вершинами сводится к решению алгебраических уравнений степени не выше n. Это следует из того, что собственные значения симметрической матрицы действительны [2].

Список литературы

1. Кочкаров А.М. Распознавание фрактальных графов. Алгоритмический подход. - Нижний Архыз: РАН САО.1998. 170 с.

2. Цветкович Д., Дуб М., Захс Х. Спектры графов теория и применение. Наукова Думка. Киев.1984. 384 с.

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

4. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1988. 552 с.

Размещено на Allbest.ru