CC BY
8
Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2022. Т. 22, вып. 4. С. 536-548
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2022, vol. 22, iss. 4, pp. 536-548
mmi.sgu.ru https://doi.org/10.18500/1816-9791-2022-22-4-536-548, EDN: BHQKFP
Научная статья УДК 519.17
Вершинные расширения 4-слойных графов и гиперкубов А. А. Лобов, М. Б. Абросимов0
Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, Россия, 410012, г. Саратов, ул. Астраханская, д. 83
Лобов Александр Андреевич, аспирант кафедры теоретических основ компьютерной безопасности и криптографии, [email protected], https://orcid.org/0000-0003-3422-3811, AuthorlD: 525179 Абросимов Михаил Борисович, доктор физико-математических наук, заведующий кафедрой теоретических основ компьютерной безопасности и криптографии, [email protected], https://orcid.org/
0000-0002-4473-8790, AuthorlD: 175520
Аннотация. Дж. П. Хейз предложил математическую модель отказоустойчивых реализаций технических систем на основе графов, которой в более абстрактном виде соответствуют вершинные и рёберные расширения графов. Граф G* называется вершинным ^-расширением графа G, если граф G вкладывается в каждый граф, полученный из G* удалением любых к вершин. Если никакая собственная часть графа G* не является вершинным ^-расширением графа G, то расширение G* называется неприводимым. Если вершинное ^-расширение имеет минимально возможное число вершин и рёбер, то оно называется минимальным. Задача поиска минимальных расширений для произвольного графа является вычислительно сложной. Только для некоторых классов графов удалось найти частичное или полное описание их минимальных вершинных расширений. В данной работе предложена общая схема построения вершинных 1- и 2-расширений для почти всех двудольных графов, в том числе и для гиперкубов. Гиперкуб является интересным графом с точки зрения его свойств и возможности использования в качестве топологии вычислительной системы. Минимальные вершинные расширения для гиперкубов неизвестны. На практике используются тривиальные 1-расширения, которые получаются добавлением одной вершины и соединением её со всеми остальными. Неприводимое 1-расширение для 16-вершинного гиперкуба, которое предлагается в данной работе, содержит на одно ребро меньше, чем тривиальное 1-расширение. Также в статье определяется количество неизоморфных расширений для каждого гиперкуба, которые можно построить с использованием предложенных схем, и доказывается неприводимость вершинных
1-расширений гиперкуба.
Ключевые слова: теория графов, вершинное расширение, отказоустойчивость, двудольные графы, гиперкуб
Благодарности: Работа выполнена при поддержке Минобрнауки России в рамках выполнения государственного задания (проект № FSRR-2020-0006).
Для цитирования: Лобов А. А., Абросимов М. Б. Вершинные расширения 4-слойных графов и гиперкубов // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2022. Т. 22, вып. 4. С. 536-548. https://doi.org/10.18500/1816-9791-2022-22-4-536-548, EDN: BHQKFP
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0)
Article
Vertex extensions of 4-layer graphs and hypercubes A. A. Lobov, M. B. Abrosimov0
Saratov State University, 83 Astrakhanskaya St., Saratov 410012, Russia
Alexandr A. Lobov, [email protected], https://orcid.org/0000-0003-3422-3811, AuthorlD: 525179 Mikhail B. Abrosimov, [email protected], https://orcid.org/0000-0002-4473-8790, AuthorlD: 175520
Abstract. J. P. Hayes proposed a graph-based model of fault tolerant systems, which in a more abstract form corresponds to vertex and edge extensions of graphs. A graph G* is called a vertex fc-extension of a graph G if the graph G is embedded in every graph obtained from G* by removing any k vertices. If no proper part of the graph G* is a vertex fc-extension of the graph G, then the extension G* is said to be irreducible. If a vertex fc-extension has the minimum possible number of vertices and edges, then it is called minimal. The task of finding minimal extensions for an arbitrary graph is computationally difficult. Only for some classes of graphs, it was possible to find a partial or complete description of their minimal vertex extensions. In this paper, we propose a general scheme for constructing vertex 1- and 2-extensions for almost all bipartite graphs, including hypercubes. The hypercube is an interesting graph in terms of its properties and the possibility of using it as a topology of an interconnection network. The minimum vertex extensions for hypercubes are unknown. In practice, trivial 1-extensions are used, which are obtained by adding one vertex and connecting it to all the others. The irreducible 1-extension for the 16-vertex hypercube proposed in this paper contains one less edge than the trivial 1-extension. The article also determines the number of non-isomorphic extensions for each hypercube that can be constructed using the proposed schemes and proves the irreducibility of hypercube vertex 1-extensions.
Keywords: graph theory, vertex extension, fault tolerance, bipartite graphs, hypercube Acknowledgements: This work was supported by the Ministry of science and education of the Russian Federation in the framework of the basic part of the scientific research state task (project No. FSRR-2020-0006).
For citation: Lobov A. A., Abrosimov M. B. Vertex extensions of 4-layer graphs and hypercubes. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2022, vol. 22, iss. 4, pp. 536-548 (in Russian). https://doi.org/10.18500/1816-9791-2022-22-4-536-548, EDN: BHQKFP This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0)
Введение
В работе будут рассматриваться простые неориентированные графы. Основные определения используются по работе [1]. Напомним, что граф называется двудольным, если его вершины можно разбить на две доли так, чтобы все рёбра соединяли вершины разных долей. Если каждая пара вершин из разных долей смежна, то такой двудольный граф называется полным. Далее будет представлено семейство двудольных графов, которое мы будем называть многослойными графами. Из многослойных графов наибольшей интерес представляют 4-слойные графы. Для них будет предложена схема построения вершинных 1- и 2-расширений. Важнейшим представителем 4-слойных графов являются гиперкубы, которые представляют не только теоретический, но и практический интерес как популярная топология построения
вычислительных систем [2]. Вершинные и рёберные расширения являются моделью исследования отказоустойчивости технических систем на языке теории графов [3-5]. Сначала была представлена модель для исследования отказов элементов системы, позднее модель была расширена на случай отказов связей.
Граф С* называется вершинным к-расширением (В-&-Р) графа С, если граф С вкладывается в каждый граф, полученный из С* удалением любых к вершин. Если никакая собственная часть В-к-Р С* не является В-к-Р графа С, то расширение С* называется неприводимым. Если В-к-Р имеет минимально возможное число вершин и рёбер, то оно называется минимальным.
Для каждого графа С можно построить тривиальное В-&-Р, которое получается добавлением к вершин, соединением их рёбрами между собой и с остальными вершинами графа С. Если в графе п вершин, то в тривиальном В-1-Р на п рёбер больше, чем в С, а в тривиальном В-2-Р — на 2п + 1.
Под вложением понимается изоморфное вложение, т. е. граф С = (V., а) вкладывается в граф Н = (и, р), если (Эф : V ^ и)((и, V) е а ^ (ф(и),ф(у)) е р).
Пусть С = (V, а), V е V — произвольная вершина, а {и, у} — некоторое ребро. Обозначим через С — V граф, получающийся из С удалением вершины V и всех её рёбер, а через С — {и,у} — граф, получающийся из С удалением ребра {и, у}.
Задача построения вершинных и рёберных расширений является вычислительно сложной [6]. В работах [7,8] были предложены алгоритмы построения минимальных вершинных и рёберных расширений графа без проверки на изоморфизм, которые хорошо подходят для параллельной реализации. Однако даже для 16-вершинного гиперкуба на данный момент не удалось найти минимальное вершинное 1-расширение. На практике в качестве отказоустойчивой реализации 16-вершинного гиперкуба используется его тривиальная реализация. В данной работе будет предложено неприводимое расширение гиперкуба, которое имеет на одно ребро меньше. Заметим, что для минимальных рёберных 1-расширений гиперкуба известен теоретический результат [4], который также был подтверждён с помощью вычислительного эксперимента [8].
1. Многослойные графы
Будем называть граф к-слойным, если его вершины можно раскрасить в к цветов (1, 2,..., к) так, что каждое ребро {и, у} будет соединять две вершины цветов с(и), с(у), если \с(и) — с(у)| = 1, при этом для каждого цвета есть хотя бы одна вершина, окрашенная в этот цвет. Через обозначим множество ^-слойных графов. Из определения видно, что ^-слойные графы являются частным случаем ^-дольного графа. 1-слойные графы —это множество вполне несвязных графов. 2-слойные графы по определению совпадают с двудольными графами.
Лемма 1 (Об иерархии ^-слойных графов). При к ^ 2 Ьк+1 С Ьк.
Доказательство. Рассмотрим произвольный граф С е с соответствующей раскраской. Вершины цвета к + 1 могут быть смежны только с вершинами цвета к, вершины цвета к — 1 также могут быть смежны с вершинами цвета к. Перекрасив вершины цвета к + 1 в цвет к — 1, получим раскраску ^-слойного графа, т. е. С е . С выбран произвольно, значит, Ьк+1 С . □
Напомним, что граф называется связным, если между каждой парой его вершин есть соединяющий их путь. Расстоянием между вершинами и и V назовём число рёбер в кратчайшем пути между ними и обозначим ¿,(и,ю). Эксцентриситетом
вершины называется максимальное расстояние от неё до остальных вершин графа. Диаметром графа С называется максимальный из эксцентриситетов его вершин и обозначается 6,(0).
Теорема 1 (Критерий связного ^-слойного графа). Связный п-вершинный граф С с диаметром <1 является к-слойным при к ^ 2 тогда и только тогда, когда С является двудольным и п ^ к ^ <1 +1.
Доказательство. Выберем вершину и, эксцентриситет которой равен диаметру. Дадим каждой вершине у цвет, равный ¿(и, у) + 1. Получим вершины <1 + 1 цветов, так как для и есть вершина, расстояние до которой равно диаметру <1. Пусть в графе есть ребро {у,ги}. Очевидно, что й(и,у) + 1 ^ и ¿(щ'ш) + 1 ^ й(и,у) в
силу смежности т и у, отсюда \(1(и,ю) — ^ 1. Если — =0, то
вершины у и т принадлежат одной доле двудольного графа и не могут быть смежны. Это значит, что \(1(и,у) — = 1. Таким образом, была построена раскраска
^-слойного графа для к = (1 + 1. С учётом леммы 1 можно построить раскраску и в меньшее количество цветов.
Предположим, что к > й + 1. Это означает, что в графе будут вершины цвета 1 и <1 + 2. Так как граф связный, то между любыми двумя вершинами есть путь. Рёбра соединяют вершины, цвета которых отличаются на 1, т.е. любой путь между вершиной цвета 1 к вершине цвета <1 + 2 содержит минимум <1 +1 ребро, что больше диаметра. Получили противоречие, а значит, к ^ <1 + 1. □
Критерий легко перенести и на общий случай.
Теорема 2 (Критерий ^-слойного графа). Граф С, состоящий из I компонент связности с диаметрами ,... , является к-слойным тогда и только тогда, когда С — двудольный граф и к < (Е5=1 %) + I.
Далее для нас будут представлять основной интерес 4-слойные графы, поэтому сформулируем для них отдельное следствие.
Следствие 1 (Критерий 4-слойного графа). Двудольный граф С = (и и У,а), где и и V — доли графа, является 4-слойным тогда и только тогда, когда количество вершин в нём не меньше 4 и (Зи е и£ V){и,у} £ а, т.е. он не является полным двудольным графом.
Доказательство. Необходимость следует из того, что вершины слоёв 1 и 4 не смежны друг с другом и принадлежат разным долям.
Достаточность. Если количество вершин меньше 4, то их невозможно раскрасить в 4 цвета так, чтобы все цвета были задействованы. Если граф связный, то между вершинами и и у из разных долей нет ребра, поэтому путь между ними будет состоять минимум из трёх рёбер (три перехода между долями).
Пусть граф С несвязный и количество компонент равно 2. Рассмотрим два случая.
1. Одна из компонент является 01, т.е. её диаметр 0, а в другой компоненте не менее 3 вершин, при этом как минимум две из них в одной доле, а расстояние между вершинами одной доли не может быть меньше 2. Диаметры равны 0 и 2, количество компонент равно 2, поэтому по теореме 2 граф будет 4-слойным.
2. В каждой компоненте минимум 2 вершины. Тогда диаметр каждой компоненты не может быть меньше 1, т. е. граф 4-слойный.
Если количество компонент 3, то в графе из 4 вершин будет хотя бы одна компонента с двумя вершинами, диаметр которой будет не меньше 1, а значит, по формуле из теоремы 2 он будет 4-слойным.
Более 3 компонент по теореме 2 приводят к 4-слойности графа. □
2. Вершинные расширения 4-слойных графов
Теорема 3 (о В-1-Р 4-слойных графов). Пусть дан 4-слойный п-вершинный граф С = (Ш, а), т. е. двудольный граф с долями и и V, в котором есть две несмежные вершины и, у: и е и, V е V. Тогда граф С* = (Ш*, а*) = (Ш и{гу},а и р и 5и и 6У и ц) является В-1-Р графа С, где 5и = {{и, х}\х е V\{^}}, р = х}\х е ^ и ^}, ц = {{и,у}}, = {{и,х}\х е и\МУ\{и}}, N4!,, N4 — множества смежных с и и V вершин.
Доказательство. Вершины и и V будем называть опорными. Рассмотрим количество дополнительных рёбер в графе С*. Множества а, р, 5и, и ц не имеют попарных пересечений, поэтому:
\Р и 5и и 5Ь и = \Р\ + \5и\ + \5Ь\ + М = \Ми и N.\ + \У\Ми\{у}| + \и\Уи\{М}| + 1 = = Ш + ^ \ + \ — \ — 1 + \и \ — \Уи \ — 1 + 1 = \и \ + \ — 1 = п — 1.
Заметим, что если вершины и и V и доли и и V поменять местами, то граф С* не изменится. Рассмотрим несколько случаев удаления вершины в графе С* и для каждого из них построим вложение графа С.
1. Удалена вершина т. Покажем, что дш: дш(х) = х является вложением С в С* — w. Ребро {х,у} е а С W х ^ {х,у} е а* Л{х,у} е № х ^ {х, у} е а* П (Ш х W). Так как {дш(х),дш(^)} = {х,у}, то дш является вложением.
2. Удалена вершина V (для и аналогично). Имеем
т, если х = V, х, иначе.
Тогда [у, 5} е а ^ в е ^ ^ [дь(у),дь(5)} = {ш, 5} е Р.
3. Удалена вершина г е V\{^} (для г е и\{м} аналогично). Имеем
если х = V, V, если х = г, х, иначе.
Тогда
• {у, в} е а ^ 5 е ^ ^ {дг(у),дг(5)} = {ш, в} £ р;
е ^ ^ {V, в} е а,
5 е и \ N4 \М ^{у,в}е ^, 5 = и ^ {у,и} е Г)]
• {х, 5} е а Л {х, 5} П{г,у} = 0 ^ {дг(х),дг(5)} = {х, 5} е а.
Таким образом, по определению С* является В-1-Р графа С, и количество дополнительных рёбер в нём равно п — 1. □
д„ (х)
Теорема 4 (о В-2-Р 4-слойных графов). Пусть дан 4-слойный п-вершинный граф С = (Ш, а), т. е. двудольный граф с долями и и У и две несмежные вершины и еи и V е У. Тогда граф С* = (Ш*, а*) является В-2-Р графа С, где Ш* = Ш и{ти}, а* = а и ^ и ри и 5и и 5У и г], ^ = {{ту, х}\х е N и У}, 5и = {{и, х}\х е У\{^}}, Г] = {{и, у}}, ри = {{ти, х}\х е^ и и}, = {{у, х}\х е и\N.\{и}}.
Доказательство. Подсчёт ребер проводится аналогично теореме 3. Количество дополнительных ребер:
N иу \ + N и и \ + \у\^\м\ + \и\{и}\ +1 = = \NV\ + \у\ + N\ + \и\ + \у\ - N\ -1 + \и\ - N\-1 +1 =
= 2\У\ + 2\и\- 1 = 2п - 1.
Рассмотрим различные возможные ситуации и укажем схемы построения вложения. Для начала отметим, что добавление рёбер в графе производится симметрично относительно и,У и опорных вершин и, у, т.е. при их взаимном переименовании граф С* не изменится. Воспользуемся этой симметрией для уменьшения количества рассматриваемых случаев.
Для начала определим В-1-Р Н* графа С, построенное по теореме 3:
Н* = (Ш и {т}, а ир и 5и и и г]),
где р = {{т,х}\х е N и^}.
I. Покажем, что следующее отображение из Н* в С* - ть является вложением:
\ти, х,
, . ти, если х = т;
х) =
иначе.
Справедливо следущее:
• [в,х} е а и 5и и 6Ь и Г] ^ {ф(в), ф(х)} = {в,х} е а и 5и и 6Ь и г\\
• {т,х}ер ^ х е ^ и N с^ и и ^ {ф(т),ф(х)} = {ти, х} е ри.
Таким образом, граф С* -ту является В-1-Р графа С. Это означает, что вложение С в С* - -г для произвольной вершины г существует. При удалении ти ситуация аналогична.
II. Покажем, что существует вложение ф графа Н* в С* - у. Имеем
ту, если х = т, ф(х) = { ти, если х = у, х, иначе.
Тогда
1) { } е ^ 15 = ^(при х = у аналогично) ^ {ф(у),ф(х)} = {ти,х} е ри,
= их = у ^ {ф(з),ф(х)} = {5 ,х}еа;
2) {ш,х} е р ^ х е ^ и N ^ {ф(т), ф(х)} = {ту, х} е рь;
3) {и,х}е 6и ^ х е У \ ^ \ М ^ {ф(и),ф(х)} = {и, х} е 5и;
4) {у, х} е 6У ^ х еи \ N \{и}си ^ {ф(у), ф(х)} = {ши, х} е ри;
5) {и, у} = {у,и} е г] ^ {ф(ъ), ф(и)} = {ти, и} е ри .
Таким образом, в С* - у вкладывается В-1-Р графа С. Следовательно, С* - у также является В-1-Р графа С. Это означает, что вложение С в С* - у - г для произвольной вершины существует. Случай С - и аналогичен.
Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика. 2022. Т. 22, вып. 4 III. При удалении вершин из одной доли: r1,r2 £ V \ {v}. Имеем
9i (х) = <
wu, если х = г1,
v, если х = г2,
wv, если х = v,
х, иначе.
ч >
V, если х = rv
U, если х = ru
Wu, если х = v,
Wy , если х = u,
X, иначе.
Покажем, что отображение д1 является вложением:
1) {гхе а ^ 5 е и ^ {д\(г1),д1 (5)} = {шие £и С а*;
!{у, 5} е если 5 = и, {^,5}е а, если 5 е ^, {у, 5} е 5У, иначе;
3) {у, в} е а ^ 5 е ^ ^ {дх(у),д1(з)} = {ту, в} е ^ С а*;
4) {в1,52}е а л {51,52} п {V, п,Г2} = 0 ^ {д2(51 ),д2(в2)} = {51,52} е а С а*. По определению д1 является вложением. Случай г1,г2 е и \ {и} аналогичен. VI. При удалении вершин из разных долей гу е V \ и ги е и \ {и} имеем
92 (х)
Покажем, что отображение д2 является вложением: 1) {и,в} е а ^ 5 е ^ ^ {92(и),92(5)} = {1^, в} е ^ С а*;
5 е ^ ^ {^(и),д2(5)} = ,в} е С а*; >5 е V (так как С — двудольный и ги е и): > {92(ги),92(гу)} = {и,у} е ц ^ а*; {92(ги),92(у)} = {и^и} = {ши,и} е ри С а*; {92(ги),92(з)} = {и, в] е а С а*;
• 5 е V \ \{гь,у} ^ {д2(ги),92(5)} = {и, в} е 5и С а*;
4) {гуе а ^ 5 е и:
• 5 = ги ^ {д2(гу),д2(ги)} = {и, и} = {и,у} е ц С а*;
• 5 = и ^ {д2(Гу), д2(и)} = {у,*шу} = ,у} е С а*;
• 5 е ^ ^ {92(гу),§2(5)} = {у,в} е а С а*;
• 5 е и \ Му \ {ги, и} ^ {д2(гу),д2(5)} = {и, в} е 5у С а*;
5) {51,52} е а Л {51,52} П {и, V, ги, Гу} = 0 ^ {д2(«1), д2(я2)} = {51,52} е а С а*. Таким образом, д2 является вложением С в С* — ги — Гу. Все случаи разобраны,
поэтому С* является В-2-Р графа С. □
Далее понадобится лемма 2.1.4 из работы [2].
2) {^,5} £ а
3) {ru, s} £ а =
• s = rv--
• S = V =
• S £ Nu
Лемма 2. Если минимальная степень вершины графа С есть й > 0, то его минимальное вершинное к-расширение С* не содержит вершин степени ниже & + к.
Лемма 3. Если С — регулярный 4-слойный граф степени <1 > 0, то С* — В-1-Р графа С, построенное по схеме из теоремы 1, неприводимо тогда и только тогда, когда С* — {и, у} не является В-1-Р графа С.
Доказательство. В теореме 3 к графу С добавляется ребро {и, у}, а также к каждой вершине х, отличной от и, V и w, добавляется ребро {х, у}, {х,и} или {х,ги}, что увеличивает степень вершины х до й + 1. Таким образом, каждое ребро графа, которое неинцидентно одновременно и, у и ад, будет иметь на конце вершину степени й + 1, и её удаление приведёт к появлению вершины степени й, поэтому по лемме 2 полученный таким образом граф не будет являться В-1-Р графа С. Остаётся рассмотреть только ребро {и, у}, так как рёбра {и,гу} и {уотсутствуют.
Следовательно, С* неприводимо тогда и только тогда, когда С* -{и, у} не является
Лемма 4. Если С — регулярный 4-слойный граф степени больше 0, то С* — В-2-Р графа С, построенное по схеме из теоремы 4, неприводимо тогда и только тогда, когда ни один из трёх графов С* — {и, у}, С* — {ть, у} и С* — {ти,и} не является В-2-Р графа С.
Доказательство. Опираясь на доказательство леммы 3, получим, что среди дополнительных рёбер удаление произвольного ребра, отличного от {и, у}, {ту, у} и {ти,и}, приводит к образованию вершины степени й + 1, что меньше, чем й + 2. Поэтому для определения неприводимости расширения остаётся проверить только те графы, которые получены удалением данных рёбер. □
3. Вершинные расширения гиперкубов
Под N-мерным гиперкубом или N-кубом будем подразумевать граф
где к — дистанция Хемминга. В QN у) = к(и, у).
Гиперкубы являются двудольными графами, диаметр N-куба равен N [9], поэтому они являются ^ + 1)-слойными графами, а значит, при N ^ 3 для N-куба применимы теоремы 3 и 4. Будем использовать следующую ^ + 1)-слойную раскраску N-куба: вершина с г единицами в метке окрашена в цвет г.
Для 4-куба пример разметки и 5-слойной раскраски изображён на рис. 1, а. На рис. 1, б показана разметка вершин при построении В-1-Р и В-2-Р по теоремам 3 и 4.
Рис. 1. Схема 5-слойной раскраски 4-куба (а) и разметка 4-куба для построения
расширений по схемам из теорем 3 и 4 (б) Fig. 1. Scheme of 5-layer coloring of the 4-cube (a) and labeling of the 4-cube for constructing extensions according to the schemes from Theorems 3 and 4 (b)
В-1-Р графа G.
□
Qn = (V = {0,1}N, a = {{и, v}\u, у eV, h(u, у) = 1}),
а / a
б / b
На рис. 2 изображено В-1-Р 16-вершин-ного гиперкуба. Метки Nu, Nv, U, V обозначают вершины из соответствующих множеств.
N-куб имеет 2N вершин степени N. Так как N-куб двудольный и симметричный, его доли имеют одинаковое количество вершин. По построению В-1-Р по схеме из теоремы 3 граф будет иметь следующие степени
Рис. 2. Схема построения В-1-Р гиперку- вершин:
ба Q4 по теореме 3 1) d(u) = d(v) = 2N/2 = 2N-1;
Fig. 2. Scheme for constructing a 1-NFT of 2) d(w) = 2N;
the hypercube Q4 according to Theorem 3 3) степени остальных вершин равны
N + 1.
Автоморфизмом графа G = (V, а) называется биективное отображение ф : V ^ V такое, что
V {u, v}({u, v} е а ^ {ф(и),ф(у)} е а),
т. е. при применении автоморфизма к графу получается тот же граф. Множество автоморфизмов графа G обозначается как Aut(G).
Очевидно, что если ф — вложение, то суперпозиция ф с автоморфизмом ф о ф также является вложением. Каждый N-куб является дистанционно-транзитивным графом [10], т. е.
V Ui,U2, Vi, V2 е V(d(ui,U2) = d(Vi, V2) ^ 3 ttui}U2}V1 jV2 е Aut(Q)) :
,U2 ,V1 ,V2 (u1 )= V1 Л &U1,U2 ,V1 ,V2 (u2)= V2-
Теорема 5 (О количестве неизоморфных В-1-Р гиперкуба, построенных по схеме из теоремы 3). Количество неизоморфных В-1-Р N-куба, построенных по теореме 3, равно \_Щ-1 \.
Доказательство. Учитывая дистанционную транзитивность гиперкуба G, если выбрать в качестве опорных вершины и и и, то полученное расширение по теореме 3 будет изоморфно любому расширению, в котором в качестве опорных выбраны вершины а и Ь, расстояние между которыми равно расстоянию между и и v. Изоморфизмом
. Л I w, если х = w,
в данном случае будет Фи^,а,ь(х) = < ^ , Л
{^u,v,a,b (х), иначе.
Это означает, что неизоморфными могут быть только те расширения с опорными вершинами u, v, расстояние между которыми различно и равно 3, 5, 7, 9 и т. д. Пусть есть два расширения N-куба Н1 и Н2, расстояние между и и v в которых было равно d1 и d2 соответственно (d1 < d2). Степени вершин расширения N-куба, как уже было отмечено, равны: d(w) = 2N, d(u) = d(v) = N2-1, степень остальных вершин равна N + 1. Проведём в G1 простой путь длины d1 (и,х1,х2 ,...,х^1-2 ,х^1-1, v), х1 е Nu-1 е Nv) = N + 1. Рассмотрим, можно ли построить такой же путь в графе G2. В таком пути нет вершины w, следовательно, рёбра из множества р не могут быть использованы. Вершины и и v находятся на концах, а х1 е Nu,х^1-1 е N, и они всегда есть в пути, так как d1 ^ 3, поэтому рёбра из 5и, 5V и г] не могут быть использованы. Это значит, что использоваться могут только рёбра гиперкуба. При этом расстояния между опорными вершинами и и v в самом гиперкубе в различных
случаях равны ^ и й1, при этом ^ > й1, поэтому такого пути не может существовать. То есть в С\ можно провести простой путь длины й1 между вершинами степени 2Н-1, степени помежуточных вершин в котором равны N + 1, а в С2 — нет.
Следовательно, два В-1-Р гиперкуба, построенные по схеме из теоремы 3, неизоморфны тогда и только тогда, когда расстояния между и и у различны. Значит, количество таких неизоморфных В-1-Р для N-куба равно [Щ-1 \. □
Теорема 6 (О количестве неизоморфных В-2-Р гиперкуба, построенных по теореме 4). Количество неизоморфных В-2-Р N-куба, построенных по теореме 4, равно
у ^ \.
Доказательство. Доказательство аналогично доказательству теоремы 5. В построении пути в качестве промежуточных вершин не могут участвовать вершины и, V, \юи и , поэтому также могут использоваться только рёбра гиперкуба. Степени промежуточных вершин равны N + 2, остальных — отличны от этого значения. □
Теорема 7 (О неприводимости В-1-Р гиперкуба, построенных по теореме 3). В-1-Р N-куба, построенные по схеме из теоремы 3, являются неприводимыми.
Доказательство. По лемме 3 В-1-Р С* N-куба является неприводимым тогда и только тогда, когда С*—{и,у} не является В-1-Р. Рассмотрим граф Н = С*—{и,у}—г, где г е Ми.
При N = 3: вершина и в С* имеет степень 4, значит, в Н её степень будет равна 2 (удалена г смежная с и и ребро {и,у}), что меньше степеней вершин 3-куба, а так как количество вершин в С и Н одинаково, вложение С в Н построить невозможно.
При N > 3 рассмотрим структуру N-куба.
Рассмотрим вложение ф из QN в С. Пусть ф(х) = у. Так как QN — вершинно-сим-метричный, существует автоморфизм ф, который переводит произвольную вершину х в х, а значит, существует вложение ф о ф, которое переводит г в у. Если такого вложения не существует и количество вершин в ^^ и С одинаково, то вложения ^^ в С не существует.
Рассмотрим структуру N-куба, которую будем пытаться найти:
1) он имеет единственную вершину цвета 0;
2) с ней смежна каждая вершина цвета 1. Таких вершин ровно N;
3) каждая вершина цвета 2 смежна с двумя вершинами цвета 1 (их можно получить, заменив одну единицу в метке вершины цвета 2 на ноль). Таких вершин ровно С% = .
Вершины цвета 1 имеют ровно одну единицу в метке. Их можно занумеровать по позиции, в которой эта единица находится.
Рассмотрим отображение Р^.^^м(и) = V, где и = (и1,...,им), V = ).
Данное отображение выполняет перестановку элементов в метке. Оно является автоморфизмом, так как не меняет дистанцию Хемминга между соответствующими образами, т.е. й(и,у) = й(Рп(и),Рп(у)).
Таким образом, для проверки вложения достаточно зафиксировать один порядок вершин цвета 1, так как для каждого порядка следования вершин можно подобрать соответствующий автоморфизм Р^.
Пусть г не смежна ни с одной вершиной из ^. Вершина г в С* имеет N + 1 инцидентное ребро: рёбра гиперкуба и дополнительно одно к вершине ад, поэтому оно может быть смежно с вершинами из ^ только через ребро гиперкуба. Если
расстояние между и и у в гиперкубе больше 3, то расстояние между смежными с и и V вершинами больше 1, и они не могут быть смежны в С*, а если равно 3, то метки вершин и и у отличаются в трёх позициях, и метка г должна во всех этих трёх позициях совпадать с и, что возможно, так как длина меток N > 3.
Рассмотрим граф Н = С* — {и, у} — г. Вершина г была смежна с вершинами и, ад и N — 1 вершинами, степень которых была равна N + 1, а после удаления г в Н стала равна N. Обозначим последние как д1дм-1. Вершины ^ и д были смежны с г в N-кубе, а значит, их метки отличаются от г в одной позиции. Обозначим д как дм, а позиции, в которых ^ отличается от г, как Ь^.
Пусть 50 вкладывается в у. Так как вершина г е Ми С V, то д1, . . . ,дм-1 С и \{м}, поэтому все данные вершины смежны с у. Так как их степени равны N, то в них будут отображены N — 1 вершина цвета 1.
Вершины д1дм-1 могут быть смежны с и, ад.
Вершины цвета 2 должны отображаться в вершины, смежные с д1 ,...,дм-1. Рассмотрим их.
Вершина у уже использована в отображении, остальные — это вершины д^ = д.^ = = (п,..Ч.-1 ,гь, © 1,гь,+1,.. .,гъ— ,гц © 1,4+. -,гм), г = ]. Заметим, что каждая вершина д^ смежна с N — 1 вершиной д^^. При этом д^ смежна с ^ и д^, т. е. хотя бы с одной из уже отображённых вершин (^ = дм или д^ = дм). Количество различных вершин д,равно = п(п-1, т.е. они все должны быть образами вершин N-куба цвета 2.
Среди образов вершин цвета 2 есть N — 1 вершина, которая смежна только с одной вершиной цвета 1,—это вершины д^^м. Образ оставшейся вершины цвета 1 должен быть смежен с каждой из них.
Рассмотрим дн^ = (п © 1,г2,г3, © 1) и д^м = (п © 1,г2,г3, © 1).
Среди общих смежных вершин у них есть д^¿2,м = (т1 © © 1,г3,гм © 1) и дм = (г1 ,г2,г3,.. .,гм © 1), а также могут быть ад, у и и через дополнительные рёбра. Вершина у является образом вершины цвета 0, вершины и и ад не смежны с у по условию, а дм = и. При этом К( д^ ¿2 :м, д^^) = 3, где д^ :м = (г\, г2, г3 ©1, г4гм ©1), т.е. д^1 ¿2,м не смежна с гм.
Следовательно, не существует образов для оставшейся вершины N-куба цвета 1, т.е. вложения не существует, а это означает, что Н не является В-1-Р графа С, т.е. С* является неприводимым В-1-Р. □
Заключение
В работе были предложены схемы построения вершинных 1- и 2-расширений для 4-слойных графов, которые имеют меньше дополнительных рёбер, чем тривиальные расширения: п — 1 и 2п — 1 соответственно, где п — число вершин графа. Множество 4-слойных графов совпадает с множеством всех двудольных графов с числом вершин, больших 4, за исключением полных двудольных графов. К 4-слойным графам относятся и гиперкубы. Доказывается, что вершинные 1-расширения, построенные по предлагаемым схемам, для гиперкубов являются неприводимыми. Для 16-вершинного гиперкуба приводится вершинное 1-расширение в явном виде.
Список литературы
1. Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем.
Москва : Физматлит, 1997. 368 с. ЕО№ ХУСТТ2
2. Абросимов М. Б. Графовые модели отказоустойчивости. Саратов : Изд-во Саратовского ун-та, 2012. 192 с. EDN: QMXQLB
3. Hayes J. P. A graph model for fault-tolerant computing system // IEEE Transactions on Computers. 1976. Vol. C-25, № 9. P. 875-884. https://doi.org/10.1109/TC.1976.1674712
4. Harary F., Hayes J. P. Edge fault tolerance in graphs // Networks. 1993. Vol. 23, iss. 2. P. 135-142. https://doi.org/10.1002/net.3230230207
5. Harary F., Hayes J. P. Node fault tolerance in graphs // Networks. 1996. Vol. 27, iss. 1. P. 19-23. https://doi.org/10.1002/(SICI)1097-0037(199601)27:1< 19::AID-NET2>3.0.C0; 2-H
6. Абросимов М. Б. О сложности некоторых задач, связанных с расширениями графов // Математические заметки. 2010. Т. 88, вып. 5. С. 643-650. https://doi.org/10.4213/ mzm8403, EDN: RLRFEF
7. Абросимов М. Б., Камил Ихаб А. К., Лобов А. А. Построение всех неизоморфных минимальных вершинных расширений графа методом канонических представителей // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2019. Т. 19, вып. 4. С. 479-486. https://doi.org/10.18500/ 1816-9791-2019-19-4-479-486, EDN: YX0MDX
8. Абросимов М. Б., Судани Х. Х. К., Лобов А. А. Построение минимальных рёберных расширений графа без проверки на изоморфизм // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2020. Т. 20, вып. 1. С. 105115. https://doi.org/10.18500/1816-9791-2020-20-1-105-115, EDN: PXDRGJ
9. Harary F., Hayes J. P., Wu H.-J. A survey of the theory of hypercube graphs // Computers & Mathematics with Applications. 1988. Vol. 15, iss. 4. P. 277-289. https://doi.org/10. 1016/0898-1221(88)90213-1
10. Biggs N. L. Distance-transitive graphs // Algebraic Graph Theory. Cambridge : Cambridge University Press, 1974. P. 155-163. https://doi.org/10.1017/CB09780511608704.021
References
1. Bogomolov A. M., Salii V. N. Algebraicheskie osnovy teorii diskretnykh sistem [Algebraic Foundations of the Theory of Discrete Systems]. Moscow, Fizmatlit, 1997. 368 p. (in Russian). EDN: XYCVTZ
2. Abrosimov M. B. Grafovye modeli otkazoustojchivosti [Graph Models of Fault Tolerance]. Saratov, Saratov University Publ., 2012. 192 p. (in Russian). EDN: QMXQLB
3. Hayes J. P. A graph model for fault-tolerant computing systems. IEEE Transactions on Computers, 1976, vol. C-25, no. 9, pp. 875-884. https://doi.org/10.1109/TC.1976.1674712
4. Harary F., Hayes J. P. Edge fault tolerance in graphs. Networks, 1993, vol. 23, iss. 2, pp. 135-142. https://doi.org/10.1002/net.3230230207
5. Harary F., Hayes J. P. Node fault tolerance in graphs. Networks, 1996, vol. 27, iss. 1, pp. 1923. https://doi.org/10.1002/(SICI)1097-0037(199601)27:1< 19::AID-NET2>3.0.C0;2-H
6. Abrosimov M. B. On the complexity of some problems related to graph extensions. Mathematical Notes, 2010, vol. 88, iss. 5-6, pp. 619-625. https://doi.org/10.1134/ S0001434610110015, EDN: OHNTMT
7. Abrosimov M. B., Kamil I. A. K., Lobov A. A. Construction of all nonisomorphic minimal vertex extensions of the graph by the method of canonical representatives. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2019, vol. 19, iss. 4, pp. 479-486 (in Russian). https://doi.org/10.18500/1816-9791-2019-19-4-479-486, EDN: YXOMDX
8. Abrosimov M. B., Sudani H. H. K., Lobov A. A. Construction of all minimal edge extensions of the graph with isomorphism rejection. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2020, vol. 20, iss. 1, pp. 105-115 (in Russian).https: //doi.org/10.18500/1816-9791-2020-20-1-105-115, EDN: PXDRGJ
9. Harary F., Hayes J. P., Wu H.-J. A survey of the theory of hypercube graphs. Computers & Mathematics with Applications, 1988, vol. 15, iss. 4, pp. 277-289. https://doi.org/10. 1016/0898-1221(88)90213-1 10. Biggs N. Distance-transitive graphs. In: Algebraic Graph Theory. Cambridge, Cambridge University Press, 1974, pp. 155-163. https://doi.org/10.1017/CB09780511608704.021
Поступила в редакцию / Received 23.07.2022 Принята к публикации / Accepted 18.08.2022 Опубликована / Published 30.11.2022
