Алгоритм СОРТДЕРЕВО


Оказывается, полученная оценка снизу для сложности алго­ритмов сортировки не может быть улучшена, а именно, сущест­вуют алгоритмы сортировки, имеющие сложность O(nlogn). Один из таких алгоритмов, называемый СОРТДЕРЕВО, мы сейчас раз­берем. Помимо того, что это полезный алгоритм упорядочения, к тому же теоретически наилучший, в нем используется интересная структура данных, полезная и в других ситуациях.

Алгоритм СОРТДЕРЕВО был предложен в 1964 году незави­симо Уильямсом (под названием Heapsort) и Флойдом (Treesort). Иногда, например, в [6], этот алгоритм называют алгоритмом пи­рамидальной сортировки.

В массиве А[1..n] введем структуру корневого двоичного де­рева. считая, что в корне находится элемент А[1], и элемент A[i] имеет двух сыновей: A[2i] (если 2i ≤ n) и A[2i+1] (если 2i+1 < n).- Такую структуру назовем двоичным деревом массива А.

 

Лемма 2.1.Двоичное дерево массива длины n имеет высоту .

□ Напомним (см. гл.2), что высота корневого дерева есть по определению длина самого длинного пути из корня до какого-нибудь листа. Например, на рис.3.2 это путь до листа, в котором находится число 7. Легко видеть, что длина этого пути равна 3.

Пусть k - высота двоичного дерена массива длины n. Для всех s < k в дереве имеется ровно 2s вершин глубины s. Пусть h — количество вершин глубины k. Тогда справедливо неравен­ство 1 < h < 2k. Поскольку число вершин равно n — длине масси­ва, то справедливо равенство:

n = 1 + 2 + ... + 2k-1 + h = 2k - 1 + h.

Учитывая, что h ≤ 2k, получаем, что

n = 2k - 1 + h ≤ 2k - 1 + 2k < 2k+1.

Отсюда n < 2k+1. С другой стороны, так как h ≥ 1, то

n= 2k - 1 + h ≥ 2k.

Таким образом, справедливо неравенство 2k ≤ п ≤ 2k+1. Отсюда, k ≤ logn ≤ k+1, то есть k = .

Двоичное дерево массива А называется сортирующим дере­вом массива А, если выполняются условия:

А[k] ≥ А[2 k] и А[k] ≥ А[2 k +1] для к = l,2,... . (*)

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

Именно на представлении массива сортирующим деревом ос­нован один из теоретически наилучших алгоритмов сортировки данных — СОРТДЕРЕВО. Изложим вначале основные принципы работы этого алгоритма.

На первом этапе элементы массива А переставляются так, чтобы выполнялось свойство (*) сортирующего дерева, иначе говоря, двоичное дерево массива А преобразуется в сортирую­щее. Процедуру, осуществляющую это преобразование, будем называть ПСД.

Затем, поскольку по свойству сортирующего дерева, элемент в корне, а именно, А[1] является наибольшим в А, то, переставляя А[1] и А[n], и удаляя А[n] из дерева, получим массив А[1..п-1] и A[n] = max А[1..n]. Теперь преобразуем А[1..n-1] в сортирующее дерево, затем переставим А[1] и А[n-1] и удалим А[n-1]. Процесс продолжается до тех пор, пока в сортирующем дереве не оста­нется один элемент. Тогда А[1],...,А[n] — упорядоченная по не­убыванию последовательность.

Перейдем к формальному описанию алгоритма СОРТДЕРЕ­ВО. Начнем с описания процедуры ПСД (построение сортирующего дерева). В его основе лежит рекурсивная процедура ПЕРЕ­СЫПК(i,j), имеющая параметры i и j. Они задают область ячеек массива А, которая в результате процедуры ПЕРЕСЫПКА будет обладать свойством сортирующего дерева, при этом его корень помещается в вершину i.

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

Действительно, все листья уже являются сортирующими под­деревьями. В общем случае, когда мы находимся в вершине i, поддеревья с корнями 2i и 2i+l уже являются сортирующими. Если выполняются неравенства

A[i] ≥ A[2i] и A[i] ≥ A[2i+1],

то дерево с корнем в i является сортирующим, и его построение с корнем в вершине i закончено.

