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

ТОПОЛОГИЧЕСКИЕ АСПЕКТЫ РАЗРУШЕНИЯ СЛОЖНЫХ СИСТЕМ С АЦИКЛИЧЕСКОЙ СТРУКТУРОЙ

Кочкаров А.А., Салпагаров М.Б., Кочкаров Р.А.

(Институт прикладной математики им М.В. Келдыша РАН, Москва) azret_kochkarov@mail. ш

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

Ключевые слова: структурное разрушение, критерии разрушения (отказа, выходы из строя), структурная динамика, теоретико-графовое моделирование.

Введение

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

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

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

В настоящей работе предложена математическая модель структурного разрушения сложной системы.

1. Математическая модель структурного разрушения

Обозначим через О = (V, Е) - граф, соответствующий

структуре исследуемой системы, V - множество вершин, Е -множество ребер графа О . Каждой вершине V е V припишем веса w(v) и w(v), отражающие текущую загрузку и предельную загрузку элемента системы. В случае, когда текущая загрузка w(v) элемента системы достигает предельного значения w(v), то элемент системы выходит из строя, а проходящие через него потоки перераспределяются по «соседним» элементам системы. Выход из строя элемента системы в теоретико-графовой терминологии соответствует удалению из графа системы вершины с инцидентными ей ребрами. А перераспределение весов в тривиальном случае соответствует равному разделению веса w(v) удаленной вершины по вершинам, смежным с удаляемой.

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

Структурное разрушение, вообще говоря, процесс динамический. Не нарушая общности, будем считать, что wt (V) - текущая загрузка вершины Vе V в момент времени t = 1,2,3,...,Т,... Если через V = {~} с V, у = 1,2,3,...,|~ , обозначить множество вершин, вышедших из строя в момент времени t, т.е. тех, у которых wt (Уу ) > w(V;), а через X (~у ) = {V/} - окружение вершины V ‘ (или множество вершин, смежных с вершиной V ‘),

X(~)| = deg ~‘, 1 = 1,2,3,...,|Х(~)|, то процесс структурного

разрушения формально будет выглядеть следующим образом.

В момент времени t = 0 необходимо произвести проверку

по всем вершинам V е V, и сформировать множество V1 из вершин, для которых справедливо w0(vj) > w(v;). Во все последующие моменты времени t = 1,2,3,...,Т,... следует воспользоваться правилом

