Научная статья на тему 'Моделирование фрактального развития структур простейшими предфрактальными графами'

Моделирование фрактального развития структур простейшими предфрактальными графами Текст научной статьи по специальности «Математика»

CC BY
3736
137
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЗАТРАВКА / ПРОСТЕЙШИЕ ПРЕДФРАКТАЛЬНЫЕ ДЕРЕВЬЯ / ПАРАСОЧЕТАНИЕ / КОНФИГУРАЦИЯ / PRIMING / THE ELEMENTARY PREFRACTAL TREES / PARACOMBINATION / CONFIGURATION

Аннотация научной статьи по математике, автор научной работы — Кочкаров Ахмат Магометович, Кочкарова Асият Нерчуковна, Хапаева Лёля Халисовна

Развитие структур в самоорганизующихся системах происходит на основе определенных принципов. Одним из таких фундаментальных принципов является фрактальность развития. Применительно к графам этот принцип реализуется алгоритмом, приводящим к построению последовательности предфрактальных графов. Суть этого процесса состоит в замене вершины графа (его первичного элемента) новой структурой (графом) по определенным правилам. В работе исследована свойство простейших предфрактальных графов, которые в дальнейшем назовем простейшими предфрактальными деревьями (ППД), также представлен алгоритм работы в ППД: «с каждым этапом замены вершины затравкой (ЗВЗ) все вершины предшествующего предфрактального дерева обновляются, а их количество удваивается. В то же время, множество ребер с каждым этапом ЗВЗ «накапливается», ребро первого ранга дополняется двумя ребрами второго, затем четырьмя ребрами третьего и так далее». Доказаны задачи: 1) в простейших предфрактальных деревьях все ребра инцидентные одной и той же вершине являются ребрами разных рангов; 2) если дерево имеет совершенное парасочетание, то оно единственно; 3) множество ребер L-го ранга простейшего предфрактального дерева TGL образуют реберное покрытие этого дерева являющееся совершенным парасочетанием; 4) что любому простейшему предфрактальному дереву соответствует единственная траектория. Таким образом доказана теорема, что при рассмотренном перечислении не возникает изоморфных корневых деревьев. Изоморфизм при таком подходе исключен так как во-первых разбиение корневого дерева по ребру равновесия приводит к двум компонентам изоморфно не сопоставимыми,так как одна из них содержит корень первоначального дерева, и во-вторых исключается симметрия относительно вершин к которым присоединяется конфигурация.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Кочкаров Ахмат Магометович, Кочкарова Асият Нерчуковна, Хапаева Лёля Халисовна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

MODELING FRACTAL STRUCTURES GROWTH BY MEANS SIMPLEST PREFRACTAL GRAPHS

Development of structures happens in the self-organized systems on the basis of certain principles. One of such fundamental principles is fractality of development. In relation to graphs this principle is realized by the algorithm leading to creation of sequence of prefractal graphs. The essence of this process consists in replacement of node of the graphs (of its primary element) with new structure (graphs) by certain rules. This work investigates properties of the elementary prefractal graphs (further called the elementary prefractal trees EPT), and the algorithm in EPT: "with each stage of the replacement of node with a priming (RNP) all nodes of the previous prefractal tree are updated, and their quantity doubles. At the same time, the set of edges with each stage of RNP "accumulates ", the edge of the first rank is supplemented with two edges of the second, then four edges of the third and so on". Proved results: 1) in the elementary prefractal trees all edges incidental to the same node are edges of different ranks; 2) if the tree has a perfect paracombination, then it unique; 3) set of edges of the L rank of the elementary prefractal tree of T G L forms the edge covering of this tree that is a perfect paracombination; 4) a unique trajectory corresponds to and elementary prefractal tree. Thus the theorem is proved that at the considered transfer there are no isomorphic root trees. Isomorphism at such approach is excluded, because first, splitting a root tree on an edge of balance leads to two components isomorphically not comparable as one of them contains a root of an initial tree, and secondly symmetry which regard nodes that the configuration joins is excluded.

Текст научной работы на тему «Моделирование фрактального развития структур простейшими предфрактальными графами»

УДК 519.1

А.М. Кочкаров, А.Н. Кочкарова, Л.Х. Хапаева

МОДЕЛИРОВАНИЕ ФРАКТАЛЬНОГО РАЗВИТИЯ СТРУКТУР ПРОСТЕЙШИМИ ПРЕДФРАКТАЛЬНЫМИ ГРАФАМИ*