Если хотя бы одно из этих неравенств не выполнено, то пере­ставляем A[i] и А[к], где к — тот сын i, который содержит наи­большего из элементов A[2i] и A[2i+1], Пусть, например, k = 2i, тогда поддерево с корнем в вершине 2i + 1 останется сортирую­щим, но может «испортиться» поддерево с корнем в вершине 2i. Для него мы повторяем эту процедуру, которая и называется ПЕ­РЕСЫПКА(i,j). Второй параметр j задает длину массива, в кото­ром выполняется эта процедура. Разумеется, при перестройке двоичного дерева в сортирующее этот параметр равен n, так как работа выполняется для всего массива А. В дальнейшем, при упорядочении массива А второй параметр j будет меняться.

Ниже дано формальное описание процедур ПЕРЕСЫПКА и ПСД. Без формального описания используется функция MAXCЫH(i), значением которой является тот сын i, который со­держит наибольший из элементов A[2i] и A[2i+1],

Структура этой процедуры следующая. В строке 2 осуществ­ляется проверка, является ли узел с номером i листом или нет. В строке 4 проверяется условие (*) для дерева с корнем в узле с номером i, и если оно не выполнено, то переставляется элемент в корне дерева с наибольшим из элементов в его сыновьях, и вновь вызывается процедура ПЕРЕСЫПКА, но уже с другим парамет­ром.

procedure ПЕРЕСЫПКА( i ,j);

1. begin

2. if i ≤ then (* если i — не лист *)

3. begin k := MAXCЫH(i);

4. if A[i] < A[k] then

5. begin

6. A[i]↔ A[k]; ПЕРЕСЫПКА(k,j)

7. end;

8. end;

9. end;

Процедура ПСД, строящая сортирующее дерево массива А, выглядит следующим образом.

procedure ПСД;

1. begin

2. for i := downto 1 do ПЕРЕСЫПКА(i,n)

3. end

Разберем пример, иллюстрирующий работу обеих этих процедур

Пусть задан числовой массив А[1…10]:

I
А[I]

Все перестановки элементов массива, осуществляемые проце­дурой ПЕРЕСЫПКА, будем отображать в двоичном дереве изме­няющегося массива. Для краткости, на схеме вместо ПЕРЕСЫП­КА(i,10) будем писать П(i).

Обращаем внимание на работу процедур П(2) и П(1). В проце­дуре П(2) вначале были переставлены числа 3 и 9 в дереве d), за­тем была вызвана процедура 11(5), которая переставила 3 и 4. Процедура П( 1) в дереве е) переставила 9 и 2. затем вызвала про­цедуру П(2), которая переставила 2 и 7 и вызвала П(4), но П(4) уже ничего не переставляла.

 

 

Изобразим окончательный результат в виде таблицы:

i
A[I]

Алгоритм упорядочения, основанный на понятии сортирую­щего дерева, может быть формально записан следующим обра­зом:

 

АЛГОРИТМ 3.2. СОРТДЕРЕВО

Данные: массив элементов А[1..n].

Результат: массив элементов А[1..n], упорядоченный по неубы­ванию, то есть А[1] ≤ А[2] ≤ ... ≤ А[n].

1. begin

2. ПСД; (* вначале строится сортирующеедерево *)

3. for i := n downto 2 do

4. begin

5. A[l] ↔ A[i];

6. ПЕРЕСЫПКА( 1,i-1)

7. end;

8. end

Продолжим рассмотрение ранее начатого примера.

 

На рис.3.4 дерево f) является сортирующим деревом исходно­го массива А, полученным в результате работы процедуры ПСД. Затем происходит перестановка А[1] и А[10] (дерево g) ). К дере­ву g) применяется процедура ПЕРЕСЫПКА(1,9), в результате которой число 3 проходит путь по правым ветвям из корня дере­ва до листа. Затем вновь происходит перестановка корня с лис­том и т.д. В результате получится массив А, упорядоченный по возрастанию.

 

Теорема 3.3.Алгоритм упорядочения СОРТДЕРЕВО имеет вычислительную сложность O(nlogn).

□ Естественно считать размером задачи сортировки длину массива элементов — n. Найдем вначале сложность процедуры ПСД. Пусть k — высота двоичного дерева исходного массива А. По лемме 3.1 имеем равенство к = ,в частности, отсюда следует, что 2k ≤ n.