wt+1 (V/) = wt (V/) + еу  ^), 1 = 1,2Д.^ Iх (~ ^ у = ид..^ |^ |.

Если wt+1 (V/) > w(v/), то вершина VI удаляется из графа О

и ^+1 + ^.

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

для каждой вершины ~ у вычисляется как е , = —1— . Струк-

deg V

турное разрушение при параметре распределения загрузки

е , = —1— будем назвать равномерным. deg ~ ‘

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

Критическое состояние 3 определяется, исходя из особенностей моделируемой системы. Например, система может считаться пребывающей в критическом состоянии, если из ее структуры удален хотя бы один элемент (вершина), или система может считаться функционирующей, если ее структура после удаления элементов все еще остается связной. В настоящей работе будут рассмотрены различные критерии отказа системы (перехода в состояние отказа системы) или, иначе, критерии разрушения.

2. Характеристики и особенности структурного разрушения сложной системы

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

Нельзя утверждать, что система, перейдя в критическое состояние, когда из ее структуры удаляются элементы (начало процесса структурного разрушения), непременно выйдет из строя (перейдет и в состояние отказа системы). Время Тсг структурного разрушения системы соответствует продолжительности

процесса структурного разрушения от момента первого удаления (выхода из строя) элемента системы до момента остановки процесса разрушения или отказа самой системы.

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

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

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

Для исследования процесса структурного разрушения систем с “простой” структурой целесообразно использовать следующие критерии отказа.

1. Критерий полного разрушения о0 (к) . Система считается вышедшей из строя, если в системе выйдут из строя все элементы (будут удалены все вершины графа - структуры системы). Критерий связности о0(к) зависит от одного параметра: к -числа удаленных вершин в начальный момент времени структурного разрушения.

2. Критерий связности о 1(к). Система считается вышедшей из строя, если нарушенная связность ее структуры при удалении вершин. Критерий связности о1 (к) зависит от одного параметра: к - числа удаленных вершин в начальный момент времени структурного разрушения.

3. Компонентный критерий о2 (к, т). Система считается вышедшей из строя, если число компонент в структуре системы при ее разрушении станет больше заданного числа т . Компонентный критерий о2 (к, т) выхода системы из строя зависит от двух параметров: от к - числа удаленных вершин в начальный момент времени структурного разрушения, и (т — 1) - максимально допустимого числа компонент структуры при ее разрушении.

4. Диаметральный критерий о3(к,О). Система считается вышедшей из строя, если диаметр хотя бы одной из компонент структуры системы в процессе разрушения окажется меньше заданного числа О . Диаметральный критерий о3 (к, О) выхода системы из строя зависит от двух параметров: от к - числа удаленных вершин в начальный момент времени структурного разрушения и О - минимально допустимого диаметра компонент структуры при ее разрушении.

По мере необходимости в дальнейшем будут вводиться и другие критерии отказа систем при их структурном разрушении.

Множество Ф (О) элементов вышедших из строя (удаленных из структуры) в момент времени ґ = 1 будем называть эпицентрами структурного разрушения. В критериях о0(к),

о 1 (к), о2 (к, т), о3 (к, О), число к соответствует количеству эпицентров структурного разрушения системы.

Настоящая работа посвящена структурному разрушению ациклических графов (цепе и деревьев) с равными значениями начальных загрузок w0(v) и равными значениями предельных

загрузок w(v) для всех их вершин.

3. Структурное разрушение графов-цепей

3.1. СТРУКТУРНОЕ РАЗРУШЕНИЕ ГРАФОВ-ЦЕПЕЙ ПО КРИТЕРИЮ СВЯЗНОСТИ

Всякий связный ациклический граф О = (V, E) называется деревом. Частным случаем дерева О является граф-цепь С = (ус, EС). Множество вершин VС графа-цепи С состоит из двух висячих вершин - концов цепи со степенями, равными единице, и внутренних вершин со степенями, равными двум.

Рассмотрим граф-цепь С = (Ус, Eс), | Р"с | = п , с равными для

всех его вершин V еVС весами w0(v), w(v).

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

ЛЕММА 1. Всякий граф-цепь С = (ус, Eс), |РС| = п , будет разрушен по критерию о 1 (к), где 1 < k < п - 2, при удалении хотя бы одной невисячей вершины. ◄1

3.2. СТРУКТУРНОЕ РАЗРУШЕНИЕ ГРАФОВ-ЦЕПЕЙ ПО КОМПОНЕНТНОМУ КРИТЕРИЮ

ЛЕММА 2. Всякий граф-цепь С = (ус, Eс), |РС| = п , п > 3, будет разрушен по критерию о2 ^, m), где 2 < m < (п +1) / 2 при нечетном п и 2 < m < п / 2 при четном п , если количество попарно несмежных внутренних вершин-эпицентров равно k = m -1.

ДОКАЗАТЕЛЬСТВО. Удаление одной невисячей вершины графа-цепи С = V, Eс) непременно приведет к распадению его на две компоненты С' = (ус*, Eс•) и С" = (ус, Eс^). «Простейшей» компонентой в таком случае может быть граф-вершина.

1 Здесь и далее символом “◄ ” будем обозначать окончание алгоритмов, доказательств лемм, теорем, утверждений, примечаний и т.п..

109

Всякий граф-цепь С = (Vc, Ec), Vc = и, и > 3, имеет (n -1) / 2 попарно несмежных внутренних вершин, если n - нечетное, и n /2 -1, если n - четное. Удаление из графа-цепи С = (Vc, Ec) всех попарно несмежных внутренних вершин приведет к появлению (n +1) / 2 компонент в первом случае и n /2 - во втором, причем каждая компонента будет представлять собой граф-вершину. ◄

ПРИМЕЧАНИЕ 1. Для всякого графа-цепи c = (Vc, Ec),

|Vc | = n, n > 3, структурное разрушение по критерию о2 (k, т) в зависимости от соотношения параметров к и т может произойти различными способами. ◄

з.з. ctpyktyphoe РАЗРУШЕНИЕ ГРАФОВ-ЦЕПЕЙ ПО ДИАМЕТРАЛЬНОМУ КРИТЕРИЮ

