CC BY
18
УДК 519.1
О разложении гиперграфа кликовыми минимальными сепараторами
Валентина В. Быкова*
Институт математики, Сибирский федеральный университет, Свободный, 79, Красноярск, 660041,
Россия
Получена 18.09.2011, окончательный вариант 25.10.2011, принята к печати 10.11.2011 В 'работе исследуется задача 'разложения гиперграфа на атомы кликовыми минимальными сепараторами. Показана уникальность такого разложения. Представлены эффективные процедуры нахождения кликовых минимальных сепараторов и построения разложения. Приведено применение 'разложения для вычисления древовидной ширины гиперграфа.
Ключевые слова: атом гиперграфа, кликовые сепараторы, ацикличность, древовидная ширина.
Идея разложение графа кликовыми сепараторами была предложена Тарьяном [1] как средство реализации подхода «разделяй и властвуй» для решения NP-трудных графовых задач, базирующихся на отношениях смежности вершин графа. Процесс такого разложения заключается в многократном поиске в графе G = (V, E) кликового сепаратора S, выделении компонент связности графа G(V\S) и копировании S в эти компоненты. Полученные в результате части были названы атомами графа G. Было установлено, что атомы не разрушают клики исходного графа, не порождают новых клик и сохраняют бесхордовые циклы длины более 3. Поэтому атомарное представление графа нашло применение в решении многих классических графовых задач: нахождение наибольшей клики, вычисление хроматического числа, определение наибольшего независимого множества вершин графа, поиск наименьшего пополнения графа до хордального, распознавание класса совершенных графов и др. Заметим, что разбиение графа на блоки — частный случай разложения графа кликовыми сепараторами. Тарьян предложил полиномиальный алгоритм выделения атомов графа [1], но оставил открытой проблему уникальности результирующего набора атомов. Данная проблема была решена Лаймером в работе [2], где было доказано, что если использовать кликовые минимальные сепараторы (такими, например, являются точки сочленения графа), то процесс разложения исходного графа всегда приводит к уникальному для этого графа набору атомов. При этом каждый атом (Лаймер его назвал mps-подграфом, maximal prime subgraph) — максимальный по включению индуцированный подграф, не имеющий кликовых минимальных сепараторов. Оказалось, что время реализации подобного разложения для графа G = (V, E) составляет O(nm), где n = |V|, m = |E| [2].
В последнее время к разложению графа кликовыми минимальными сепараторами вновь появился теоретический интерес в связи с новыми актуальными приложениями: кластеризация данных в генной инженерии [3], анализ текстов в системах искусственного интеллекта [4], моделирование надежности и безопасности компьютерных и коммуникационных сетей графами и гиперграфами ограниченной древовидной ширины [5]. Данные приложения потребовали определенных обобщений этой задачи. Одно из них — рассмотрение гиперграфа в качестве объекта разложения — представлено в данной работе. Как известно, в гиперграфе ребрами могут быть не только двухэлементные, но и любые подмножества ко-
* [email protected] © Siberian Federal University. All rights reserved
нечного множества вершин. Такое обобщение открывает дополнительные вычислительные возможности приложений гиперграфовых моделей систем.
1. Гиперграф, его элементы и ассоциированные с ним графы
Приведем необходимый минимум понятий, сохраняя терминологию и обозначения, принятые в [6,7]. Пусть задан (п, т)-гиперграф И = (X, V), где X = {ж1,...,жп} — конечное множество вершин и V = {их, ...,ит} — конечное семейство ребер гиперграфа, при этом п = |Х| ^ 1, т = |и| ^ 1 и всякое ребро гиперграфа — некоторое подмножество множества X. Пусть V(ж) — множество ребер, инцидентных в И вершине х € X, а X(и) - множество всех вершин, инцидентных ребру и € V. Тогда число |и(ж)| определяет степень вершины х, а число IX(и) | — степень ребра и. Элемент гиперграфа степени 0 считают голым. Любое собственное подмножество множества X(и), и € V, образует частичное ребро гиперграфа. Две вершины ж, у € X смежные, если существует ребро и € V такое, что ж, у € X(и). Аналогичным образом два ребра и,« € V смежные, если X(и) ПX(у) = 0. Подмножество множества вершин гиперграфа И образует клику, если две любые вершины этого подмножества смежные в И. Два ребра и, у € V кратные, если X(и) = X(у). Ребро вложено и в ребро у, когда X(и) С X(у). Гиперграф минимальный, если он не содержит голых элементов, вложенных и кратных ребер. Далее везде Им — результат минимизации гиперграфа И.
Пусть И (У) — часть гиперграфа И = (X, V), индуцированная множеством У С X, т.е. полученная из И слабым удалением всех вершин х € X\У. Другими словами, И (У) — гиперграф на множестве вершин У, в качестве ребер которого выступают множества X(и) П У, и € V, причем некоторые из них могут быть (полными) ребрами, а другие лишь частичными ребрами гиперграфа И. Обозначим через Nя(ж) = {у = х : у € X(и), и € V(ж)} окрестность вершины х в гиперграфе И. Подобным образом для У С X будем полагать,
что Nн(У) = и Nн(ж)\У.
хеУ
Всякий непустой гиперграф И = (X, V) однозначно определяется своим кениговым представлением — двудольным графом К (И), отражающим отношение инцидентности элементов гиперграфа, с множеством вершин X и V и долями X и V. Гиперграф И считают связным, если связен К (И). Компоненты связности графа К (И) индуцируют части гиперграфа И, называемые его компонентами связности. Множество Б С X образует множество сочленения в связном гиперграфе И = (X, V), если существуют и, у € V такие, что Б = X(и) П X(у) = 0 и гиперграф И^^\Б) несвязен. Минимизация гиперграфа здесь нужна, чтобы исключить случай вложенных ребер. Так, если X(и) С X(у), то Б не является множеством сочленения, хотя Б = X(и) = 0 и гиперграф И(X\Б) несвязный за счет наличия в нем голого ребра и. Между тем, гиперграф И^^\Б) связный.
С гиперграфом И принято ассоциировать также графы смежности Ь(2)(И) и Ь(И). Граф Ь(2)(И) представляет отношение смежности вершин гиперграфа. В частности, если И — обыкновенный граф, то Ь(2)(И) = И. Граф Ь(2)(И) отражает информацию обо всех кликах гиперграфа И: каждая клика гиперграфа И - клика графа Ь(2)(И) и, наоборот, любая клика графа Ь(2)(И) — клика гиперграфа. Заметим, что всякое множество X(и), и € V, гиперграфа И = (X, V) порождает клику в Ь(2)(И), однако обратное верно только тогда, когда гиперграф И комплектный. Гиперграф И комплектный, если каждой максимальной клике графа Ь(2)(И) отвечает некоторое ребро этого гиперграфа. Гиперграф И считается ациклическим (М-ациклическим или а-ациклическим), если он комплектный и его граф Ь(2)(И) хордальный. Граф Ь(И) = (V, Е) называют реберным графом для И, поскольку он задает отношение смежности ребер этого гиперграфа. Данный граф — источник информации обо всех множествах сочленения гиперграфа И: произвольному множеству сочленения
Б = X(и) П X(у) гиперграфа Н отвечает некоторое ребро {и, у} Є Е графа Ь(Н), хотя обратное не всегда верно. Примечательно, что графы Ь(2)(Н) и Ь(Н) — миноры кенигова представления К(Н), т.к. могут быть получены из него путем операции стягивания соответствующих ребер. Поскольку данная операция никогда не нарушает связности графа, то для гиперграфа Н ассоциированные с ним графы К(Н), Ь(2)(Н) и Ь(Н) либо все одновременно связные, либо несвязные. Не нарушая общности, далее в качестве исходных гиперграфов будем рассматривать только минимальные и связные гиперграфы.
2. Кликовые минимальные сепараторы
Введем понятие кликового минимального сепаратора гиперграфа, используя одноименное понятие для графа [1,2]. Множество вершин Б связного гиперграфа Н = (X, V) назовем сепаратором этого гиперграфа, если гиперграф НМ(Х\Б) несвязен. Если при этом Б — клика в Н, то такой сепаратор будем называть кликовым сепаратором гиперграфа Н. Очевидно, что каждое множество сочленения образует в Н кликовый сепаратор. Однако в гиперграфе могут существовать кликовые сепараторы, которые не представимы в виде пересечения множеств X(и) П X(у), ассоциированных с ребрами и, у Є V. Частичное ребро гиперграфа, являющееся сепаратором, образует частично-реберный сепаратор. Такие сепараторы всегда кликовые. В обыкновенных графах частично-реберным сепаратором может быть лишь точка сочленения. В общем случае кликовый сепаратор гиперграфа - это одно или несколько попарно смежных между собой полных или частичных ребер гиперграфа.
Уточним теперь, в каком смысле кликовый сепаратор гиперграфа минимальный. Рассмотрим в Н = (X, V) сепаратор Б и две несмежные вершины а, 6 Є X\Б. Сепаратор Б образует (а, 6)-сепаратор (или Б разделяет а и 6), если вершины а и 6 принадлежат разным компонентам связности гиперграфа Нм^\Б), и минимальный (а, 6)-сепаратор, если Б — (а, 6)-сепаратор и в нем нет собственного подмножества, являющегося (а, 6)-сепаратором. Сепаратор Б минимальный, если в гиперграфе существует такая пара вершин а и 6, что Б - минимальный (а, 6)-сепаратор (т.е. минимальный относительно, по крайне мере, двух вершин гиперграфа).
Из приведенных выше определений непосредственно вытекает справедливость следующих лемм.
Лемма 1. Сепаратор Б минимальный в Н = (X, V) тогда и только тогда, когда гиперграф Нм^\Б) имеет две области связности А и В такие, что А = В и (А) = (В) = Б.
Напомним, что область связности гиперграфа — множество вершин компоненты связности гиперграфа. Область связности, отвечающую условиям леммы 1, принято называть, полной. Следовательно, сепаратор минимальный, если он порождает в заданном гиперграфе хотя бы две полные области связности А и В. Минимальный сепаратор разделяет любую пару вершин а Є А, 6 Є В из полных областей связности. Очевидно, что всякий одновершинный сепаратор Б всегда минимальный и все соответствующие ему области связности в Нм^\Б) полные. Заметим, что в общем случае для произвольного сепаратора Б гиперграфа Н и некоторой области связности У С X в Н^^\Б) неизменно: (У) С Б.
Лемма 2. Всякий кликовый минимальный сепаратор связного гиперграфа Н является кликовым минимальным сепаратором графа Ь(2)(Н), и, наоборот, любой кликовый минимальный сепаратор графа Ь(2)(Н) есть кликовый минимальный сепаратор гиперграфа Н.
Согласно лемме 2 граф Ь(2) (Н) может служить эквивалентной заменой гиперграфу Н, если речь идет о нахождении множества всех кликовых минимальных сепараторов гиперграфа. Это вполне естественно, поскольку Ь(2)(Н) сохраняет все клики, окрестности и области связности гиперграфа Н.
Важно отметить, что кликовые минимальные сепараторы могут пересекаться как множества вершин. Возможна вложенность кликовых минимальных сепараторов один в другой, поскольку каждый из них может быть минимален относительно различных пар вершин гиперграфа. Не каждый гиперграф обладает сепараторами, в том числе и кликовыми минимальными сепараторами. Гиперграф может иметь экспоненциальное число минимальных сепараторов. Наличие кратных и вложенных ребер не влияет на число минимальных сепараторов гиперграфа. Связный (п, т)-гиперграф Н содержит не более п — 2 кликовых минимальных сепараторов, если он ацикличен или ассоциированный с ним граф Ь(2)(Н) хордальный. Справедливость последнего высказывания следует из свойств хордального графа, установленных Дираком [8]. Сформулируем их в виде лемм 3-6.
Лемма 3. Связный граф хордальный тогда и только тогда, когда для него существует дерево клик, в котором множество узлов — множество {С : і Є І} всех максимальных клик графа; два узла С^ С соединены ребром, если Сі П С = 0; для любой вершины графа множество максимальных клик, содержащих эту вершину, индуцирует связный подграф, являющийся поддеревом дерева клик. Всякий п-вершинный связный хордальный граф имеет не более п — 1 максимальных клик, а потому его дерево клик содержит не более п — 1 узлов.
Лемма 4. Хордальный граф может иметь несколько различных деревьев клик, но каждое из них — остовное дерево наибольшего веса графа пересечений всех максимальных клик исходного графа, где вес ребра — число вершин, образующих пересечение надлежащих максимальных клик графа.
Лемма 5. Для произвольного ребра дерева клик, связывающего узлы Сі и С, пересечение Сі П С образует минимальный сепаратор исходного графа. Верно и обратное утверждение: если Б — минимальный сепаратор графа, то в дереве клик всегда найдется ребро, соединяющее узлы Сі и С, такое, что Сі П С = Б.
Лемма 6. Граф является хордальным тогда и только тогда, когда его любой минимальный сепаратор есть клика.
Утверждение 1. Если (п, т)-гиперграф Н связен и ацикличен, то в нем не более п — 2 кликовых минимальных сепараторов, и каждый из них — множество сочленения.
Доказательство. Связному гиперграфу Н соответствует связный граф Ь(2)(Н). По определению ациклический гиперграф комплектный и его граф Ь(2)(Н) хордальный. Тогда согласно леммам 3-6 граф Ь(2)(Н) имеет дерево клик, в котором не более чем п — 1 узлов. Множество ребер этого дерева (их не более п — 2) определяет множество всех кликовых минимальных сепараторов графа Ь(2)(Н). По лемме 2 оно также задает множество всех кликовых минимальных сепараторов гиперграфа Н. Поскольку гиперграф Н еще комплектный, то каждой максимальной клике графа Ь(2) (Н) отвечает некоторое ребро этого гиперграфа и дерево клик графа Ь(2)(Н) — дерево соединений гиперграфа Н [7]. Дерево соединений гиперграфа Н является остовным деревом графа Ь(Н) и любое его ребро отвечает непустому пересечению соответствующих ребер гиперграфа. Следовательно, каждый кликовый минимальный сепаратор гиперграфа — множество сочленения. □
3. Вычисление кликовых минимальных сепараторов
По лемме 2 задача вычисления кликовых минимальных сепараторов (п, т)-гиперграфа Н = (X, V) сводится к задаче нахождения кликовых минимальных сепараторов для графа Ь(2)(Н). На сегодняшний день единственным эффективным методом нахождения кликовых минимальных сепараторов графа является извлечение их из минимальной триангуляции
- З9 -
графа [9]. Любой граф может быть преобразован в хордальный граф путем добавления в него дополнительных ребер (хорд). Полученный в результате граф называется триангуляцией исходного графа. Триангуляция минимальная, если она не содержит в себе в качестве собственного подграфа другую триангуляцию графа. Для одного и того же графа возможны различные минимальные триангуляции.
Изложим способ вычисления кликовых минимальных сепараторов применительно к графу L(2)(H). Данный способ базируется на утверждении 2.
Утверждение 2 ( [9]). Пусть задан граф L(2)(H) = (X, E) и некоторая его минимальная триангуляция L' = (X, E'), E С E'. Кликовые минимальные сепараторы графа L(2)(H) равны минимальным сепараторам минимальной триангуляции L', которые образуют клики в L(2)(H).
Процесс нахождения кликовых минимальных сепараторов гиперграфа включает в себя следующие шаги.
1. Вычислить для L(2)(H) минимальную триангуляцию L'.
2. Отыскать все минимальные сепараторы хордального графа L'.
3. Среди найденных сепараторов отобрать те, которые образуют в L(2)(H) клики.
Для вычисления минимальных триангуляций традиционно применяется полиномиальный по времени алгоритм MCS (Maximum Cardinality Search) [10]. Известны модификации этого алгоритма, позволяющие совместить вычисление минимальной триангуляции и установление для нее множества всех минимальных сепараторов, т.е. объединить шаги 1 и 2 [11]. Примечательно, что дерево клик для L' не строится. Время работы большинства модификаций алгоритма MCS составляет O(n3). Шаг 3 можно реализовать за время O(n2), т.к. в L' не более n — 2 минимальных сепараторов. Таким образом, в целом процесс определения множества кликовых минимальных сепараторов графа L(2)(H), а значит и гиперграфа H, можно осуществить за время O(n3). Трудоемкость создания графа L(2)(H) также находится в границах этой оценки.
Если гиперграф H связен и ацикличен, то установить все его кликовые минимальные сепараторы, как множества сочленения, можно без привлечения минимальной триангуляции графа L(2) (H). Для этого необходимо вычислительный процесс организовать следующим образом.
1. Построить вначале реберный граф L(H), а затем взвешенную его версию, в которой каждому ребру {u, v} графа L(H) сопоставить вес |X(u) П X(v)|.
2. Найти остовное дерево наибольшего веса для взвешенного реберного графа L(H). Это дерево — дерево соединений гиперграфа H и дерево клик графа L(2)(H) [7].
3. Определить все множества сочленения гиперграфа H: каждое ребро дерева соединений указывает в H пару u, v Є U, для которой X(u) П X(v) — множество сочленения.
Согласно определению и свойствам ациклического гиперграфа, а также утверждению 1 и лемме 5, вычисленные множества сочленения ациклического гиперграфа H — кликовые минимальные сепараторы этого гиперграфа. Все шаги указанного вычислительного процесса для (n, т)-гиперграфа можно реализовать за время O(nm). Известен тест на ацикличность гиперграфа, время исполнения которого также составляет O(nm) [7].
Первый из двух приведенных выше способов вычисления кликовых минимальных сепараторов применим к любому связному гиперграфу H, и время его осуществления не зависит от числа ребер гиперграфа. Это достигается за счет специально разработанных модификаций алгоритма MCS [11]. Второй способ легко реализуется с помощью известных графовых алгоритмов отыскания оптимального остова, хотя применим лишь для узкого класса гиперграфов. Оба способа создают для связного (n, m)-гиперграфа всегда не более n —2 кликовых минимальных сепараторов (конечно, если они существуют в этом гиперграфе).
4. Разложение гиперграфа на атомы
Пусть Н = (X, V) — связный (п, т)-гиперграф и У С X — это максимальное по включению подмножество вершин такое, что гиперграф Н(У) связен и не содержит кликовых минимальных сепараторов. Гиперграф Н(У) назовем атомом гиперграфа Н. Если гиперграф Н вырождается в обыкновенный граф, то понятие атома гиперграфа полностью совпадает с понятием шрв-подграфа [2]. Обозначим через Д(Н) множество кликовых минимальных сепараторов и П(Н) множество атомов гиперграфа Н. Разложение гиперграфа Н кликовыми минимальными сепараторами определим следующим алгоритмическим процессом.
1. Первоначально Д(Н) = 0 ив П(Н) включить только один гиперграф Н' = (X', V'), для которого X' = X и V' = V.
2. Выбрать из П(Н) гиперграф Н' и найти в нем какой-либо кликовый минимальный сепаратор Б. Если сепаратор Б существует, то добавить Б к Д(Н) и подвергнуть Н' разложению с помощью данного сепаратора. Для этого в Н^(X\Б) найти полные области связности А и В. Далее гиперграф Н' заменить в П(Н) на Н'(Уі) и Н'(У2), где Уі = А и Б и У2 = X'\А. Таким образом, гиперграф Н'(Уі) будет содержать полную область связности А, а гиперграф Н'(У2) — полную область связности В. Если в Н' нет кликового минимального сепаратора, то далее гиперграф Н' исключить из обработки, но оставить в П(Н).
3. Предыдущий шаг повторять до тех пор, пока в П(Н) не окажется гиперграфов с кликовыми минимальными сепараторами.
Очевидно, что данный процесс для (п, т)-гиперграфа можно исполнить за время 0(п4) или 0(п2т). Пусть в результате этого сформированы множество Д(Н) кликовых минимальных сепараторов и множество П(Н) гиперграфов Н(УІ) с областями связности У соответственно (і Є І).
Утверждение 3. Разложение П(Н) = {Н(У) : і Є І} задает уникальное для заданного гиперграфа Н множество атомов.
Для доказательства утверждения 3 необходимо убедиться, что результат разложения не зависит от порядка выбора кликовых минимальных сепараторов; каждый из гиперграфов Н(Уі) Є П(Н) — атом гиперграфа Н, и никакой из атомов этого гиперграфа не утерян при разложении; множество атомов уникально, т.е. П(Н) не зависит от минимальных триангуляций, используемых на шаге 2 для нахождения кликовых минимальных сепараторов. Покажем справедливость данных высказываний, выразив их в виде лемм 7-9.
Два минимальных сепаратора Б и Б' гиперграфа Н будем считать зависимыми, если существуют две различные области связности У1 и У2 гиперграфа Н^^\Б) такие, что Б' П Уі = 0 и Б' П У2 = 0 (каждая из этих областей содержит хотя бы одну вершину из сепаратора Б'), иначе Б и Б' будем называть независимыми. По определению отношение зависимости между сепараторами симметрично: зависимые сепараторы разделяют друг друга, т.е. Б — минимальный (ж, у)-сепаратор для некоторой пары вершин ж, у Є Б', а Б' — минимальный (а, 6)-сепаратор для какой-то пары вершин а, 6 Є Б. Оттого после разложения гиперграфа по одному из них невозможно уже произвести разложение по второму. Очевидно, что сепаратор не может разделить две смежные вершины, поэтому верна
Лемма 7. Любые различные кликовые минимальные сепараторы Б и Б' гиперграфа Н всегда независимы между собой.
Исходя из леммы 7, Д(Н) — множество попарно независимых кликовых минимальных сепараторов гиперграфа Н. Значит, после применения на шаге 2 некоторого сепаратора Б для разложения гиперграфа Н' на Н'(У1) и Н'(У2) все другие сепараторы становятся кликовыми минимальными сепараторами в гиперграфах Н'(Уі) и Н'(У2). Конечно, использованный сепаратор Б уже не будет минимальным сепаратором в Н'(Уі), но может остать-
- 4l -
ся минимальным сепаратором в Н'(У2). Таким образом, результат разложения гиперграфа кликовыми минимальными сепараторами не зависит от порядка их выбора.
Лемма 8. Разложение П(Н) гиперграфа Н кликовыми минимальными сепараторами — множество атомов этого гиперграфа.
Если гиперграф Н не содержит кликовых минимальных сепараторов (например, состоит только из одного ребра), то лемма 8 верна. В данном случае единственный атом гиперграфа
— это сам гиперграф. Рассмотрим теперь нетривиальный случай, когда в Н имеются кли-ковые минимальные сепараторы. По построению всякий гиперграф Н(Уі) Є П(Н) является атомом, т.к. он связен и не содержит кликовых минимальных сепараторов. Предположим, что имеется некоторый атом Н(^) гиперграфа Н, которого нет в построенном разложении П(Н), т.е. Z С X — это максимальное подмножество вершин такое, что гиперграф Н(^) связен и не содержит кликовых минимальных сепараторов. Тогда обязательно или Z С А и Б, или Z С X'\А для некоторого кликового сепаратора Б и его полных областей связности А и В С X'\А, полученных на каком-то шаге разложения текущего гиперграфа Н'. В противном случае Z П Б С Б будет кликовым сепаратором, что противоречит минимальности Б. Справедливость лишь одного из включений Z С А и Б, Z С X'\А свидетельствует о том, что ни один из атомов гиперграфа Н не разделяется в процессе разложения.
Лемма 9. Множество атомов П(Н), формируемое при разложении гиперграфа Н клико-выми минимальными сепараторами, уникально для Н.
Справедливость леммы 9 основана на аналогичном высказывании, доказанном Лайме-ром в [2] для разложения обыкновенного графа кликовыми минимальными сепараторами на шрв-подграфы. В самом деле, граф Ь(2)(Н) сохраняет все клики, окрестности и области связности гиперграфа Н. Кроме того, по лемме 2 каждый кликовый минимальный сепаратор связного гиперграфа Н является кликовым минимальным сепаратором графа Ь(2)(Н). Поэтому всякая область связности У некоторого атома Н(У) из П(Н) индуцирует в Ь(2)(Н) подграф Ь', который является шрв-подграфом графа Ь(2)(Н). Уникальность представления графа Ь(2)(Н) шрв-подграфами предопределяет уникальность множества П(Н) для заданного гиперграфа Н.
Приведем некоторые полезные свойства атомов гиперграфа, вытекающие из представленного выше процесса построения П(Н). Для обыкновенного графа всякий атом состоит из элементов (вершин и ребер) данного графа, т.е. является его подграфом. В случае гиперграфа это не всегда так. Атом гиперграфа может целиком состоять только из частичных ребер гиперграфа. Каждый атом ациклического гиперграфа — полное ребро гиперграфа. Любой атом гиперграфа Н, у которого граф Ь(2)(Н) хордальный, — клика. Пересечение областей связности двух различных атомов или пусто, или образует клику в Н. Однако непустое пересечение областей связности двух различных атомов не обязательно является сепаратором гиперграфа Н. Для минимального связного (п, т)-гиперграфа число атомов не превосходит п.
5. Приложение: вычисление древовидной ширины гиперграфа
Древовидная ширина — числовой параметр, характеризующий меру древовидности гиперграфа. Этот параметр вычисляется через дерево декомпозиции гиперграфа. Под деревом декомпозиции гиперграфа Н = (X, V) принимают пару (М, Т), задающую определенное разбиение вершин и ребер гиперграфа Н, где М = {Xj : і Є J} — семейство непустых подмножеств множества X, называемых «мешками», Т = (І, Ш) — дерево, узлам которого сопоставлены эти «мешки». Данное разбиение удовлетворяет следующим свойствам [5,12]:
множество «мешков» покрывает все вершины гиперграфа; для всякого ребра гиперграфа всегда существует хотя бы один «мешок», содержащий все вершины этого ребра; для любой вершины х € X множество узлов, «мешки» которых содержат вершину ж, индуцирует поддерево дерева Т. Ширина дерева декомпозиции (М, Т) — наибольшая вместимость его «мешка», уменьшенная на единицу: max{|Xj | — 1 : ] € .1}. Древовидная ширина гиперграфа И определяется как наименьшая ширина всех возможных деревьев декомпозиции, существующих для И, и обозначается через ¿и>(И). Если (п, т)-гиперграф И связен, то 1 ^ ¿да(И) ^ п — 1 и ¿да(И) = ¿да(Им). Кроме того, для любой части И' = И (У) гиперграфа И = (X, V), индуцированной множеством У С X, верно неравенство: ¿'ш(И') ^ ¿и>(И). Считается, что (п, т)-гиперграф И обладает ограниченной древовидной шириной, если ¿и>(И) ^ к и к — целая положительная константа, не зависящая от п. Если ¿и>(И) ^ к, то размеры клик и сепараторов в И также ограничены сверху константой к.
Установлено, что задача вычисления древовидной ширины гиперграфа является МР-трудной [5]. Использование атомарного представления гиперграфа дает возможность решать ее на основе принципа «разделяй и властвуй» без потери оптимальности. Действительно, пусть для гиперграфа И задано множество кликовых минимальных сепараторов Д(И) и множество атомов П(И) = {И(У) : г € I}.
Утверждение 4. Для любого связного гиперграфа И = (X, V) верно равенство:
¿да(И) = тах{^да(И(У)) : г € I}. (1)
Доказательство. Всякий атом И' = И (У) - часть гиперграфа И, индуцированная множеством У С X. Поэтому ¿да(И') ^ ¿да(И). Отсюда
тах{^да(И(У)) : г € I} ^ ¿да(И). (2)
Докажем теперь, что
¿да(И) ^ тах{^да(И(У)) : г € I}. (3)
Убедимся, что неравенство (3) верно для одного шага разложения гиперграфа И. Пусть Б € Д(И) и А — полная область связности гиперграфа Им^\Б). Тогда согласно описанной выше процедуре разложения гиперграфа на атомы гиперграф И заменяется на две части
Их = И(Ух) и И2 = И(У2), где Ух = А и Б, У2 = X\А, и потому У П У2 = Б. Покажем, что
¿да(И) ^ тах{^да(И1),^да(И2)}. (4)
Предположим, что значение максимума в правой части (4) равно п. Тогда для Их и И2 можно построить два соответствующих дерева декомпозиции ширины не более п. В каждом из них обязательно есть узел, «мешок» которого содержит сепаратор Б, потому что данный сепаратор кликовый. Вершины сепаратора Б образуют клику в И (значит, в И1 и И2), а всякая клика гиперграфа всегда вложена в отдельный «мешок» дерева декомпозиции [12]. Дерево декомпозиции гиперграфа И сформируем из деревьев декомпозиции, построенных для Их и И2, путем добавления в них дополнительного узла с «мешком» Б и «склеиванием» данных деревьев посредством этого дополнительного узла. Несомненно, что ширина результирующего дерева декомпозиции не будет превышать п. Таким образом, неравенство
(4) верно. Индукция по числу атомов приводит к справедливости (3). Из (2) и (3) следует равенство (1), которое определяет формулу вычисления древовидной ширины гиперграфа И через его атомы, полученные разложением гиперграфа кликовыми минимальными сепараторами. □
- 4З -
Заключение
Разложение гиперграфа кликовыми минимальными сепараторами эффективно реализуется на практике. Полученное в результате множество атомов уникально для исходного гиперграфа и зависит лишь от его структурных особенностей. Атомы гиперграфов (в отличие от графов) могут целиком состоять из частичных ребер гиперграфа. Для ациклических гиперграфов разложение на атомы тривиально, т.к. каждое ребро определяет отдельный атом гиперграфа. Следует отметить два основных недостатка разложения гиперграфа на атомы. Во-первых, не все гиперграфы имеют кликовые минимальные сепараторы. Во-вторых, области связности полученных атомов пересекаются. Поэтому возможно перекрытие подзадач, и эффект от применения принципа «разделяй и властвуй» при решении задач на гиперграфах может быть незначительным. Однако на практике эти недостатки не всегда проявляются, т.к. гиперграфы, возникающие в реальных приложениях, часто имеют древовидную ширину, ограниченную сверху малой по значению константой k. Для таких гиперграфов размеры клик, сепараторов, а значит и перекрытий подзадач, ограничены сверху константой k. Представляет интерес изучение графа атомов, в котором вершины — атомы гиперграфа и два атома соединены ребром, если их пересечение — кликовый минимальный сепаратор гиперграфа. Граф атомов дает новое представление гиперграфа, более глобальное, чем дерево декомпозиции, кенигово представление, графы смежности вершин и ребер гиперграфа.
Список литературы
[1] R.E.Tarjan, Decomposition by clique separators, Discrete Mathematics, 55(1985), 221-232.
[2] H.G.Leimer, Optimal decomposition by clique separators, Discrete Mathematics, 113(1993), 99-123.
[3] B.Kaba, N.Pinet, G.Lelandais, A.Sigayret, A.Berry, Clustering gene expression data using graph separators, In Silico Biology, 7(2007), 433-452.
[4] M.Didi Biha, B.Kaba, M.J.Meurs, E.SanJuan, Graph decomposition approaches for terminology graphs, Proc. MICAI, 2007, 883-893.
[5] H.L.Bodlaender, Discovering treewidth, Proc. of the 31st Conference SOFSEM 2005, Springer-Verlag, Lecture Notes in Computer Science 3381, 2005, 1-16.
[6] А.А.Зыков, Гиперграфы, УМН, 29(1974), №6, 89-154.
[7] В.В.Быкова, М-ациклические и древовидные гиперграфы, Изв. Томского политехн. ун-та. Математика и механика. Физика, 317(2010), №2, 25-30.
[8] G.A.Dirac, On rigid circuit graphs, Abh. Math. Sem. Univ. Hamburg, 25(1961), 71-76.
[9] A.Berry, J.P.Bordat, P.Heggernes, G.Simonet, Y.Villanger, A wide range algorithm for minimal triangulation from an arbitrary ordering, J. Algorithms, 58(2006), №1, 33-66.
[10] D.J.Rose, R.E.Tarjan, G.S.Lueker, Algorithmic aspects of vertex elimination on graphs, SIAM J. Comput, 5(1976), 266-283.
[11] A.Berry, J.R.S.Blair, P.Heggernes, Maximum cardinality search for computing minimal triangulations of graphs, Algorithmica, 39(2004), 287-298.
[12] В.В.Быкова, Рекуррентные методы вычисления древовидной ширины гиперграфа, Изв. Томского политехн. ун-та. Управление, выч. техника и информатика, 318(2011), №5, 5-10.
The Clique Minimal Separator Decomposition of a Hypergraph
Valentina V. Bykova
We present the decomposition of a hypergraph into its atoms with using the clique minimal separators. We have indicated that this decomposition is unique. We offer effective procedures for computing the clique minimal separators and construction the decomposition. We give the application by decomposition for computing the treewidth of a hypergraph.
Keywords: atom hypergraph, clique separator, acyclicity, treewidth.