Через T(k-i) обозначим сложность процедуры ПЕРЕСЫПКА, выполняемой из всех вершин глубины k-i. Тогда сумма Σ = Т(k-1) + Т(k-2) + ... +Т(0) равна сложности всей процедуры, строящей сортирующее дерево, поскольку ПЕРЕСЫПКА начнет выполняться с вершин глубины k-1.

Пусть вершина i имеет глубину k-1 и (возможно) двух сыно­вей: 2i и 2i+l. Пересыпка из вершины заключается в сравнении трех чисел: A[i], A[2i], A[2i+1] и, если это необходимо, переста­новки A[i] с наибольшим из A[2i] и A[2i+1], Ясно, что сложность пересыпки из вершины i не зависит от п и оценивается сверху константой с. Тогда справедливо неравенство

Т(k — 1) ≤ с 2k-1,

так как имеется ровно 2k-1 вершина глубины k-1. Переходя на более высокий уровень, т.е. рассматривая вершины глубины k-2, заметим, что справедливо неравенство

Т(к - 2) ≤ с 2k-2 + 1/2 Т(k — 1),

так как после сравнения этого элемента в вершине глубины k-2 с элементами в ее сыновьях дальнейшая пересыпка пойдет только не более, чем из одного сына. Аналогично,

T(k - i) ≤ с 2k-1 + 1/2 Т(к - i + 1) для всех i ≤ k.

Отсюда, Σ = Т(k - 1) + Т(k - 2) +...+ Т(0) ≤ с 2k-1 + с 2k-2 +...+ с + +1 /2 Т(k - 1) + 1 /2 Т(k - 2)+...+1 /2 Т(1) ≤ с (2k-1 +2k-2+...+1)+1 /2Σ. Значит, Σ ≤ с (2k-1 + 2k-2 +...+1) < 2с 2k < 2 с n, так как 2k ≤ n.

Итак, доказано неравенство: Σ ≤ 2сn. Это означает, что слож­ность процедуры ПСД есть О(n), то есть она линейна.

Осталось оценить сложность основного цикла в строках 3-7 алгоритма СОРТДЕРЕВО. Для этого достаточно оценить слож­ность процедуры ПЕРЕСЫПКА(1 ,n-1). Элемент в корне А[1] сравнивается с элементами в его сыновьях А[2] и А[3]. Эту сложность мы ранее обозначали константой с. Затем (если про­изошла перестановка) нужно повторить операции сравнения, считая корнем того сына, в котором произошла перестановка. В худшем случае перестановки и сравнения будут происходить до тех пор, пока элемент не вытолкнется в лист. Путь, пройденный элементом, имеет длину , равную высоте дерева. Итак, сложность процедуры ПЕРЕСЫПКА(1,n-1) есть O(logn).

Отсюда, сложность цикла в строках 3-7 есть O(nlogn). Окон­чательно, сложность алгоритма СОРТДЕРЕВО есть О(n) + O(logn) = O(nlogn). □

 

ЗАДАЧИ

1. (Алгоритм БЫСТРОСОРТ) Заданную последовательность элементов S = {а12,...,аn} можно упорядочить следующим обра­зом. Выбрать произвольный элемент а, разбить S на три последо­вательности S1, S2, соответственно меньших а, равных а и больших а. Затем повторить ту же процедуру к S1 и к S3 . Напишите на упрощенном Паскале рекурсивную и нерекур­сивную версии этого алгоритма. Докажите, что его сложность есть O(n2). Несмотря на то, что сложность алгоритма БЫСТРОСОРТ есть O(n2), то есть хуже, чем у алгоритма СОРТДЕРЕВО, БЫСТРО­СОРТ предпочтительней, вообще говоря, с точки зрения практи­ки. Дело в том, что сложность вычисляется в худшем случае, од­нако в среднем БЫСТРОСОРТ имеет сложность O(nlogn). Понятие сложности в среднем изложено в книге [6], там же дано де­тальное описание как рекурсивной, так и нерекурсивной версий этого алгоритма.

2. а) (Сортировка обменами) Последовательным просмотром элементов а1,...,аn найти первое к такое, что аk > аk+1. Поменять аk и аk+1 возобновить просмотр последовательности, начиная с аk+1 и так далее. В результате наибольший элемент передвинется на последнее место. Следующие просмотры начинать с а1 уменьшая на единицу количество просматриваемых элементов. Последова­тельность будет упорядочена после просмотра, в котором либо не произошло ни одной перестановки, либо участвовали первый и второй элементы.

