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

ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА

2010 Прикладная теория графов №1(7)

ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ

УДК 519.1T

МИНИМАЛЬНЫЕ РЕБЕРНЫЕ РАСШИРЕНИЯ НЕКОТОРЫХ ПРЕДПОЛНЫХ ГРАФОВ

М. Б. Абросимов

Саратовский государственный университет им. Н. Г. Чернышевского, г. Саратов, Россия

E-mail: mic@rambler.ru

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

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

Введение

Неориентированным графом (далее просто графом) называется пара G = (V, а), где а — симметричное и антирефлексивное отношение на множестве вершин V, называемое отношением смежности. Если (u,v) Є а, то говорят, что вершины и и v смежны, и эти вершины соединены ребром (u, v). При этом (u, v) и (v, и) —это одно и то же ребро, которое обозначают {и, v}. Также говорят, что ребро {и, v} инцидентно вершинам и и v. Основные определения даются согласно [1].

Предполным графом называется граф, имеющий хотя бы одну полную вершину, то есть вершину, смежную со всеми остальными. Граф, все вершины которого являются полными, называется полным графом и обозначается Kn. В общем виде пред-полный граф можно записать как соединение одновершинного графа K1 и некоторого n-вершинного графа Gn: K1 + Gn. Если в предполном графе p полных вершин, то такой граф можно записать как Kp + G.

Под соединением двух графов G1 = (^,а1) и G2 = ^,а2), не имеющих общих вершин, понимается граф

G1 + G2 = (V1 U V2, а1 U а2 U V1 x V2 U V2 x V1).

Под объединением двух графов G1 = (^,а^ и G2 = (V2,а2) понимается граф

G1 U G2 = (V1 U V2, а1 U а2).

В 1976 г. Хейз в работе [2] предложил основанную на графах модель для исследования отказоустойчивости систем.

Технической системе Е сопоставляется помеченный граф G(E), вершины которого соответствуют элементам системы Е, ребра — связям между элементами, а метки

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

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

k-Отказоустойчивая реализация Е* системы Е, состоящей из t элементов различного типа, называется оптимальной, если система Е* отличается от системы Е на k элементов каждого из t типов системы Е и среди всех k-отказоустойчивых реализаций с тем же числом элементов система Е* имеет наименьшее число связей.

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

Хейз предложил процедуры построения оптимальной k-отказоустойчивой реализации для цепи, цикла и помеченного дерева. Позднее Хейз совместно с Харари в работе [3] обобщили модель на случай отказов связей между элементами, предложив понятие реберной отказоустойчивости. Модель отказоустойчивости, в которой рассматриваются только отказы элементов, было предложено называть вершинной отказоустойчивостью (см. [4]).

Понятие минимального k-расширения является общеграфовым аналогом для конструкций отказоустойчивых реализаций. Исключая понятие «отказа» элемента или связи системы, рассматриваются части графа, получающиеся удалением тех или иных его элементов. Оказалось, что задачи проверки вершинной и реберной отказоустойчивости являются NP-полными (см. [5]), поэтому интерес представляет аналитическое описание минимальных вершинных и реберных k-расширений для различных классов графов.

В работе [6] удалось полностью описать вид всех минимальных вершинных k-расширений предполных графов при любом натуральном k. Для реберных расширений такой схемы, позволяющей строить все или хотя бы одно минимальное реберное k-расширение любого предполного графа, не известно и, видимо, получить ее не удастся. В данной работе предлагается решение проблемы для некоторых частных случаев предполных графов: для соединений полного графа с вполне несвязным графом, с цепью и с циклом.

1. Леммы о реберных k-расширениях предполных графов

Граф G* = (V*^*) называется минимальным реберным k-расширением (k — натуральное) n-вершинного графа G = (V, а), если выполняются следующие условия:

1) G* является реберным k-расширением G, то есть граф G допускает вложение в каждый граф, получающийся из G* удалением любых его k ребер;

2) G* содержит n вершин, то есть |V*| = |V|;

3) а* имеет минимальную мощность при выполнении условий І и 2.