Развитие структур в самоорганизующихся системах происходит на основе определенных принципов. Одним из таких фундаментальных принципов является фрактальность развития. Применительно к графам этот принцип реализуется алгоритмом, приводящим к построению последовательности предфрактальных графов. Суть этого процесса состоит в замене вершины графа (его первичного элемента) новой структурой (графом) по определенным правилам. В работе исследована свойство простейших предфрактальных графов, которые в дальнейшем назовем простейшими предфрактальными деревьями (ППД), также представлен алгоритм работы в ППД: «с каждым этапом замены вершины затравкой (ЗВЗ) все вершины предшествующего предфрактального дерева обновляются, а их количество удваивается. В то же время, множество ребер с каждым этапом ЗВЗ «накапливается», ребро первого ранга дополняется двумя ребрами второго, затем четырьмя ребрами третьего и так далее». Доказаны задачи: 1) в простейших предфрактальных деревьях все ребра инцидентные одной и той же вершине являются ребрами разных рангов; 2) если дерево имеет совершенное парасочетание, то оно единственно; 3) множество ребер L-го ранга простейшего предфрактального дерева ТСьобра-зуют реберное покрытие этого дерева являющееся совершенным парасочетанием; 4) что любому простейшему предфрактальному дереву соответствует единственная траектория. Таким образом доказана теорема, что при рассмотренном перечислении не возникает изоморфных корневых деревьев. Изоморфизм при таком подходе исключен так как во-первых разбиение корневого дерева по ребру равновесия приводит к двум компонентам изоморфно не сопостави-мыми,так как одна из них содержит корень первоначального дерева, и во-вторых исключается симметрия относительно вершин к которым присоединяется конфигурация.

Затравка; простейшие предфрактальные деревья; парасочетание; конфигурация.

A.M. Kochkarov, A.N. Kochkarova, L.H. Khapaeva

MODELING FRACTAL STRUCTURES GROWTH BY MEANS SIMPLEST

PREFRACTAL GRAPHS

Development of structures happens in the self-organized .systems on the basis of certain principles. One of such fundamental principles is fractality of development. In relation to graphs this principle is realized by the algorithm leading to creation of sequence ofprefractal graphs. The essence of this process consists in replacement of node of the graphs (of its primary element) with new structure (graphs) by certain rules. This work investigates properties of the elementary prefractal graphs (further called the elementary prefractal trees EPT), and the algorithm in EPT: "with each stage of the replacement of node with a priming (RNP) all nodes of the previous prefractal tree are updated, and their quantity doubles. At the same time, the set of edges with each stage of RNP "accumulates ", the edge of the first rank is supplemented with two edges of the second, then four edges of the third and so on". Proved results: 1) in the elementary prefractal trees all edges incidental to the same node are edges of different ranks; 2) if the tree has a perfect paracombination, then it unique; 3) set of edges of the L rank of the elementary prefractal tree of TGL forms the edge covering of this tree that is a perfect paracombination; 4) a unique trajectory corresponds to and elementary prefractal tree. Thus the theorem is proved that at the considered transfer there are no isomorphic root trees. Isomorphism at such approach is excluded, because first, splitting a root tree on an edge of balance leads to two components isomorphically not comparable as one of them contains a root of an initial tree, and secondly symmetry which regard nodes that the configuration joins is excluded.

Priming; the elementary prefractal trees; paracombination; configuration.

* Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 16-07-00231а.

Введение. Фрактальные и предфрактальные графы

Напомним, что для определения фрактального (предфрактального) графа необходимо ввести следующие понятия:

1. Затравка - любой связный граф, обозначаемый Н = (IV, <2 ) .[1-5]

2. Операцию замены вершины затравкой (ЗВЗ), суть которой состоит в следующем: в данном графе намеченная вершина заменяется графом - затравкой Н = ( IV, <2 ) , при этом каждое инцидентное вершине V ребро соединяется с одной из вершин затравки Н. Это происходит произвольно (случайным образом) или по определенному правилу.

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

На этапе предфрактальному графу соответствует сама затравка . О дан-

ном процессе говорят, что предфрактальный граф порожден затравкой

. Процесс порождения предфрактального графа , по существу, есть процесс построения последовательности предфрактальных графов , называемой траекторией [6]. Фрактальный граф С = (7, Я) , порожденный затравкой , определяется бесконечной траекторией.

Для предфрактального графа ребра, появившимся на /-м, I 6 { 1 , 2 ,. . } , этапе порождения, будем называть ребрами ранга .

Обобщением описанного процесса порождения предфрактального графа является такой случай, когда вместо единственной затравки используется множество затравок {Н} , где I = 1 , 2 ,. . . ,ш (ш > 2 ) . Суть этого обобщения состоит в том, что при переходе от графа к графу каждая вершина замещается некоторой затравкой из этого множества, которая выбирается случайно или согласно определенному правилу, отражающему специфику моделируемого процесса или структуры.

Определение простейших предфрактальных графов

Рассмотрим модель развития структур происходящих на основе алгоритма замены вершины затравкой (ЗВЗ), когда предфрактальные графы порождены простейшей затравкой Н = (IV, < ) [7], представляющие собой простейшее двухвершинное дерево (более простого связанного графа имеющего одно ребро не существует). Очевидно, что \Ш\ = 2,\()\ = 1 ( -. ). Обозначим эту затравку

