Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]


Остовное дерево наименьшего веса и алгоритм Краскала

Остовное дерево наименьшего веса и алгоритм Краскала


Следующая задача известна в теории графов под названием задачи Штейнера: на плоскости заданы [math]n[/math] точек; нужно соединить их отрезками прямых таким образом, чтобы суммарная длина отрезков была наименьшей.


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


Можно дать следующую графовую интерпретацию задачи Штейнера. Дан неориентированный граф [math]G_0=(V_0,\varnothing)[/math] без ребер. Требуется найти неориентированный граф [math]G=(V,T)[/math] со специальными свойствами.


Мы предполагаем, что каждому ребру любого неориентированного графа, получаемого в процессе решения задачи, можно сопоставить неотрицательное число, называемое весом этого ребра. При этом, во-первых, искомый граф [math]G[/math] должен быть неориентированным деревом, во-вторых, его множество вершин должно включать множество вершин исходного графа, т.е. [math]G_0\subseteq V[/math], и, в-третьих, сумма весов его ребер должна быть наименьшей.


Требование, чтобы искомый граф [math]G[/math] был неориентированным деревом, вызвано тем, что в нем любую пару вершин должна соединять единственная цепь, так как в противном случае граф не будет иметь наименьшую сумму весов. Действительно, если существуют хотя бы две цепи, соединяющие какую-то пару вершин, то выбирается та, сумма весов ребер которой меньше. Если же предположить, что в рассматриваемой ситуации имеются хотя бы две цепи с одинаковым весом, то все равно для оптимального решения выбирается какая-то одна цепь (и тогда оптимальное решение не единственно).




Алгоритм Краскала


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


Примечание. Алгоритм считают эффективным, если сложность алгоритма выражается функцией, ограниченной сверху некоторым полиномом от параметра, характеризующего "объем" исходных данных. Для задачи Штеинера этим параметром является число вершин графа [math]G_0[/math].


Неориентированный (ориентированный) граф, у которого каждому ребру (дуге) сопоставлено некоторое действительное число, называют взвешенным или размеченным графом. Это число называют весом или меткой ребра (дуги). Как правило, мы рассматриваем граф с натуральными метками ребер (дуг).


Алгоритм Краскала вычисляет для заданного взвешенного неориентированного графа [math]G[/math] остовное дерево с наименьшей суммой весов ребер— остовное дерево наименьшего веса. Существенное отличие только что сформулированной задачи от задачи Штейнера (в ее графовой постановке) состоит в том, что в новой задаче множество вершин при поиске остовного дерева наименьшего веса не меняется. Поэтому алгоритм Краскала и дает лишь некоторое приближение решения задачи Штейнера.


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


Рассмотрим алгоритм нахождения остовного дерева наименьшего веса (алгоритм Краскала). Пусть дан связный неориентированный граф [math]G=(V,E)[/math] с числовыми неотрицательными весами ребер. Вес ребра е обозначим [math]\varphi(e)[/math].


В результате работы алгоритма получим остовное дерево [math]T=(V,H)[/math] графа [math]G[/math], такое, что сумма [math]\textstyle{\mathop{\sum\limits_{e\in H}\varphi(e) }\limits^{\phantom{A}^{.}}}[/math] является наименьшей.


Отсортируем все ребра исходного графа по возрастанию весов и сформируем из них очередь так, чтобы в "голове" очереди находилось ребро с наименьшим весом, а в "хвосте" — с наибольшим и веса ребер не убывали от "головы" очереди к "хвосту".


Метод состоит в "сшивании" искомого дерева из компонент остовного леса. Первоначально остовный лес представляет собой множество изолированных вершин исходного графа, т.е. его множество ребер пусто. На первом шаге из очереди извлекается ребро наименьшего веса и добавляется к множеству ребер исходного дерева.


На последующих шагах алгоритма из очереди извлекается по одному ребру. Если это ребро соединяет вершины, принадлежащие разным компонентам текущего остовного леса, то оно добавляется к текущему множеству ребер искомого дерева, а указанные компоненты сливаются в одну. Иначе ребро отбрасывается. Процесс повторяется до тех пор, пока число компонент остовного леса не окажется равным 1. Можно показать, что эта компонента и будет искомым остовным деревом наименьшего веса.