В отличие от минимальных вершинных k-расширений, минимальные реберные k-расширения существуют не при всех значениях k. Например, полный граф Kn (неориентированный или ориентированный, с петлями или без) не имеет минимального реберного k-расширения ни при каких значениях k. Однако, если разрешить в графе кратные дуги, то тогда любой граф будет иметь минимальные реберные k-расширения. Будем использовать обозначение G-{u, v} для графа, получающегося из графа G удалением ребра {u,v}.

Сформулируем и докажем лемму о реберных k-расширениях произвольных пред-полных графов.

Лемма 1. Пусть n-вершинный предполный граф G имеет в точности p полных вершин. Если G имеет минимальное реберное k-расширение, то оно содержит не менее p + 2k полных вершин.

Доказательство. Пусть G — предполный граф с p полными вершинами, а G* —его минимальное реберное k-расширение. Рассмотрим граф G', получающийся из G* удалением следующих k ребер: в качестве очередного ребра удаляем

а) ребро, соединяющее две полные вершины. Если таких ребер нет, то

б) ребро, инцидентное полной вершине (это возможно, только если останется единственная полная вершина). Если нет ребер из пунктов а и б, то

в) любое ребро.

Очевидно, что если среди выбранных ребер окажется хотя бы одно ребро из пунктов б или в, то получившийся граф не будет предполным и не будет допускать вложения исходного графа G. Таким образом, граф G' должен содержать не менее p полных вершин и получаться из графа G* удалением k ребер, соединяющих полные вершины графа G*. После удаления каждого такого ребра количество полных вершин уменьшается на две, что и доказывает утверждение. ■

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

Следствие 1. Пусть n-вершинный предполный граф G имеет в точности p полных вершин, тогда G не имеет минимальных реберных k-расширений при k > ——^.

Следствие 2. Пусть n-вершинный предполный граф G вида Kp + Gn имеет минимальное реберное k-расширение G*. Тогда граф G* имеет вид Kp+2k + Gn-2k, где Gn-2k — подходящий (n - 2k)-вершинный граф, такой, что граф K2k + Gn-2k является реберным k-расширением графа Gn.

Доказательство.

Первая часть утверждения непосредственно следует из леммы.

Докажем, что если граф Kp+2k + Gn-2k является минимальным реберным k-расширением графа Kp + Gn, то граф K2k + Gn-2k является реберным k-расширением

графа Сп. Предположим, что это неверно. Это означает, что можно выбрать к ребер графа К2к + Сп-2к, таких, что получающийся после их удаления граф Н не будет допускать вложения графа Сп. Но тогда удаление этих же ребер в графе Кр + (К2к + Сп-2к) = Кр+2к + Сп-2к даст граф Кр + Н, который не будет допускать вложения графа Кр + Сп, а это противоречит предположению. ■

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

Следствие 3. Пусть п-вершинный предполный граф С вида Кр + Сп имеет минимальное реберное к-расширение вида Кр+2к + Сп-2к. Тогда количество дополнительных ребер равно

2пк — 2к2 — к + т* — т, (1)

где т — число ребер графа Сп, а т* —число ребер графа Сп-2к.

Доказательство. Определим количество ребер графа Кр + Сп. р(р_- 1)

2

Граф Сп содержит т ребер.

Каждая вершина из Кр соединена с каждой из п вершин графа С, что дает рп ребер.

р(р_- 1)

2

Аналогично определим количество ребер графа Кр+2к + Сп-2к:

Граф Кр содержит --------- ребер.

Суммируя, получаем, что граф Кр + Сп имеет ---------+ рп + т ребер.

(р + 2к)(р + 2к — 1)

---------+ (р + 2к)(п — 2к) + т

2

р2 + 4рк — р + 4к2 — 2к 2

р(р — 1)

+ рп + 2пк — 2кр — 4к2 + т* =

+ рп — 2к — к + 2пк + т*

2

Вычитая, получим

2пк — 2к2 — к + т* — т.

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