б) (Сортировка простыми вставками) Просматривать последо­вательно а2,...,аn, и каждый новый элемент аk вставлять на подхо­дящее место в уже упорядоченную последовательность a1,...,ak-1. Это место определяется последовательным сравнением аk с эле­ментами a1,...,ak-1.

Напишите на упрощенном Паскале алгоритмы сортировки обменами и простыми вставками. Докажите, что сложности этих алгоритмов — О(n2).

3. Исследовать число сравнений и число перестановок эле­ментов a1,...,an для алгоритмов сортировки выбором, обменами и простыми вставками. Докажите, что число перестановок в алго­ритме сортировки выбором есть О(n). В то же время и число сравнений для сортировки выбором, и обе указанные характери­стики для сортировок обменами и простыми вставками есть O(n2).

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

Например, такая ситуация имеет место в задаче: упорядочить строки заданной матрицы размером n m в порядке неубывания первых элементов.

4. Даны пять попарно различных чисел: а, b, с, d, е. Упоря­дочить их по возрастанию, используя для этого не более семи сравнений.

5. (Сортировка вычерпыванием). Дана последовательность целых чисел a1,a2,...,an, заключенных между 0 и m-1. Если т не очень велико, то ее можно упорядочить следующим образом:

1. Организуем m пустых очередей: по одной для каждо­го целого числа от 0 до m-1.

2. Последовательно просматривая исходную последова­тельность a1,a2,...,an, помещаем элемент аk в очередь с номером k.

3. Сцепим очереди (содержимое (k+1)-ой очереди при­пишем к концу k-ой очереди). В результате получим упорядоченную по возрастанию последовательность.

Докажите, что этот алгоритм имеет сложность О(п).

6. Пусть двоичное дерево массива А[1..n] является его сор­тирующим деревом, и все А[k] попарно различны. Как найти второй по величине элемент этого массива? А третий? Какую глубину может иметь в сортирующем дереве вершина, содержа­щая k-ый по величине элемент массива А?

 


Глава IV

Поиск в графе

Многие алгоритмы на графах основаны на систематическом переборе всех вершин графа, при котором каждая вершина про­сматривается в точности один раз, при этом переход от уже рас­смотренной вершины к еще не рассмотренной вершине осущест­вляется по ребрам графа. В этой главе мы рассмотрим два стан­дартных, широко используемых на практике метода такого пере­бора: поиск в глубину и поиск в ширину. Опишем оба этих мето­да поиска только для неориентированных графов. Модификация этих методов для случая орграфов тривиальна.

 

Поиск в глубину.

Идея этого метода поиска состоит в следующем. Поиск начи­нается с некоторой фиксированной вершины v, называемой кор­невой вершиной поиска или корнем. При этом считаем v про­смотренной вершиной. Затем выбираем какое-нибудь ребро {v,w}, инцидентное v, проходим его и попадаем в вершину w.

Тот факт, что в процессе поиска использовано именно ребро {v,w} отмечается обычно следующим образом. Ребро {v,w} ори­ентируется из v в w. полученную дугу (v,w) считают дугой кор­невого дерева с корнем v. Такое дерево называется ПВГ-деревом с корнем v, или короче ПВГ(v)—деревом. При переходе от v к w, вершина v объявляется отцом вершины w и обозначается OTEЦ[w], вершина w объявляется просмотренной, и поиск про­должается из вершины w.

В общем случае, когда мы находимся в некоторой вершине v, возникают две возможности:

1. Все вершины, смежные с v, уже просмотрены. В этом слу­чае возвращаемся к вершине ОТЕЦ[v] и продолжаем поиск из нее, а вершину v с этого момента считаем использованной.

2. Существует еще не просмотренная вершина w, смежная с вершиной v. Тогда ребро {v,w} превращаем в дугу (v,w), добав­ляя ее к ПВГ(v)-дереву; полагаем ОТЕЦ[w]=v; проходим по дуге из v в w и продолжаем поиск из w.

Поиск в глубину завершается тогда, когда все вершины графа будут просмотрены. Здесь возможны две ситуации:

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

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

