CC BY
7
Краткие сообщения
УДК 519.17 DOI: 10.14529/mmph210409
МИНИМАЛЬНЫЕ ВЕРШИННЫЕ РАСШИРЕНИЯ ЦВЕТНЫХ ПОЛНЫХ ГРАФОВ
П.В. Разумовский, М.Б. Абросимов
Саратовский государственный университет, г. Саратов, Российская Федерация E-mail: [email protected], [email protected]
Предлагаются к рассмотрению результаты поиска минимальных вершинных расширений для неориентированных цветных полных графов. Данная тематика непосредственно связана с моделированием полных отказоустойчивых технических систем с элементами различного типа в терминологии графов. Если описывать техническую систему как £, то ей сопоставляется некоторый граф G(E), в котором вершины соответствуют элементам системы £, а ребра - связям между ними. Тип каждого элемента выражается в сопоставлении каждой вершине графа G(E) некоторого цвета из множества цветов F = {1, 2..., i}. Вершинным расширением данной системы тогда является некоторый граф G(E), в котором введены избыточные вершины и при котором система, ему соответствующая, способна продолжать работу в присутствии к отказов любых её элементов. Полным граф называется тогда, когда любые две его вершины соединены ребром. Полные графы не имеют реберных расширений по определению - не существует способа добавить ребро в граф с максимальным количеством ребер. Другими словами, система, представленная полным графом, не способна противостоять отказам связей между своими элементами. Поэтому данная работа целиком посвящена исследованию минимальных вершинных расширений. Описываются условия существования минимальных вершинных расширений для цветных полных графов, приводятся схемы построения и формулы, по которым можно вычислить необходимое количество дополнительных ребер для построения минимального вершинного расширения цветного полного графа.
Ключевые слова: вершинные расширения графов; полные графы; минимальные расширения графов; расширения цветных графов; цветные графы.
Введение
При проектировании технических систем особое внимание уделяется свойству отказоустойчивости. Отказоустойчивость как свойство дискретной системы впервые была введена А. Ави-женисом [1] и трактуется как обеспечение системы способностью противостоять ошибке и возможностью продолжать работу в присутствии этой ошибки.
Следующим шагом в исследовании данной проблемы стало переложение Д. Хейзом в 1976 году [2] задачи построения отказоустойчивых дискретных систем на модель, основанную на графах. В этой модели технической системе сопоставляется граф. Элементам системы соответствуют вершины графа, а связям между элементами - ребра (или дуги) графа. Отказом элемента системы является удаление вершины из графа со всеми инцидентными ребрами.
Позднее Джон Хейз в 1990-х годах совместно с американским математиком Фрэнком Харари обобщили модель на случай отказов связей между элементами [3]. При этом модель с рассматриваемым отказом элементов было предложено называть системой с вершинной отказоустойчивостью [4].
М.Б. Абросимов в своих работах [5] предложил использовать термины «вершинное расширение графа» и «реберное расширение графа» для модели вершинной отказоустойчивости и реберной отказоустойчивости соответственно.
На практике технические системы состоят из элементов различного типа. В контексте переложения подобных систем на графовую модель предлагается рассматривать расширения для
цветных графов. В данном случае элементу системы заданного типа сопоставляется вершина с заданным на ней цветом. Таким образом, рассмотрение расширений цветных графов позволит конструировать отказоустойчивые технические системы с комбинацией элементов различных типов.
Первыми результатами исследования заданной проблемы стали алгоритмы построения всех неизоморфных цветных графов заданного количества вершин, ребер и цветов [6].
Следующим этапом в исследовании цветных графов и их расширений стал поиск решения задачи минимальных вершинных и реберных расширений для найденных неизоморфных цветных графов. Был разработан алгоритм поиска всех неизоморфных минимальных расширений для заданного цветного графа. Результаты были опубликованы в работе [7]. Цветные минимальные расширения, полученные после запуска реализации данного алгоритма, позволили проанализировать различные классы графов и найти для них общие схемы построения.
Данная работа содержит схемы построения минимальных вершинных расширений для цветных полных графов всех возможных конфигураций. Предварительные результаты для минимальных вершинных 1-расширений были представлены на конференции «Ломоносов 2021» [8]. В настоящей работе публикуются законченные результаты исследования цветных полных графов.
Определения и обозначения
Для начала дадим основные определения и обозначения, которые будут использоваться в настоящей работе. Основные понятия теории графов даны в соответствии с [9]. Определения минимальных расширений графов даны в соответствии с [5].
Определение 1. Граф Кп = (¥,а), где \У\ = п , называется полным, если у него любые две вершины смежны: п,уеУ,п ы,у)е а .
Определение 2. Пусть О = (¥,а) - граф, а 1 е N . Функция вида / .V ®{1,...,1} называется вершинной 1 -раскраской графа О , а /(V),уе V - цветом вершины V . При этом граф называется графом с цветными вершинами, или цветным графом. Для таких графов вводится следующее обозначение: 0 = (V,а,/).
Введем несколько дополнительных обозначений. Пусть множество цветов будет обозначаться как Е = {1,...,1} . Тогда цвет будет иметь обозначение / е ^. Множество
V/. = {V | Vе V,/(V) = /} - набор вершин цвета / . Множество Ж = {V/ / е содержит все множества наборов вершин по цветам. Ж1 = {V/ | V/ е Ж,| V/ |= 1} - множества вершин с цветами, встречающимися в графе только единожды. Тогда Ж2 = {V/ | V/ е Ж,| V/ |= 1} содержит множества вершин с неуникальными цветами, то есть встречающимися два и более раз в графе.
Определение 3. Граф О* = (V*,а*,/*) называется вершинным к -расширением (где ке N) 1 -
цветного графа 0 = (У,а,/), если граф О вкладывается с учетом цветов в каждый граф, получающийся из О* удалением любых его к вершин.
Определение 4. Граф О* = (V*,а*,/*) называется минимальным вершинным к -расширением
(где ке N) 1 -цветного графа 0 = (У,а,/), если выполняются следующие условия:
1) граф О является вершинным к -расширением цветного графа О ;
2) граф О содержит | V |+1к вершин, то есть | V* |=| V | +1к;
3) а* содержит минимальную мощность среди всех графов, удовлетворяющих условиям 1) и 2).
Для удобства термин «минимальное вершинное к -расширение» будем сокращать до МВ- к Р.
Разумовский П.В., Минимальные вершинные расширения
Абросимов М.Б. цветных полных графов
Минимальные вершинные 1-расширения двухцветных полных графов
Сначала рассмотрим частный случай минимальных вершинных 1-расширений двухцветных полных графов. Данный случай позволит в дальнейшем обобщить данную модель для к -расширений многоцветных графов.
Теорема 1. Для полного графа Кп = (У, а,/) с Е = {/0,/х], | Е |= 2, | У^ |= 1, | У^ |> 1 найдется
минимальное вершинное 1 -расширение с количеством дополнительных ребер, равным
2п —1. (1)
Схема построения минимального вершинного 1 -расширения заключается в следующем:
1. Из дополнительной вершины цвета /0 проводятся ребра во все исходные вершины цвета
/1.
2. Из дополнительной вершины цвета / проводятся ребра во все исходные вершины.
Пример графа, удовлетворяющего условиям теоремы 1, и его МВ-1Р, построенного по представленной схеме, изображен на рис. 1 и 2 соответственно.
Рис. 1. Граф К4 , удовлетворяющий условиям Рис. 2. МВ-1Р представленного графа К6 . Пунктиром теоремы 1 изображены дополнительные вершины и ребра
Доказательство. Рассмотрим оба пункта схемы по отдельности.
При удалении исходной вершины цвета /0 все исходные вершины цвета /1 теряют свою связь с вершинами цвета /0 . Таким образом, исходный граф становится одноцветным. Для того чтобы восстановить исходный граф, необходимо соединить ребрами дополнительную вершину цвета /0 со всеми исходными вершинами цвета / . Количество дополнительных ребер в данном случае будет равным п -1 .
При отказе исходной вершины цвета /1 граф превращается в полный двухцветный граф Кп-1 . Чтобы вернуть возможность вложить исходный граф в расширение, необходимо соединить дополнительную вершину цвета /1 со всеми исходными вершинами со степенью п -1 (вершины, потерявшие ребро после отказа рассматриваемой вершины). С учетом условия вершинного расширения, при котором может быть удалена любая вершина /1 , ребра будут проведены ко всем исходным вершинам. Их общее количество будет равно п .
Итоговая сумма дополнительных ребер будет п — 1 + п = 2п — 1.
Теорема 2. Для полного графа Кп= (У,а,/) с Е = {/0,/}, | Е |= 2, | У/ |> 1, | V/ |> 1 найдется
минимальное вершинное 1 -расширение с количеством дополнительных ребер, равным:
2п . (2)
Схема построения минимального 1 -расширения:
1. Из дополнительной вершины цвета /0 проводятся ребра во все исходные вершины.
2. Из дополнительной вершины цвета /1 проводятся ребра во все исходные вершины.
Пример графа, удовлетворяющего условиям теоремы 2, и его МВ-1Р, построенного по представленной схеме, изображен на рис. 3 и 4 соответственно.
Рис. 3. Граф К6 , удовлетворяющий условиям тео- Рис. 4. МВ-1Р представленного графа К6 . Пункти-ремы 2 ром изображены дополнительные вершины и ребра
Доказательство. Аналогично предыдущей теореме при удалении вершины цвета /0 п — 1 исходных вершин теряют связь с данной вершиной, поэтому необходимо добавить п — 1 ребер между исходными вершинами и дополнительной вершиной цвета /0 . Поскольку отказать может любая вершина цвета /0 , то дополнительная вершина цвета /0 должна быть соединена со всеми исходными вершинами. При этом количество дополнительных ребер будет равно п .
Аналогичным образом дополнительная вершина цвета /1 должна быть соединена со всеми исходными вершинами.
Итоговое количество дополнительных ребер будет равно п + п = 2п .
Минимальные вершинные к -расширения двухцветных полных графов
Теперь перейдем к общему случаю минимальных вершинных к -расширений двухцветных полных графов. Данные теоремы дадут понимание, как строятся к -отказоустойчивые вершинные реализации для цветных полных графов.
Введем следующие обозначения. Исходные вершины из V цвета /0 и цвета /1 будем обо-
ТЛ* + +
значать за у^ и у^ соответственно, а дополнительные из V - за у^ и у^ .
Теорема 3. Для полного графа Кп= (V,а,/) с Е = {/0,/1}, | ^ | = 2, | Vf | = 1, | | > 1 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным
к(п — 1) + кп + (к — 1)(к — 1)+ к(к~1) . (3)
Минимальное вершинное к -расширение строится по следующей схеме:
1. Из к дополнительных вершин цвета /0 проводятся ребра во всех исходные вершины цвета ¡1 : к (п — 1).
2. Из к дополнительных вершин цвета ¡1 проводятся ребра во все исходные вершины: кп .
3. Из к — 1 дополнительной вершины цвета проводится к — 1 ребро в одни и те же дополнительные вершины цвета ¡1 : (к —1)( к — 1).
к (к — 1)
4. Из к дополнительных вершин цвета ¡1 строится полный граф: Кк =---.
Пример графа, удовлетворяющего условиям теоремы 3, и его МВ-2Р, построенного по представленной схеме, изображен на рис. 5 и 6 соответственно.
Разумовский П.В., Абросимов М.Б.
Минимальные вершинные расширения цветных полных графов
Рис. 5. Граф К4 , удовлетворяющий условиям теоремы 3
Рис. 6. МВ-2Р представленного графа К4 . Пунктиром изображены дополнительные вершины и ребра
Доказательство. Рассмотрим на примере МВ-2Р, какие случаи отказа могут присутствовать в графе:
Удалены вершины V/
1. 2.
3.
4.
5.
6.
7.
8.
а и vfl .
Удалены две вершины V
/ ■
Удалены вершины и V Удалены вершины и V
+
/ . +
а .
Удалены вершины V ^ и V Удалены вершины V ^ и V
Удалены две вершины V
+ / . +
/ .
+.
/о . +
Удалены две вершины V^ .
Последние два случая рассматривать смысла нет, поскольку в графе, полученном удалением любых двух дополнительных вершин, уже содержится исходный граф.
Случаи с 3) по 6) сводятся к теореме 1, поэтому количество дополнительных ребер будет равно 2п — 1. Поскольку по условию вершинного расширения в МВ-2Р могут быть удалены любые два ребра - дополнительные ребра необходимо провести из каждой вершины V/ и v+ :
2(2п — 1) = 2(п — 1) + 2п . В общем случае в МВ-к Р могут быть удалены любые к ребер, поэтому формула для общего случая будет равна к (2п — 1) = к (п — 1) + кп .
Теперь рассмотрим случай 2), когда удаляются две любые исходные вершины цвета / . В данном случае получившийся исходный граф становится полным графом Кп—2 . Если рассматривать граф таким образом, это означает, что полный граф Кп являлся соединением графов К2 + Кп—2 . Значит, чтобы вложить исходный граф в получившийся, необходимо восстановить соединение графа Кп—2 с графом К2 , состоящим из вершин / . Это значит, что нам необходимо
создать из вершин v+ граф К2 с количеством ребер
щим из оставшихся вершин исходного графа. Поскольку данное соединение уже присутствует в решении для случаев 3)-6), то общее количество дополнительных ребер для случаев 2)-6) будет 2 (2 — 1)
равно 2 (п — 1) + 2п +——- .
Очевидно, при рассмотрении общего случая при удалении любых к исходных вершин цвета /1 исходный полный граф становится Кп—к . Это значит, что необходимо восстановить соедине-
2 (2 —1)
2
и соединить его с Кп—2 , состоя-
ние Кк + Кп—к . Исходя из рассуждений выше, в общем случае количество дополнительных ребер
к (к — 1)
будет равно к (п — 1) + кп +—^—- .
Рассмотрим оставшийся случай 1). При удалении вершины у ^ и у^ получившийся исходный граф является Кп—2 , состоящий только из вершин цвета ¡1 . Как и в случае 2), необходимо восстановить соединение Кп—2 с К2 , причем К2 должно включать вершину цвета ¡0 . Случаи с
3) по 6) уже имеют достаточные ребра, соединяющие у^ с у+ и у^ с у++ (а также Кх , состоя-
1(1 — 1)
щее из вершин цвета ¡1 с количеством ребер ——- = 0). Общее число ребер будет равным
(п — 2)( п - 2 —1> + (п — 2) 2 + .
22
В общем случае при удалении к вершин исходный граф становится Кп—к , причем он состоит только из вершин цвета ¡1 . Следовательно, необходимо восстановить соединение Кп—к с Кк .
Случаи с 3) по 6) уже имеют достаточные ребра, соединяющие у^ с у+ и у^ с у++ (а также
Кк—1 , состоящее из вершин цвета ¡1 ). Общее число ребер будет равным
(п — к" — к —') +(п — к) к +(к — 1)( к — 2) .(" — к><" — к —') +(п — к) к + (к — 1)( к - 2) =
2 у ; 2 2 у ; 2
п2 — п — 2к + 2 = п (п — 1) 2к — 2 = п (п — 1)
2 2 2 2
-(k -1).
n (n -1)
Несложно заметить, что данное число меньше - на k — 1, а значит, чтобы вписать ис-
2
ходный полный граф в получившийся, нужно добавить k — 1 ребер между вершинами цвета f0 и цвета f1 . Эти ребра можно получить путем их добавления между дополнительными вершинами цвета f0 и f1 . Поскольку должно быть выполнено условие вершинного расширения, и максимальное количество удаленных вершин цвета f1 в первом случае может быть только k — 1, то для минимального вершинного k расширения достаточно провести k — 1 дополнительных ребер из k — 1 дополнительных вершин цвета f в дополнительные вершины цвета f0: (k —1)(k — 1).
Теорема 4. Для полного графа Kn =(V,a, f) с F = { f0, fx}, | F | = 2, | Vf | > 1, | V^ | > 1 найдется минимальное вершинное k -расширение с количеством дополнительных ребер, равным:
k—1
2nk + £ (k — j) + k (k — 1). (4)
j=1
Схема построения минимального вершинного расширения:
1. Из каждой v+ проведем ребра во все исходные вершины: kn .
2. Из каждой v+ проведем ребра во все исходные вершины: kn .
3. Из дополнительной вершины цвета f проведем ребра в (k — 1) дополнительную вершину цвета f0 . Далее из дополнительной вершины цвета f0 проведем (k — 2) вершин в дополнительные вершины цвета f1 . Данная операция повторяется при увеличении степени
k расширения, постепенно уменьшая количество дополнительных ребер. Таким образом,
k—1
общее число ребер будет равно: £ (k — j).
j=1
Разумовский П.В., Минимальные вершинные расширения
Абросимов М.Б. цветных полных графов
+ + к (к -1) 4. Из множества у^ и множества V^ построим два полных графа Кк : 2---.
Пример графа, удовлетворяющего условиям теоремы 4, и его МВ-2Р, построенного по представленной схеме, изображен на рис. 7 и 8 соответственно.
Доказательство. Рассмотрим случаи отказа 2 вершин на примере расширения с к = 2. Большинство случаев аналогичны случаям из теоремы 3, однако здесь появляется еще один дополнительный: когда удаляются 2 вершины у^ . Поскольку отказ двух вершин у^ аналогичен
удалению двух у^ , то будем рассматривать этот случай как вариант случая 2).
Рис. 7. Граф К4 , удовлетворяющий условиям Рис. 8. МВ-2Р представленного графа К4 . Пунктиром теоремы 4 изображены дополнительные вершины и ребра
Случаи 7) и 8) так же, как и в теореме 3, не имеет смысла рассматривать. Случаи 3)-6) сводятся к теореме 2, поэтому количество дополнительных ребер будет равно 2п . По условию вершинного расширения в графе могут отказать любые две вершины, поэтому дополнительные ребра необходимо построить из каждой дополнительной вершины: 2 • 2п . В общем случае к • 2п .
Рассмотрим теперь удаление к исходных вершин одинакового цвета. Для у^ он аналогичен предыдущей теореме. Также и для у^ . Это означает, что необходимо построить | Е | полных к (к —1)
графов Кк : 2 —- . Для к = 2 количество дополнительных ребер будет равно двум - для двух полных графов К2 .
Перейдем к оставшемуся случаю, когда удаляются вершины у^ и у^ . Полученный граф
содержит Кп-2 (в общем случае Кп—к) исходных вершин различных цветов. Это означает, что нам необходимо добавить К2 , состоящий из вершин цвета /0 и .
Чтобы вложить граф в дополнительные вершины, необходимо добавить (к — 1) ребер между
вершинами у+ и у+ , в случае к = 2 требуется добавить одно ребро.
При увеличении к растет число вариантов, вершины каких цветов могут быть удалены. Другими словами, растет количество вариантов, из вершин каких цветов может состоять Кк , которую необходимо добавить. Например, при к = 3 могут быть удалены две вершины цвета /0 и одна цвета , а также могут быть удалена одна вершина цвета /0 и две - цвета . При этом добавление к -1 ребер между дополнительными вершинами заданных цветов дают возможность вложить только один из вариантов Кк . Для того чтобы иметь возможность вложить оба варианта, а также выполнить условие минимальности, необходимо дополнительно добавить к - 2 ребер между данными дополнительными вершинами разных цветов. Итоговое количество добавленных ребер будет равно (к — 1) + (к — 2).
При к > 3 данная логика распространяется следующим образом: при увеличении степени расширения увеличивается количество вариантов отказов вершин, следовательно, необходимо
покрывать все случаи увеличением количества ребер. Так, для к = 4 количество ребер будет равным (к —1) + (к — 2) + (к — 3), поскольку существует три варианта удаления вершин цвета Л и /2 . Для к = 5 таких вариантов четыре, и так далее. Соответственно, для покрытия всех вариан-
к—1
тов общее число ребер будет равно £ (к — ]).
]=1
Таким образом, мы рассмотрели все случаи отказов вершин.
4. Минимальные вершинные расширения трехцветных полных графов
Увеличим количество цветов в графе до трех и исследуем представленную модель построения минимальных вершинных к -расширений.
Введем функцию Г(Ж) - набор цветов, которые присутствуют в множествах вершин из Ж .
Для удобства повествования обозначим вершины цвета из множества Г(ж1 ) за V 1 и у+1 -исходные и дополнительные соответственно. Аналогично обозначим V 2 и v+2 .
Ж 2 Ж 2
Теорема 5. Для полного графа Кп = (У,а,/) с | Г | = 3, | Ж 1| > 1, (ж2( =1 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным:
2(п — 2)к + пк +1 Ж1 | (к —1)(к — 1)+ к(к~1) + к (5)
Схема построения данного минимального вершинного расширения:
1. Из к вершин v+1 (для каждого цвета из Г(ж1 )) проводится (п — 2) ребер в вершины исходного графа V 2 - во все вершины, кроме вершин цвета из Г(ж1 ): 2(п — 2)к (в общем случае | Ж11 (п— | Ж11)к ).
2. Из к дополнительных вершин v+2 проводятся ребра во все вершины исходного графа: пк .
Ж
3. Из к — 1 дополнительной вершины v+1 для каждого цвета из Г(ж1 ) проводится к — 1 ребро в одни и те же дополнительные вершины цвета из ^(ж2). Количество ребер: | Ж 1|( к —1)( к — 1).
4. Каждая пара дополнительных вершин разного цвета из ^(ж1 ) соединяется ребром к .
/ 2\ к (к — 1)
5. Строится полный граф из дополнительных вершин цвета из Г (Ж ): ——-.
Доказательство. Следует из теоремы 3. Четвертый пункт схемы обосновывается тем фактом, что при удалении любого набора, состоящего из вершин из Ж1 , теряется связь между вершинами данного цвета, поэтому его нужно сконструировать из дополнительных вершин.
Теорема 6. Для полного графа Кп= (У,а,/) с | Г | = 3, | Ж1 \ = 1, | Ж2| > 1 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным
(п — 1)к + 2пк + (к —1)(к — 1) + 2 к(к —1) + £(к — ]). (6)
2 ]=1
Схема построения данного минимального вершинного расширения:
1. Из к дополнительных вершин проводятся ребра во все вершины V 2 : (п — 1) к .
Разумовский П.В., Минимальные вершинные расширения
Абросимов М.Б. цветных полных графов
2. Из к вершин у+2 каждого цвета из Е(ж2) проводятся ребра во все вершины исходного графа: 2пк.
3. Из к — 1 дополнительной вершины у+1 для каждого цвета из Е(ж1) проводится к — 1 ребро в одни и те же дополнительные вершины цвета из Е(ж2). Количество ребер: 2(к —1)(к — 1).
4. Из дополнительной вершины у+2 цвета с1 е Е(ж2) проведем ребра в (к — 1) дополнительную вершину цвета с2 е Е(ж2). Далее из дополнительной вершины цвета с2
проведем (к — 2) вершин в дополнительные вершины цвета с1 . Данная операция повторяется
при увеличении степени к расширения, постепенно уменьшая количество дополнительных
к—1
ребер. Таким образом, общее число ребер будет равно I(к — ]).
]=1
/ 2\ + к (к — 1)
5. Для каждого цвета из Е(ж ) построим полный граф из у^2 : 2---.
Доказательство. Данную схему можно разбить на две - схема построения расширения для графа с | ж1 | = 1,| ж2 | > 1 и схема для | ж1 | > 1,| ж2 | = 1. Пункты 1-3 следуют из теоремы 3. Последние два пункта следуют из теоремы 4.
Теорема 7. Для полного графа Кп= {У,а,/) с | Е | = 3, | жх| = 0, | ж2| > 1 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным
к (к — 1)
3пк + 3^-+ 3
2
(к—1
I (к — ])
(7)
v ]=1
Схема построения:
1. Для каждого цвета из Е(ж2) из к дополнительных вершин у+2 проводятся ребра во все
вершины исходного графа: 3пк (в общем случае | ж2 | пк).
2. Для каждой пары цветов с1,с2 е Е(ж2) из дополнительной вершины цвета с1 проводятся
к —1 ребер в вершины цвета с2 , а из дополнительной вершины цвета с2 ребра в к — 2 дополнительные вершины цвета с1 и так далее при увеличении степени расширения:
(к—1 1
3 I (к — ]) . Несложно заметить, что все рассматриваемые пары образуют полный | ж 2|-
v ]=1 )
вершинный граф. Таким образом, в общем случае количество дополнительных ребер будет
| ж2| (| ж2| —1) (к—1 1
равным
2
I (к — ])
/ 2\ + к (к — 1) 3. Для каждого цвета из Е(ж ) строится полный граф из у^2 : 3——- (в общем случае
2 к (к — 1) 2
Доказательство. Следует из предыдущих теорем.
Теорема 8. Для полного графа Кп= {У,а,/) с | Е | = 3, | ж1 | > 1, | ж2| = 0 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным
v ]=1
I W l\(\W -1)
к-4-(8)
Схема построения заключается в том, чтобы построить к полных графов из вершин .
Пример графа, удовлетворяющего условиям теоремы 8, и его МВ-1Р, построенного по представленной схеме, изображен на рис. 9 и 10 соответственно.
Рис. 9. Граф К3 , удовлетворяющий услови- Рис. 10. МВ-1Р представленного графа К3 . Пунктиром ям теоремы 8 изображены дополнительные вершины и ребра
Доказательство. При удалении любой вершины любого цвета граф Кп превращается в
Кп-1 , поэтому необходимо соединить Кп-1 с К1 , построенный из дополнительной вершины удаленного цвета. Поскольку может быть удалена вершина любого цвета и для каждого цвета необходимо соединять К1 удаленного цвета с Кп-1 , то нужно провести п - 1 ребер из каждой дополнительной вершины. Очевидно, что условие минимальности расширения достигается тогда,
п(п-1)
когда каждая дополнительная вершина соединена с остальными дополнительными: ——-. С
учетом степени расширения к необходимо построить к полных графов из к дополнительных вершин.
Замечание. Условия теоремы 8 справедливы и для графов с | Г | = 2 .
Рассматривая представленные теоремы, можно обнаружить некоторую закономерность в построении схемы минимального вершинного к -расширения для различных конфигураций графов. В действительности, все описанные выше схемы можно свести к единой и обобщить все теоремы выше к общей теореме для цветных полных графов любой конфигурации.
5. Минимальные вершинные к -расширения цветных полных графов
Следующая теорема является следствием закономерного развития идеи построения схем минимального вершинного к -расширения для цветных полных графов, рассмотренных в теоремах 1-8.
Теорема 9. Для полного графа Кп= (У,а, Л) с | Г | > 1 найдется минимальное вершинное к -расширение с количеством дополнительных ребер, равным
\ж2\ . | ж2| (| ж2| —1) (к—1 ^
2
IW1 | (n-1 W1|) к +1 W2 | nk + £|W1|( к -1)( к -1)+-Ц--£ (к - j)
0
V
j =1
+
2 к (к—1) \ ж1! (| ж1!— 1)
+1 Ж-- + к-----(9)
22
Схема построения данного минимального вершинного расширения заключается в следующем:
1. Для каждого цвета из Г (ж1 ) проводятся ребра из к дополнительных вершин у+1 во все вершины V 2 : | Ж1 | (п— | Ж1 |)к .
Разумовский П.В., Минимальные вершинные расширения
Абросимов М.Б. цветных полных графов
2. Для каждого цвета из Г (ж2 ) из к дополнительных вершин проводятся ребра во все вершины исходного графа: | Ж2 | пк .
3. Из к — 1 дополнительной вершины \+2 , для каждого цвета из Г (ж2 ) проводится к — 1 ребро в одни и те же дополнительные вершины цвета из Г (ж 1). Количество ребер:
|ж 2\
£ \ ж 2\( к—1)( к—1).
0
4. Для каждой пары цветов с1,с2 е Г (ж2) из дополнительной вершины цвета с1 проводятся
к — 1 ребер в вершины цвета с2 , а из дополнительной вершины цвета с2 ребра в к — 2 дополнительные вершины цвета с1 и так далее при увеличении количества вариантов
удаления исходных вершин различного цвета:
| W2| (| W2| -1) (к-1
Л
£ (к - j)
v j=1
¡Л + 2 к (к — 1)
5. Для каждого цвета из Г (Ж ) строится полный граф из ^2 : | Ж |—^—-.
6. Каждая пара дополнительных вершин разного цвета из Г (Ж1 ) соединяется ребром:
\Ж 1|(|Ж 1|—1)
к-.
2
В работе М.Б. Абросимова [5] приводится теорема о минимальном вершинном к -расширении полного графа Кп = (У,а). В ней говорится, что полный граф имеет единственное с точностью до изоморфизма МВ-к Р, и этим расширением является полный граф Кп+к .
Полный граф без введенной на нем функции раскраски можно рассматривать как граф Кп= (У,а,/) с | Г | = 1, | Ж 1| = 0, | Ж2 | = 1. Посчитаем количество дополнительных ребер в расширении Кп+к :
(п + к)(п + к — 1) — п (п — 1) = п2 + кп — п + кп + к2 — к — п2 + п = 2кп + к2 — к к (к — 1)
-—-—-— кп +
2 2 2 2
Теперь посчитаем количество дополнительных ребер по теореме 9.
1 • 0
0 (n - 0) к + пк + 0 + — £ (к - j)
2 v j=1
(к-1 Л к (к - п 0-(-11+ к(к -1)
+ ^-- + к—-—- = кп + -
2 2 2
Следствие 1. Схема построения минимального вершинного к -расширения с заданным по формуле количеством дополнительных ребер справедлива и для полных графов с | F | = 1.
Работа выполнена при поддержке Минобрнауки России в рамках выполнения государственного задания (проект № FSRR-2020-0006).
Литература
1. Avizienis, A. Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing / A. Avizienis // ACM SIGPLAN Notices. - 1975. - Vol. 10, Iss. 6. - P. 458-464.
2. Hayes, J.P. A graph model for fault-tolerant computing system / J.P. Hayes // IEEE Trans. Com-put. - 1976. - Vol. C-25, no. 9. - P. 875-884.
3. Harary, F. Edge fault tolerance in graphs / F. Harary, J.P. Hayes // Networks. - 1993, Vol. 23, Iss. 2. - P. 135-142.
4. Harary, F. Node fault tolerance in graphs / F. Harary, J.P. Hayes // Networks. - 1996, vol. 27, Iss. 1. - P. 19-23.
2
5. Абросимов, М.Б. Графовые модели отказоустойчивости / М.Б. Абросимов. - Саратов: Изд-во Сарат. Ун-та, 2012. - 189 с.
6. Разумовский, П.В. Построение цветных графов без проверки на изоморфизм / П.В. Разумовский, М. Б. Абросимов // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. - 2021. - Т. 21, № 2. - С. 267-277.
7. Razumovsky, P.V. The search for minimal edge 1-extension of an undirected colored graph / P.V. Razumovsky // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. -2021. - Т. 21, № 3. - P. 400-407.
8. Разумовский, П.В. О минимальных вершинных 1-расширениях двухцветных полных графов / П.В. Разумовский // Материалы Международного молодежного научного форума «Л0М0Н0С0В-2021». - М.: МАКС Пресс, 2021. https://lomonosov-msu.ru/archive/Lomonosov_2021/data/22112/124513_uid563707_report.pdf
9. Богомолов, А.М. Алгебраические основы теории дискретных систем / А.М. Богомолов, В.Н. Салий. - М.: Наука, 1997. - 367 с.
Поступила в редакцию 28 октября 2021 г.
Сведения об авторах
Разумовский Пётр Владимирович - аспирант кафедры теоретических основ компьютерной безопасности и криптографии, Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского, г. Саратов, Российская Федерация, https://orcid.org//0000-0003-3648-3166, e-mail: [email protected]
Абросимов Михаил Борисович - доктор физико-математических наук, заведующий кафедрой теоретических основ компьютерной безопасности и криптографии, Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского, г. Саратов, Российская Федерация, https://orcid.org/0000-0002-4473-8790, e-mail: [email protected]
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2021, vol. 13, no. 4, pp. 77-89
DOI: 10.14529/mmph210409 THE MINIMAL VERTEX EXTENSIONS FOR COLORED COMPLETE GRAPHS
P.V. Razumovsky, M.B. Abrosimov
Saratov State University, Saratov, Russian Federation E-mail: [email protected], [email protected]
The article proposes the results of the search for minimal vertex extensions of undirected colored complete graphs. The research topic is related to the modelling of full fault tolerant technical systems with a different type of their objects in the terminology of graph theory. Let a technical system be E, then there is a graph G(E), which vertices reflects system's objects and edges reflects connections between these objects. Type of each object reflected in a mapping of some color from F = {1,2...,i} to the corresponding vertex. System's E vertex extension is a graph G(E) which contains additional vertices. System reflected by graph G(E) can work even if there are k faults of its objects. Complete graph is a graph where each two vertices have an edge between them. Complete graphs have no edge extensions because there is no way to add additional edge to the graph with a maximum number of edges. In other words, the system reflected by some complete graph cannot be able to resist connection faults. Therefore the article research is focused on vertex extensions only. There is a description of vertex extensions existence condition for those colored complete graphs. This paper considers generating schemes for such minimal vertex extensions along with formulas, which allows to calculate number of additional edges to have an ability to construct minimal vertex extension.
Keywords: graph vertex extensions; complete graphs; graph minimal extensions, colored graph extensions, colored graphs.
Разумовский П.В., Минимальные вершинные расширения
Абросимов М.Б. цветных полных графов
References
1. Avizienis A. Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing. ACM SIGPLAN Notices, 1975, Vol. 10, Iss. 6, pp. 458-464. DOI: 10.1145/390016.808469
2. Hayes J.P. A Graph Model for Fault-Tolerant Computing System. IEEE Trans. Comput., 1976, Vol. C-25, no. 9, pp. 875-884. DOI: 10.1109/TC.1976.1674712
3. Harary F., Hayes J.P. Edge Fault Tolerance in Graph. Networks, 1993, Vol. 23, Iss. 2, pp. 135142. DOI: 10.1002/net.3230230207
4. Harary F., Hayes J.P. Node Fault Tolerance in Graphs. Networks, 1996, Vol. 27, Iss. 1, pp. 1923. DOI: 10.1002/(sici)1097-0037(199601)27:1<19::aid-net2>3.0.co;2-h
5. Abrosimov M.B. Grafovye modeli otkazoustoychivosti (Graph Models of Fault Tolerance). Saratov, Izd-vo Sarat. Un-ta Publ., 2012, 189 p. (in Russ.).
6. Razumovsky P.V., Abrosimov M.B. Generation of Colored Graphs with Isomorphism Rejection. Izv. Sarat. Univ. Math. Mech. Inform., 2021, Vol. 21, Iss. 2, pp. 267-277. (in Russ.). DOI: 10.18500/1816-9791-2021-21-2-267-277
7. Razumovsky P.V. The Search for Minimal Edge 1-Extension of an Undirected Colored Graph. Izv. Sarat. Univ. Math. Mech. Inform, 2021, Vol. 21, Iss. 3, pp. 400-407. DOI: 10.18500/1816-97912021-21-3-400-407
8. Razumovskiy P.V. O minimal'nykh vershinnykh 1-rasshireniyakh dvukhtsvetnykh polnykh gra-fov (On Minimal Vertex 1-Extensions of Two-Color Complete Graphs). Materialy Mezhdunarodnogo molodezhnogo nauchnogo foruma "LOMONOSOV-2021" (Proc. Int. Youth Scientific Forum "LOMONOSOV-2021"), Moscow, MAKS Press Publ., 2021. https://lomonosov-msu.ru/archive/Lomonosov_2021/data/22112/124513_uid563707_report.pdf
9. Bogomolov A.M., Saliy V.N. Algebraicheskie osnovy teorii diskretnykh sistem (Algebraic Foundations of the Theory of Discrete Systems). Moscow, Nauka Publ., 1997, 367 p. (in Russ.).
Received October 28, 2021
Information about the authors
Razumovskiy Pyetr Vladimirovich, Postgraduate Student of the Department of Theoretical Foundations of Computer Security and Cryptography, Saratov State University named after N.G. Cherny-shevsky, Saratov, Russian Federation, https://orcid.org/0000-0003-3648-3166, e-mail: [email protected]
Abrosimov Mikhail Borisovich, Dr. Sc. (Physics and Mathematics), Head of the Department of Theoretical Foundations of Computer Security and Cryptography, Saratov State University named after N.G. Chernyshevsky, Saratov, Russian Federation, https://orcid.org/0000-0002-4473-8790, e-mail: [email protected]