Лемма 2. Пусть п-вершинный граф С имеет минимальное реберное кі-расшире-ние, которым является полный граф Кп. Тогда при к > к1 граф С не имеет минимальных реберных к-расширений.

Доказательство. Для доказательства достаточно заметить, что если некоторый граф С* является минимальным реберным к-расширением графа С, то любой граф Н, получающийся из С* удалением произвольного ребра, будет реберным (к — 1)-расширением графа С. Из этого, в частности, следует, что любое минимальное реберное (к + 1)-расширение графа С содержит больше ребер, чем минимальное реберное к-расширение графа С. Наконец, так как полный граф Кп имеет максимальное число ребер среди всех п-вершинных графов, то это и доказывает лемму. ■

2. Соединение полного и вполне несвязного графов: Km + On

n-Вершинный граф без ребер называется вполне несвязным и обозначается On. Рассмотрим графы вида Km + On.

Теорема 1. При k ^ n/2 граф Km+2k + On-2k является единственным с точностью до изоморфизма минимальным реберным k-расширением графа Km + On. При k > n/2 граф Km + On не имеет минимальных реберных k-расширений.

Доказательство. По лемме І число полных вершин минимального реберного k-расширения графа Km + On должно быть не менее m + 2k. По следствию І из леммы І при n < 2k граф Km + On не имеет минимальных реберных k-расширений. По следствию 2 из леммы І при n ^ 2k граф Km + On может иметь минимальные реберные k-расширения вида Km+2k + Gn-2k, где Gn-2k — подходящий (n — 2k)-вершинный граф.

Убедимся, что при n ^ 2k граф вида Km+2k + On-2k является реберным k-расширением графа Km + On. Все ребра графа Km+2k + On-2k делятся на две группы:

1) ребра, соединяющие две полные вершины;

2) ребра, соединяющие одну полную вершину с вершиной из части On-2k.

Удаление ребра первого типа сокращает количество полных вершин на две, а удаление ребра второго типа — на одну. После удаления k любых ребер сохранится не менее m полных вершин.

Заметим, что из всех кандидатов на роль графа Gn-2k граф On-2k имеет минимально возможное число ребер. Следовательно, граф Km+2k + On-2k является и минимальным реберным k-расширением графа Km + On при n ^ 2k. ■

Следствие 4. Число дополнительных ребер в минимальном реберном k-расширении графа Km + On при k ^ n/2 составляет 2nk — 2k2 — k.

Доказательство. Воспользуемся следствием 3. В нашем случае графы Gn и Gn-2k являются вполне несвязными графами, поэтому m = m* = 0. Подставляя в формулу (І), получим искомое значение числа дополнительных ребер: 2nk — 2k2 — k. ■

Замечание 1. Граф вида K1 + On называется звездой или звездным графом. На рис. І показаны минимальные реберные І-расширения звезд K1 + O2 и K1 + O3. Для наглядности полные вершины помечены черным.

Рис. 1. Звезды Kl + O2 и Kl + O3 и их минимальные реберные 1-расширения

3. Соединение полного графа и цепи: Кт + Рп

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

его вершинами существует путь. Любой максимальный связный подграф графа называется компонентой связности или просто компонентой. Граф называется k-реберно связным, если не менее k ребер необходимо удалить, чтобы нарушить его связность. Например, полный граф Kn является (n — 1)-реберно связным.

Цепью Pn называется граф G = (V, а), где V = {v1, v2,... , vn} и а = {(vi,vj-) : |i — j| = 1}. Одновершинная цепь P1 называется тривиальной. Будем говорить, что n-вершинный граф G может быть покрыт (не более чем) p цепями, если существует n-вершинный граф, являющийся объединением (не более чем) p цепей и вкладывающийся в граф G. Например, полный граф Kn может быть покрыт одной цепью Pn, а вполне несвязный граф On может быть покрыт n цепями (тривиальными).

Рассмотрим графы вида Km + Pn.