Представим формальное описание изложенного алгоритма. Массив МЕТКА, используемый в алгоритме имеет по одному элементу для каждой вершины графа и служит указателем на то, что просмотрена или нет данная вершина. Считаем, что METKA[v]=0, если v не просмотрена, и METKA[v]=l в против­ном случае. Массив ОТЕЦ описан ранее. Понятно, что он имеет длину n, где n — число вершин в графе. В множестве Т будем хранить дуги ПВГ-деревьев.

Вначале изложим версию алгоритма поиска в глубину, осно­ванную на рекурсивной процедуре ПВГ(v) — поиск в глубину из вершины v.В рассматриваемом алгоритме связность графа непредполагается.

 

АЛГОРИТМ 4.1. ПОИСК В ГЛУБИНУ

Данные: неориентированный граф G=(V,E), заданный списками смежностей ЗАПИСЬ[v].

Результаты: массив ОТЕЦ, множество Т.

1. procedureПВГ (v); (*поиск в глубину с корнем v)

2. beginMETKA[v]:=1;

3. for w ЗАПИСЬ[v] do

4. ifMETKA[w]=0 then

5. beginOTEЦ[w]:=v; T:=T {(v,w)}; ПВГ(w);

6. end;

7. end;

8. begin (*Главная программа)

T := Ø;

9. forv V do METKA[v]:=0; (*инициализация)

10. forv V do

11. ifMETKA[v]=0 then

12. beginOTEЦ[v]:=nil; ПВГ(v);

13. end;

14. end.

 

На рис.4.1 показано, как поиск в глубину исследует неориен­тированный граф G. Предполагается, что в списках смежности этого графа вершины встречаются в порядке возрастания номе­ров, и, что цикл в строках 11-14 алгоритма 4.1 выполнялся в по­рядке возрастания номеров вершин.

В просмотренном графе G дуги ПВГ-деревьев обозначены стрелками в соответствии с ориентацией, полученной в ходе по­иска. Такие дуги часто называют прямыми дугами поиска. Про­чие ребра графа, называемые иногда обратными дугами поиска, обозначены на рисунке пунктирами. Числа в скобках, стоящие у вершин просмотренного графа, соответствуют очередности, в которой они просматривались в ходе поиска. Отметим, что вер­шины с номерами 1, 9 и 11 являются корнями ПВГ-деревьев.

Разберем теперь нерекурсивную версию процедуры ПВГ(v). Рекурсия устраняется стандартным способом с помощью стека. Каждая вершина помещается в стек сразу, как только будет дос­тигнута, то есть просмотрена, и удаляется из стека после того, как будет использована. Поиск новой непросмотренной вершины ведется из той вершины, которая последней попала в стек.

Для организации такого процесса понадобится дополнительно массив указателей УКАЗ длины n, где n=|V|. Предполагается, что в начале работы процедуры поиска выполняются равенства УKA3[v]=HAЧAЛO[v], для всех v из V, иначе говоря, УКАЗ[v] дает адрес первой записи в списке ЗАПИСЬ[v]. В процессе рабо­ты процедуры поиска УКАЗ[v] меняется таким образом, что ука­зывает на следующую запись в списке ЗАПИСЬ[v] после той, ко­торая содержит последнюю просмотренную из нее вершину. Смысл переменных МЕТКА, ОТЕЦ и Т тот же, что и ранее.


Теорема 4.1.Сложность алгоритма 4.1 ПОИСК В ГЛУБИНУ есть O(n+m).

Понятно, что цикл в строке 10 (инициализация) требует n операций. Далее, проверка условия, стоящего в строке 13, осуще­ствляется ровно n раз. Вызов процедуры ПВГ(v) влечет за собой просмотр всех вершин связной компоненты графа, содержащей v При этом каждая вершина из связной компоненты просматрива­ется ровно один раз, поскольку просматриваются (т.е, выполня­ется строка 5) только те вершины w, для которых справедливо равенство METKA[w]=0, а сразу после просмотра, в результате вызова ПВГ(w), имеем равенство METKA[w]=l.

В тот момент, когда мы находимся в какой-либо вершине v, для поиска новой, еще не просмотренной вершины w, смежной с v, требуется анализировать ребра, инцидентные v. В процедуре ПВГ1(v) подробно описано, что это можно сделать, используя массив УКАЗ так, что каждое ребро графа анализируется ровно два раза: от v к w и от w к v. Следовательно, при работе алгорит­ма 4.1 анализируются все ребра и все вершины графа, каждое не более двух раз. При каждом анализе количество операций ог­раничено константой. Отсюда сложность алгоритма 4.1 есть O(n+m).