Нх. Предфрактальные графы, образованныепо правилам ЗВЗ и порождаемые данной затравкой назовем простейшими и будем обозначать^ При это, в соответствии с определением предфрактальных графов . Далее, - будет представлять собой простую четырех вершинную цепь, - может быть представлено уже тремя неизоморфными друг другу графами (рис. 1)

Рис. 1. Простая вершинная цепь

На рисунке ребра первого ранга на всех графах выделены наиболее жирной линией, второго ранга - менее жирной и третьего - тонкой.

Постановка задачи и свойства простейших предфрактальных графов

Лемма 1. Любой простейший предфрактальный граф Т является деревом с числом вершин равным и числом ребер равным .

ДОКАЗАТЕЛЬСТВО. Так как при каждом этапе ЗВЗ количество вершин удваивается, то | | = 2 | 1 | . При этом | | = 2 отсюда по индукции получим

I ^ | = 2

В соответствии с процедурой ЗВЗ для простейших предфрактальных графов число ребер будет равно

|ЯЬ| = 1^-11+ 1^-11-

Рекуррентно применяя, полученное соотношение, имеем | ^ = 12 * _ 1 1 = 2 1 .

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

В дальнейшем, простейшие предфрактальные графы ТСЬ будем называть простейшими предфрактальными деревьями (ИНД).

Обратим внимание на то, что в ИНД с каждым этапом ЗВЗ все вершины предшествующего предфрактального дерева обновляются, а их количество удваивается. В то же время, множество ребер с каждым этапом ЗВЗ «накапливается»: ребро первого ранга дополняется двумя ребрами второго, затем четырьмя ребрами третьего и т.д. в соответствии с леммой 1.

Лемма 2. Число т висячих вершин в простейших предфрактальных деревьях удовлетворяет соотношению

2 <т< 21~1(Ь > 2),

при

Доказательство. При! = 1 П П Д Т С 1 = Я. Такой граф имеет две вершины и обе висячие (т=2).

Рассмотрим простейшее предфрактальное дерево Т (! > 2 ) .Ему предшествует ИНД Т _ ^ числом вершин | _ 1 | = 2 1 _ 1 Каждая из этих вершин в соответствии с операцией ЗВЗ заменяется парой вершин составляющих в последствии множество вершин дерево , но очевидно только одна вершина из каждой пары может стать висячей. Следовательно, число висячих вершин т < 2 1 _ 1 С другой стороны т.к. любое нетривиальное дерево содержит как минимум две висячие вершины, окончательно имеем

2 <т< 21'1 (I > 2).

Лемма доказана.

Лемма 3. В простейших предфрактальных деревьях все ребра инцидентные одной и той же вершине являются ребрами разных рангов.

Доказательство. Рассмотрим фрагмент ИНД Т _ ь состоящий из некоторой вершины инцидентных ей ребер. В процессе применения процедуры ЗВЗ, в полученном ИИД ТСЬ возникает только одно ребро ! — го ранга инцидентное «новым» вершинам г^ 6 г?2 6 ^(все остальные ребра являются более старым). Это происходит на любом этапе применения процедуры ЗВЗ. Иоэтому все ребра инцидентные одной и той же вершине в ИИД являются ребрами разных рангов.

Следствие 1. В простейших предфрактальных деревьях не существует смежных ребер одного ранга.

Из определения смежности двух ребер следует их инцидентность некоторой вершине, а, следовательно, по лемме 3 эти ребра являются ребрами разных рангов.

Следствие 2. Степень любой вершины простейшего предфрактального дерева не превосходит .

Степень любой вершины равна числу ребер инцидентных данной вершине. В ППД число различных рангов его ребер совпадает с , и следовательно если степень некоторой вершины превосходит , то среди ребер инцидентных этой вершине будут обязательно ребра одного ранга, что противоречит лемме 3.

Теорема 1. Диаметр и радиус простейшего предфрактального дерева Т удовлетворяют соотношениям:

2Ь — 1 < 0(ТСь) < 2Ь - 1, Ь< г(ТСь) < 21'1.

Доказательство. Рассмотрим произвольное ППД Т Сь. Пусть ему предшествует ППД Т _ х с диаметром £> (Т _ х) = р. Этому значению диаметра соответствует самая длинная простая цепь в ТСЬ _ ъ содержащая р + 1 -вершин. При применении процедуры ЗВЗ приводящей к ППД Т эта цепь «максимально» может увеличиться на - ребро и в результате самая длинная цепь в ППД может содержать максимально 2 р + 1 - ребро. Отсюда имеем ряд «максимальных» диаметров для Т (1 , 3 , 7,. . ., 2 1 — 1 ) . Та же цепь «минимально» может увеличиться на два ребра, которые добавятся в любом случае на концах цепи при применении процедуры ЗВЗ. Следовательно, самая длинная (минимально возможная) цепь в ППД