При n ^ 2 граф Km + Pn изоморфен графу Km+n и не имеет минимальных реберных k-расширений ни при каких значениях k. Пусть далее n > 2. Рассмотрим граф Km+2 + G, где G — (n — 2)-вершинный граф, такой, что любой граф, получающийся из G удалением одного ребра, можно покрыть не более чем тремя цепями. Обозначим для определенности вершины подграфа Km+2 графа Km+2 + G через v1,..., vm+2. Покажем, что граф Km+2 + G является реберным І-расширением для графа Km + Pn. Заметим, что ребра графа Km+2 + G можно разделить на три типа:

1) ребра, соединяющие полные вершины v1,... , vm+2;

2) ребра, соединяющие полную вершину из v1,.. . , vm+2 и вершину подграфа G;

3) ребра, соединяющие вершины подграфа G.

Рассмотрим удаление из графа Km+2 + G ребра типа І. Пусть для определенности удалено ребро {v1, v2}. Поскольку часть графа G допускает покрытие не более чем тремя цепями, то, очевидно, и сам граф G может быть покрыт тремя цепями. Рассмотрим худший случай, когда для покрытия необходимы три цепи. Пусть цепи Pnl, Pn2 и РПз образуют покрытие графа G. Вложение графа Km + Pn в граф (Km+2 + G) — {v1,v2} возможно следующим образом. Полные вершины — v3,... , vm+2, а оставшиеся вершины образуют цепь: Pnlv1Pn2v2Pra;j.

Рассмотрим удаление из Km+2 + G ребра типа 2. Пусть цепи Pnl, Pn2 и Рпз образуют покрытие графа G. Пусть для определенности удалено ребро, соединяющее полную вершину v1 с некоторой вершиной w цепи Pnl. Вложение графа Km + Pn в граф (Km+2 + G) — {v1, w} возможно следующим образом. Полные вершины — v3,... , vm+2, а оставшиеся вершины образуют цепь: Pnlv2Pn2v1 Рпз.

Рассмотрим удаление из Km+2 + G ребра типа З. Пусть для определенности удалено ребро, соединяющее вершины v и w графа G. По условию граф G — {v,w} допускает покрытие не более чем тремя цепями, и пусть это снова будут цепи Pnl, Pn2 и P^J. Вложение графа Km + Pn в (Km+2 + G) — {v, w} возможно следующим образом. Полные вершины — v3,... , vm+2, а оставшиеся вершины образуют цепь: Pnl v1Pn2v2Pra;j.

Таким образом, граф Km+2 + G является реберным І-расширением графа Km + Pn.

Заметим, что условие покрытия графа G с удаленным ребром тремя цепями является существенным, так как более трех цепей нельзя объединить в одну с помощью двух дополнительных полных вершин. В самом деле, граф K2 + G по следствию 2 из леммы І должен быть реберным І-расширением цепи Pn. Если граф G с удаленным ребром может быть покрыт тремя цепями, то, как мы уже видели, граф K2 + G является реберным І-расширением цепи Pn. Если же это неверно, т. е. граф G с удаленным ребром e может быть покрыт не менее чем 4 цепями, то цепь Pn нельзя будет вложить в граф K2 + (G — e).

Исследуем свойства графа С:

1) С содержит п — 2 вершин;

2) любой граф, получающийся из С удалением одного ребра, можно покрыть не более чем тремя цепями;

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

Рассмотрим граф, являющийся объединением двух цепей: Рп1 и Рп2. При удалении любого ребра такой граф распадется на три цепи. Таким образом, объединение двух цепей может быть использовано в качестве графа С, причем число ребер в таком графе есть п — 4. Заметим, что Рп1 и Рп2 отличается в точности на одно ребро от объединения трех цепей. С учетом следствия 2 из леммы 1 получаем, что минимальное реберное 1-расширение графа Кт + Рп имеет вид Кт+2 + С, где С — (п — 2)-вершинный граф, каждая часть которого, получающаяся удалением одного ребра, может быть покрыта не более чем тремя цепями. Условиям 2, 3 удовлетворяют следующие п-вершинные графы:

— Объединение двух цепей: Рп1 и Рп2, п1 + п2 = п, 1 ^ п1 ^ п2 ^ п — 1. Таких графов будет [п/2].