Как уже отмечалось выше алгоритм 4.1 различает связные и несвязные графы. Легко модифицировать этот алгоритм (а имен­но, каждый раз при выполнении условия в строке 13 заводить новое множество Т) так, чтобы он вычислял связные компоненты графа. Из этого замечания и теоремы 4.1 вытекает

Следствие. Связные компоненты неориентированного графа могут быть найдены за время O(n+m).

Поиск в глубину в ориентированном графе отличается от по­иска в неориентированном графе только тем, что ребра прохо­дятся в соответствии с их ориентацией. Поскольку в главе 2 мы условились считать, что в списке ЗАПИСЬ[у] встречаются только те вершины w, для которых (v,w) E, то алгоритм 4.1 корректно работает и в ориентированных графах.

 

Поиск в ширину.

Другое название этого популярнейшего метода — волновой алгоритм. Причины появления такого названия станут ясны из дальнейшего.

Поиск в ширину начинается с некоторой фиксированной вер­шины v, называемой корнем. Вершину v считаем просмотренной и помещаем ее в организуемую нами очередь. Считаем также, что вершина v образует нулевой фронт распространения волны.

Затем проходим все ребра {v,w}, инцидентные v, в каком-нибудь порядке и ориентируем их из v в w. Вершины w, смежные с v, считаем просмотренными и размещаем их в порядке про­смотра ребер в очередь. Для всех таких вершин w полагаем OTEЦ [w]:=v и говорим, что w просмотрена из v. Ориентирован­ные ребра (v,w) будем называть ребрами ПВШ(v)-дерева. Гово­рят часто, что все такие вершины w образуют первый фронт рас­пространения волны. Вершина v после этих действий считается использованной и удаляется из очереди.

Дальнейший поиск продолжается следующим образом. Берем очередную вершину v из очереди, проходим по всем ребрам, ин­цидентным v, которые соединяют вершину v с еще непросмот­ренными вершинами w. Все такие вершины w объявляются про­смотренными, для них полагают OTEЦ[w]:=v, ребра (v,w) отно­сят к ПВШ(v)-дереву. После этих действий вершина v считается использованной и удаляется из очереди. Говорят также, что вер­шины, просмотренные из вершин, принадлежащих фронту с но­мером k, образуют (k+1)-ый фронт распространения волны.

Завершается поиск в ширину с корнем в заданной вершине та­ким же образом, как и поиск в глубину, а именно тогда, когда ни одной новой вершины просмотреть не удается.

На рисунке 4.2 показано, как поиск в ширину исследует граф G, изображенный ранее на рис.4.1. Дуги ПВШ-деревьев изобра­жены стрелками в соответствии с ориентацией, полученной в хо­де поиска. Прочие ребра исходного графа изображены пункти­ром. Предполагалось, что вершины в ходе поиска просматрива­лись в порядке возрастания их номеров.

 

Отметим, что в ПВШ(1) - дереве поиска вершины 2, 3, 4 обра­зуют первый фронт распространения волны, вершины 5, 6 и 7 — второй, а вершина 8 — третий.

 

АЛГОРИТМ 4.2. ПОИСК В ШИРИНУ

Данные: неориентированный граф G=(V,E), заданный списками смежностей.

Результаты: массив ОТЕЦ, множество D.

 


В приведенном формальном описании алгоритма поиска в ширину переменная МЕТКА имеет тот же смысл, что и ранее в алгоритме 4.1. Дуги ПВШ-деревьев хранятся в множестве D. Смысл переменной ОТЕЦ объяснен выше. Просмотренные вер­шины помещаются в ОЧЕРЕДЬ и удаляются оттуда сразу после их использования (строка 4 алгоритма). В алгоритме 4.2 связ­ность графа не предполагается. Для корневых вершин поиска и только для них выполняется равенство ОТЕЦ[v]=nil.

Точно также как и ранее теорема 4.1 доказывается

Теорема 4.2.Алгоритм 4.2 ПОИСК В ШИРИНУ имеет вычис­лительную сложность O(n+m).




Дата добавления: 2021-07-22; просмотров: 383;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.041 сек.