Алгоритм Борувки — различия между версиями
Watson (обсуждение | вклад) (→Реализация) |
Watson (обсуждение | вклад) (→Реализация) |
||
Строка 15: | Строка 15: | ||
|- | |- | ||
| | | | ||
− | Boruvka( | + | Graph Boruvka(Graph G) |
− | while T.size < n | + | while (T.size < n) |
− | for (uv | + | for (uv <tex>\in</tex> E) |
if (u.color != v.color) | if (u.color != v.color) | ||
− | if ( | + | if (minEdge[u.color] < uv.w) |
− | + | minEdge[u.color] = uv.w | |
− | if ( | + | if (minEdge[v.color] < uv.w) |
− | + | minEdge[v.color] = uv.w) | |
− | + | for (color) | |
+ | T.addEdge(minEdge[color]) | ||
+ | for (u <tex>\in</tex> G) | ||
+ | dfs(u, color++) | ||
+ | |||
+ | return T; | ||
|} | |} | ||
Версия 01:10, 15 декабря 2012
Алгоритм Борувки — алгоритм поиска минимального остовного дерева (minimum spanning tree, MST) во взвешенном неориентированном связном графе. Впервые был опубликован в 1926 году Отакаром Борувкой.
Описание алгоритма
Пока
не является деревом- Для каждой компоненты связанности находим минимальное по весу ребро, которое связывает вершину из данной компоненты с вершиной, не принадлежащей данной компоненте.
- Добавим в все ребра, которые хотя бы для одной компоненты оказались минимальными.
Получившееся множество
является минимальным остовным деревом графа .
Реализация
Graph Boruvka(Graph G) while (T.size < n) for (uvE) if (u.color != v.color) if (minEdge[u.color] < uv.w) minEdge[u.color] = uv.w if (minEdge[v.color] < uv.w) minEdge[v.color] = uv.w) for (color) T.addEdge(minEdge[color]) for (u G) dfs(u, color++) return T; |
Вход: граф
Выход: минимальный остов графа
1)
1) Отсортируем по весу ребер.
2) Заведем систему непересекающихся множеств (DSU) и инициализируем ее множеством .
3) Перебирая ребра в порядке увеличения веса, смотрим, принадлежат ли и одному множеству. Если нет, то объединяем множества, в которых лежат и , и добавляем ребро к .
Асимптотика
Сортировка
Работа с DSU займет , где - обратная функция Аккермана, которая не превосходит 4 во всех практических приложениях и которую можно принять за константу.
Алгоритм работает за .
Литература
- Кормен, Томас Х., Лейзерсон, Чарльз И., Ривест, Рональд Л., Штайн Клиффорд Алгоритмы: построение и анализ, 2-е издание. Пер. с англ. — М.:Издательский дом "Вильямс", 2010. — 1296 с.: ил. — Парал. тит. англ. — ISBN 978-5-8459-0857-5 (рус.)