— При п ^ 5: цикл и две изолированные вершины: 02 и Сп_2.

— При п = 5: 01 и К13.

Из всего сказанного получается

Теорема 2. Относительно минимальных реберных 1-расширений предполных графов вида Кт + Рп справедливо следующее:

— при п = 1, 2: минимальных реберных 1-расширений нет;

— при п = 3: минимальное реберное 1-расширение единственно и имеет вид Кт+п;

— при п ^ 4: существует ([п/2] — 1) минимальных реберных 1-расширений вида

Кт+2 + (Рп1 и Рп2), п1 + п2 = п — 2, 1 ^ п1 ^ п2 ^ п — 3;

— при п = 7: имеется минимальное реберное 1-расширение вида Кт+2 + (01 и К13);

— при п ^ 7: имеется минимальное реберное 1-расширение вида Кт+2 + (02 и Сп_4). Следствие 5. Число дополнительных ребер в минимальном реберном 1-расширении графа Кт + Рп при п > 3 составляет 2п — 6.

Доказательство. Воспользуемся следствием 3.

Так как граф Сп в данном случае — это цепь Рп, то т = п — 1.

При п > 3 одно из минимальных реберных 1-расширений графа Кт + Рп имеет вид

Кт+2 + (Рп1 и Рп2 ),

где п1 + п2 = п — 2, 1 ^ п1 ^ п2 ^ п — 3. Имеем т* = п — 4.

Подставляя значения т и т* в формулу (1) при к = 1, получаем

2п — 2 — 1 + п — 4 — (п — 1) = 2п — 6.

Таким образом, число дополнительных ребер составляет 2п — 6. ■

На рис. 2 представлен граф К1 + Р7 и 4 его минимальных реберных 1-расширения. Полные вершины обозначены черными точками. Для наглядности некоторые ребра, соединяющие полные вершины с остальными, опущены. Количество дополнительных ребер минимальных реберных 1-расширений равно 8.

Рис. 2. Граф К + Р7 и все его минимальные реберные 1-расширения

Теорему 2 можно обобщить:

Теорема 3. Относительно минимальных реберных к-расширений предполных графов вида Кт + Рп справедливо следующее:

1) при п < 2к: минимальных реберных к-расширений нет;

2) при п = 2к: минимальное реберное к-расширение единственно с точностью до изоморфизма и имеет вид К2^+т;

3) при 2к < п ^ 4к + 1: минимальное реберное к-расширение единственно с точностью до изоморфизма и имеет вид К2^+т + Оп-2^;

4) при п > 4к + 1: минимальные реберные к-расширения имеют вид К2^+т + Сп_2^, где Сп_2^ — (п — 2к)-вершинный граф с п — 3к — 1 ребрами, такой, что после удаления любых его к-ребер оставшаяся часть может быть покрыта не более чем 2к + 1 цепями.

Доказательство.

Пункт 1 вытекает из следствия 1 леммы 1.

Пункт 2 получается из следствия 2 леммы 1.

Пусть далее п > 2к.

Из следствия 2 леммы 1 следует, что если граф Кт + Рп имеет минимальное реберное к-расширение, то оно имеет вид К2^+т + С, где С — (п — 2к)-вершинный граф. Обозначим для определенности через г1,... , г2^+т полные вершины из части К2^+т графа К2^+т + С. Рассмотрим граф, получающийся после удаления к ребер из графа К2^+т + С. В нем останется, по крайней мере, т полных вершин, пусть для определенности это будут вершины г2&+1,.. . , г2&+т. Оставшиеся вершины должны образовывать цепь. Обозначим через К * подграф, образованный из вершин г1,... , г2&, а через С* — подграф, образованный из вершин графа С. Для построения цепи имеется 2к вершин ^1,... , г2& и вершины подграфа С*. Граф К2& является (2к — 1)-реберно связным, поэтому удаление из него любых к ребер его связности не нарушит. Предположим, что подграф С* можно покрыть не более чем 2к + 1 цепями Рп1,... , Рп|. Тогда легко построить п-вершинную цепь, соединяя концы цепей Рп1,..., Рп| вершинами г>1,... , г2&. Если же подграф С* нельзя покрыть не более чем 2к + 1 цепями, то п-вершинную цепь построить невозможно.

