CC BY
73
2014 Прикладная теория графов №4(26)
УДК 519.178
О МЕРАХ ЦЕЛОСТНОСТИ ГРАФОВ: ОБЗОР
В. В. Быкова
Институт математики и фундаментальной информатики Сибирского федерального университета, г. Красноярск, Россия
E-mail: [email protected]
Дан краткий обзор по детерминированным мерам целостности графов. Приводятся известные соотношения между этими мерами и оценки, выраженные через традиционные числовые параметры графа. Меры анализируются с точки зрения сложности вычисления и положенных в их основу моделей повреждения элементов графа, учёта объёма и последствий этих повреждений. Указан ряд открытых проблем.
Ключевые слова: графы, целостность, прочность, число рассеяния, стойкость, степень разрушения, окрестная целостность, доминирующая целостность.
Введение
Известно, что в связном графе любые две несовпадающие вершины соединены хотя бы одной цепью. При удалении некоторого множества вершин или рёбер связность графа может быть нарушена. В зависимости от того, сколько и какие элементы удаляются, какими действиями по отношению к исходному графу сопровождаются удаления этих элементов, количественно по-разному может выглядеть результирующий граф с точки зрения числа и размера сформировавшихся компонент связности. Конечно, многое зависит и от структурных особенностей исходного графа. Для учёта и оценки всех этих факторов введено понятие целостности (или живучести) графа [23], которое является обобщением связности. Считается, что более целостным является тот граф, связность которого нарушается при удалении большего числа элементов и последствия этих удалений минимальные (например, результирующий граф имеет достаточно мощную по числу вершин компоненту связности или число компонент в результирующем графе относительно мало) [45]. Для измерения уровня целостности графа применяются количественные показатели, называемые мерами целостности.
Исследования по количественной оценке целостности графов начались в 1927 г. с введения понятий вершинной и рёберной связности и доказательств теоремы Менге-ра [9]. Уже предложены и изучены многие детерминированные и вероятностные меры целостности. Эти меры главным образом различаются:
— моделью повреждения графа (какие элементы исходного графа удаляются; какими действиями по отношению к исходному графу сопровождаются удаления этих элементов; что представляет собой результирующий граф);
— моделью измерения объёма повреждений, то есть числа удаляемых элементов графа (учитывать или нет, и если да, то как);
— моделью учёта последствий повреждения графа (учитывать или нет, а если да, то как, через размер наибольшей компоненты связности графа, стоимость нанесенного ущерба или полученного выигрыша и т. п.).
Все последние десятилетия и до настоящего времени проблеме исследования мер целостности графов уделяется особое внимание, поскольку она связана с вопросами анализа и синтеза отказоустойчивых сложных технических систем, включая вычислительные системы, коммуникационные и транспортные сети, трубопроводные системы [4, 26, 41]. Для таких систем отказоустойчивость, как правило, является важнейшим показателем качества функционирования [2, 4, 5, 10]. Понятие отказоустойчивости было введено А. Авиженисом [20] как свойство системы сохранять работоспособность (правильность функционирования) при наличии ошибок или отказов.
Принято выделять два уровня отказоустойчивости [2]: полная отказоустойчивость — система продолжает работать в случае отказов отдельных ее элементов без существенной потери функциональных свойств; амортизация отказов — система деградирует, то есть сохраняет работоспособность с частичной потерей функций.
Полная отказоустойчивость достигается в первую очередь введением избыточности, например, дублированием элементов системы с возможностью замены отказавшего элемента на исправный, который берет на себя соответствующие функции. Избыточность в виде аппаратных, программных, информационных и временных ресурсов является классическим подходом обеспечения отказоустойчивости, который, как правило, ведет к повышению стоимости систем [2, 4, 17]. Поэтому проектирование сложных технических систем — это, прежде всего, поиск компромисса между допустимой стоимостью и требуемой отказоустойчивостью системы. Для решения подобных задач привлекаются различные математические модели и методы оптимизации.
В задачах анализа и синтеза отказоустойчивых систем достаточно широко используются методы теории графов и комбинаторной оптимизации [2, 5, 10, 16, 38]. Техническая система представляется в виде связного графа, вершины которого соответствуют элементам системы, а рёбра — связям между элементами. Тогда отказ элемента технической системы можно интерпретировать как удаление надлежащего элемента графа, а потерю связи между элементами — как отсутствие ребра или цепи между соответствующими вершинами графа. В рамках теоретико-графового представления в работе [38] предложена модель для исследования полной отказоустойчивости. При моделировании исходной системы связным графом последний погружается в некоторый минимальный избыточный граф, который рассматривается в качестве отказоустойчивой реализации исходной системы. Минимизация избыточности — одна из основных целей при проектировании отказоустойчивых систем. В рамках этой модели получены многочисленные результаты, представленные в [1, 2, 5, 10, 11, 15, 16] и во многих других работах отечественных и зарубежных авторов. Данные результаты направлены преимущественно на синтез к-отказоустойчивых реализаций систем, где к — наибольшее число одновременных отказов элементов исходной системы.
Для исследования амортизации отказов также применяются теоретико-графовые модели и методы. Система считается полностью работоспособной, если соответствующий ей граф связный. Отказы ведут к повреждению надлежащих элементов графа. Меры целостности графа позволяют оценить частичную потерю работоспособности системы вследствие отказа её элементов или связей между ними. Данные меры применяются при решении задач анализа отказоустойчивости технических систем.
В данной работе представлен обзор по основным детерминированным мерам целостности графа. Приведены известные соотношения между этими мерами и оценки, выраженные через традиционные числовые параметры графа. Обзор выполнен по научным изданиям, представленным в списке литературы.
1. Основные понятия и обозначения
Введём понятия и обозначения теории графов, необходимые для дальнейшего изложения. Все неопределяемые ниже термины можно найти в [9]. Будем рассматривать только простые графы, то есть конечные неориентированные графы без петель и кратных рёбер.
Пусть О = (V, Е) —простой связный граф с множеством вершин V и множеством рёбер Е, при этом п = IV| ^ 1 —порядок графа О. Напомним, что связный граф всегда состоит только из одной компоненты, в которой любые две несовпадающие вершины и и V соединены (и^)-цепью. При п > 1 две вершины и и V графа О = (V, Е) смежны, если {и^} Е Е, и не смежны в противном случае. Ребро е инцидентно вершине и, если е = {и^} Е Е, и не инцидентно иначе. Множество всех вершин графа О = (V, Е), смежных с некоторой вершиной V Е V, образует в О окрестность вершины V, которая обозначается через N(V). Под замкнутой окрестностью вершины V Е V в О понимается множество N[V] = N(V) и {V}. Пусть Б С V. Тогда множество вершин
N (Б) = ( и N (V) \ Б называется окрестностью, а множество N [Б] = N (Б) и Б — Ч^ез )
замкнутой окрестностью для Б в графе О. Граф порядка п, в котором любые две вершины смежны, называется полным и обозначается через Кп. Безрёберный граф порядка п обозначается через 0П. Одновершинный граф 0\ (или К\) считается тривиальным.
Граф Н = ^',Е') называется подграфом графа О = (V, Е) при условии, что V' С V, Е' С Е. Если V' = V, то Н называется остовным подграфом. Если в Н множество вершин есть V', а множество рёбер совпадает с множеством всех рёбер графа О, оба конца которых принадлежат V', то Н называется подграфом, порождённым множеством V', и обозначается через О^'). Такой граф можно получить удалением из О всех вершин, не принадлежащих V', поэтому его обозначают также через О — Б, где Б = V \ V'.
Множество вершин Б С V разделяет несмежные вершины и и V графа О = (V, Е), если в графе О — Б вершины и и V принадлежат различным компонентам связности. Множество Б при этом называют (и, v)-сепаратором и минимальным (и^)-сепа-ратором, если в нём нет собственного подмножества, являющегося (и, V)-сепаратором. Сепаратор Б минимальный, если в О существует такая пара вершин и и V, что Б является минимальным (и, v)-сепаратором, то есть минимальным относительно по крайней мере двух вершин этого графа. Наименьший по мощности сепаратор графа О называется наименьшим. Аналогичным образом определяются разрез (или разделяющее множество рёбер), минимальный и наименьший разрез графа.
Необходимо отметить, что при удалении из графа О = (V, Е) некоторой вершины V Е V всегда удаляются все рёбра, инцидентные этой вершине. Полученный в результате граф принято обозначать через О — V. Подобным образом определяется граф О — е: он получается из О = (V, Е) удалением ребра е = {и^} Е Е, при этом концевые вершины и и V этого ребра остаются в V. Удаление вершины или ребра, а также переход к подграфу — это операции, с помощью которых можно моделировать отказы элементов системы и получать из имеющегося исходного графа другие графы с меньшим числом элементов. Операция добавления ребра, наоборот, позволяет создавать из заданных графов более насыщенные рёбрами графы. Целью такого насыщения может быть увеличение устойчивости сетей к возможным дестабилизирующим факторам. Операция добавления ребра заключается в следующем: если вершины и^ Е V графа О = (V, Е) не смежны, то в графе О + е они смежны и соединены ребром е = {и, V}.
Далее используются следующие обозначения основных числовых параметров графа С: к(С) —число компонент связности; и>(С) —порядок наибольшей (по числу вершин) компоненты связности; ¿(С) —минимальная степень вершин; А(С) —максимальная степень вершин; а0(С) и а^С) —число независимости и число паросочетания соответственно; ^(С) —число рёберного покрытия; х(С) —хроматическое число; <^(С) — кликовое число; 7(С)—число доминирования. Данные параметры трактуются так, как они определены в [9]. Под обозначением [ж] будем понимать наименьшее целое число, большее или равное ж.
2. Вершинная и рёберная связность графа
Вершинная и рёберная связность графа — первые количественные показатели, с помощью которых начали измерять целостность графов.
Число вершинной связности к(С) графа С = (V, Е) определяется следующим образом:
к(С) = тт{|£| : к(С - 5) > 1 или С — 5 = О1}, (1)
то есть это наименьшее число вершин, удаление которых приводит к несвязному или тривиальному графу. Другими словами, число к(С) задает размер наименьшего сепаратора графа С. Исключение составляет лишь граф Кп, в котором нет сепараторов вообще, хотя к(Кп) = п — 1. Граф /-связен, если к(С) ^ /. Согласно теореме Менгера [9], к(С) ^ / тогда и только тогда, когда любая пара несовпадающих вершин графа С соединена по крайней мере / вершинно-непересекающимися простыми цепями.
Аналогичным образом определяется число рёберной связности ^(С) графа С =(У,Е):
^(С) =ш1п{|51 : к(С — 5) > 1},
ЯсЕ
то есть ^(С) —это наименьшее число рёбер, удаление которых из С приводит к несвязному графу. По определению число ^(С) определяет размер наименьшего разреза графа С. Граф рёберно-/-связен, если ^(С) ^ /. Из рёберного варианта теоремы Менгера следует, что ^(С) ^ / тогда и только тогда, когда всякая пара несовпадающих вершин графа С связана не менее чем / рёберно-непересекающимися простыми цепями.
Значения числовых параметров к(С) и ^(С) применительно к проблеме целостности графа можно интерпретировать так: это объём повреждений (число элементов или связей между элементами графа), после удаления которых граф утрачивает способность поддерживать связь между некоторыми парами вершин. Поэтому чем выше значения к(С) и ^(С), тем более целостным является граф С. Следует отметить, что в данном случае никак не учитывается, сколько компонент содержит граф С—5 и каковы размеры этих компонент. При этом для всякого несвязного графа к(С) = ^(С) = 0.
Меры связности к(С) и ^(С) хорошо изучены в теории графов. В частности, установлено, что для любого графа С = (V, Е), п = IV | ^ 1, верны отношения [9]
0 ^ к(С) ^ МС) ^ ¿(С) ^ п — 1. (2)
Например, к(Кп) = ^(Кга) = ¿(Кп) = п — 1 и к(Оп) = ^(Ога) = ¿(Оп) = 0. Показано, что задача вычисления к(С) и ^(С) для произвольного графа С сводится к задаче о максимальном потоке и минимальном разрезе и является разрешимой за полиномиальное время [12, 13]. Тем не менее вершинная и рёберная связность находят лишь ограниченное применение в анализе отказоустойчивости систем, поскольку в них учитывается лишь объём повреждений и игнорируются многие важные факторы, связан-
ные с последствиями повреждений. В настоящее время для учёта подобных факторов предложены и изучены другие числовые параметры графа.
3. Вершинная и рёберная целостность
Понятия вершинной и рёберной целостности были введены в 90-е годы XX столетия К. Багга, К. Барфутом, Р. Энтрингером и Г. Свортом [21-23]. На сегодняшний день это наиболее изученные меры целостности графа.
Под вершинной целостностью (vertex integrity) графа G = (V, E) понимается числовой параметр I(G), вычисляемый по формуле
I(G)=min{|S| + w(G - S)}, (3)
где w(G — S) — порядок наибольшей компоненты связности графа G — S. Заметим, что формула (3) применима как для связного, так и для несвязного графа.
Согласно (3), вершинная целостность графа выражается через сумму двух слагаемых:
— число |S| удаляемых вершин. Характеризует объём повреждений;
— порядок w(G — S) самой крупной компоненты графа G — S, в границах которой
взаимные связи между вершинами ещё возможны. Отражает, насколько сильно
повреждён граф.
Считается, что всякая вышедшая из строя вершина v Е S не может поддерживать связи с другими вершинами, поэтому она удаляется из графа G вместе с инцидентными ей рёбрами. В результате получается граф G — v. Одновременное повреждение всех вершин из S С V приводит к подграфу G — S графа G, который представляет собой работоспособную часть системы, состоящую из одного или более фрагментов. Величина w(G — S) характеризует размер самого крупного фрагмента системы, который образовался после выхода из строя сразу всех вершин из S. Из (1) и (3) следует, что вершинная целостность I(G) как мера целостности графа является обобщением k(G), учитывающим не только объём повреждений, но и последствия повреждений в виде порядка самой крупной компоненты графа G — S. Ясно, что чем выше значение I(G), тем более целостным или живучим является граф G.
Утверждение 1. Для любого графа G = (V, E) справедливы высказывания:
а) если v Е V, то I(G — v) ^ I(G);
б) если e Е E, то I(G — e) ^ I(G);
в) если u, v Е V, то I(G) ^ I(G + e), где e = {u, v};
г) если H есть подграф графа G, то I(H) ^ I(G).
Высказывания, сформулированные в утверждении 1, очевидным образом следуют из определения вершинной целостности и соответствующих операций над графами. Утверждение 1 свидетельствует, что удаление отдельных элементов графа может снижать его вершинную целостность. Например, I(Kn) = n и I(On) = 1. Очевидно, что любой граф порядка n можно получить удалением из Kn некоторых, а возможно, и всех его рёбер. Поэтому в общем случае для вершинной целостности графа G = (V, E) верны естественные границы: 1 ^ I(G) ^ n, n = |V| ^ 1. Наибольшее значение вершинной целостности достигается на полном графе, а наименьшее — на безрёберном графе. Из утверждения 1 также следует, что вершинная целостность всякого остовно-го подграфа графа G не выше вершинной целостности графа G в целом.
Обозначим через W(S) = |S| + w(G — S) значение целевой функции в (3) при заданном множестве S. Отсюда
I (G) = min W (S)
SCV
и для любого S С V
I(G) ^ W(S) = |S| + w(G — S).
В частности, при S = 0 всегда I(G) ^ w(G — S) = w(G).
Множество S, для которого достигается минимум W (S), то есть I (G) = |S | + + w(G — S), принято называть I-множеством. Для заданного графа может существовать несколько I-множеств. Наименьшее по мощности I-множество называется наименьшим. Очевидно, что для связного графа G = (V, E) при S = 0 или S = V всегда W(S) = n. Кроме того, если S не является сепаратором графа G, то также W(S) = n. Значит, если связный граф G неполный, то минимум W(S) может достигаться только на сепараторах этого графа G. Другими словами, в неполном связном графе G всякое I-множество является сепаратором G и, следовательно, содержит не менее k(G) вершин.
Другое важное с вычислительной точки зрения свойство I-множества сформулировано в следующем утверждении, детали доказательства которого приведены в [37]. Утверждение 2. Для любого связного нетривиального графа G = (V, E)
I (G) = 1 + min I (G — v). (4)
v€V
Для нетривиального графа, который не обязательно связен, формула (4) принимает
вид I(G) = min < 1 + minI(G — v),w(G)
I v€V
Пусть Gv = G — v, v G V. Систему {Gv : v G V} подграфов принято называть колодой графа G = (V, E) [9]. Таким образом, утверждение 2 указывает рекуррентный способ вычисления вершинной целостности графа через его колоду.
Как отмечено выше, число вершинной связности k(G) определяет размер наименьшего по мощности сепаратора графа G, а I-множества в неполном связном графе G обязательно являются сепараторами. Следовательно, справедливо неравенство
k(G) + 1 ^ I(G), (5)
которое задаёт нижнюю оценку целостности графа. Оценка (5) выполняется для любого графа, так как, согласно (2), всегда k(G) ^ ^(G) и
¿(G) + 1 ^ I(G). (6)
Правильность (6) основана на следующих рассуждениях. Для всякого I-множества графа G верны отношения
w(G — S) ^ ¿(G — S) + 1 ^ ¿(G) — |S| + 1,
поэтому
I(G) = |S| + w(G — S) ^ ¿(G) + 1.
Примечательно, что нижние оценки (5), (6) вычисляются за полиномиальное время.
Используя (6), можно получить другие нижние оценки. В частности, всегда
х(О) ^ I(О). (7)
Действительно, если х(О) = г, то в графе О существует порождённый подграф Н, для которого $(Н) ^ г — 1. По утверждению 1 имеем I(О) ^ I(Н) ^ $(Н) + 1 ^ г = х(О), что подтверждает (7). Из известного неравенства <^(О) ^ х(О) [9] следует оценка
¥>(О) ^ I(О). (8)
Заметим, что оценки (7), (8) трудновычисляемые, для их определения пока не найдены алгоритмы с полиномиальным временем работы [6]. Вследствие этого они не представляют большого интереса для анализа отказоустойчивости сетевых структур.
Одна из верхних оценок вершинной целостности графа выражается через число вершинного покрытия этого графа:
I(О) ^ во(О) + 1. (9)
В самом деле, число вершинного покрытия графа определяется следующим образом:
во (О) = шт{|Б I : ад(О — Б) ^ 1}.
Пусть Б * —наименьшее вершинное покрытие графа О порядка п. Это означает, что всякое ребро графа О инцидентно хотя бы одной вершине из Б * и |Б*| = во (О). Удаление из О всех вершин, принадлежащих Б*, приводит к (п — |Б*|)-элементному множеству изолированных вершин. Отсюда Ш(Б*) = во(О) + 1. Поскольку I(О) ^ Ш(Б) для любого Б С V, оценка (9) верна. Заметим, что она также трудновычисляемая [6].
Равенство в (5)-(9) достигается на полных, безрёберных и двудольных графах К1п-1 (п ^ 3) типа «звезда».
В теории графов доказано, что для любого графа О = (V, Е) число независимости а0(О) и число вершинного покрытия во (О) связаны между собой отношением а0(О) + во (О) = п, п = ^| ^ 1. Значит, оценку (9) можно записать следующим образом:
I(О) ^ п + 1 — ао(О).
Это неравенство даёт возможность использовать известные полиномиально вычисляемые нижние оценки для ао(О) [9]. Так, нижняя оценка для числа независимости графа
п
^ ао(О)
1+Д(О)
приводит к верхней оценке вершинной целостности этого графа
Т)
I(О) ^ п +1 —
1 + A(G)'
Параметр I(G) имеет рёберный аналог, называемый рёберной целостностью и являющийся обобщением числа рёберной связности. Рёберная целостность (edge integrity) графа G = (V, E) определяется формулой
I'(G)=mn{|S | + w(G — S)}, (10)
где w(G — S) —порядок наибольшей компоненты связности графа G — S, получаемого удалением из G множества рёбер S С E. Здесь также I'(G) ^ w(G).
Множество рёбер S, для которого I'(G) = |S|+w(G —S), называется I'-множеством, а наименьшее по мощности такое множество — наименьшим I'-множеством. Чем выше значение I'(G), тем более целостным является граф G. Как и (3), формула (10) применима для связного и несвязного графа. Между тем, если граф G неполный и связный, то всякое I'-множество является разрезом этого графа и, следовательно, содержит не менее ^(G) рёбер.
Из определения рёберной целостности следует, что значение I'(G) не возрастает при удалении отдельных элементов графа G, о чем свидетельствует
Утверждение 3. Для любых графов G = (V, E) и H = (V', E'), V' С V, E' С E, всегда
I'(H) ^ I'(G).
Подобно тому, как k(G) ^ ^(G), вершинная целостность никогда не превышает рёберной целостности графа, так как операция удаления вершины способна сильнее повредить граф, чем операция удаления отдельного ребра: при удалении вершины удаляются все инцидентные ей ребра, и таких рёбер в графе порядка n может быть до n — 1. Поэтому для любого графа G = (V, E), n = |V | ^ 1, в общем случае верны неравенства
1 ^ I(G) ^ I'(G) ^ n. (11)
Совпадение значений вершинной и рёберной целостности имеет место, например, для полных и безрёберных графов: I(Kn) = I'(Kn) = n и I(On) = I'(On) = 1. Однако на графе K1n-1 (n ^ 3) типа «звезда» хорошо видна разница между значениями этих двух параметров. В графе K1n-1 центральная вершина является сепаратором, и при её удалении от данного графа остаются только n — 1 изолированных вершин. Вследствие этого I(Ki,n-i) = 2. Для сравнения, удаление одного любого ребра из Ki,n-i снижает порядок крупнейшей компоненты связности лишь на единицу, поэтому
I'(Ki,n-i) = n ^ 3. (12)
Для полного двудольного графа Kpq (p + q = n ^ 3) имеем подобную ситуацию:
I(Kp,q) = min{p, q} + 1, I'(Kp,q) = p + q, I(KM) < I'(KM).
С другой стороны, значения вершинной и рёберной целостности сопоставимы на простых цепях Pn (n ^ 1) [22]:
I (Pn) = I~2^(n + 1)] — 2,
I'(Pn) = — 1. (13)
Согласно (11), нижние оценки (5)-(8) для I(G) являются также нижними оценками для I'(G). Дополнительные нижние оценки представлены в следующем утверждении.
Утверждение 4. Для любого графа G = (V, E), n = |V| ^ 1, верно неравенство
A(G) + 1 ^ I'(G). (14)
Если граф G связный, то
|"2Vn — 1 ^ I'(G). (15)
Если граф G двусвязный, что означает ^(G) ^ 2, то
min , n} ^ I'(G). (16)
Правильность оценок (14), (15) следует из утверждения 3 и равенств (12), (13): достаточно выбрать в G подграф типа «звезда» с центральной вершиной, отвечающей вершине наибольшей степени, и простую цепь максимальной длины. Пусть граф G порядка n имеет ^(G) ^ 2, S С E и k — число компонент связности графа G — S. Тогда при k > 1 справедливы очевидные неравенства m(G — S) ^ n/k, |S| ^ k^/2. Минимизация относительно k суммы правых частей этих неравенств даёт оценку (16). Более детальное доказательство утверждения 4 можно найти в [22].
Для узких классов графов обнаружено много других верхних и нижних оценок вершинной и рёберной целостности, а в ряде случаев получены и точные формулы их вычисления. Так, оценки для кубических графов представлены в работах [18, 55], тотальных графов — в [7, 57], графов типа «клетка»—в [19], деревьев и циклов — в [24, 46].
Доказано, что задачи вычисления вершинной и рёберной целостности графа NP-полные [30]. Распознавательные варианты этих задач формулируются следующим образом.
VERTEX INTEGRITY
Условие: заданы граф G = (V, E) и целое число 1 ^ L ^ n = |V|.
Вопрос: верно, что I(G) ^ L?
EDGE INTEGRITY
Условие: заданы граф G = (V, E) и целое число 1 ^ L ^ n = |V|.
Вопрос: верно, что I'(G) ^ L?
Установлено, что VERTEX INTEGRITY и EDGE INTEGRITY остаются NP-пол-ными задачами для планарных графов [30], но полиномиально разрешимы на деревьях, «кактусах» [40], расщепляемых и интервальных графах, графах перестановок [43, 48, 56, 58]. Доказано также, что задача VERTEX INTEGRITY является NP-полной в классе хордальных графов [35]. Между тем для этой задачи в [36] установлена возможность нахождения решения за время O(L3Ln), что свидетельствует о её FPT-разрешимости относительно L [3, 27, 28, 34]. Поиск новых нижних и верхних оценок для I(G) и I'(G), а также классов графов, на которых полиномиально разрешимы задачи VERTEX INTEGRITY и EDGE INTEGRITY, актуален по-прежнему. Это обусловлено высокой вычислительной сложностью нахождения точных значений вершинной и рёберной целостности произвольного графа.
Значительная вычислительная сложность свойственна и взвешенным версиям задач VERTEX INTEGRITY и EDGE INTEGRITY. Наиболее изученной из них является WEIGHTED VERTEX INTEGRITY. Пусть на множестве вершин графа G = (V, E) задана весовая функция w : V ^ N и вес подмножества S С V определяется суммой
w(S) = w(v).
ves
Обозначим вес графа G = (V, E) через w(G). Если граф G связен, то w(G) — вес множества вершин V. Если граф G не связен, то w(G) —вес самой «тяжелой» компоненты связности графа G, то есть w(G) = w(H), где H — компонента связности, вес которой не меньше веса любой другой компоненты графа G. Тогда взвешенная вершинная целостность (weighted vertex integrity) определяется формулой
WI (G) = min{w(S) + w(G — S)}.
Если веса всех вершин равны 1, то эта формула вырождается в определение вершинной целостности (3). Распознавательный вариант задачи нахождения взвешенной вершинной целостности формулируется следующим образом.
WEIGHTED VERTEX INTEGRITY
Условие: заданы граф G = (V, E), весовая функция w : V ^ N и целое число
1 ^ L ^ n = |V|.
Вопрос: верно, что WI(G) ^ L?
Данная задача была впервые поставлена и исследована в работе [47]. Доказано, что она является NP-полной и остаётся NP-полной на таких классах графов, как деревья, планарные, двудольные, последовательно-параллельные, регулярные и хордаль-ные графы. Позднее в [48] для интервальных графов предложен алгоритм с полиномиальным временем работы. Для многих других классов графов вопрос о вычислительной сложности WEIGHTED VERTEX INTEGRITY остаётся открытым.
4. Показатели, родственные мерам связности и целостности графа
Для анализа отказоустойчивости систем наряду с вершинной и рёберной целостностью часто применяются числовые параметры графа, сочетающие в себе элементы мер связности и целостности графа: прочность, число рассеяния, стойкость и степень разрушения [57].
Прочность (toughness) и число рассеяния (scattering number) учитывают число удаляемых вершин графа и количество компонент связности, получившихся после их удаления. Формально эти показатели для неполного связного графа G = (V, E) определяются следующим образом:
и для полного графа т(Kn) = œ. Сравнение (17), (18) с формулой (1) приводит к выводу: прочность и число рассеяния — это обобщения k(G), учитывающие последствия повреждения исходного графа G через число компонент связности графа G — S. В отличие от k(G), задачи вычисления т(G) и s(G) являются NP-трудными [25, 59]. Идея прочности графа принадлежит В. Хваталу [29]. Он использовал это понятие при исследовании гамильтоновых циклов в графах. Действительно, если граф G гамиль-тонов, то для любого его сепаратора S всегда k(G — S) ^ |S| [14, 29]. Поэтому каждый гамильтонов граф G имеет прочность т(G) ^ 1.
Стойкость (tenacity) и степень разрушения (rupture degree) учитывают не только число удаляемых вершин графа и количество компонент связности, получившихся после их удаления, но и размер крупнейшей компоненты. Эти показатели для неполного связного графа G вычисляются по формулам
(17)
s(G) = max {k(G — S) — |S| : k(G — S) > 1} ,
(18)
(19)
r(G) = max {k(G — S) — |S| — w(G — S) : k(G — S) > 1} ,
(20)
и для полного графа Т(Кп) = п и г(С) = п — 1. Формулы (19), (20) обобщают определения числа вершинной связности (1) и вершинной целостности (3). Доказано, что задачи вычисления стойкости и степени разрушения графа КР-трудные [42, 44].
Между приведёнными количественными показателями графа установлены следующие отношения.
Утверждение 5 [57]. Если О = (V, Е) является неполным связным графом порядка п = | V |, то справедливы неравенства
2к(О)
т(G) ^
r(G) + n + Г
I (Ki,n-i) = 2,
s(Ki,n-i) = n — 2,
r(Ki,n-i) = n — 3.
I(G) ^ s(G) + nT(G),
T(G) ^ т(G) + 11(G), n n + 1
r(G) < T(G++T — I(G)-r(G) < (n +1 — I (G)) — «j^
Заметим, что верхние и нижние границы в указанных неравенствах достигаются на графе Kin-i (n ^ 3), для которого
k(Ki,„-I) = 1, т (Ki,n-i) = 1/(n — 1), T (Ki,ra-i) = 2/(n — 1),
В работах [22, 39, 52, 59] исследованы рёберные аналоги т(G), s(G), T(G) и r(G).
5. Окрестная целостность
Рассмотренные меры целостности базируются на простейшей модели повреждения графа G = (V, E), которая определяется операциями удаления множества его вершин S С V или рёбер S С E, а результирующий граф представляется графом G — S. Между тем возможны и другие модели повреждений. Например, можно применять операции сильного удаления вершин и рёбер графа, которые оказывают более мощное разрушающее воздействие на модельный граф, чем обычные операции удаления.
Под сильным удалением вершины v Е V в графе G = (V, E) принято понимать такую операцию удаления, когда вместе с вершиной v удаляются все вершины, образующие её окрестность (конечно, со всеми инцидентными им рёбрами). В результате получается граф G ^ v = G — N[v], где символом ^ обозначена операция сильного удаления элемента графа. Сильное удаление ребра e = {u,v} Е E приводит к графу G ^ e = G — u — v, то есть в данном случае удаляется не только само ребро, но и концевые вершины этого ребра. Такая модель разрушения применяется в анализе отказоустойчивости особых сетей связи. В подобных сетях операция сильного удаления вершины интерпретируется следующим образом: при отказе некоторого узла все примыкающие к нему узлы считаются «преданными» и поэтому становятся бесполезными для остальной части сети. Операция сильного удаления ребра означает, что при отказе канала связи между отдельными двумя узлами становятся также бесполезными сами эти узлы и инцидентные с ними каналы связи. Меры целостности, использующие такую модель разрушения, называются окрестными [8, 31, 32].
Вершинной окрестной целостностью (vertex neighbor integrity) графа G = (V, E) называется величина
VNI(G) = min{|S| + w(G ^ S)},
где w(G ^ S) —порядок наибольшей компоненты связности графа G ^ S, который получается из G сильным удалением всех вершин, входящих в S С V. Множество S, для которого VN/(G) = |S| + w(G^ S), называется VNI-множеством, или вершинной стратегией разрушения графа G.
Рёберная окрестная целостность (edge neighbor integrity) графа G = (V, E) определяется аналогичным образом:
ENI(G) = min{|S| + w(G ^ S)},
SCE
где w(G ^ S) —порядок наибольшей компоненты связности графа G^ S, являющегося результатом сильного удаления из G множества рёбер S С E. Множество S, для которого ENI(G) = |S| + w(G^ S), называется ENI-множеством, или рёберной стратегией разрушения графа G.
Установлено, что задачи вычисления VN/(G) и ENI(G) являются NP-трудны-ми [31, 32]. Поэтому усилия многих исследователей были направлены на получение нижних и верхних оценок. В следующем утверждении представлены наиболее значимые из них.
Утверждение 6 [32]. Для любого графа G = (V, E) верны оценки
VN/(G) ^ ENI(G), ENI(G) ^ /(G) ^ /'(G), [/(G)/2] ^ EN/(G), EN/(G) ^ ei(G).
Например, для графа K1,n-1 (n ^ 3) справедливы равенства /(Ki,ra-i) = 2, /'(Ki,ra-i) = n, VN/(Ki,ra-i) = 1, EN/(Ki,ra-i) = 2, ^i(Ki,n-i) = n - 1, а для полного графа Kn (n ^ 2)
/(Kn) = /'(Kn) = n, VN/(Kn) = 1, EN/(Kn) = [n/2] , £i(Kn) = [n/2] ,
которые отвечают оценкам утверждения 6.
6. Доминирующая целостность
Примечательно, что в формулах вычисления рассмотренных выше мер целостности множество удаляемых элементов S — произвольное подмножество вершин или рёбер графа. Однако можно потребовать, чтобы множество S удовлетворяло определённым свойствам, например являлось доминирующим. Именно такая модель повреждения графа использована в работах [49-51, 53, 54] по исследованию доминирующей вершинной целостности.
Напомним, что отношение доминирования определено только для вершин графа [9, 33]. Подмножество S С V графа G = (V, E) называется доминирующим, если для любой вершины u Е V \ S существует вершина v Е S, такая, что e = {u, v} Е E. Это означает, что каждая вершина графа находится на расстоянии не более единицы от доминирующего множества. Иначе говоря, каждая вершина графа или входит в доминирующее множество, или смежна хотя бы с одной вершиной из него. Наименьшее по мощности доминирующее множество называется наименьшим. Число вершин
в наименьшем доминирующем множестве графа G определяет число доминирования, которое обозначается через y(G).
Применительно к техническим системам доминирование представляет собой отношение непосредственной подчинённости между элементами системы. Оно даёт возможность выделить множество элементов, которые жизненно важны и управляют другими элементами. Отказ (или удаление) доминирующего множества элементов приводит к хаосу в системе, потому что не только процесс управления будет парализован, но и связь между остальными элементами будет сведена к минимуму. Чтобы можно было учитывать эти обстоятельства, авторы работы [49] в 2009 г. ввели понятие доминирующей целостности.
Доминирующая целостность (domination integrity) графа G = (V, E) обозначается через DI(G) и определяется формулой
DI(G) = min{|S| + w(G — S) : S — доминирующее множество},
где w(G — S) —порядок наибольшей компоненты связности графа G — S. Множество S, для которого DI(G) = |S| + w(G — S), называется DI-множеством. Очевидно, что
Y(G) + 1 ^ DI(G).
В частности, для безрёберного графа On (n ^ 1) имеем 7(On) = n и DI(On) = n; для полного графа Kn (n ^ 1) справедливы равенства Y(Kn) = 1 и DI(Kn) = n, а для графа Kin-i (n ^ 3) всегда Y(Kin-i) = 1 и DI(Kin-i) = 2. Заметим, что операция сильного удаления доминирующего множества разрушает граф полностью, так как приводит к удалению множества вершин N [S] = V, вследствие чего результирующий граф становится пустым.
Научных изданий, посвящённых доминирующей целостности графов, пока немного. В работах [49-51] исследована доминирующая целостность путей, циклов, биномиальных и полных k-деревьев. В работах [53, 54] доминирующая целостность изучена в контексте операций расширения графа путём дублирования вершин и рёбер. Целью подобных расширений является повышение доминирующей целостности анализируемого графа.
Заключение
Для количественной оценки целостности графов уже предложены и изучены многие меры, выраженные через числовые параметры графа. Задачи вычисления известных на сегодняшний день детерминированных мер целостности и соответствующих им экстремальных множеств графа носят комбинаторный характер и являются, как правило, NP-трудными. Исследования проблемы целостности графов ведутся по следующим основным направлениям:
— совершенствование существующих и разработка новых моделей повреждения, и как следствие, создание и изучение новых мер целостности;
— введение взвешенных версий известных мер;
— анализ задач вычисления мер целостности и соответствующих им экстремальных множеств графа в рамках классической и параметрической теории сложности вычислений, выявление полиномиально разрешимых случаев для этих задач;
— установление нижних и верхних оценок мер целостности через традиционные числовые параметры графа, такие, как число вершинного покрытия, хроматическое число и другие;
— характеризация классов графов, удовлетворяющих заданному уровню целостности;
— получение формул вычисления мер целостности для узких классов графов.
Разработка и применение вычислительных систем в критических областях, а также стремительное развитие различных видов связи стимулируют поиск новых моделей, методов и средств создания отказоустойчивых систем. Актуальны модели повреждений графа, отражающие иерархичность построения систем и управления ими. Для некоторых известных мер целостности по-прежнему открыты вопросы вычислительной сложности применительно к некоторым классам графов. Востребованы алгоритмы вычисления точных и приближённых значений для существующих мер целостности.
ЛИТЕРАТУРА
1. Абросимов М. Б. О сложности некоторых задач, связанных с расширениями графов // Матем. заметки. 2004. №88(5). С. 643-650.
2. Абросимов М. Б. Графовые модели отказоустойчивости. Саратов: Изд-во Сарат. ун-та, 2012.
3. Быкова В. В. FPT-алгоритмы и их классификация на основе эластичности // Прикладная дискретная математика. 2011. №2(12). С. 40-48.
4. Громов Ю. Ю., Драчёв В. О., Набатов К. А., Иванова О. Г. Синтез и анализ живучести сетевых систем. М.: Машиностроение, 2007.
5. Грязнов Н. Г., Димитриев Ю. К., Мелентьев В. А. Оптимизация отказоустойчивого вложения диагностического графа в тороидальные структуры живучих вычислительных систем // Автоматика и телемеханика. 2003. №4. С. 133-152.
6. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.
7. Дундар П., Айтак А. Выражения целостности тотальных графов через некоторые характеристики графов // Матем. заметки. 2004. №76(5). С. 714-722.
8. Дундар П., Айтак А., Айтак В. Вычисление индекса доступности и окрестной целостности графа // Матем. заметки. 2005. №78(5). С. 676-686.
9. Емеличев В. А, Мельников О. И., Сарванов В. И., Тышкевич Р. И. Лекции по теории графов. М.: Книжный дом «ЛИБРОКОМ», 2012.
10. Каравай М. Ф. Применение теории симметрии к анализу и синтезу отказоустойчивых систем // Автоматика и телемеханика. 1996. №6. С. 159-173.
11. Каравай М. Ф. Инвариантно-групповой подход к исследованию k-отказоустойчивых структур // Автоматика и телемеханика. 2000. №1. С. 144-156.
12. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: Вильямс, 2012.
13. Кристофидес Н. Теория графов: алгоритмический подход. М.: Мир, 1978.
14. Ловас Л., Пламмер М. Прикладные задачи теории графов. Теория паросочетаний в математике, физике, химии. М.: Мир, 1998.
15. Салий В. Н Минимальные примитивные расширения ориентированных графов // Прикладная дискретная математика. 2008. №1(1). С. 116-119.
16. Салий В. Н Оптимальные реконструкции графов // Современные проблемы дифференц. геометрии и общей алгебры. Саратов: Изд-во Сарат. ун-та, 2008. С. 59-65.
17. Хорошевский В. Г. Архитектура вычислительных систем. М.: МГТУ им. Н. Э. Баумана, 2008.
18. Atici M., Crawford R., and Ernst C. New upper bounds for the integrity of cubic graphs // Int. J. Computer Math. 2004. No. 81(11). P. 1341-1348.
110
В. В. BbiKOBa
19. Atici M., Crawford R., and Ernst C. The integrity of small cage graphs // Australasian J. Combinatorics. 2009. No. 43. P. 39-55.
20. Avizienis A. The design of fault tolerant computers // AFIPS Conf. Proc. NY, USA, 1967. P. 733-743.
21. Bagga K. S., Beineke L. W., Goddard W.D., et al. A survey of integrity // Discrete Appl. Math. 1992. No. 37/38. P. 13-28.
22. Bagga K.S., Beineke L.W., Lipman M. J., and Pippert R. E. Edge-integrity: a survey // Discrete Math. 1994. V. 124. P. 3-12.
23. Barefoot C. A., EntringerR., and Swart H. C. Vulnerability in graphs — a comparative survey // J. Combin. Math. Combin. Comput. 1987. No. 1. P. 13-22.
24. Barefoot C. A., Entringer R., and Swart H. C. Integrity of trees and powers of cycles // Congr. Numer. 1987. V. 58. P. 103-114.
25. Bauer D., Hakimi S. L., and Schmeichel E. Recognizing tough graphs is NP-hard // Discrete Appl. Math. 1990. V.28. P. 191-195.
26. Bodlaender H. L., Hendriks A., Grigoriev A., and Grigorieva N. V. The valve location problem in simple network topologies // Informs. J. Computing. 2010. V. 22(3). P. 433-442.
27. Bykova V. V. Parameterized complexity and elasticity of the algorithms // Proc. 14th Appl. Stochastic Models and Data Analysis Int. Conf. (ASMDA2011). Rome, Italy, 2011. P. 219-225.
28. Bykova V. V. Analysis parameterized algorithms on the bases of elasticity to functions complexity // J. Siberian Federal University. Math. & Physics. 2011. No. 4(2). P. 195-207.
29. Chvatal V. Tough graphs and Hamiltonian circuits // Discrete Math. 1973. No. 5. P. 215-228.
30. Clark L. H., Entringer R. C., and Fellows M. R. Computational complexity of integrity //J. Combin. Math. Combin. Comput. 1987. No. 2. P. 179-191.
31. CozzensM.B. and WuS.Y. Vertex-neighbor-integrity of trees // Ars Combinator. 1996. V. 43. P. 169-180.
32. Cozzens M. B. and Wu S. Y. Bounds of edge-neighbor-integrity of graphs // Australasian J. Combinatorics. 1997. V. 15. P. 71-80.
33. DeLaViaE., Pepper R., and Waller B. Lower bounds for the domination number // Discussiones Math. Graph Theory. 2010. V.30(3). P. 475-487.
34. Downey R. G. and Fellows M. R. Parameterized complexity. N.Y.: Springer Verlag, 1999.
35. Drange P. G., Dregi M. S., and Hof P. On the computational complexity of vertex integrity. 2014. http://arxiv.org/abs/1403.6331v1.
36. Fellows M. and Stueckle S. The immersion order, forbidden subgraphs and the complexity of network integrity //J. Combin. Math. Combin. Comput. 1989. No. 6. P. 23-32.
37. Goddard W. and Swart H. C. Integrity in graphs: bounds and basic //J. Combin. Math. Combin. Comput. 1990. No. 7. P. 139-151.
38. Hayes J. P. A graph model for fault-tolerant computing system // IEEE Trans. Comput. 1976. V. 25(9). P. 875-884.
39. Katona G. Y. Toughness and edge-toughness // Discrete Math. 1997. V. 164. P. 187-196.
40. Kratsch D., Kloks T., and Muller H. Measuring the vulnerability for classes of intersection graphs // Discrete Appl. Math. 1997. V.77(3). P. 259-270.
41. Laporte G. and Pascoal M. The pipeline and valve location problem // Eur. J. Industr. Eng. 2012. No. 6(3). P. 301-321.
42. Li F. W. and LiX.L. Computing the rupture degrees of graphs // Proc. 7th Int. Symp. Parallel Architectures, Algorithms and Networks, IEEE Computer Society. Los Alamitos, California, 2004. P. 368-373.
43. Li Y., Zhang S., and Zhang Q. Vulnerability parameters of split graphs // Int. J. Comput. Math. 2008. V.85(1). P. 19-23.
44. Mann D. E. The tenacity of trees. Ph. D. Thesis. Northeastern University, 1993.
45. Moazzami D. Vulnerability in graphs — a comparative survey //J. Combin. Math. Combin. Comput. 1999. V.30. P. 23-31.
46. Moazzami D. An algorithm for the computation of edge integrity, I'(T) // Int. J. Contemp. Math. Sci. 2011. No. 6(11). P. 507-516.
47. Ray S. and Deogun J. S. Computational complexity of weighted integrity //J. Combin. Math. Combin. Comput. 1994. V. 16. P. 65-73.
48. Ray S., Kannan R., Zhang D., and Jiang H. The weighted integrity problem is polynomial for interval graphs // Ars Combinator. 2006. V. 79. P. 77-95.
49. Sundareswaran R. and Swaminathan V. Domination integrity in graphs // Proc. Int. Conf. Math. Exp. Physics. Prague, Narosa Publishing House, 2009. P. 46-57.
50. Sundareswaran R. and Swaminathan V. Domination integrity of powers of cycles // Int. J. Math. Res. 2011. No. 3(3). P. 257-265.
51. Sundareswaran R. and Swaminathan V. Domination integrity in trees // Bulletin Int. Math. Virtual Institute. 2012. No. 2. P. 153-161.
52. Piazza B. L., Robertst F. S., and Stueckle S. K. Edge-tenacious networks // Networks. 1995. V. 25. P. 7-17.
53. Vaidya S. K. and Shah N. H. Domination integrity of total graphs // TWMS J. App. Eng. Math. 2011. No. 4(1). P. 117-126.
54. Vaidya S. K. and Kothari N. J. Some new results on domination integrity of graphs // Open J. Discrete Math. 2012. No. 2(3). P. 96-98. http://dx.doi.org/10.4236/ojdm.2012.23018
55. Vince A. The integrity of a cubic graph // Discrete Appl. Math. 2004. V. 140(1-3). P. 223-239.
56. Woeginger G. J. The toughness of split graphs // Discrete Math. 1998. V. 190(1-3). P. 295-297.
57. Ye Q. On vulnerability of power and total graphs // WSEAS Trans. Math. 2012. No. 11. P. 1028-1038.
58. Zhang Q. L. and Zhang S. G. Edge vulnerability parameters of split graphs // Appl. Math. Lett. 2006. V. 19. P. 916-920.
59. Zhang S. G., Li X. L., and Han X. L. Computing the scattering number of graphs // Int. J. Comput. Math. 2002. V.79(2). P. 179-187.