Пусть H=(W, Q) есть n-вершинный связный граф [2]. Длина кратчайшей цепи, соединяющей пару вершин w, v е W , называется расстоянием между вершинами w и v [2] и обозначается через р(w, v). Заметим, что введенное таким образом расстояние удовлетворяет известным аксиомам Евклидовой метрики.

Для фиксированной вершины w е W величина e (w) = max р (w, v) называется эксцентриситетом вершины

veW

w eW. Максимальный среди всех эксцентриситетов вершин графа H=(W,Q) называется диаметром графа H и обозначается через d(H), т.е. d(H) = maxe(w). Если пара вершин u,weW

weW

соединяется кратчайшей цепью длины р(u, w) = d(H), то эта цепь называется диаметральной. Вершина w называется периферийной, если e (w) = d(H). Радиус графа H обозначается через r(H) и вычисляется по формуле r(H) = min e (w). Вершина w

weW

называется центральной, если e(w) = r(H) . Центром графа H называется множество центральных вершин.

ЛЕММА 3. Всякий граф-цепь С = (Ус,ЕС), |Ус| = п, п > 3, будет разрушен по критерию <73(1, г (С)) при удалении центральной вершины (т.е. когда эпицентром является центральная вершина). Причем диаметры появившихся в результате структурного разрушения компонент будут равны г(С) -1 и й (С) - г (С) -1.

Доказательство. Для графа-цепи С = (Ус , Ес ), \Ус\ = п, расстояние между двумя его висячими вершинами у1 и у2 совпадает с диаметром и длиной графа цепи р(у1;у2) = й(С) = п -1, а сами вершины у1 и у2 являются периферийными.

г

й

й(С1)=г(С)-1

й(С2) =й(С)-г(С)-1

Рис. 1. Граф-цепь С = (Ус , ЕС) и диаметры компонент при удалении центральной вершины w

Всякий граф-цепь С =

и С2 = (УС2, ЕС2) будут равны й (С1) = й (С2), а при четном п -й (С1) > й (С2). ◄

СЛЕДСТВИЕ 3.1. Всякий граф-цепь С = (Ус , ЕС), |Ус| = п, п > 3, будет разрушен по критерию о3(1, й (С) - г (С)) при удалении центральной вершины (т.е. когда эпицентром является центральная вершина). Причем диаметры появившихся в результате структурного разрушения компонент будут равны г(С) -1 и й (С) - г (С) -1. ◄

Для эксцентриситета всякой внутренней вершины V е Ус графа-цепи С = (Ус , ЕС) справедливо неравенство г (С) < е (V) < й (С). Так же, как и в случае с удалением из графа-цепи центральной вершины, удаление любой внутренней вершины приведет к распадению графа-цепи С = (Ус , ЕС) на две компоненты С1 = (УС1, ЕС;) и С2 = (Ус , ЕС ), с соответствующими диаметрами й (С1) = е (V) -1 и й (С2) = й (С) - е (V) -1 (см. рис. 2). Поэтому из леммы 3 очевидным образом вытекает следующая

е

й (С) = е (V) -1 й (С2) = й (С) - е (V) -1

Рис. 2. Граф-цепь С = (Ус , ЕС) и диаметры компонент при удалении внутренней вершины V.

ЛЕММА 4. Всякий граф-цепь С = (Ус , ЕС), |Ус| = п, п > 3, будет разрушен по критерию о3(1, е (V)) при удалении внутренней вершины Vе Ус (т.е. когда эпицентром является внутренняя вершина V е Ус). Причем диаметры появившихся в резуль-

тате структурного разрушения компонент будут равны e (v) -1 и d (C) - e (v) -1. ◄

СЛЕДСТВИЕ 4.1. Всякий граф-цепь С = (Vc, Ec), | Vс | = n, будет разрушен по критерию s3(1, d(C) - e (v)) при удалении внутренней вершины v е Vc (т.е. когда эпицентром является внутренняя вершина v е Vc). Причем диаметры появившихся в результате структурного разрушения компонент будут равны e (v) -1 и d (C) - e (v) -1. ◄