Заметим, что минимальным по числу ребер р-вершинным графом, который удовлетворяет приведенному условию, при р ^ 2к + 1 является вполне несвязный граф Ор, а при р > 2к + 1 —объединение к + 1 цепей Рп1,..., Рпк+1. В самом деле, удаление одного ребра разбивает цепь на две цепи, следовательно, удаление к ребер приведет к образованию 2к + 1 цепей. Легко подсчитать и число ребер в р-вершинном графе, являющемся объединением к + 1 цепей: р — к — 1. ■

Следствие 6. Число дополнительных ребер в минимальном реберном к-расши-рении графа Кт + Рп при 2к < п ^ 4к + 1 составляет

2пк — 2к2 — к — п +1,

а при п > 4к + 1 —

2пк — 2к2 — 4к.

Доказательство. Воспользуемся следствием 3.

Так как граф Сп в данном случае — это цепь Рп, то т = п — 1.

При 2к<п ^ 4к + 1 минимальное реберное к-расширение графа Кт + Рп имеет вид К2и+т + Оп-2к, поэтому т* = 0. Подставляя значения т и т* в формулу (1), получаем

2пк — 2к2 — к — (п — 1) = 2пк — 2к2 — к — п + 1.

При п > 4к +1 минимальные реберные к-расширения графа Кт + Рп имеют вид

К2к+т + Сп-2к, где граф Сп-2й имеет т* = п — 3к — 1 ребер.

Подставляя значения т и т* в формулу (1), получаем

2пк — 2к2 — к + п — 3к — 1 — (п — 1) = 2пк — 4к — 2к2.

■

На рис. 3 представлены минимальные реберные 2-расширения для графа К! + Р10. По-прежнему полные вершины обозначаются черными точками и для наглядности некоторые ребра, соединяющие полные вершины с остальными, опущены. Количество дополнительных ребер минимальных реберных 2-расширений равно 24.

Рис. 3. Граф К і + Ріо и все его минимальные реберные 2-расширения

4. Соединение полного графа и цикла: Кт + Сп

Связный п-вершинный граф, все вершины которого имеют степень 2, называется циклом и обозначается Сп. Очевидно, что цикл не может иметь менее 3 вершин. Связный граф без циклов называется деревом. Вершина дерева, имеющая степень 1, называется листом.

Теорема 4. Относительно минимальных реберных 1-расширений графа Кт + Сп справедливы следующие утверждения:

1) при п = 3 минимальных реберных 1-расширений нет;

2) при п = 4 существует единственное минимальное реберное 1-расширение вида

Кт+4;

3) при п ^ 5 одно из минимальных реберных 1-расширений имеет вид Кт+2 + Рп-2;

4) при п = 6 одно из минимальных реберных 1-расширений имеет вид Кт+3 + 03;

5) при п ^ 6 одно из минимальных реберных 1-расширений имеет вид Кт+2 + +(°і и Сп-2);

6) других минимальных реберных 1-расширений, кроме описанных в п. 2-5, у графа Кт + Сп нет.

Доказательство. При п = 3 граф Кт+Сп изоморфен полному графу Кт+п и поэтому минимальных реберных 1-расширений не имеет. Далее рассматриваем случай п > 3.

По следствию 2 из леммы 1, если граф Кт + Сп имеет минимальное реберное 1-расширение, то его можно представить в виде Кт+2 + Сга-2. Обозначим для определенности через VI,... , гт+2 полные вершины в части Кт+2, а через и1,... , ип-2 — вершины части Сга-2.

Убедимся, что при п > 3 граф Кт+2 + Рп-2 является реберным 1-расширением графа Кт + Сп. Аналогично доказательству теоремы 2 все ребра разделим на три типа: ребра внутри Кт+2, ребра внутри Рп-2 и ребра, соединяющие вершины из Кт+2 и из Рп-2. Заметим, что при удалении ребра любого типа остается, по крайней мере, т полных вершин, поэтому достаточно убедиться, что остальные вершины образуют п-вершинный цикл. Рассмотрим удаление ребра каждого типа.

