Основные методы лазерной терапии. Часть 1 Текст научной статьи по специальности «Математика»

УДК 519.174

ОДНОЗНАЧНО РАСКРАШИВАЕМЫЕ ГРАФЫ С МИНИМУМОМ РЕБЕР

Ю. П. Великохатько,

научный сотрудник

НИИ электротехнических устройств

А. А. Миронов,

канд. техн. наук, доцент Санкт-Петербургский университет информационных технологий, механики и оптики

Построен граф с количеством ребер, минимально допустимым для однозначно K-раскрашива-емого графа. Показано, как при помощи операций двух типов указанный граф можно преобразовать в множество всех графов этого класса (для произвольно заданного числа вершин). Доказано, что все такие графы (K - 1)-связны. Найдено выражение для числа ребер в таких графах, а также даны уравнения, полезные для практических целей, в частности, для различных задач оптимизации.

In this paper a uniquely K-colorable graph with minimum possible number of edges is being constructed. It is shown that the graph can be transformed into the set of all possible graphs of that kind (for any specified number of vertices) using only two kinds of transformations. It has been proven that all such graphs are (K - 1)-connected. An expression for the number of edges in such graphs is derived as well as some equations that have practical applications, in particular, in solving various optimization problems.

Введение

Известно, что в определении однозначно раскрашиваемых графов имеется условие неизменности разбиения на части множества вершин графа. Авторы включили это вполне естественное условие стабильности разбиения в определение многодольных графов, что позволило оба класса упомянутых графов считать одним классом. Такой подход оправдан, поскольку разбиение множества вершин графа на К частей порождает К классов эквивалентности, которые называются одноцветными классами в однозначно К-раскрашиваемом графе или долями в графе К-дольном. В тексте статьи используются оба термина.

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

Основная часть

На сегодняшний день в теории графов определение К-дольного графа допускает для одного и того же графа различные толкования числа доль и количественного состава отдельной доли. Таково,

например, определение 2-дольного графа и аналогичных ему К-дольных графов в работе [1].

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

Поэтому полный К-дольный граф можно использовать в качестве опорного при формулировке определения К-дольного.

К-дольным будем называть граф с множеством вершин, разбитым на подмножества, именуемые долями, в пределах каждой из которых все вершины взаимно-несмежны, а ребрами соединены только вершины различных доль; при этом восстановление ребер до их максимального количества (до полного К-дольного графа) не меняет количества и состава доль.

Очевидно, что в К-дольном графе существует некоторое минимально допустимое количество ре-

бер, служащее границей К-дольности. В частности, это следует из того, что восстановление ребер в пустом графе не может быть выполнено однозначно.

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

В первом случае части разбиения именуются долями, во втором — одноцветными классами, в обоих — это классы эквивалентности.

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

Известно выражение для минимального числа ребер, используемое для максимальных планарных графов [2, теорема 12.21]:

X(Рі+рі -1).

і<І

Установим для этого выражения пределы изменения і, і от 1 до К, где К — количество частей разбиения всех р вершин некоторого графа с минимумом ребер, когда каждая часть насчитывает Рі или Рі вершин. Обозначим минимальное количество ребер дш1п и выполним необходимые преобразования:

Зш1п = X (Рі + Рі -1) = (Р1 + Р2 - 1) + ... +

1<і <і <К

+ (Р2 + Рз -1) +... + (Рк-1 + Рк - 1) =

= (К -1)Р1 + (К -1)Р2 +... + (К -1)Рк-ГК Л

2

V У

= (К - 1)Х Рі -

Г к Л

К

Поскольку X рі = р, запишем

1=1

Г к Л

= (К -1) Р -

(1)

Полученное выражение (1) естественно интерпретируется как минимально допустимое количество ребер в однозначно К-раскрашиваемом графе с р вершинами, где в каждом из К одноцветных классов насчитывается рь вершин.

Получим формулу (1) иначе, учитывая однозначную К-раскрашиваемость любого полного К-дольного графа. Для этого используем формальное тождество

Р1Р2 - (Р1 -1)(Р2 -1) = Р1 + Р2 -1.

(2)

Подведя выражение (2) под знак суммы, получим

X РьР] -Х(Р1-1)( рI-1)=X(Р1+рI-1),

где 1 < I < | < К.

Поскольку справа от знака тождества выражение (1), то можно записать:

?ш1п = X РіРі -Х ( Рі -1)( Рі -1) = (К -1) Р -

Г к л

, (3)

К

где

1 < і < і < К, Р = Х Рі

і=1

В выражении (3) слева от второго знака равенства разность количеств ребер двух полных К-дольных графов, причем каждая доля второго уменьшена на одну вершину.

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

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

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