ПРИМЕЧАНИЕ 2. В леммах 2 - 4 отражены случаи разрушения графа-цепи С = (Vc, Ec), |Vc | = n, n > 3, по критериям s1(k), s2(k,m), и s3(k,D). Во всех исследованных случаях предполагалось, что все вершины графа-цепи С = (Vc, Ec) имеют равные значения текущих (начальных) загрузок w0(v) и равные значения предельных загрузок w(v). Структурное разрушения во всех этих случаях происходит на первом шаге процесса, т. е. время процесса структурного разрушения равно Tcr = 1. ◄

3.4. СТРУКТУРНОЕ РАЗРУШЕНИЕ ГРАФОВ-ЦЕПЕЙ ПО КРИТЕРИЮ ПОЛНОГО РАЗРУШЕНИЯ

Прежде чем перейти к исследованию структурного разрушения по критерию s0 (k), рассмотрим вопрос о разности начальной (текущей) w0(v) и предельной загрузки w(v) элементов графа-цепи С = (Vc, Ec).

Предположим, что эпицентром на графе-цепи С = (Vc, Ec) является одна из его внутренних вершин v* е Vc. Пусть также w(v*) - w0(v*) > w(v*)/2, тогда после удаления эпицентра

* Т Г Г N Т Г

v е Vc текущая загрузка смежных ему вершин v , v е Vc станет равной

Wl(v') = Wl(v") = w0(v') + w(v*)/2 = w0(v*) + w(v*)/2 < ).

Поэтому процесс структурного разрушения прекратится, а его длительность его будет равна Тсг = 1.

В другом случае, когда w(v*) - w0(v*) < w(v*)/2, длительность процесса структурного разрушения Тсг > 1, если система не выйдет из строя при достижении установленного критерия разрушения.

Иная ситуация складывается, когда эпицентром является одна из висячих вершин v1, v2 е Ус графа-цепи С = (Ус , ЕС). В

таком случае w(v1) - w0(v1) < w(v1), поэтому для смежной эпицентру вершине V"' е Ус будет справедливо выражение w1(v/'') = w0(v'!',) + w(v1) > w(v'!',) . А это значит, что вершина V"' е Ус выйдет из строя (будет удалена) в следующий момент времени t = 2 . Причем вершина Vокажется висячей для цепи С / v1, что приведет к удалению смежной ей вершине в момент времени t = 3. Этот процесс будет продолжаться до пор, пока не будут удалены все вершины графа-цепи С = (Ус , ЕС), т.е. будет достигнут критерий разрушения о0(1). Из проделанных рассуждений вытекаю следующая лемма.

ЛЕММА 5. Всякий граф-цепь С = (Ус,ЕС), |Ус| = п , п > 3 , будет разрушен по критерию о0(1) при удалении одной из висячих вершин за время Тсг = п . ◄

ЛЕММА 6. Всякий граф-цепь С = (Ус ,ЕС), |Ус| = п , п > 3, с равными значениями начальных загрузок w0(v) и равные значения предельных загрузок w(v) для всех его вершин такими, что w(v) - w0(v) < w(v)/2, будет разрушен по критерию о0(1) при удалении одной из внутренних вершин V е Ус за время Тсг = е (V) +1, где е(V) - эксцентриситет вершины V е Ус . ◄

Доказательство. После удаления внутренней вершины V е Ус граф-цепь С = (Ус , ЕС) в момент времени t = 1 распадется на две компоненты, у каждой из которых эпицентрами окажутся по одной висячей вершине. Это, впоследствии, согласно лемме 5, приведет к разрушению обеих компонент по критерию

о0 (1). Время разрушения каждой компоненты в таком случае совпадает с числом вершин в них, для большей компоненты -это е (V), а для меньшей - й(С)- е (V). А поскольку процесс структурного разрушения графа-цепи С = (Ус , ЕС) начался с удаления внутренней вершины V еУС, то его время

Тсг = е (V) + 1. ◄

СЛЕДСТВИЕ 6.1. Всякий граф-цепь С = (Ус ,ЕС), |ус| = п , п > 3, с равными значениями начальных загрузок w0(v) и равными значениями предельных загрузок w(v) для всех его вершин такими, что w(v) - w0(v) < w(v)/2, будет разрушен по критерию о0(1) при удалении центральной вершины за время ТсГ = г (С) +1, где г (С) - радиус графа-цепи С = (Ус , ЕС). ◄ Фраза «Всякий граф-цепь С = (Ус ,ЕС), |УС | = п , п > 3, с равными значениями начальных загрузок w0(v) и равными значениями предельных загрузок w(v) » повторяется почти во всех формулировках. Лучше оговорить это в самом начале и не дублировать.