1) При удалении ребра в части Кт+2, для определенности пусть это будет ребро {гі, г2}, остаются полные вершины г3,... , гт+2, а остальные вершины образуют цикл г>і,Мі,г>2,И2,... ,«п-2, VI.

2) При удалении ребра в части Рп-2 эта цепь распадается на две цепи: Рп1 и Рп2. Полные вершины — г3,...,гт+2, а остальные вершины образуют цикл

аьРП1 ,^2 ,Р„2 ,гь

3) При удалении ребра, соединяющего вершины из Кт+2 и Рп-2, для определенности пусть это будет ребро {^і,Мр}, где 1 ^ р ^ п — 2, остаются полные вершины г3,... , гт+2, а остальные вершины образуют цикл или гі, иі, и2,... , ип-2, г2, гі (если р =1), или г2, иі,..., ип-2, гі, г2 (если р =1).

Таким образом, при п > 3 граф Кт+2 + Рп-2 действительно является реберным 1-расширением графа Кт + Сп. При п = 4 граф Кт+2 + Р2 изоморфен графу Кт+4.

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

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

не менее чем с тремя листьями и изолированную вершину: Тп-3 и Оі. По условию граф К2 + (Тп-з и Оі) должен содержать п-вершинный цикл. Вершина г в этом цикле должна соседствовать с обеими полными вершинами гі и г2. Другим соседом полной вершины гі будет один из листьев дерева. Далее последует цепь (единственная) до другого листа, затем вершина г2. Оставшиеся листья не могут быть присоединены к циклу. Таким образом, дерево не может иметь более трех листьев. Один лист может иметь только тривиальное дерево (состоящее из одной вершины). Если листа два, то получаем рассмотренный ранее случай цепи.

Исследуем случай трех листьев. В этом случае дерево, очевидно, имеет одну вершину степени 3, три вершины степени 1 и может иметь несколько вершин степени 2. Однако, если хотя бы один лист не смежен с вершиной степени 3, то, удалив ребро при таком листе, мы опять получим граф вида Тп-3 и Оі. Повторяя предыдущие рассуждения, получим противоречие. Итак, деревом с тремя листьями может быть лишь 4-вершинная звезда Кі + О3.

Таким образом, граф Сга-2 может иметь вид Оі и Сп-3, Рп-2 или Кі + О3. ■

Следствие 7. Число дополнительных ребер в минимальном реберном 1-расширении графа Кт + Сп при п ^ 5 составляет 2п — 6.

Доказательство. Воспользуемся следствием 3.

Так как граф в данном случае — это цикл Сп, то т = п.

При п ^ 5 минимальное реберное 1-расширение графа Кт + Сп имеет вид Кт+2 + Рп-2, поэтому т* = п — 3. Подставляя значения т и т* в формулу (1) при к =1, получаем 2п — 2 — 1 + п — 3 — п = 2п — 6. ■

Таким образом, графы Кі+С4 и Кі+С5 имеют единственное минимальное реберное 1-расширение, граф Кі + Сб имеет три минимальных реберных 1-расширения, а при п > 6 граф Кі + Сп имеет два минимальных реберных 1-расширения. На рис. 4 представлены все минимальные реберные 1-расширения для графа Кі + Сб. Как и ранее, полные вершины обозначаются черными точками и для наглядности некоторые ребра, соединяющие полные вершины с остальными, опущены. Количество дополнительных ребер минимальных реберных 1-расширений равно 6.

Теорему 4 можно обобщить:

Теорема 5. Относительно минимальных реберных к-расширений предполных графов вида Кт + Сп при к > 1 справедливо следующее:

1) при п < 2к и п = 4: минимальных реберных к-расширений нет;

Рис. 4. Граф Кі + Сб и все его минимальные реберные 1-расширения

2) при п = 2к: минимальное реберное к-расширение единственно: К2^+т;

