CC BY
53
ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА
2011 Прикладная теория графов №2(12)
ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ
УДК 519.17
МИНИМАЛЬНЫЕ РЕБЕРНЫЕ РАСШИРЕНИЯ НАПРАВЛЕННЫХ
И ОРИЕНТИРОВАННЫХ ЗВЕЗД
М. Б. Абросимов
Саратовский государственный университет им. Н. Г. Чернышевского, г. Саратов, Россия
E-mail: mic@rambler.ru
Рассматриваются минимальные реберные k-расширения графов, которые получаются из звездного графа произвольной ориентацией ребер. Ранее было получено полное решение, описывающее минимальные вершинные и реберные k-расширения неориентированных звезд, а также минимальные вершинные k-расширения ориентированных звезд. В этой работе дается полное описание всех минимальных реберных k-расширений для ориентированных и направленных звезд.
Ключевые слова: минимальное расширение, оптимальная отказоустойчивая реализация, отказоустойчивость, звездные графы.
Введение
Ориентированным графом (далее орграфом) называется пара G = (V, а), где V — конечное непустое множество, называемое множеством вершин, а а — отношение на множестве вершин V, называемое отношением смежности. Орграф с антисимметричным отношением смежности называется направленным графом, или диграфом. Граф с симметричным и антирефлексивным отношением смежности называется неориентированным графом, или неографом. Основные определения даются по работе [1].
Граф с пустым отношением смежности называется вполне несвязным и обозначается On, где n — число вершин. Полный диграф без петель называется турниром. Циклической тройкой называется 3-вершинный турнир, у которого в каждой вершине есть одна исходящая и одна входящая дуга.
Симметризацией орграфа GG = (V, а) называется неограф G = (V, (а U а-1)\Д), то есть симметризация орграфа получается заменой дуг ребрами и удалением петель.
Вложением графа G1 = (У1,а1) в граф G2 = (^,а2) называется такое взаимно однозначное отображение ^ : V1 ^ V2, что для любых вершин u,v Е V1 выполняется следующее условие: (u,v) Е а1 ^ (^(u),^(v)) Е а2.
Два графа G1 = (У1,а1) и G2 = С^2,а2) называются изоморфными, если можно установить взаимно однозначное соответствие ^ : V1 ^ V2, сохраняющее отношение смежности: (u,v) Е а1 ^ (^(u),^(v)) Е а2 для любых u,v Е V1. Изоморфизм графа на себя называется автоморфизмом. Две вершины и и v называются подобными, если существует автоморфизм ^ : <^(v) = и. Аналогично, две дуги называются подобными, если существует автоморфизм, переводящий одну в другую.
Граф G* = (V*,а*) называется минимальным реберным k-расширением (МР-кР) n-вершинного графа G = (V, а), если выполняются следующие условия:
1) О* является реберным к-расширением С, то есть граф О вкладывается в каждый подграф графа С*, получающийся удалением любых его к ребер;
2) С* содержит п вершин, то есть IV*| = IV|;
3) а* имеет минимальную мощность при выполнении условий 1 и 2.
Понятие минимального к-расширения введено на основе понятия оптимальной к-отказоустойчивой реализации, которое было предложено Дж. П. Хейзом в работе [2] для исследования отказоустойчивости технических систем. Позднее Дж. П. Хейз совместно с Ф. Харари в работах [3, 4] обобщили модель и распространили ее на случай реберной отказоустойчивости. В этих работах рассматривались неориентированные графы. Для ориентированных графов количество результатов существенно меньше. А. В. Киреева [5] рассматривала вершинную отказоустойчивость в ориентированных графах. Ею описана вершинная оптимальная 1-отказоустойчивая реализация произвольного функционального графа. Т. Санг и др. [6] использовали модель Хейза для нахождения вершинной и реберной оптимальной 1-отказоустойчивой реализации ориентированного цикла. В [7] доказывается, что задача проверки, является ли граф реберным (вершинным) к-расширением заданного графа, принадлежит классу КР-пол-ных. Это означает, что едва ли появится эффективное решение задачи построения минимальных вершинных или реберных к-расширений для заданного произвольного графа, а новые результаты будут связаны с частным решением задачи для каких-либо семейств графов.
Неориентированной звездой (далее просто звездой) или звездным графом называется полный двудольный граф вида К1п, где п > 0 (то есть одна вершина смежна с п несмежными вершинами). Ориентированной звездой будем называть орграф, симметризация которого является звездой. Ориентированную звезду будем обозначать Zm,n,p, где т и п — число вершин с единственной соответственно исходящей и входящей дугой, а р — число вершин с одной входящей и одной исходящей дугой. Направленной звездой будем называть ориентированную звезду, являющуюся диграфом, и обозначать Zm,n (у направленной звезды р = 0). Вершину, являющуюся концом или началом каждой дуги звезды, будем называть центральной. Вершину, соединенную со всеми остальными вершинами орграфа, будем называть полной. Полная вершина может быть соединена с другими вершинами исходящей дугой, входящей или парой встречных дуг. Центральная вершина является единственной полной вершиной звезды. Легко определить количество дуг звезды Zm,n,p: т + п + 2р.
В работе [8] удалось найти общее решение для описания минимальных вершинных к-расширений предполных графов, то есть графов, которые имеют хотя бы одну вершину, смежную со всеми остальными. Звездный граф является частным случаем предполного графа, и в работе [9] дается полное описание минимальных вершинных и реберных к-расширений для неориентированных звезд. Дадим вспомогательное определение и приведем соответствующую теорему относительно минимальных реберных к-расширений.
Под соединением двух графов С1 = (VI, а1) и С2 = (^,а2), не имеющих общих вершин, понимается граф С1 + С2 = (V и V, а1 и а2 и V х V и V х V).
Теорема 1 [9]. При к ^ п/2 граф К1+2^ + Оп-2к является единственным минимальным реберным к-расширением графа К1 + Оп. При к > п/2 граф К1 + Оп не имеет минимальных реберных к-расширений.
1. Минимальные реберные 1-расширения
Обозначим через ZKm,n,p семейство графов, получающихся из звезды Zm,n добавлением р — 1 «центральной» вершины, соединением их между собой и центральной вершиной звезды Zmn парами встречных дуг. Каждая из добавленных центральных вершин соединяется т входящими и п исходящими дугами с произвольными источниками и стоками звезды Zm)n. По описанной схеме для заданной звезды в общем случае может быть построено много графов (рис. 1).
Рис. 1. Звезда 22,2 и графы вида 2К2,2,2
Теорема 2. Относительно минимальных реберных 1-расширений направленных звезд Zm)n справедливо следующее:
1) при т = п =1 звезда Z1,1 имеет единственное с точностью до изоморфизма минимальное реберное 1-расширение, которым является циклическая тройка;
2) при тп > 1 звезда Zm,n имеет минимальные реберные 1-расширения: и
графы, построенные по схемам ZKm-1,n,2 и ZKm,n-1,2;
3) при т > 0, п = 0 звезда Zm,0 имеет минимальные реберные 1-расширения вида
•^Кт—1,0,2;
4) при т = 0, п > 0 звезда Z0n имеет минимальные реберные 1-расширения вида
^^К0,п-1,2;
5) при т = 2, п =1 звезда Z2,1 имеет еще одно минимальное реберное 1-расширение — турнир, получающийся из циклической тройки добавлением одной вершины и дуг от нее во все остальные вершины;
6) при т = 2, п =1 звезда Z2,1 имеет еще одно минимальное реберное 1-расширение — турнир, получающийся из циклической тройки добавлением одной вершины и дуг в нее из всех остальных вершин.
Доказательство. Убедимся, что орграфы К^^, ZKm-1n,2 и ZKmn-1,2 действительно являются реберными 1-расширениями звезды Zm,n.
Для неориентированной звезды проверка вполне тривиальна. Пусть в звез-
де Zm,n есть и источники, и стоки, то есть т > 0 и п > 0. Рассмотрим удаление в графе любой дуги вида (V, и), где V — центральная вершина, а и — любая другая. Вложение звезды Zm,n строится следующим образом: центральная вершина звезды Zm,n соответствует вершине V. Вершины и и т — 1 из оставшихся вершин графа бу-
дут соответствовать источникам, а остальные п вершин — стокам. Аналогично — для случая удаления дуги вида (и^). Заметим, что количество дуг в графе в два
раза больше, чем в звезде Zm,n, то есть 2(т + п).
Пусть т > 0; рассмотрим орграф ZKm-1n,2. В этом графе две вершины имеют полустепени исхода и захода п + 1 и т соответственно, а у остальных вершин суммы полустепеней исхода и захода равны 2. Общее количество дуг равно 2(т + п). Обозначим две полные вершины через v1 и v2.
Все дуги рассматриваемого орграфа можно разделить на три группы подобных дуг:
1) дуги от вершин V! и v2 в остальные вершины (если п = 0, то дуг этого типа может не быть);
2) дуги в вершины v1 и v2 из остальных вершин (если т = 1, то дуг этого типа может не быть);
3) дуги между вершинами v1 и v2.
Рассмотрим удаление из орграфа ZKm-1,n,2 дуги каждого вида и укажем, каким образом в получившийся орграф может быть вложена звезда Zm,n. Обозначим:
1) О1 —граф, получающийся из орграфа ZKm-1,n,2 удалением дуги первого типа; пусть для определенности это будет дуга ^1;и), где и — произвольная вершина, которая в звезде Zm,n была стоком;
2) О2 — граф, получающийся из орграфа ZKm-1n,2 удалением дуги второго типа; пусть для определенности это будет дуга (ад, v1), где w — произвольная вершина, которая в звезде Zm,n была истоком;
3) О3 — граф, получающийся из орграфа ZKm-1,n,2 удалением дуги третьего типа; пусть для определенности это будет дуга ^2^).
Во всех трех случаях т — 1 вершин орграфов С1, О2, О3, из которых идет дуга в вершину v2, и вершина v1 будут соответствовать источникам звезды Zm,n, вершина v2 —центральной вершине, а оставшиеся п вершин орграфов С1, О2, О3 — стокам звезды Zm,n.
Аналогично рассмотрим орграф ZKm,n-1,2 при п > 0. В этом графе две вершины имеют полустепени исхода и захода п и т + 1 соответственно, а у остальных вершин суммы полустепеней исхода и захода равны 2. Общее количество дуг снова равно 2(т + п). Как и раньше, обозначим две полные вершины через v1 и v2. Все дуги рассматриваемого орграфа делятся на три группы подобных дуг:
1) дуги от вершин v1 и v2 в остальные вершины (если п = 1, то дуг этого типа может не быть);
2) дуги в вершины v1 и v2 из остальных вершин (если т = 0, то дуг этого типа может не быть);
3) дуги между вершинами v1 и v2.
Рассмотрим удаление из орграфа ZKmn-1,2 дуги каждого вида и укажем, каким образом в получившийся орграф может быть вложена звезда Zmn. Пусть
1) граф О1 получается из орграфа ZKmn-1,2 удалением дуги первого типа; пусть для определенности это будет дуга ^, и), где и — произвольная вершина, которая в звезде Zm,n была стоком;
2) граф О2 получается из орграфа ZKm,n-1,2 удалением дуги второго типа; пусть для определенности это будет дуга (ад^), где ад — произвольная вершина, которая в звезде Zm,n была истоком;
3) граф О3 получается из орграфа ZKmn-1,2 удалением дуги третьего типа; пусть для определенности это будет дуга ^^2).
Во всех трех случаях т — 1 вершин орграфов С1, О2, О3, из которых идет дуга в вершину v2, и вершина v1 будут соответствовать источникам звезды Zm,n, вершина v2 —центральной вершине, а оставшиеся п вершин орграфов С1, О2, О3 — стокам звезды Zm,n.
Исследуем, какие у звезды Zm,n могут быть минимальные реберные 1-расширения. Пусть О* —некоторое минимальное реберное 1-расширение звезды Zm,n. Так как звезда Zm,n вкладывается в орграф О*, то в О* есть как минимум одна полная вершина. Рассмотрим случаи, когда такая вершина одна, две, три и более.
I случай. Предположим, что полная вершина одна, и обозначим ее через v. В этом случае вершина v должна быть соединена со всеми остальными вершинами парой встречных дуг. Если бы это было не так и вершина v была бы соединена с некоторой вершиной и только одной дугой, например ^, и), то вложение звезды Zm,n в граф О* — ^, и) было бы невозможно, так как ни одна вершина не будет соответствовать центральной вершине звезды Zm,n. Граф К1,то+п имеет минимальное число дуг среди всех рассматриваемых графов, то есть графов с одной вершиной, соединенной парой встречных дуг со всеми остальными вершинами.
II случай. Пусть есть две полные вершины. Обозначим их через v1 и v2. Какие дуги должны быть между этими вершинами? Если между ними будет только одна дуга, например ^^2), то граф, получающийся из О* после удаления дуги ^^2), не будет содержать ни одной вершины, которая могла бы соответствовать центральной вершине звезды Zmn. Следовательно, вершины v1 и v2 соединены парой встречных дуг.
Каковы могут быть полустепени исхода и захода вершин v1 и v2? Очевидно, что они не могут быть меньше, чем у центральной вершины звезды Zm,n, то есть п и т соответственно. Общее количество дуг, входящих и исходящих из этих вершин, равно т+п +1 (две дуги между вершинами v1 и v2 и по одной дуге в или из оставшихся т + п — 1 вершин). Таким образом, вершины v1 и v2 могут иметь либо полустепень исхода т, а полустепень захода п + 1, либо наоборот. Можно заметить, что вершины v1 и v2 должны иметь одинаковые полустепени исхода и захода. В самом деле, если бы это было не так и вершины v1 и v2 имели бы разные полустепени, например вершина v1 — (т, п +1), а вершина v2 — (т + 1, п), то удаление дуги ^, v2) привело бы к орграфу, в котором вершины v1 и v2 имеют полустепени исхода и захода (т — 1, п + 1) и (т + 1, п — 1) соответственно. Ясно, что вложение в получившийся граф звезды Zm,n невозможно. Итак, среди всех графов, имеющих две вершины с одинаковыми полустепенями исхода и захода, соединенные между собой парой встречных дуг, а с остальными вершинами хотя бы одной дугой, подходящими являются только графы семейств ZKm-1n,2 и
III с л у ч а й. Рассмотрим случай, когда есть три вершины, соединенные со всеми остальными т + п — 2 вершинами хотя бы одной дугой. Обозначим эти полные вершины через v1, v2 и v3. Подобное соединение возможно при т + п ^ 2. Между этими вершинами, очевидно, должна быть по крайней мере одна дуга. Общее количество дуг в таком графе будет не меньше чем 3 + 3(т + п — 2) = 3(т + п — 1).
Если т + п = 2, то число дуг будет меньше, чем в рассмотренных ранее случаях I и II, где количество дуг равно 2(т + п). Непосредственной проверкой убедимся, что звезда Z1,1, которая является ориентированной цепью, имеет подходящее реберное 1-расширение, которое в данном случае будет циклической тройкой (рис. 2).
Звезды ^20 и ^02 не имеют реберных 1-расширений, построенных по рассматриваемой схеме. Если же добавить еще одну дугу, то мы получим графы, изоморфные
о—>о—мэ
Рис. 2. Звезда 2\%1 и ее единственное МР-1Р
графам семейств ZK1)0)2 и ZK0)1)2. При т + п = 3 имеем 3(т + п — 1) = 2(т + п). То есть число дуг будет таким же, как и в рассмотренных ранее случаях. Подходящими звездами будут Z3)0, Z2)1, Z1)2 и Z0)3. Непосредственной проверкой убеждаемся, что звезды Z3)0 и Z0)3 не имеют реберных 1-расширений, построенных по рассматриваемой схеме, а звезды Z2)1 и Z1)2 имеют. Все их реберные 1-расширения изображены на рис. 3, причем первыми указаны расширения, укладывающиеся в рассматриваемую схему. Вершины v1, v2 и v3 образуют в них контур. Последующие три расширения принадлежат семействам ZK2)0)2 и ZK1)1)2 для звезды Z2)1; ZK0)2)2 и ZK1)1)2 для звезды Z1)2. Последние расширения — это звезды К1>3. Видно, что звезды Z2)1 и Z1)2 имеют три изоморфных минимальных реберных 1-расширения и по два различных.
Рис. 3. Звезды ^2>1 и ^1>2 и все их МР-1Р
IV случай. Рассмотрим случай, когда есть р > 3 вершин, соединенных со всеми остальными т + п — р + 1 вершинами хотя бы одной дугой. Подобное соединение возможно при т + п ^ р — 1. Между этими вершинами, очевидно, должна быть по крайней мере одна дуга, то есть индуцированный ими подграф является турниром. Общее количество дуг в таком графе будет не менее чем
р(т + п — р + 1) + р(р — 1)/2 = р(т + п) — р(р — 1)/2.
Исследуем, в каких случаях эта величина может быть меньше, чем 2(т + п) —количество дополнительных ребер в случаях I и II. Получаем
р(т + п) — р(р — 1)/2 ^ 2(т + п),
(т + п)(р — 2) — р(р — 1)/2 ^ 0.
Так как т + п ^ р — 1, то (р — 1)(р — 2) — р(р — 1)/2 ^ 0, откуда (р — 1)(р — 2 — р/2) ^ 0,
а так как р > 3, то остается р/2 — 2 ^ 0, то есть р ^ 4.
Случаи, когда р = 1, 2 и 3, были рассмотрены ранее, и, таким образом, еще только при р = 4 возможно реберное 1-расширение, которое будет иметь не больше дуг, чем расширения из случаев I и II. Итак, при р = 4 количество дуг есть 4(т + п) — 6, а у
расширений в случаях I и II — 2(т + п), причем т + п ^ 3. Сравнивая, получаем, что лишь при т + п = 3 достигается равенство, а при остальных значениях количество дуг в расширении с р = 4 будет больше, чем в случаях I и II. При т + п = 3 имеем четыре звезды, которые мы уже рассматривали ранее: Zз)0, Z2)1, Z1)2 и Z0)з. Можно заметить, что эта ситуация идентична рассмотренной ранее и не дает новых реберных 1-расширений. ■
Следствие 1. Исходящая звезда, то есть направленная звезда вида Zm,0, т > 1, имеет два неизоморфных минимальных реберных 1-расширения — граф К1т и орграф ZKm-1,0,2.
Следствие 2. Входящая звезда, то есть направленная звезда вида Z0,n, п > 1, имеет два неизоморфных минимальных реберных 1-расширения — граф К1т и орграф
•^К0,п— 1,2.
Теорему 2 легко обобщить для ориентированных звезд. Обозначим через ZKmn,p,t граф, получающийся из звезды Zm,n добавлением £ — 1 «центральной» вершины, соединением их между собой и центральной вершиной звезды Zm,n парами встречных дуг. Каждая из добавленных центральных вершин соединяется т входящими, п исходящими дугами и р ребрами с произвольными источниками и стоками звезды Zm,n.
Теорема 3. Ориентированные звезды Zm,n,p при т> 0, п> 0 и р> 0 имеют единственное с точностью до изоморфизма минимальное реберное 1-расширение — звезду
К1,то+п+р.
Доказательство. Пусть О* —некоторое минимальное реберное 1-расширение звезды Zm,n,p. Так как звезда Zm,n,p вкладывается в орграф О*, то в О* есть как минимум одна полная вершина. Рассмотрим случаи, когда полная вершина одна и более.
I случай. Предположим, что полная вершина одна, и обозначим ее через v. Повторяя рассуждения из доказательства теоремы 2, получим, что вершина v должна быть соединена со всеми остальными вершинами парой встречных дуг. Если бы это было не так и вершина v была бы соединена с некоторой вершиной и только одной дугой, например ^, и), то вложение звезды Zm,n,p в граф О* — ^, и) было бы невозможно, так как ни одна вершина не будет соответствовать центральной вершине звезды Zm,n,p. Граф К1 ,то+п+р имеет минимальное число дуг среди всех подходящих под этот случай графов, то есть графов с одной вершиной, соединенной парой встречных дуг со всеми остальными вершинами. Легко видеть, что звезда К1,то+п+р является реберным 1-расширением орзвезды Zm,n,p. Рассмотрим удаление в графе К1,то+п+р любой дуги вида ^,и), где v — центральная вершина, а и — любая другая. Вложение звезды Zm,n,p строится следующим образом: центральная вершина звезды Zm,n,p соответствует вершине v. Вершина и и т — 1 из оставшихся вершин графа К1,то+п будут соответствовать источникам, а остальные п + р вершин — стокам и вершинам, которые соединены с центральной вершиной парой встречных дуг. Заметим, что количество дуг в графе К^+п+р есть 2(т + п + р).
II случай. Предположим, что вершин, соединенных дугой с остальными вершинами, всего £ штук и £ > 1. Повторяя рассуждения из теоремы 2, получим, что центральные вершины должны быть соединены между собой, что дает не менее £(£ — 1)/2 дуг, каждая из них — с р вершинами парой встречных дуг и с остальными т + п — £ + 1 вершинами по крайней мере одной дугой. Всего получаем дуг
£(£ — 1)/2 + 2р£ + £(т + п — £ + 1) = £(т + п + 2р — (£ — 1)/2).
Эта величина принимает минимальное (по £ > 1) значение при £ = 2, и это будет 2(т + п + р)+ р — 1. Однако при £ = 2, как мы установили при исследовании случая II в доказательстве теоремы 2, центральные вершины должны быть соединены парой встречных дуг. Поэтому минимально возможное количество дуг по данной схеме может быть 2(т + п + р) + р, и при р > 0 это больше числа дуг в графе К1,то+п+р. ■
2. Минимальные реберные к-расширения
Обобщим результаты двух предыдущих теорем.
Теорема 4. Относительно минимальных реберных к-расширений направленных звезд Zm,n справедливо следующее:
1) при т = п = к звезда Zm,n имеет минимальным реберным к-расширением любой регулярный (2к + 1)-вершинный турнир, и только их;
2) при т = п + 1 = к звезда Zm+1,m имеет минимальным реберным к-расширением любой (2к + 2)-вершинный турнир, который получается из регулярного (2к + 1)-вершинного турнира добавлением дополнительной вершины-источника;
3) при т + 1 = п = к звезда Zm,m+1 имеет минимальным реберным к-расширением любой (2к + 2)-вершинный турнир, который получается из регулярного (2к + 1)-вершинного турнира добавлением дополнительной вершины-стока;
4) кроме случая т = п = к, звезда Zm,n при к ^ т + п имеет минимальным реберным к-расширением графы вида ZKml,nl,k+1, где т1 + п1 = т + п — к, тах{0, т — к} ^ т1 ^ т, тах{0, п — к} ^ п1 ^ т. При к > т + п звезда Zm,n не имеет минимальных реберных к-расширений.
Доказательство. Пусть к > 1 и О* — некоторое минимальное реберное к-рас-ширение звезды Zm,n. Так как звезда Zm,n вкладывается в орграф О*, то в О* есть как минимум одна вершина, соединенная дугой со всеми остальными. Обозначим через р количество полных вершин; положим N = т + п. Очевидно, что р ^ т + п + 1. Удаление к любых дуг из графа О* должно оставить по крайней мере одну полную вершину.
I случай. Если все полные вершины в графе О* соединены между собой одной дугой, то удаление такой дуги исключает две полные вершины. Поэтому количество полных вершин должно быть не менее 2 к + 1. Тогда количество дуг в таком орграфе будет не менее чем (2к + 1)к + (2к + 1)^ — 2к) = (2к + 1)Ж — 2к2 — к, причем 2к ^ N.
II случай. Если все полные вершины в графе О* соединены между собой парой встречных дуг, то удаление такой пары дуг исключает две полные вершины. Поэтому, если к четно, то количество полных вершин должно быть не менее к + 1. При нечетном к = 2к1 + 1 с удалением к1 пар встречных дуг будут исключены к — 1 полных вершин. Предположим, что останется еще лишь одна полная вершина. Если она будет соединена с некоторой вершиной только одной дугой, то, удалив ее, мы исключим последнюю полную вершину. Следовательно, эта вершина должна быть соединена с остальными вершинами также парой встречных дуг. Более того, удалив одну такую дугу, мы получим, что из единственной полной вершины либо исходит, либо входит в некоторую вершину единственная дуга. Следовательно, в звезде Zm,n должен быть хотя бы один источник и сток. В силу произвольности выбора исключаемых вершин можно сделать вывод, что при нечетном к, при п > 0, т> 0 и к — 1 ^ N, орграф О* может иметь к полных вершин, соединенных между собой и со всеми остальными вершинами парой встречных дуг. Определим количество дуг в этом случае:
к(к — 1) + 2^ — к + 1)к = 2Nk — к2 + к,
причем к — 1 ^ N.
III с л у ч а й. Если количество полных вершин в орграфе О* есть к + 1, то между собой они должны быть соединены парой встречных дуг, но с остальными вершинами они могут быть соединены одной дугой. Мы уже встречались с такими орграфами, например это семейства ZKml,nl,^+1. Минимальное количество дуг в этом случае равно (к + 1)к + (к + 1)^ — к) = ^к + 1), причем к ^ N.
Видно, что при больших значениях N количество дуг в последнем случае будет меньше, чем в случаях I и II. Определим более точные соотношения по количеству дуг между этими случаями. Случаи II и III:
2^ — к2 + к ^ N (к + 1), N (к — 1) — к(к — 1) ^ 0, ^ — к)(к — 1) ^ 0.
При к =1 имеем равенство количества дуг. Случай II при к = 1 —это звезда К1,^ из теоремы 2. При к > 1 интерес представляет случай N ^ к. Но так как в случае II к ^ N, то остается единственная возможность к = N. Легко видеть, что при к = N графы в случаях II и III изоморфны и представляют собой полный граф Кп. Таким образом, при к > 1 случай II не представляет интереса.
Случаи I и III:
(2к + 1^ — 2к2 — к ^ N (к + 1), ^ — 2к2 — к ^ 0.
Так как в случае I имеем ограничение 2к ^ N, то интерес представляют всего два значения N. При N = 2к получаем, что граф, построенный по схеме I, будет иметь меньше дуг, чем граф из случая III, а при N = 2к + 1 количество дуг в случаях I и III будет одинаково. Видно, что при этих значениях графы из случая I будут турнирами. Исследуем эти возможности подробнее.
N = 2к. В этом случае имеем (2к + 1)-вершинный турнир. Удаляя к произвольных дуг, соединяющих различные вершины турнира, получим граф с единственной полной вершиной, которая соединена с каждой из остальных вершин одной дугой. Значит, чтобы звезда Zm,n вкладывалась в получившийся граф, в эту вершину должны входить т дуг и выходить п. В силу произвольности выбора это должно быть справедливо для всех вершин турнира, то есть все вершины должны иметь одинаковые степени исхода и захода. Это возможно лишь при т = п = к. Таким образом, только звезда вида Zm,m может иметь регулярный турнир минимальным реберным к-расширением при к = т. При к =1 имеем звезду Z1,1, и ее минимальным реберным 1-расширением является циклическая тройка. На рис. 4 показана звезда Z2,2 и ее единственное минимальное реберное 2-расширение, построенное по описанной схеме.
N = 2к + 1. В этом случае имеем (2к + 2)-вершинный турнир. Удаляя к произвольных дуг, соединяющих различные вершины турнира, получим граф с двумя полными вершинами, которые соединены с каждой из остальных вершин одной дугой. Значит, чтобы звезда Zm,n вкладывалась в получившийся граф, в одну из этих вершин должны входить т дуг и выходить п. Так как число вершин в турнире четно, то он не может быть регулярным и все вершины не могут иметь одинаковые полустепени исхода и захода. Следовательно, хотя бы одна вершина будет иметь полустепени исхода и захода, отличные от т и п. Однако такая вершина может быть только одна, потому что
X
Рис. 4. Звезда ^2>2 и ее единственное МР-2Р
в противном случае, подбирая соответствующим образом к удаляемых дуг, мы могли бы получить орграф с двумя полными вершинами, ни одна из которых бы не имела т входящих и п исходящих дуг. Итак, в (2к + 2)-вершинном турнире 2к + 1 вершин должны иметь одинаковые полустепени исхода и захода — т и п соответственно. Таким образом, имеем (2к + 1)т исходящих дуг, (2к + 1)п входящих и одну неучтенную вершину, обозначим ее ад. Так как число входящих и исходящих дуг должно быть равно, а т = п, то можно сделать вывод, что либо т = п +1 и w является стоком, либо п = т +1 и ад является источником. Таким образом, только звезды вида Zm+1)m и Zm)m+1 могут иметь минимальным реберным к-расширением при к = т турнир, получающийся из регулярного (2т + 1)-вершинного турнира добавлением вершины и дуг из нее во все вершины турнира для звезды Zm+1)m и из всех вершин турнира в добавленную для звезды Zm)m+1. При к =1 имеем звезды Z2)1 и Z1)2 и их минимальные реберные 1-расширения, упомянутые в п. 5 и 6 теоремы 2. Этим завершается исследование случая I. Рассмотрим далее наиболее общий случай III.
Кроме случая N = 2к, графы, построенные по схеме случая III, являются кандидатами на минимальные реберные к-расширения. Убедимся, что эти графы действительно будут являться реберными к-расширениями. Пусть О* — произвольный граф вида ZKmьnьk+1, где т1 + п1 + к = т + п. Рассмотрим удаление дуг между различными полными вершинами и остальными вершинами орграфа О*. Удаление одной такой дуги исключает одну полную вершину. Удаление к дуг оставит единственную полную вершину. Эта полная вершина будет соединена с к вершинами парой встречных дуг, с т1 вершинами исходящей дугой, а с п1 вершинами входящей дугой. По предположению звезда Zm)n должна вкладываться в получившийся орграф. Если т1 > т или п1 > п, то такое вложение будет невозможно. Аналогично, если т1 < т — к или п1 < п — к. Если же все указанные неравенства выполняются, то недостающими вершинами для соответствия источникам и стокам звезды будут являться бывшие полные вершины орграфа О*. Похожим образом можно рассмотреть удаления дуг между полными вершинами и убедиться, что графы вида ZKmьnьfc+1 действительно являются реберными к-расширениями звезды Zm)n при выполнении указанных ранее ограничений. ■
На рис. 5 показаны все минимальные реберные 2-расширения звезд Z2)з и Zз)2.
Теорема 5. Относительно минимальных реберных к-расширений ориентированных звезд Zm)n)P справедливо следующее:
1) при четном к звезда Zm)n)P имеет минимальные реберные к-расширения вида ZKmi.nl,р,к+1, и только их;
2) при нечетном к, т > 0, п > 0 и (т + п — к)(к — 1) — 2р ^ 0 звезда Zm)n)P имеет минимальное реберное к-расширение вида Кк +
3) при к ^ т + п и (т + п — к)(к — 1) — 2р ^ 0 звезда Zm)n)P имеет минимальные реберные к-расширения вида ZKmьnьP)k+1;
Рис. 5. Звезды ^2,3 и ^3,2 и их МР-2Р: единственное в форме турнира и по одному представителю семейств ^К^.з и ^К^д.з
4) при к > т + п звезда Zm)n)P не имеет минимальных реберных к-расширений.
Доказательство. Пусть к > 1 и О* — некоторое минимальное реберное к-рас-ширение звезды Zm)n)P. Так как звезда Zm)n)P вкладывается в орграф О*, то в О* есть как минимум одна полная вершина. Обозначим через £ количество полных вершин; положим N = т + п. Очевидно, что £ ^ т + п +1. Удаление к любых дуг из графа О* должно оставить по крайней мере одну полную вершину.
I случай. Если все полные вершины в графе О* соединены между собой одной дугой, то удаление одной такой дуги исключает две полные вершины. Поэтому количество полных вершин должно быть не менее 2к + 1. Каждая полная вершина должна быть соединена с р вершинами парой встречных дуг, а с остальными по крайней мере одной дугой. Тогда количество дуг в таком орграфе будет не менее чем
(2к + 1)к + (2к + 1)^ — 2к) + 2(2к + 1)р = (2к + 1^ — 2к2 — к + 2(2к + 1)р, причем 2 к ^ N.
II случай. Если все полные вершины в графе О* соединены между собой парой встречных дуг, то удаление такой пары дуг исключает две полные вершины. Поэтому если к четно, то количество полных вершин должно быть не менее к + 1. При нечетном к = 2к1 + 1 удаление к1 пары встречных дуг исключает к — 1 полных вершин. Предположим, что останется еще лишь одна полная вершина. Если она будет соединена с некоторой вершиной только одной дугой, то, удалив ее, мы исключим последнюю полную вершину. Следовательно, эта вершина должна быть соединена с остальными вершинами также парой встречных дуг. Более того, удалив одну такую дугу, мы получим, что из единственной полной вершины либо исходит, либо входит в некоторую вершину единственная дуга. Следовательно, в звезде Zm)n должен быть хотя бы один источник и сток. В силу произвольности выбора исключаемых вершин можно сделать вывод, что при нечетном к, при п > 0, т> 0 и к — 1 ^ N орграф О* может иметь к полных вершин, соединенных между собой и со всеми остальными вершинами парой встречных дуг. Такой граф можно представить как К + От+^^^+ь Определим количество дуг в этом случае: к(к — 1) + 2^ — к +1 + р)к = 2Nk — к2 + к + 2рк, причем к — 1 ^ N.
III с л у ч а й. Если количество полных вершин в орграфе О* есть к + 1 , то между собой они должны быть соединены парой встречных дуг, с р вершинами также
парой встречных дуг, а с остальными вершинами они могут быть соединены одной дугой. Мы уже встречались с такими орграфами, например это семейства ZKml nьP)fc+1. Определим минимальное количество дуг в этом случае:
(к + 1)к + (к + 1)^ — к) + 2(к + 1)р = N (к + 1) + 2(к + 1)р, причем к ^ N.
Видно, что при больших значениях N количество дуг в последнем случае будет минимальным. Определим более точные соотношения по количеству дуг между этими случаями. Случаи II и III:
2^ — к2 + к + 2рк ^ N (к + 1) + 2(к + 1)р,
N (к — 1) — к(к — 1) — 2р ^ 0,
^ — к)(к — 1) — 2р ^ 0.
При к =1 в теореме 3 мы получили, что графы из случая II всегда имеют меньшее число дуг, чем графы из случая III. При к > 1 ситуация представляется более сложной: при значениях N, много больших, чем к и р, меньше дуг будет в схеме III, а при
нечетных значениях к, близких к N или больших, чем р, меньше дуг будет в схеме II.
Случаи I и III:
(2к + 1^ — 2к2 — к + 2(2к + 1)р ^ N (к + 1) + 2(к + 1)р,
Nk — 2к2 — к + 2кр ^ 0.
Так как в случае I имеем ограничение 2к ^ N, то при р > 0 у графов из случая I будет всегда больше дуг, чем у графов из случая III. ■
Рассмотрим для примера поиск минимальных реберных 3-расширений звезды Z2)2)1. Посчитаем величину (т + п — к)(к — 1) — 2р и получим
(2 + 2 — 3)(3 — 1) — 2 * 1 = 0.
Таким образом, по теореме 5 получаем, что звезда Z2)2)1 будет иметь минимальные реберные 3-расширения двух видов: граф К3 + О3 и графы вида ZK1д1)4 и ZK0)1)1)4. Все эти графы содержат по 24 дуги. На рис. 6 показаны все минимальные реберные 3-расширения звезды Z2)2)1. Для облегчения визуализации расширений пара встречных дуг заменена неориентированным ребром.
Рис. 6. Звезда ^2)2;1 и все ее МР-3Р
Заключение
В данной работе дано аналитическое решение задачи описания минимальных реберных к-расширений для направленных и ориентированных звезд. Ранее удалось найти полное решение задачи описания минимальных вершинных к-расширений для направленных звезд, а также минимальных вершинных и реберных к-расширений для неориентированных звезд. Полученные результаты расширяют класс графов, для которых удалось найти полное решение рассматриваемой задачи.
ЛИТЕРАТУРА
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. and Hayes J. P. Edge fault tolerance in graphs // Networks. 1993. V. 23. P. 135-142.
4. Harary F. and Hayes J. P. Node fault tolerance in graphs // Networks. 1996. V. 27. P. 19-23.
5. Киреева А. В. Отказоустойчивость в функциональных графах // Упорядоченные множества и решетки. Саратов, 1995. Вып. 11. С. 32-38.
6. Sung T. Y., Lin C. Y., Chuang Y. C., and Hsu L. H. Fault tolerant token ring em-bedding in double loop networks // Inform. Process. Lett. 1998. V. 66. P. 201-207.
7. Абросимов М. Б. О сложности некоторых задач, связанных с расширениями графов // Матем. заметки. 2010. №5(88). С. 643-650.
8. Абросимов М. Б. Минимальные k-расширения предполных графов // Изв. вузов. Математика. 2003. №6(493). С. 3-11.
9. Абросимов М. Б. Минимальные расширения неориентированных звезд // Теоретические проблемы информатики и ее приложений. Саратов: СГУ, 2006. Вып. 7. С. 3-5.
10. Абросимов М. Б. Минимальные расширения транзитивных турниров // Вестник Томского госуниверситета. Приложение. 2006. № 17. С. 187-190.