будет иметь длину . Отсюда имеем ряд минимальных диаметров для

Т : ( 1 , 3 , 5 ,. . .,2 Ь — 1 ) . Учитывая нечетность обоих оценок и общую зависимость

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

в В+1

— < г <-

2 2 '

окончательно получим

2Ь — 1 < 0(ТСь) < 2Ь - 1, I < г(ГСь) < 21'1

Теорема доказана.

Перейдем к свойствам простейших предфрактальных деревьев связанных с одним из важнейших понятий в теории графов - понятие парасочетаний.

Определение 1. Произвольное подмножество попарно несмежных ребер графа называют парасочетанием (или независимым множеством ребер) [8-10].

Определение 2. Совершенным парасочетанием графа называют парасоче-тание, являющееся реберным покрытием данного графа [11-12].

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

Лемма 4. Если дерево имеет совершенное парасочетание, то оно единственно.

Доказательство. Пусть дерево имеет совершенное парасочетание. Тогда в это парасочетание входят все ребра инцидентные висячим вершинам. Удаление этих ребер из дерева вместо с инцидентными им вершинами приводит к лесу каждая из компонент, которого имеет совершенное парасочетание. Выделим ребра инцидентные висячим вершинам уже в каждой из образовавшихся компонент. Произведем удаление этих ребер. Продолжая этот процесс, мы однозначно переберем все ребра образующие совершенное парасочетание исходного дерева. Из этой однозначности следует единственность множества ребер образующих совершенное парасочетание.

Лемма 5. Множество ребер L-го ранга простейшего предфрактального дерева образуют реберное покрытие этого дерева являющееся совершенным пара-сочетанием.

Доказательство. Очевидно, в силу построения ИИД Т любая вершина этого дерева инцидентна некоторому ребру L-го ранга. Следовательно, ребра Т Сьоб-разуют реберное покрытие дерева Т Сь. С другой стороны никакие два ребра L-го ранга не могут быть смежны в силу леммы 3. Из этих двух фактов согласно определению 2 следует, что множество ребер L-го ранга является совершенным пара-сочетанием.

Лемма доказана.

Ири этом в силу леммы 4 другого совершенного парасочетания в ТСьне существует.

Определим операцию свертки дерева, имеющего совер-

шенное парасочетание [13-16]. Каждое ребро совершенного парасочетания вместе с инцидентными ему вершинами принимается за новую вершину, а оставшиеся ребра будут новыми ребрами дерева. Иолучаем дерево, соответ-

ствующее первому этапу свертки. Аналогично можно произвести второй этап, если новое дерево также имеет совершенное парасочетание.

Теорема 2. 2 1 — в ер ши нн о е дерево является простейшим предфракталь-ным деревом тогда и только тогда, когда оно имеет совершенное парасочета-ние на любом этапе свертки.

Доказательство. Из введенной процедуры свертки дерева имеющего совершенное парасочетание понятно, что если дерево является ИИД , то оно имеет совершенное парасочетание на любом этапе свертки. С другой стороны если дерево имеет совершенное парасочетание на любом этапе свертки, то за этапов свертки получим двухвершинное дерево совпадающее с или, что тоже самое . Очевидно, что его предшественникам в процедуре свертки было ИИД ТС2 и т.д. Иродолжая рассматривать этапы свертки в обратном порядке т.е. фактически применяя процедуру ЗВЗ мы тем самым пройдем по всей траектории приводящей через этапов к дереву, являющемся ИИД Т Сь.

Теорема доказана.

Фактически, процедура свертки с помощью совершенного парасочетания является обратной к процедуре замены вершин затравкой Я [17].

В результате ее применения, граф переходит в граф .

Лемма 6. В простейших предфрактальных деревьях все ветви к одной и той же вершине имеют разные веса.

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

входить в реберные покрытия совершенного парасочетания графа . В ре-

зультате на некотором этапе свертки дерево число вершин в этих ветвях станет нечетным или они превратятся в висячие. И то - и другое противоречит теореме 2.

Следствие 1. Любая вершина в ИИД может иметь только одну смежную ей висячую вершину.

Следствие 2. В ИИД Т Сьне существует двух разных ветвей к одной вершине с одинаковым весом.

Теорема 3. Любому простейшему предфрактальному дереву Т соответствует единственная траектория ТСХ, ТС2 ,. . ., Т _ х.

Доказательство. Как было показано выше (теорема 2) для данного ППД Т мы можем однозначно указать предшествующее ему по процедуре ЗВЗ ППД

. При этом ППД получается при проведении процедуры свертки со-

вершенного парасочетания ППД . Продолжая процедуру свертки мы восстанавливаем траекторию простейших предфрактальных деревьев предшествующих ППД в обратном порядке, получая тем самым единственную последовательность простейших предфрактальных деревьев ТСЬ _ 1,ТСЬ _ 2 ,. . ,,Т Размещая полученную последовательность снова меняя порядок на обратный получаем траекторию ППД .