3) при 2к < п ^ 4к: минимальное реберное к-расширение единственно: К2^+т +

+ Ога-2&;

4) при п > 4к: минимальные реберные к-расширения имеют вид К2^+т + Сп-2^, где Сп-2^ — это (п — 2к)-вершинный граф с п — 3к ребрами, такой, что после удаления любых его к ребер оставшаяся часть может быть покрыта не более чем 2к цепями.

Доказательство. Пункты 1 и 2 вытекают из следствий 1 и 2 леммы 1.

Рассмотрим п > 2к.

Рассуждаем аналогично доказательству теоремы 3. Из следствия 2 леммы 1 следует, что если граф Кі + Сп имеет минимальное реберное к-расширение, то оно имеет вид К2&+т + С, где С — это (п — 2к)-вершинный граф. Обозначим для определенности через гі,... , г2^+т полные вершины из части К2^+т графа К2^+т + С. Рассмотрим граф, получающийся после удаления к ребер из графа К2^+т + С. В нем останется, по крайней мере, т полных вершин, пусть для определенности это будут вершины г2&+і,... , г2&+т. Оставшиеся вершины должны образовывать цикл. Обозначим через К* подграф, образованный из вершин гі,... , г2&, а через С* —подграф, образованный из вершин графа С. Для построения цикла имеется 2к вершин гі,... ,г2& и вершины подграфа С*. Граф К2& является (2к — 1)-реберно связным, поэтому удаление из него любых к ребер его связности не нарушит. Предположим, что подграф С* можно покрыть не более чем 2к цепями Рп1,..., РП|. Тогда легко построить п-вершинный цикл, соединяя концы цепей Рп1,... , РП1 с вершинами гі,... , г2&. Если же подграф С* нельзя покрыть не более чем 2к цепями, то п-вершинний цикл построить невозможно.

Заметим, что минимальным по числу ребер р-вершинным графом, который удовлетворяет приведенному условию, при р ^ 2к является вполне несвязный граф Ор, а при р > 2к — объединение к цепей Рп1,... , Р^. В самом деле, удаление одного ребра разбивает цепь на две цепи, следовательно, удаление к ребер приведет к образованию 2к цепей. Легко подсчитать и число ребер в р-вершинном графе, являющемся объединением к цепей: р — к. Вспоминая, что р = п — 2к, завершаем доказательство. ■

Следствие 8. Число дополнительных ребер в минимальном реберном к-расши-рении графа Кт + Сп при 2к < п ^ 4к составляет

2пк — 2к2 — к — п,

а при п > 4к —

2пк — 2к2 — 4к.

Доказательство. Воспользуемся следствием 3.

Так как граф в данном случае — это цикл Сп, то т = п.

При 2к < п ^ 4к минимальное реберное к-расширение графа Кт + Сп имеет вид К2^+т + Оп-2^, поэтому т* = 0. Подставляя значения т и т* в формулу (1), получаем

2пк — 2к2 — к — п.

При п > 4к минимальные реберные к-расширения графа Кт + Рп имеют вид К2й+т + С„-2й, где граф С„-2й имеет т* = п — 3к ребер.

Подставляя значения т и т* в формулу (1), получаем

2пк — 2к2 — к + п — 3к — 1 — п = 2пк — 4к — 2к2 — 1.

ЛИТЕРАТУРА

1. Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997.

2. Hayes J. P. A graph model for fault-tolerant computing system // IEEE Trans. Comput. 1976. V.C25. No. 9. P. 875-884.

3. Harary F., Hayes J. P. Edge fault tolerance in graphs // Networks. 1993. V. 23. P. 135-142.

4. Harary F., Hayes J. P. Node fault tolerance in graphs // Networks. 1996. V. 27. P. 19-23.

5. Абросимов М. Б. О вычислительной сложности расширений графов // Прикладная дискретная математика. Приложение. 2009. №1. С. 94-95.

6. Абросимов М.Б. Минимальные k-расширения предполных графов // Изв. вузов. Математика. 2003. №6(493). С. 3-11.