Проверим это, исследуя структуру графа. Каждый одноцветный класс в нем, имея Рі вершин, соединен [(Р - [) + (Рь - 1)(К -1)] ребрами со всеми остальными вершинами графа. Каждая пара одноцветных классов имеет (Рь + Рі -1) общих ребер, т. е. представляет собой подграф, порожденный объединением двух одноцветных классов. Этот подграф — дерево. Структура такого дерева представляет собой звезду с двумя центральными вершинами.

Поскольку в правых частях выражений (1) и (3) нет Рі, нетрудно сделать вывод, что формула (1) справедлива для всех разбиенийР на К частей.

Найдем графы, соответствующие этим разбиениям. При этом К вершин в графе со степенью (Р - Рі) назовем особыми. Все остальные Р - К вершин имеют степень (К -1), являющуюся минимально допустимой, обеспечивающей необходимое условие однозначной К-раскраски графа и его

(К - 1)-связности. Количество вершин степени (К - 1) максимально в графе с такой структурой.

Перебросим конец произвольно выбранного ребра в исходном графе с одной особой вершины на особую вершину того же цвета, что и другой конец выбранного ребра. Вершину степени (К -1), которой инцидентен другой конец этого ребра, переместим в ту часть разбиения (одноцветный класс), где находится особая вершина с отсоединенным концом ребра. В результате получится граф с той же структурой, что исходный, но с другим количественным составом частей разбиения. Повторение такой операции позволяет получить все множество графов со структурой исходного, т. е. с максимумом вершин степени (К -1), соответствующее всем разбиениямp на K частей.

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

Разгрузим от ребер особые вершины, перебрасывая освободившиеся концы на вершины степе-ни(К -1), принадлежащие той же части разбиения, что и освобождаемая от ребер особая вершина. Эта операция позволяет получить из экстремального распределения вершин в каждом одноцветном классе (с максимумом вершин степени K - 1) все остальные их распределения.

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

Доказательство однозначной 2-раскрашивае-мости любого дерева можно извлечь из известной теоремы Кёнига [3]. Несмотря на то что в ней нет упоминания об этой однозначности, метод четносоединимых вершин, использованный в теореме, приводит к двум классам эквивалентности, которые в дереве являются одноцветными классами однозначно 2-раскрашиваемого графа.

В любом К-дольном графе с минимумом ребер ( К)

имеется 2 подграфов-деревьев, порожденных

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

Поскольку степень вершины, равная (К -1), является минимально допустимой степенью для рассматриваемого класса графов и ограничивает

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

Теорема. Всякий К-дольный граф с минимумом ребер (К - 1)-связен.

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

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

Проиллюстрируем изложенное примером, приняв К = 4 и пронумеровав доли 1, 2, 3, 4.

Пусть пара интересующих нас вершин принадлежит доле 1. Связность обеспечена деревьями 12, 13, 14.

Пусть вершины находятся в долях 1 и 2. Связность обеспечена деревом 12 и парами деревьев 13 и 23,14 и 24.

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

( К )

графов с числом ребер qmln = (К -1) р - и для

2

выделенного в таком графе одноцветного класса (доли).

Уравнение для графа:

X (і - К + 2)Р, = К( Р - К +1),

(4)

=к -1

где К -1 < і < Р -1; К — количество частей разбиения; Р — количество всех вершин в графе; Рь — количество вершин степени і в графе.

Уравнение для выделенного в графе одноцветного класса (доли):

X (і - К + 2)Рі = (Р - К +1),

(5)

і=К-1

где К -1 < I < р -1; К — количество частей разбиения (одноцветных классов, доль); р — количество всех вершин в графе; р1 — количество вершин степени I в выделенном одноцветном классе (доле).

Примечание.рь в выражениях (4) и (5) не одно и то же.

Сумма степеней всех вершин выделенного одноцветного класса (доли)

Xd = (К - 2)Рі + р - К +1,

(6)

где р^ - количество всех вершин в выделенном одноцветном классе.

Литература

1. Емеличев В. А., Мельников О. И., Сарванов В. И., Тышкевич Р. И. Лекции по теории графов. М.: Наука, 1990. С.11.

Заключение

Однозначно К-раскрашиваемые графы с минимальным количеством ребер и значением связности (К -1) могут быть использованы в различных задачах оптимизации, например, коммуникационных сетей.

2. Харари Ф. Теория графов. М.: Мир, 1973.

3. Зыков А. А. Основы теории графов. М.: Наука, 1987. С. 98.

Крук Е. А., Овчинников А. А.

Методы программирования и прикладные алгоритмы: учебное пособие / Е. А. Крук, А. А. Овчинников; ГУАП. — СПб., 2007. — 238 с.: ил.

1ЯВМ 978-5-8088-0237-7

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

Предназначено для студентов, обучающихся по специальности 090104, а также может быть использовано для самостоятельной работы и при выполнении заданий по НИР.