Об одной задаче перечисления образующих графов с ограничением на диаметр

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

атематические вопросы управления
УДК 519. 176
ОБ ОДНОЙ ЗАДАЧЕ ПЕРЕЧИСЛЕНИЯ ОБРАЗУЮЩИХ ГРАФОВ С ОГРАНИЧЕНИЕМ НА ДИАМЕТР
Д.Л. Белоцерковский
Доказана теорема о перечислении обыкновенных графов с минимальным числом ребер, диаметр которых после удаления произвольной вершины или ребра не превосходит трех.
Ключевые слова: граф, степень вершины, смежность, лемма о рукопожатиях, минимальное число ребер, диаметр, операция дублирования.
ВВЕДЕНИЕ
Задача синтеза топологии сети передачи данных (СПД) является частью общей задачи топологической оптимизации сети, которая представляет собой наиболее сложную задачу, решаемую в процессе топологического проектирования [1, 2].
Показано, что для решения задачи топологической оптимизации наиболее перспективным и адекватно представляющим оптимизируемую сеть является комбинаторный подход, предлагающий использовать терминологию и представления теории графов (используемые далее термины и определения можно найти в работе [3]). Вершина графа соответствует узлу коммутации, а ребро — линии связи. Компьютерной сети ставится в соответствие обыкновенный граф.
Синтезируемая сеть должна удовлетворять следующим ограничениям по надежности:
— длина кратчайшего маршрута между любой парой узлов коммутации не должна превышать заданной величины йх (это значит, что диаметр графа, соответствующего синтезируемой сети, не превосходит а^) —
— длина кратчайшего маршрута между любой парой узлов коммутации при отказе любого узла или линии связи в основном маршруте не должна превышать заданной величины А2 1 ё1 (это значит, что диаметр графа, соответствующего синтезируемой сети, после удаления из него произвольной вершины или ребра не превосходит А2 [1]).
Необходимо найти такую схему соединения узлов коммутации между собой (топологическую
структуру сети), которая имеет наименьшую стоимость при выполнении ограничений на надежность.
Показано [4], что такая задача является ЖР-трудной. Следовательно, для сужения множества допустимых решений следует несколько упростить указанную задачу. Такое упрощение позволит получить рациональные модели построения сетей, которые могут быть полезны для экспертов, создающих СПД.
Некоторые из таких моделей рассмотрены в предлагаемой статье.
1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ФОРМУЛИРОВКИ
Рассмотрим граф О = (V, Е), содержащий п = | V | вершин и т = |Е | ребер [3].
Простой цепью называется такой маршрут между двумя вершинами, что любая вершина встречается в нем только один раз. Длина простой цепи равна числу ребер в ней.
Расстоянием й^х, v2) между вершинами v1 и v2 называется длина кратчайшей простой цепи, соединяющей вершины v1 и v2.
Диаметром графа А (О) называется максимум среди всех расстояний между любой парой вершин графа О.
Граф двусвязен, если существуют две непересе-кающиеся простые цепи между любыми двумя вершинами.
Степенью ёе§ V вершины V называется число ребер, инцидентных вершине V. В дальнейшем будем пользоваться важным утверждением, известным как лемма о рукопожатиях: сумма степеней
2
СОЫТВОЬ БСІЕМСЕБ № 1 • 2010
всех вершин графа равна удвоенному числу его ребер [3].
Две вершины называются смежными, если они соединены ребром.
Подграф 6& quot-'- графа Є называется остовным, если Г (С'-) = Р (Є), Е (Є'-) с Е (Є).
2. ПОСТАНОВКА ЗАДАЧИ
Искомая СПД может быть представлена некоторым графом Є = (V, Е), вершины V которого соответствуют узлам коммутации, а ребра Е — линиям связи. Пусть ^(Є - е) и ^(Є - V) — диаметры графа Є - е, полученного из графа Є удалением ребра е, и графа Є - V, полученного из графа Є удалением вершины V. Ребрам графа Є приписаны неотрицательные веса, равные стоимости аренды каналов между парой соответствующих узлов коммутации. Под стоимостью С (Є) графа Є понимается сумма весов входящих в Є ребер. Обозначим: X — множество всех остовных подграфов графа Є,
Є - произвольный остовный подграф графа Є.
Задача создания (синтеза) топологической структуры СПД на языке теории графов формулируется следующим образом.
Найти такой остовной подграф (7 графа Є, что
С (Є'-) = тіп {С (Є)} (1)
в є X
при условиях:
ад т, (2)
й (6& quot-'- - е) & lt- для любого ребра е є Е, (3)
й (6& quot-'- - V) & lt- d2 для любой вершины V є V. (4)
Показано [5], что такая задача является ЛР-труд-ной. Для упрощения задачи будем считать стоимость всех ребер графа Є одинаковой и равной, допустим, 1. Тогда задача (1)-(4) сводится к задаче теории экстремальных графов: определить минимальное число ребер в графах, удовлетворяющих условиям (2)-(4), и найти графы с таким числом ребер. Эта задача решена для некоторых фиксированных значений d1 и d2 (см. например, работы [6, 7]).
В частности, практический интерес представляет случай d2 & lt- 3 (такое ограничение использовалось при создании модификаций автоматизированной системы бронирования авиабилетов «Сирена» [8]). Обозначим Є(п, 3) — множество графов с п вершинами, для которых выполнены условия (2)-(4) при ^ & lt- d2 & lt- 3, и Е (п, 3) — нижнюю границу числа ребер во множестве графов Є(п, 3). В работе [6] доказана следующая важная теорема.
Теорема 1. Е (п, 3) = 2п — 4 при 4 & lt- п & lt- 7, Е (п, 3) = 2п — 5 при 8 & lt- п & lt- 23, Е (п, 3) = 2п — 6 при п 1 24. ¦
В настоящей статье разработан метод, позволяющий перечислить все графы, на которых достигаются указанные в теореме значения Е (п, 3) при 4 & lt- п & lt- 7. С помощью перечисленных графов указан простой способ построения других графов из множества Є(п, 3), содержащих 2п — 4 ребра, при п & gt- 7. Все найденные в статье графы имеют весьма простую структуру и могут использоваться как модели оптимальной топологической структуры СПД.
3. ОСНОВНОЙ РЕЗУЛЬТАТ
Из теоремы 1 следует, что экстремальные графы из множества Є(п, 3) при 4 & lt- п & lt- 7 содержат 2п — 4 ребра.
Предложение 1. Минимальная степень w вершины в экстремальном графе Є равна двум.
Доказательство. Так как граф Є двусвязен, то w 1 2. Воспользуемся леммой о рукопожатиях:
П
^ ёе§ V'- = 4п — 8 1 wn. Следовательно, w & lt- 4 — 8/п
І = 1
и так как п & lt- 7, то w & lt- 3 и w = 2. ¦
Пусть В = (Рв, Ев), пв = |Рв|, шв = |Ев| - подграф экстремального графа Є, порожденный вершинами степени не менее трех (далее на всех рисунках подграф В выделен жирно). Пусть Т — множество вершин графа Є степени два и |Т| = пт. Из предложения 1 следует, что Т не пусто и пт 1 1.
На рис. 1, б изображен граф из множества Є(5, 3) с 2п — 4 = 2−5 — 4 = 6 ребрами. Штрихами изображена операция дублирования вершины из множества Т, которая приводит к новому графу Є (6, 3) с 2п — 4 = 2−6 — 4 = 8 ребрами. Далее операцию добавления новой вершины степени два к графу из множества Є(п, 3), не изменяющую подграф В и приводящую к тому, что новый граф принадлежит множеству Є (п + 1, 3), будем называть операцией дублирования. С помощью операции дублирования можно получать серии графов из множества Є(п, 3) (см. также рис. 1, в).
Рассмотрим граф Є из множества Є(п, 3) с 2п — 4 ребрами, в котором определен подграф В = (Рв, Ев). Удалим произвольную вершину V из множества Т. Получим подграф Є'- = Є - V с подграфом В'- = (Рв, Ев). Граф Є назовем образующим, если выполнено хотя бы одно из условий: подграф подграфу Є'- і Є(п — 1, 3) — подграф В'- не изоморфен подграфу В. Поиск образующих графов заметно упростит задачу перечисления экстремальных графов. Из образующего графа легко полу-
Рис. 1. Образующие графы, удовлетворяющие условиям теоремы 2:
а — простой цикл с 4-мя вершинами- б — единственный образующий граф с двумя смежными вершинами степени два- в — первый образующий граф с 6-ю вершинами, для которого пв =4- г — образующий граф с 5-ю вершинами, для которого пв = 2, пт = 3- д — образующий граф с 5-ю вершинами, для которого пв = 3, пт = 3- е — второй образующий граф с 6-ю вершинами, для которого пв = 4- ж — третий образующий граф с 6-ю вершинами, для которого пв = 4- з — первый образующий граф с 7-ю вершинами, для которого пв = 5, пт = 2- и — второй образующий граф с 7-ю вершинами, для которого пв = 5, пт = 2- к — образующий граф с 7-ю вершинами, для которого пв = 6,
пт = 1
чить несколько новых экстремальных графов, воспользовавшись операцией дублирования. Поиск образующего графа основан на «конструировании» подграфа В, являющегося «скелетом» экстремального графа, с последующим добавлением к нему вершин из множества Т. Заметим также, что граф, полученный из образующего графа с помощью операции дублирования, не является образующим. Докажем следующую теорему.
Теорема 2. Подмножество образующих графов множества Є(п, 3) при 4 т п т 7 состоит из 10-ти графов, изображенных на рис. 1.
Доказательство. Вначале отметим, что при п =4 существует единственный двусвязный граф с 4-мя ребрами — это простой цикл (см. рис. 1, а). Это единственный экстремальный граф из множества Є(4, 3). В дальнейшем будем рассматривать п 1 5. Доказательство теоремы будет состоять в поиске образующих графов при 5 & lt- п & lt- 7. Для удобства разделим поиск на два взаимоисключающих случая: 1) в графе имеются хотя бы две смежные вершины степени два- 2) в графе нет смежных вершин степени два.
Случай 1. Пусть в искомом образующем графе Є имеются смежные вершины у1 и v2 степени два (рис. 2). Смежные им вершины V, и не совпадают, так как в
случае, если V, = v4, то после удаления вершины V, граф Є - V, несвязен и 1(Є - V,) = «, что противоречит условию 1(Є - п,) & lt- 12 & lt- 3. Если в графе Є удалить ребро V1Vз, то для выполнения условия (1^, v1) & lt- 12 & lt- 3, для любого V є Є, следует смежность вершины V4 всем вершинам графа, кроме v4. Если в графе Є удалить ребро v2v4, то аналогично можно показать смежность вершины V, всем вершинам графа, кроме v2. Таким образом, вершины v3 и v4 смежны, и граф Є выглядит так, как это указано на рис. 2. Заметим, что вершинам v3 и v4 инцидентно п — 2 + п — 3 = 2п — 5 ребер (ребро VзV4 посчитали один раз). Если еще учесть ребро v1v2, то в графе уже имеется 2п — 4 ребра и, следовательно, других ребер, кроме перечисленных выше, нет. Так как мы ищем образующий граф, в котором нет вершин степени два, полученных с помощью операции дублирования, то единственный образующий граф для случая 1 изображен на рис. 1, б. Остальные графы, изображенные на рис. 1, в — к, найдены при рассмотрении случая 2.
Случай 2. Здесь в образующих графах нет смежных вершин степени два. Это означает, что всякая вершина степени два смежна двум различным вершинам степени не менее трех. Но вершины степени не менее трех порождают подграф В. Таким образом, этот подграф содержит не менее двух вершин, и пв 1 2. Так как пт 1 1 и п & lt- 7, то пв & lt- п — пт & lt- 6. Докажем предложение 2, определяющее число ребер в подграфе В.
Предложение 2. шв = 2пв — 4.
Доказательство. Число ребер ш = 2п — 4 в графе Є можно записать в виде суммы числа ребер в подграфе В и ребер, инцидентных вершинам степени два из множества Т:
ш = шв + 2пт = 2п — 4 ^ шв = 2(п — пт) — 4 =
= 2пв — 4. ¦
Дальнейшее рассмотрение случая 2 будет проведено для каждого из возможных вариантов: пв = 2, 3, 4, 5, 6 в отдельности.
Пусть пв = 2. Из предложения 2 следует, что шв = = 2−2 — 4 = 0.
Применим лемму о рукопожатиях, записав в качестве слагаемых сумму степеней вершин подграфа В и вершин из множества Т:
^ degV = ^ degV + ^ degV = 2ш = 4п — 8.
V Є Є V Є В V Є Т
4
СОЫТВОЬ БСІЕМСЕБ № 1 * 2010
Рис. 3. К анализу смежности в искомом образующем графе, для которого пв = 4
Рис. 4. Первый из возможных подграфов B для случая nB = 4
Рис. 5. Второй из возможных подграфов B для случая nB = 4
Учтем также, что
= 2n
t-
3пв + 2пт = 3−2 + 2пт & lt- 4п — 8 =
= 4(2 + п^) — 8 ^ Пт 1 3.
Следовательно, получаем образующий граф из множества С (п, 3), для которого пв = 2, пт = 3 (рис. 1, г). Любые графы из множества С (п, 3), для которых пв = 2, пт & gt- 3, получены из графа на рис. 1, г с помощью операции дублирования и не являются образующими.
Пусть пв = 3п. Из предложения 2 следует, что
тв = 2−3 — 4 = 2. Поэтому подграф В представляет со-
бой простую цепь, состоящую из двух ребер. Рассмотрим все вершины подграфа В: две конечные вершины у1 и у3 и среднюю вершину у2. Предположим, в графе имеются вершина у4 степени два, смежная вершинам v2 и VI, и вершина v5 степени два, смежная вершинам v2 и Vз (рис. 3). Удалим вершину v2. Заметим, что в полученном графе С — v2 имеем й4, v5) & gt- 3, что противоречит условию й?2 & lt- 3. Следовательно, подграф, изображенный на рис. 3, в искомом образующем графе не существует. Так как deg v2 1 3, то, не уменьшая общности, считаем, что имеется смежная v2 вершина степени два, например, v4, смежная также вершине v1. Тогда существуют две вершины степени два, смежные вершинам v1 и v3, и получаем образующий граф, изображенный на рис. 1, д.
Пусть пв = 4. Из предложения 2 следует, что в подграфе В имеются 4 ребра. Следовательно, существуют два возможных подграфа В (рис. 4 и 5). Нам следует выяснить смежность вершин степени два с вершинами подграфа В, представленными на рис. 4 и 5.
На рис. 4 изображены вершины подграфа В: v1, которая смежна не менее чем с двумя вершинами степени 2, а также v2 и Vз, каждая из которых смежна хотя бы с одной вершиной степени два. Следовательно, пт 1 2. На рис. 1, е представлен образующий граф, в котором подграфом В является граф, изображенный на рис. 4. В подграфе В, представленном на рис. 5, каждая вершина смежна хотя бы с одной вершиной степени два, и снова получаем пт 1 2. Таким образом, подграф В на рис. 5 порождает два образующих графа, изображенных на рис. 1, в и ж.
Пусть пв = 5. Из предложения 2 следует, что в подграфе В имеются 6 ребер. Определим число вершин степени два в искомом образующем графе, снова воспользовавшись леммой о рукопожатиях:
2 degv = 4п — 8 = 4(5 + пт) — 8 1 3пв + 2пт =
V е О
= 3−5 + 2пт ^ 2пт 1 3 ^ пт 1 2.
Так как п & lt- 72 и пв = 5, то пт = 2. Выясним, каков вид подграфа В. Обозначим: degв v — степень вершины v в подграфе В, г — число вершин из множества Т, смежных вершине v. Так как degv 1 3, п е В, то deg v = degв v + г 1 3. Воспользуемся тем, что г & lt- пт = 2. Тогда degв v 1 3 — г 1 1. Это означает, что в подграфе В нет изолированных вершин.
На рис. 6 представлены все возможные варианты подграфа В (т. е. любой подграф В будет изоморфен изображенному на рис. 6 подграфу). Для каждого из подграфов В существует единственный вариант построения графа С, являющегося «кандидатом» в искомые образующие графы (см. рис. 1, з и и, 6, а-в). Графы, изображенные на рис. 1, з и и, являются образующи-
Рис. 6. Варианты построения кандидатов в образующие графы и возможные подграфы В:
а — первый кандидат в искомые образующие графы для случая nB = 5- б — второй кандидат в искомые образующие графы для случая nB = 5- в — третий кандидат в искомые образующие графы для случая nB = 5- г — первый из возможных подграфов B для случая nB = 5- д — второй из возможных подграфов B для случая nB = 5
B
V е
V е
рис. 1, к является образующим. Изучим подробнее граф на рис. 7. Удалим вершину v2. Для выполнения условия 1^і, V) & lt- 3, для любой вершины V графа Є, необходимо, чтобы вершине v4 были смежными все вершины графа Є - v2, кроме VI. Это означает, что deg v4 = 4. Но ранее мы показали, что любая вершина подграфа В имеет степень три. Таким образом, из графа на рис. 7 нельзя получить образующий граф.
Рассмотрение случая пв = 6 завершает поиск образующих графов из множества Є(п, 3) при 5 & lt- п & lt- 7. Таким образом, теорема 2 доказана. ¦
ЗАКЛЮЧЕНИЕ
ми. Графы, изображенные на рис. 6, а-в, не принадлежат множеству С (7, 3). Действительно, удалив вершину v1, получим й (у2, Vз) & gt- 3 и й2 & gt- 3.
Пусть пв = 6. Так как пт & gt- 0 и п & lt- 7, то пт = п — - пв = 1. Снова воспользуемся леммой о рукопожатиях для того, чтобы определить степени вершин в графе С: ^ degV 1 3пв + 2пт = 3−6 + 2−1 = 20. С дру-
V е О
гой стороны, ^ degV = 4п — 8 = 4−7 — 8 = 20. Следо-
vе О
вательно, ^ degV = 3пв + 2пт. Итак, в искомом гра-
V е О
фе все вершины из подграфа В имеют степень три. Так как deg V = degвV + г = 3 и г & lt- 1, то degвV 1 2 для любой вершины V е В. Следовательно, 2 & lt- degв V & lt- 3. Установим число вершин степени два и степени три в подграфе В. Пусть п2 и т3 — число вершин соответственно степени два и три в подграфе В. Из предложения 2 следует, что тв = 2пв — 4 = 2−6 — 4 = 8. Применяя лемму о рукопожатиях, получаем 2п2 + 3п3 = 2 т в = = 2−8 = 16. Так как п2 + п3 = пв = 6, то 2п2 + 3п3 = = 2(п2 + п3) + п3 = 2−6 + п3 = 16. Откуда п3 = 4 и п2 = пв — п3 = 6 — 4 = 2. Итак, в подграфе В четыре вершины степени три и две вершины степени два. Так как в графе С всего лишь одна вершина v1 степени 2, а в подграфе В — две вершины степени 2, значит, вершина у1 должна быть смежна именно этим двум вершинам из подграфа В. Пусть v2 и v3 — вершины, для которых degв v2 = degв v3 = 2 и которые смежны с VI. Заметим, что для выполнения условия Й^, V2) & lt- 3 после удаления ребра v1v2 необходимо, чтобы в подграфе В расстояние между вершинами v2 и v3 не превосходило двух ребер. Учитывая все сказанное о подграфе В, получаем два графа, удовлетворяющих перечисленным ранее условиям (см. рис. 1, к и 7). Граф на
Все образующие графы при 5 & lt- п & lt- 7 изображены на рис. 1, б-к. Если требуется построить некоторый граф из множества Є (п, 3), содержащий п & gt- 7 вершин и 2п — 4 ребра, то можно взять любой образующий граф и с помощью операции дублирования добавить к нему нужное число вершин степени два.
ЛИТЕРАТУРА
1. Вишневский В. М. Теоретические основы проектирования компьютерных сетей. — М.: Техносфера, 2003. — 512 с.
2. Жожикашвили В. А., Вишневский В. М. Сети массового обслуживания. Теория и применения к сетям ЭВМ. — М.: Радио и связь, 1988. — 192 с.
3. Харари Ф. Теория графов. — М.: Мир, 1973. — 301 с.
4. Plesniak J. The complexity of designing a network with minimum diameter // Networks. — 1981. — Vol. 11. — P. 77−85.
5. Рейнгольд Э., Нивергельдт Ю., Део М. Комбинаторные алгоритмы. Теория и практика. — М.: Мир, 1980. — 476 с.
6. Белоцерковский Д. Л. Характеризация некоторых экстремальных графов с диаметром, не превосходящим трех // Дискретная математика — 1997. — Т. 9, вып. 1. — С. 134−146.
7. Белоцерковский Д. Л. Об одной задаче перечисления экстремальных графов // Дискретный анализ и исследование операций. Сер. 1. — 1998. — Т. 5, № 2. — С. 3−27.
8. Жожикашвили В. А., Вишневский В. М. Сеть ЭВМ «Сирена»: проектирование и анализ / В кн.: 10-я Всесоюз. школа-семинар по вычислительным сетям: Тез. докл. — М.: Научный совет по комплексной проблеме «Кибернетика» АН СССР, 1985. — Ч. 3. — С. 377−382.
Статья представлена к публикации членом редколлегии
Ф. Т. Алескеровым.
Белоцерковский Дмитрий Леонидович — канд. физ. -мат. наук,
доцент, Российский государственный университет нефти и газа
им. И. М. Губкина, г. Москва,
(r) (499) 233−93−04, И belozer68@mail. ru.
Наш новый адрес в Интернете: http: //pu. mtas. ru
Редакция
6
CONTROL SCIENCES № 1 • 2G1G

ПоказатьСвернуть
Заполнить форму текущей работой