4. Структурное разрушение деревьев

4.1. СТРУКТУРНОЕ РАЗРУШЕНИЕ ДЕРЕВЬЕВ ПО КРИТЕРИЮ СВЯЗНОСТИ

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

ны, и из двух в противном случае, т.е. когда диаметр й(Т) нечетный. У всякого дерева Т = (Ут , Ет) не менее чем две висячие вершины. Все остальные, как в случае с графами-цепями, будем называть внутренними.

Поскольку всякое дерево утратит связность при удалении хотя бы одной невисячей (внутренней) вершины, то справедлива ЛЕММА 7. Всякое дерево Т = (Ут , Ет), |Ут| = п , будет разрушено по критерию о 1 (к), где 1 < к < пТ, пт - количество висячих вершин, при удалении хотя бы одной внутренней вершины за время Тсг = 1. ◄

4.2. СТРУКТУРНОЕ РАЗРУШЕНИЕ ДЕРЕВЬЕВ ПО КОМПОНЕНТНОМУ КРИТЕРИЮ

ЛЕММА 8. Всякое дерево Т = (Ут , Ет), |Ут| = п , будет разрушено по критерию о2(1, т) при удалении одной внутренней вершины V е у за время Тсг = 1, причем т = deg(V).

Доказательство. При удаление из дерева Т = (Ут , Ет) хотя бы одной внутренней вершины приведет к распадению его на компоненты, причем число компонент будет зависеть от степени удаляемой вершины. ◄

ЛЕММА 9. Всякое дерево Т = (Ут , Ет), |УТ| = п , будет разрушено по критерию о2(к, т) при удалении к попарно несмежных внутренних вершин vi е Ут за время Тсг = 1, причем

т = £ ^( vl) -1) +1.

г=1

ДОКАЗАТЕЛЬСТВО. Удаление из дерева Т = (Ут ,Ет) всех к внутренних вершин vi е Ут проведем последовательно вопреки основным правилам, определяющим процесс структурного разрушения. Это позволит подсчитать количество полученных в результате структурного разрушения компонент, и никак не повлияет на общую картину их межэлементных связей.

После удаления первой вершины v1 е Ут дерево распадется на deg(^) компонент. Поскольку эпицентры являются попарно несмежными и невисячими вершинами дерева Т = (Ут , Ет), то вершина v2 е Ут принадлежащая какой-то из полученных при удалении вершины v1 компонент также не будет являться для свой компоненты висячей вершиной. Поэтому при удалении вершины v2, компонента, которой она принадлежит, распадется на deg( V 2) компонент. А общее количество компонент, на которое распадется само дерево Т = (Ут , Ет), после удаления вершин v1 и v2 станет равным

deg( V) + deg( V2) -1 = (^( V) -1) + (deg( V2) -1) +1.

И далее, каждое удаление одной из вершин vi е Ут ,

I = 3,4,...,к, будет увеличивать число количество компонент на число deg( vi) -1. А это значит, что при одновременном удалении всех эпицентров соответствующих условиям теоремы дерево

к

Т = (Ут , Ет) распадется на т = ^ (deg(vi) -1) +1 компонент.

1=1

Длительность процесса структурного разрушения составит Т = 1. ◄

сг

4.3. СТРУКТУРНОЕ РАЗРУШЕНИЕ ДЕРЕВЬЕВ ПО ДИАМЕТРАЛЬНОМУ КРИТЕРИЮ

Уточним, что центральные вершины дерева Т = (Ут , Ет) -это те вершины, для которых расстояние до любой другой вершины дерева не больше чем радиус дерева г (Т), т.е. расстояние от центральной вершины до самой удаленной от нее вершины дерева равно радиусу г (Т). Говоря иначе, расстояние от центральной вершины до концов любой проходящей через центральную вершину цепи будет не больше радиуса г(Т), т.е. после удаление центральной вершины эта цепь распадется на

цепи с диаметром, меньшим чем г (Т). Это говорит о справедливости следующей .