Переходим к формальному описанию алгоритма Краскала.


1. Множество ребер [math]H[/math] искомого остовного дерева полагаем пустым [math](H=\varnothing)[/math].


2. Формируем множество [math]V_S=\bigl\{\{v_1\},\ldots,\{v_n\}\bigr\}[/math], элементами которого являются множества вершин, соответствующих компонентам исходного остовного леса. Каждая такая компонента состоит из единственной вершины.


3. Сортируем множество ребер [math]E[/math] исходного графа по возрастанию весов и формируем очередь [math]Q[/math], элементами которой являются ребра графа [math]G[/math].


4. Если множество [math]V_S[/math] содержит более одного элемента (т.е. остовный лес состоит из нескольких компонент) и очередь [math]Q[/math] не пуста, переходим на шаг 5, если иначе — на шаг 7.


5. Извлекаем из очереди [math]Q[/math] ребро [math]e[/math]. Если концы ребра е принадлежат различным множествам вершин [math]V_i[/math] и [math]V_j[/math] из [math]V_S[/math], то переходим на шаг 6, если иначе, то отбрасываем извлеченное ребро и возвращаемся на шаг 4.


6. Объединяем множества вершин [math]V_i[/math] и [math]V_j[/math] (полагая [math]W=V_i\cup V_j[/math]), удаляем множества [math]V_i[/math] и [math]V_j[/math] из множества [math]V_S[/math] и добавляем в [math]V_S[/math] множество [math]W[/math]. Добавляем ребро [math]e[/math] в множество [math]H[/math]. Возвращаемся на шаг 4.


7. Прекращаем работу. Множество [math]H[/math] есть множество ребер полученного остовного дерева.


Доказательство корректности алгоритма Краскала, т.е. доказательство того факта, что выдаваемое алгоритмом остовное дерево действительно является остовным деревом наименьшего веса, мы не приводим.


Последовательность построения остовного дерева наименьшего веса для неориентированного графа

На рис. 5.19,(а-д) для неориентированного графа показана последовательность построения остовного дерева наименьшего веса. Заметим, что результат работы алгоритма в общем случае зависит от порядка следования ребер одинакового веса в очереди. Предположим, что после сортировки первым в очереди находится ребро [math]\{v_0,v_1\}[/math] с весом 2.


Исходный граф изображен на рис. 5.19,а. На рис. 5.19,б проиллюстрирован результат выполнения первого шага алгоритма. На рис. 5.19, в показан результат добавления следующего ребра [math]\{v_1,v_2\}[/math] с весом 2 из очереди. На рис. 5.19,г приведен результат добавления ребра [math]\{v_0,v_4\}[/math] с весом 3. Если следующим в очереди ребром будет [math]\{v_1,v_4\}[/math], оно будет отброшено. Дальнейший ход работы алгоритма зависит от того, в каком порядке в очереди размещены ребра [math]\{v_2,v_4\}[/math] и [math]\{v_3,v_4\}[/math] с весами 4. Любое из них может быть добавлено в множество ребер остовного дерева, и на этом алгоритм закончит работу. На рис. 5.19,д приведено остовное дерево, полученное после добавления ребра [math]\{v_3,v_4\}[/math].


Отметим, что для приведенного графа оба ребра с весом 2 войдут в остовное дерево независимо от порядка их расположения в очереди после сортировки, а ребро [math]\{v_1,v_4\}[/math] не войдет ни в какое остовное дерево наименьшего веса.


Можно доказать, что наиболее трудоемким шагом в алгоритме Краскала является сортировка ребер графа по возрастанию весов. Как мы уже знаем, задачу сортировки [math]n[/math] элементов нельзя решить быстрее, чем за время [math]O(n\log_{2}n)[/math]. Следовательно, сложность алгоритма Краскала оценивается числом [math]O(|E|\log_{2}|E|)[/math], где [math]|E|[/math] — мощность множества ребер графа. Поскольку справедливо неравенство [math]|E|\log_{2}|E|\leqslant |E|^2[/math], то алгоритм Краскала можно считать эффективным.


Часовой пояс: UTC + 4 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved