CC BY
7
УДК 519.17 DOI 10.17223/2226308X/15/26
О ЕДИНСТВЕННОСТИ МИНИМАЛЬНОГО РЁБЕРНОГО 1-РАСШИРЕНИЯ ГИПЕРКУБА1
А. А. Лобов, М. Б. Абросимов
Одним из важных свойств надёжных вычислительных систем является их отказоустойчивость. Для её исследования можно использовать аппарат теории графов. Рассматриваются минимальные рёберные расширения графа, которые являются моделью для исследования отказа связей вычислительной системы. Граф G* = (V*, а*) с n вершинами называется минимальным рёберным k-расширением n-вершинного графа G = (V, а), если граф G вкладывается в каждый граф, получающийся из G* удалением любых его k рёбер, и имеет при этом минимально возможное число рёбер. Гиперкуб Qn — это регулярный 2"-вершинный граф порядка n, представляющий собой декартово произведение n полных 2-вершинных графов K2. Гиперкуб является распространённой топологией для построения вычислительных систем. Ранее было описано семейство графов Qn, представители которого при n > 1 являются минимальными рёберными 1-расширениями соответствующих гиперкубов. Проведённый вычислительный эксперимент показал, что при n ^ 4 эти расширения являются единственными с точностью до изоморфизма. Получено аналитическое доказательство единственности минимальных рёберных 1-расширений гиперкубов при n ^ 4 и установлено одно общее свойство произвольного минимального рёберного 1-расширения гиперкуба при n > 2.
Ключевые слова: граф, гиперкуб, рёберная отказоустойчивость, минимальное рёберное 1-расширение.
Введение
Топология гиперкуба является популярной схемой соединения параллельных процессоров [1], в том числе в отказоустойчивых системах типа IBM Blue Gene/Q [2]. Особый интерес с точки зрения отказоустойчивости представляет 4-куб Q4 или тессеракт. Для исследования полной отказоустойчивости элементов Дж. Хейз предложил модель, основанную на графах [3], которая позднее была перенесена и на случай отказов связей [4]. Оптимальные вершинные k-отказоустойчивые реализации гиперкубов Qn при n > 3 неизвестны. На практике используются тривиальные отказоустойчивые реализации с одним избыточным элементом, соединённым со всеми остальными. В работе [5] описывается вершинное 1-расширение гиперкуба Q4, которое имеет на одно ребро меньше, чем тривиальное. Однако не доказано, что оно является минимальным. Ранее была предложена оптимальная рёберная 1-отказоустойчивая реализация гиперкуба Q4 [4], обобщённая на произвольное n > 1 [6]. В данной работе удалось доказать, что при n ^ 4 гиперкуб Qn имеет единственную с точностью до изоморфизма оптимальную рёберную 1-отказоустойчивую реализацию (или, в другой терминологии, минимальное рёберное 1-расширение).
Определение 1. Декартовым произведением G1 х G2 двух графов G1 = {У1,а1) и G2 = (V2, а2) называется граф G = (V, а), такой, что V = V1 х V2 и вершины (u1,u2) и (vi, v2) смежны в G тогда и только тогда, когда либо u1 = v1, а u2 и v2 смежны в G2, либо u2 = v2, а u1 и v1 смежны в G1.
1 Работа выполнена при поддержке Минобрнауки России в рамках госзадания (проект №FSRR-2020-0006).
Прикладная теория кодирования и графов
111
Определение 2. Гиперкубом Qn (п-кубом) называется граф, являющийся декартовым произведением п полных 2-вершинных графов К2.
Гиперкуб Qn — это регулярный 2п-вершинный граф порядка п. Семейство гиперкубов достаточно хорошо изучено [7].
Вершины гиперкуба можно пометить двоичными векторами таким образом, чтобы расстояние между каждыми двумя вершинами равнялось дистанции Хэмминга между их метками. Это свойство непосредственно следует из построения гиперкуба.
1. Рёберные расширения
Определение 3. Граф С* = (V*, а*) называется минимальным рёберным к-рас-ширением п-вершинного графа С = (V, а), если выполняются следующие условия:
1) граф С* является рёберным к-расширением графа С, то есть граф С вкладывается в каждый граф, получающийся из С* удалением любых его к рёбер;
2) граф С* содержит п вершин, то есть IV*| = IV|;
3) а* имеет минимальную мощность при выполнении условий 1 и 2.
Если рассматривать простые графы, то минимальное рёберное к-расширение существует не у всех графов. Например, полные графы Кп не имеют минимальных ребёр-ных к-расширений ни при каких натуральных к. Гиперкуб Ql соответственно тоже не имеет минимального рёберного к-расширения ни при каких натуральных к. У графа может быть и несколько неизоморфных минимальных рёберных к-расширений. Задача поиска минимальных рёберных к-расширений является вычислительно сложной [8].
В [2] доказана лемма, которая позволяет охарактеризовать вид минимального рёберного к-расширения и оценить минимально возможное количество дополнительных рёбер в нём.
Лемма 1 [2]. Если минимальная степень вершины графа С равна й > 0, то его минимальное рёберное к-расширение не содержит вершин степени ниже й + к.
2. Минимальное рёберное 1-расширение гиперкуба
Опишем схему построения минимального рёберного 1-расширения для любого гиперкуба Qn при п > 1.
Определим семейство графов Qn. Граф Qn при п > 1 получается путём соединения каждой вершины гиперкуба Qn с наиболее удалённой от неё вершиной. Если вершина имеет код к, то она соединяется с вершиной, код которой получается из к поразрядной инверсией.
Теорема 1. Для п-мерного гиперкуба Qn при п > 1 граф Qn является минимальным рёберным 1-расширением.
Легко убедиться, что минимальное рёберное 1-расширение для гиперкуба Q2 единственно с точностью до изоморфизма: граф Q* изоморфен графу К4, и это единственный с точностью до изоморфизма регулярный 4-вершинный граф порядка 3. Для произвольного минимального рёберного 1-расширения гиперкуба Qn при п > 2 удалось установить следующее общее свойство.
Лемма 2. Минимальное рёберное 1-расширение гиперкуба Qn при п > 2 не содержит рёбер, соединяющих вершины, расстояние между которыми равно 2.
Следствие 1. Гиперкуб Qз имеет единственное с точностью до изоморфизма минимальное рёберное 1-расширение.
Аналогичный результат удалось доказать и для гиперкуба Q4, что является основным результатом данной работы.
Теорема 2. Гиперкуб Q4 имеет единственное с точностью до изоморфизма минимальное рёберное 1-расширение.
Единственные с точностью до изоморфизма минимальные рёберные 1-расширения гиперкубов Q2 и Q3 изображены на рис. 1.
ЛИТЕРАТУРА
1. Padua D. A. Encyclopedia of Parallel Computing. N.Y.: Springer, 2011.
2. Абросимов М. Б. Графовые модели отказоустойчивости. Саратов: Изд-во Сарат. ун-та, 2012. 192 с.
3. Hayes J. P. A graph model for fault-tolerant computing system // IEEE Trans. Comput. 1976. V.C.25. No. 9. P. 875-884.
4. Harary F. and Hayes J. P. Edge fault tolerance in graphs // Networks. 1993. V. 23. P. 135-142.
5. Лобов А. А., Абросимов М. Б. О вершинном 1-расширении гиперкуба // Компьютерные науки и информационные технологии: Материалы Междунар. науч. конф. Саратов: Из-дат. центр «Наука», 2018. С. 249-251.
6. Лобов А. А., Абросимов М. Б. О минимальном рёберном 1-расширении гиперкуба // Прикладная дискретная математика. Приложение. 2018. №11. С. 109-111.
7. Harary F., Hayes J. P., and Wu H.-J. A survey of the theory of hypercube graphs // Computers & Math. with Appl. 1988. V. 15. Iss. 4. P. 277-289.
8. Абросимов М. Б. О сложности некоторых задач, связанных с расширениями графов // Матем. заметки. 2010. №5(88). С. 643-650.
УДК 519.17 DOI 10.17223/2226308X/15/27
О ВЕРХНЕЙ И НИЖНЕЙ ОЦЕНКАХ ЧИСЛА ДОПОЛНИТЕЛЬНЫХ ДУГ МИНИМАЛЬНОГО РЁБЕРНОГО 1-РАСШИРЕНИЯ ОРИЕНТАЦИИ ЦИКЛА
О. В. Моденова, М. Б. Абросимов
Исследуются верхняя и нижняя оценки числа дополнительных дуг ес(Сп) минимального рёберного 1 -расширения ориентации Сп цикла Сп. Основной результат работы: \п/2\ ^ ес(Сп) ^ п. Приводятся примеры ориентаций циклов, на которых оценки достигаются.
Ключевые слова: минимальное рёберное 1-расширение, ориентация цикла, отказоустойчивость.
Рис. 1. Минимальные рёберные 1-расширения для Q2 и Q3