Теорема доказана.

Иллюстрацией данной теоремы служит корневое дерево, в котором вершинами являются простейшие предфрактальные деревья (рис. 2) [18]. Любая цепь такого дерева от корня до листа (висячая вершина) моделирует единственную траекторию, ведущую к данному .

\

Рис. 2. Корневое дерево

Равновесность простейших предфрактальных деревьев. Одним из определяющих свойств простейших предфрактальных деревьев является их равновесность. Это свойство позволяет продуктивно подойти в дальнейшем к вопросу перечисления ППД и получению производящей функции этих деревьев.

Лемма 7. Любое простейшее предфрактального дерево ТСЬ является равновесным.

Доказательство. Рассмотрим произвольное ППД Т Сь. Операция разбиения этого дерева по единственному в нем ребру первого ранга (фактически сводящаяся к удалению этого ребра) разбивает данное дерево на два поддерева, каждое из которых содержит вершин. Этот факт и является доказательством равновесности .

Обозначим -множество всех - вершинных деревьев, которые могут

быть получены заЬ этапов ЗВЗ из затравки Нъ т.е. {Т Сь} -множество всех простейших предфрактальных деревьев-го ранга.

Теорема 4. Для любого Т 6 {Т Сь} разбиения по ребру первого ранга (равновесия) приводит к лесу, состоящему из двух компонент, каждая из которых принадлежит множеству , т.е. являющихся ППД.

Доказательство. Из доказанной выше леммы 7 любое Т допускает равновесное разбиение по ребру первого ранга. Докажем, что компоненты этого разбиения в свою очередь являются ППД из множества . Обратим внимание, что процедуру ЗВЗ можно было бы начинать с нулевого шага, приняв за Н0 одну единственную вершину. На первом шаге эта вершина заменяется на Н. Далее, процедура ЗВЗ происходит в соответствии с п. 2. За Ь этапов и будет получено ППД . Применительно к нашему случаю удаление ребра первого ранга приводит к двум компонентам, каждая из которых, фактически получена процедурой

ЗВЗ за ! — 1 этапов из соответствующей вершины затравки Нъ и, следовательно, каждая компонента связности является ИИД ранга , т.е. принадлежит множеству .

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Теорема доказана.

Следует обратить внимание, что полученные таким образом, два ИИД из множества , не обязаны совпадать с деревом , предшествующем в

его траектории.

Ирименив процедуру разбиения по равновесному ребру в свою очередь каждый из двух компонент образовавшегося леса (что будет соответствовать удалению из первоначального дерева ребер первого и второго ранга), получим лес, состоящий из четырех компонент, каждая из которых принадлежит множеству {Т Сь _ 2 } и т.д. Иосле ! — 1 этапа такой операции мы получим 2 1 _ 1 компонентный лес. Ири этом каждая из компонент будет представлена двухвершинным деревом с ребром L-го ранга. Заметим, что множество этих компонент составляют совершенное парасочетание первоначального ИИД .

Лемма 8. Объединением двух простейших предфрактальных деревьев принадлежащих множеству является простейшее предфрактальное дерево из множества .

Доказательство. Ироизведем объединение двух равновершинных ИИД дополнительным ребром, соединяющим какую-либо вершину первого дерева с некоторой вершиной второго. Иолученное дерево будет являться также простейшим предфрактальным деревом следующего ранга. Это видно из того, что если мы объявим дополнительное ребро - ребром первого ранга. А ребрам первого ранга в первоначальных деревьях присвоим ранг два и т.д. Тогда каждое из двух деревьев можно считать полученным процедурой ЗВЗ за этапов из одной вершины затравки .

Лемма доказана.

Теорема 5. (свойство сквозного равновесия). 2 1 - вершинное равновесное дерево является тогда и только тогда, когда на любом этапе равновесного разбиения образуются равновесные компоненты.

Доказательство. Ирименение теоремы 4 рекуррентно, т.е. поэтапно, доказывает тот факт, что на любом этапе равновесного разбиения простейшего пред-фрактального дерева образуются компоненты, являющиеся в свою очередь ИИД. Обратно, пусть дерево допускает равновесное разбиение на любом этапе. Отсюда следует, что, применив такое разбиение раз, как мы уже отмечали выше, получим лес из 2 1 _ компонент, каждая из которых, представляет собой Н, т.е. в частности являются деревьями Т С^ Ио лемме 8 предшествующие им деревья также являются ИИД и принадлежат множеству . Из той же леммы, что на любом этапе объединения получаются простейшие предфрактальные деревья.

Теорема доказана.

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

Иусть - число вершин, рассматриваемых деревьев. Иоставим вопрос,

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

Введем данное построение рекуррентно. При этом будем обозначать Т^2ь -число изоморфно различных корневых деревьев, получающихся на этапе рассматриваемой процедуры.