ЛЕММА 10. Всякое дерево Т = (Ут ,Ет) будет разрушено по критерию о3(к, г(Т)) при удалении центральной (центральных вершин) вершины, т.е. когда эпицентром (эпицентрами) являются центральная (центральные вершины) вершина, к = 1 (к = 2), за время Тсг = 1. ◄

ЛЕММА 11. Всякое дерево Т = (Ут , Ет) будет разрушено по критерию о3 (к,2(е(V) - г(Т) -1) +1) при удалении всех к вершин vi е Ут , i = 1,к, с эксцентриситетами е(V), т.е. когда эпицентрами являются все вершины с эксцентриситетом е(V), за время Тсг = 1.

ДОКАЗАТЕЛЬСТВО. Эксцентриситет любой из удаляемой вершины vi е Ут , i = 1, к, удовлетворяет неравенству г (Т) < е (V) < й (Т). Если е (V) = г (Т), то доказательство Теоремы 12 сводится к доказательству Теоремы 11. Если же эксцентриситет е (V) = й (Т), то, из дерева удаляются все периферийные вершины, что приводит к уменьшению диаметра. Диаметр, получившегося таким образом дерева Т', будет равен й (Т') = й (Т) - 2.

В общем случае следует рассмотреть два типа дерева - одноцентровое и двуцентровое.

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

У всякого однокорневого дерева каждая смежная с центральной вершиной вершина V еУТ имеют эксцентриситет равный е (V) = г (Т) +1. Вершины и е Ут , расстояние от которых до центральной равно 2, имеют эксцентриситет, равный е(и) = г(Т) +1 и т.д. Наконец, вершины ^ еУТ , расстояние от

которых до центральной равно I, имеют эксцентриситет равный е(и) = г(Т) +1. Так, расстояние между любой периферийной и центральной вершинами равно й (Т) - г (Т) .

Обозначим через V е Ут центральную вершину дерева Т = (Ут , Ет), а через Т' = (Ут -, Ет-) - ту компоненту, которой будет принадлежать вершина V после удаления из дерева Т = (Ут , Ет) всех вершин с эксцентриситетами е (V), г (Т) < е (V) < й (Т). Вершины и е Ут , смежные удаляемым vi е Ут из дерева Т = (Ут , Ет), окажутся висячими для дерева Т'. Расстояние от этих вершин и еУТ- до вершины V еУТ-останется неизменным р (и' , V) = е (V) - г (Т) -1. Все остальные вершины дерева Т' находятся на таком же или меньшем расстоянии от вершины V еУТ-, поскольку в дереве Т = (Ут , Ет) они имели меньший эксцентриситет, чем удаленные вершины vi е Ут . По этой причине вершина V е Ут- останется центральной и для дерева Т , причем его радиус будет равен г (Т') = е (V) - г (Т) -1. У всякого одноцентрового дерева радиус ровно в два раза больше диаметра, что справедливо и для дерева Т': й(Т') = 2г(Т') = 2(е (V) - г(Т) -1). Это удовлетворяет диаметральному критерию разрушения о3 (к,2(е(V) - г(Т) -1) +1) одно-ценрового дерева, когда эпицентрами являются все к вершин с эксцентриситетом е (V) (см. следствие 11.1).

В случае двукорневого дерева Т , после удаления всех к вершин vi е Ут , дерево Т' также будет иметь две смежных центральных вершины. Поэтому его диаметр будет отличаться от однокорневого на единицу - й(Т') = 2(е (V) - г(Т) -1) +1. ◄

СЛЕДСТВИЕ 11.1. Всякое одноцентровое дерево Т = (Ут , Ет) будет разрушено по критерию о3(к,2(е (V) - г(Т) -1)) при удалении всех к вершин vi е Ут , i = 1, к, с эксцентриситетами

е(у), т.е. когда эпицентрами являются все вершины с эксцентриситетом е (у) , за время Тсг = 1. ◄

Заключение

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

Работа выполнена при поддержке РФФИ (проект № 04-0100510) и РГНФ (проект № 05-03-03188).

Литература

1. ЕМЕЛИЧЕВ В. А., МЕЛЬНИКОВ О.И., САРВАНОВ В.И., ТЫШКЕВИЧ Р.И. Лекции по теории графов. - М.: Наука, 1990.

2. ФОРД Л.Р., ФАЛКЕРСОН Д.Р. Потоки в сетях. - М.: Мир, 1966.