(о)

X

При .

Введем понятие конфигурации-коренное дерево с лишним (прерванным) ребром [21-22]. Двойной кружок означает корень дерева, а прерванное ребро-свободное» ребро следующего присоединения. Это ребро в дереве следующего этапа становится ребром равновесия. На следующем этапе у нас существуют две возможности присоединения данной конфигурации к такому же коренному дереву (рис. 3). Первая - присоединение к коренной вершине, и вторая - присоединение к оставшейся вершине. Имеем:

О

/

. 0' %

,'"<, Л .Г-Л

© (о)'

Рис. 3. Присоединение конфигурации к коренному дереву

Таким образом, при .

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

Итак, при Ь = 3 (п = 8 ) число вариантов различных корневых деревьев 2 з будет равно произведению числа вершин корневого дерева соответствующего на число различных корневых деревьев в квадрате. То есть . Все шестнадцать различных восьмивершин-ных корневых деревьев, являющихся при этом ППД изображены на рис. 4.

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

7>( 2 ь = 2 * - 1 ( 7>( 2 ь - 1) 2.

Рис. 4. Простейшие предфрактальные деревья

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

Теорема 6. Число различных простейших предфрактальных деревьев множества { Т GL} связано с числом различных ППД { Т CL _ х} рекуррентным соотношением

Tfi2L = 2L-\Tf 2L--О2. '

Доказательство. Так как число различных ППД множества { Т CL} совпадает с числом различных 2 ь-вершинных корневых деревьев обладающих свойством сквозного равновесия (теорема 5), то полученное рекуррентное соотношения для таких деревьев справедливо и для чисел перечисления корневых простейших предфрактальных деревьев.

Число простейших предфрактальных деревьев значительно меньше числа корневых ППД. Так, из рис. 4 видно, что корневые деревья (1, 4, 10, 12) изоморфны первому 8 - вершинному дереву (рис. 1), корневые деревья (6,7, 13, 15) изоморфны второму 8 - вершинному дереву этого рисунка, и оставшиеся восемь корневых деревьев изоморфны одному и тому же третьему 8 - вершинному дереву рис. 1.

Формулу для числа t^ 2l ППД можно получить аналогично получению числа равновесных деревьев tpn.

t f _ l = -&-.

J'2 2

Выводы:

1. В простейших предфрактальных деревьях все ребра инцидентные одной и той же вершине являются ребрами разных рангов.

2. Если дерево имеет совершенное парасочетание, то оно единственно.

3. Множество ребер L-го ранга простейшего предфрактального дерева Т Сьобразуют реберное покрытие этого дерева являющееся совершенным парасо-четанием.

4. Любому простейшему предфрактальному дереву соответствует единственная траектория.

5. Любой простейший предфрактальный граф Т CL, является деревом с числом вершин равным и числом ребер равным .

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

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

2. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. - М.: Наука, Физматлит, 2000. - 544 с. - ISBN 5-02-015238-2.

3. Нечепуренко М.И., Покое В. К., Майнагашев С.М. и др. Алгоритмы и программы решения задач на графах и сетях. - Новосибирск: Наука. Сиб. отд-ние, 1990. - 520 с.

4. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов.

- М.: Мир, 1979. - 535 с.

5. Берж К. Теория графов и ее применения: Пер. с фр. - М.: Иностранная литература, 1962. - 320 с.

6. Кочкаров А.А. Число всевозможных предфрактальных графов // IV Всероссийский симпозиум "Математическое моделирование и компьютерные технологии": Тез. докл. Т. 2.

- Кисловодск: КИЭП, 2000. - С. 73-74.

7. Кочкаров А.А., Кочкаров Р.А. Исследование связности предфрактальных графов // IV Всероссийский симпозиум "Математическое моделирование и компьютерные технологии": Тез. докл. Т. 2. - Кисловодск: КИЭП, 2000. - С. 74-75.

8. Кочкаров А.А. Число точек сочленения предфрактального графа // II Международная конференция "Нелокальные краевые задачи и родственные проблемы математической биологии, информатики и физики": Тез. докл. - Нальчик: НИИ ПМА КБНЦ РАН, 2001.

9. Кочкаров А.А., Кочкаров Р.А. Топологические характеристики предфрактальных графов и предупреждение кризисов сложных систем // Труды X Международной конференции "Проблемы управления безопасностью сложных систем". Ч. 1. - М.: РГГУ - Издательский дом МПА-Прогресс, 2002. - С. 116-119.

10. Кочкаров А.М., Перепелица В.А. Число внутренней устойчивости предфрактального и фрактального графа // Сб. статей. РАН САО. - 1999.

11. Коркмазова З.О., Тлябичева М.А. P-адические деревья на предфрактальных графах // Материалы Российско-Узбекского симпозиума «Уравнения смешанного типа и родственные проблемы анализа и информатики»: Тез. докл. - Нальчик: НИИ МПиА КБНЦ РАН, 2003. - С. 154-155.

12. Харари Ф. Теория графов: пер. а англ. и предисл. В.П. Козырева / под ред. Г.П. Гаврило-ва. -2-е изд. - М.: Едиториал УРСС, 2003. - 296 с.

13. Мэлроуз Дж. Иерархические фрактальные графы и блуждания в них // Фракталы в физике. - 1988. - С. 507-512.

14. Емеличев В.А. и др. Лекции по теории графов. - М.: Наука, 1990. - 384 с.

15. Асанов М.О., Баранский В.А., Расин В.В. Дискретная математика: графы, матроиды, алгоритмы. - Ижевск: НИЦ «РХД», 2001. - 288 с.

16. Свами М., Тхуласираман К. Графы, сети и алгоритмы. - М.: Мир, 1984. - 455 с.

17. БасакерР., Саати Т. Конечные графы и сети/Р. Басакер. - М.: Наука, 1974. - 368 с.

18. ЗыковА.А. Теория конечных графов. - Новосибирск: Наука, 1969. - 554 с.

19. Kochkarov A., Perepelitsa V. Fractal Graphs and Their Properties // ICM 1998 Berlin, International Congress of Mathematicians, Abstracts of Short Communications and Posters. - 1998. - 347 p.

20. БалхановВ.К Введение в теорию фрактального исчисления. - Улан-Удэ: БГУ, 2001. - 58 с.

21. Nekrashevych V. Hyperbolic spaces from self - simiral group actions // Algebra and Discrete Mathematics. - 2003. - No. 2. - P. 68-77.

22. Riehl J., Hespanha J.P. Fractal graph optimization algorithms // Proc. of the 44t Conf. on Decision and Contr., 2005. - P. 2188-2193.

REFERENCES

1. Kochkarov A.M. Raspoznavanie fraktal'nykh grafov: Algoritmicheskiy podkhod [The Recognition of fractal graphs: an Algorithmic approach]. Nizhniy Arkhyz: Izdatel'skiy tsentr «CYGNUS», 1998, 170 p.

2. Gorbatov V.A. Fundamental'nye osnovy diskretnoy matematiki. Informatsionnaya matematika [The fundamentals of discrete mathematics. The mathematics of information]. Moscow: Nauka, Fizmatlit, 2000, 544 p. ISBN 5-02-015238-2.

3. Nechepurenko M.I., Pokov V.K., Maynagashev S.M. i dr. Algoritmy i programmy resheniya zadach na grafakh i setyakh [Algorithms and programs for solving problems on graphs and networks]. Novosibirsk: Nauka. Sib. otd-nie, 1990, 520 p.

4. Akho A., Khopkroft Dzh., Ul'man Dzh. Postroenie i analiz vychislitel'nykh algoritmov [The construction and analysis of computational algorithms]. Moscow: Mir, 1979, 535 p.

5. Berzh K. Teoriya grafov i ee primeneniya: Per. s fr. [graph Theory and its applications. TRANS. with FR]. Moscow: Inostrannaya literatura, 1962, 320 p.

6. Kochkarov A.A. Chislo vsevozmozhnykh predfraktal'nykh grafov [the Number of all possible prefractal graphs], IV Vserossiyskiy simpozium "Matematicheskoe modelirovanie i komp'yuternye tekhnologii": Tez. dokl. [the IV all-Russian Symposium "Mathematical modeling and computer technologies". Proc. dokl.], Vol. 2. Kislovodsk: KIEP, 2000, pp. 73-74.

7. Kochkarov A.A., Kochkarov R.A. Issledovanie svyaznosti predfraktal'nykh grafov [a Study of the connectivity of prefractal graphs], IV Vserossiyskiy simpozium "Matematicheskoe modelirovanie i komp'yuternye tekhnologii": Tez. dokl. [the IV all-Russian Symposium "Mathematical modeling and computer technologies". Proc. dokl.]. Vol. 2. Kislovodsk: KIEP, 2000, pp. 74-75.

8. Kochkarov A.A. Chislo tochek sochleneniya predfraktal'nogo grafa [the Number of articulation points prefractal graph], II Mezhdunarodnaya konferentsiya "Nelokal'nye kraevye zadachi i rodstvennye problemy matematicheskoy biologii, informatiki i fiziki": Tez. dokl. [II international conference "Nonlocal boundary value problems and related problems of mathematical biology, Informatics and physics": Proc. dokl.]. Nal'chik: NIIPMA KBNTs RAN, 2001.

9. Kochkarov A.A., Kochkarov R.A. Topologicheskie kharakteristiki predfraktal'nykh grafov i preduprezhdenie krizisov slozhnykh sistem [Topological characteristics of prefractal graphs and the prevention of crises in complex systems], Trudy X Mezhdunarodnoy konferentsii "Problemy upravleniya bezopasnost'yu slozhnykh sistem" [Proceedings of X International conference "problems of safety management of complex systems"], Part 1. M.: RGGU. Izdatel'skiy dom MPA-Progress, 2002. pp. 116-119.

10. Kochkarov A.M., Perepelitsa V.A. Chislo vnutrenney ustoychivosti predfraktal'nogo i fraktal'nogo grafa [the Number of internal stability of fractal and prefractal graph], Sb. statey. RAN SAO [Proc. articles. THE SAO RAS] 1999.

11. Korkmazova Z.O., TlyabichevaM.A. P-adicheskie derev'ya na predfraktal'nykh grafakh [P-adic trees on prefractal graphs], Materialy Rossiysko-Uzbekskogo simpoziuma «Uravneniya smeshannogo tipa i rodstvennye problemy analiza i informatiki»: Tez. dokl. [Proceedings of the Russian - Uzbek Symposium "mixed type Equations and related problems of analysis and Informatics". Proc. Dokl]. Nal'chik: NII MPiA KBNTs RAN, 2003, pp. 154-155.

12. Kharari F. Teoriya grafov [Graph theory], Translation from English V.P. Kozyreva, Ed. by G.P. Gavrilova. 2nd ed. - M.: Editorial URSS, 2003, 296 p.

13. Melrouz Dzh. Ierarkhicheskie fraktal'nye grafy i bluzhdaniya v nikh [Hierarchical fractal graphs and walk in them], Fraktaly v fizike [Fractals in physics], 1988, pp. 507-512.

14. Emelichev V.A. i dr. Lektsii po teorii grafov [Lectures on graph theory]. Moscow: Nauka, 1990, 384 p.

15. AsanovM.O., Baranskiy V.A., Rasin V.V. Diskretnaya matematika: grafy, matroidy, algoritmy [Discrete mathematics: graphs, matroids, algorithms]. Izhevsk: NITs «RKhD», 2001, 288 p.

16. Svami M., Tkhulasiraman K. Grafy, seti i algoritmy [Graphs, networks and algorithms]. Moscow: Mir, 1984, 455 p.

17. Basaker R., Saati T. Konechnye grafy i seti [Finite graphs and networks]. Moscow: Nauka, 1974, 368 p.

18. Zykov A.A. Teoriya konechnykh grafov [Theory of finite graphs]. Novosibirsk: Nauka, 1969, 554 p.

19. Kochkarov A., Perepelitsa V. Fractal Graphs and Their Properties, ICM1998 Berlin, International Congress of Mathematicians, Abstracts of Short Communications and Posters, 199, 347 p.

20. BalkhanovV.K. Vvedenie v teoriyu fraktal'nogo ischisleniya [Introduction to the theory of fractal calculus]. Ulan-Ude: BGU, 2001, 58 p.

21. Nekrashevych V. Hyperbolic spaces from self - simiral group actions, Algebra and Discrete Mathematics, 2003, No. 2, pp. 68-77.

22. Riehl J., Hespanha J.P. Fractal graph optimization algorithms, Proc. of the 44t Conf. on Decision and Contr., 2005, p. 2188-2193.

Статью рекомендовал к опубликованию д.ф.-м.н., профессор Д.М. Эдиев.

Кочкаров Ахмат Магометович - Северо-Кавказская государственная гуманитарно-технологическая академия, Институт прикладной математики и информатики; e-mail: Kochkarova-Asya@mail.ru; 369000, г. Черкесск, ул. Ставропольская, 36; кафедра математики; д.ф.-м.н.; профессор; зав. кафедрой.

Кочкарова Асият Нерчуковна - e-mail: Kochkarova-Asya@mail.ru; тел.: 89283909698; кафедра математики; ассистент.

Хапаева Лёля Халисовна - e-mail: Lelia.kazalieva@yandex.ru; тел.: 89280250725; кафедра информатики и информационных технологий; к.ф.-м.н.; доцент.

Kochkarov Ahmat Magometovich - North-Caucasian State HumanitarianTechnological Academy, Institute of Applied Mathematics and Computer Science; e-mail: Kochkarova-Asya@mail.ru; 36, Stavropol street, Cherkessk, 369000; dr. of phys. and math. sc.; professor; the department of mathematics; head of department.

Kochkarova Asiyat Nerchukovna - e-mail: Kochkarova-Asya@mail.ru; phone: +79283909698; the department of mathematics; assistant.

Khapaeva Lelia Halisovna - e-mail: Lelia.kazalieva@yandex.ru; phone: +79280250725; the department of Informatics and information technologies; cand. of phys. and math. sc.; associate professor.

УДК 519.532.711.3

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

А.К. Кубанова

ЯЧЕИСТО-ПОСЛОЙНЫЙ МЕТОД ИССЛЕДОВАНИЯ УДАРНОГО ВОЗДЕЙСТВИЯ НА СРЕДУ

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

i Надоели баннеры? Вы всегда можете отключить рекламу.