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

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

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

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

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


Топологическая сортировка вершин графа

Топологическая сортировка вершин графа


Определение 5.17. Ориентированной сетью (или просто сетью) называют бесконтурный ориентированный граф.


B некоторых задачах встречаются бесконтурные ориентированные графы, имеющие бесконечные множества вершин и дуг. Такие графы называют бесконечными сетями. Мы рассматриваем только конечные сети. Кроме того, в литературе по теории графов термин "сеть" иногда используется в ином смысле — для объекта, более сложного, чем граф.


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


Определение 5.18. Уровень вершины сети — это натуральное число, определяемое следующим образом:


1) если полустепень захода вершины равна 0, то ее уровень равен 0 и наоборот (т.е. нулевой уровень [math]N_0[/math] — это множество всех входов);


2) если множества [math]N_i[/math] вершин уровня [math]i[/math] определены для всех [math]i\leqslant k[/math], то уровень [math]N_{k+1}[/math] содержит те и только те вершины, предшественники которых принадлежат любому из уровней с номером от 0 до [math]k[/math], причем существует хотя бы один предшественник уровня [math]k[/math], т.е.


[math]N_{k+1}= \bigl\{v\colon\, \Gamma^{_1}(v)\subseteq N_1\cup\ldots\cup N_k,~ \Gamma^{-1}(v)\cap N_k\ne \varnothing\bigr\},[/math]

где [math]\Gamma^{_1}(v)=\{x\colon\, x\to v\}[/math] — множество предшественников вершины [math]{v}[/math].


Уровень вершины сети можно интерпретировать как длину максимального пути от входов сети до этой вершины.


Определение 5.19. Порядковой функцией сети [math]G=(V,E)[/math] называют отображение [math]\operatorname{ord}\colon V\to \mathbb{N}[/math], сопоставляющее каждой вершине сети номер ее уровня.


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


Сеть и результат применения топологической сортировки сети

Топологическая сортировка применяется в самых разных ситуациях, например при распараллеливании алгоритмов, когда по некоторому описанию алгоритма нужно составить граф зависимостей его операций и, отсортировав его топологически, определить, какие из операций являются независимыми и могут выполняться параллельно (одновременно).


Формально топологическую сортировку можно реализовать по-разному. Мы опишем один из возможных методов.




Алгоритм Демукрона вычисления порядковой функции сети


Этот метод состоит в вычислении порядковой функции сети и известен как алгоритм Демукрона. Предполагается, что вершины сети пронумерованы от 1 до n.


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


Алгоритм Демукрона использует матрицу смежности вершин [math]B[/math] типа [math]n\times n[/math] в качестве средства представления сети и основан непосредственно на определении уровня вершины и свойствах матрицы [math]B[/math]. Можно увидеть, что сумма элементов k-го столбца матрицы [math]B[/math] равна полустепени захода вершины [math]v_k[/math]. Поэтому, просуммировав элементы матрицы по всем столбцам и выбрав вершины, соответствующие столбцам с нулевой суммой, получим множество вершин нулевого уровня — входы сети.


Безусловно, "физически" удалять вершины и дуги из сети и вычеркивать из матрицы [math]B[/math] строки, соответствующие удаляемым вершинам, нет необходимости. Процесс вычисления порядковой функции можно организовать следующим образом. Запишем суммы элементов столбцов матрицы [math]B[/math] в вектор [math]M[/math] длины [math]n[/math]. При этом элемент [math]m_k[/math] вектора [math]M[/math] будет содержать полустепень захода вершины [math]v_k[/math]. Пусть из сети удалены вершина [math]v_i[/math] и все исходящие из нее дуги. Заметим, что элемент [math]b_{ik}[/math] равен 1, если из вершины [math]v_i[/math] идет дуга в вершину [math]v_k[/math], и равен 0 в противном случае. Поэтому, чтобы получить новую полустепень захода вершины [math]v_k[/math], необходимо из элемента [math]m_k[/math] вектора [math]M[/math] вычесть элемент [math]b_{ik}[/math] матрицы [math]B[/math]. Чтобы пересчитать полустепени захода всех вершин сети, оставшихся в ней после удаления вершины [math]v_i[/math], надо из вектора [math]M[/math] вычесть i-ю строку матрицы [math]B[/math].


Если на очередном шаге входами сети являются вершины [math]v_{i_1},\ldots,v_{i_r}[/math], то для определения следующего "слоя" вершин нужно из вектора [math]M[/math] вычесть строки матрицы [math]B[/math] с номерами [math]i_1,\ldots,i_r[/math] и зафиксировать новые нулевые элементы вектора [math]M[/math], появившиеся после вычитания. Фиксировать следует именно новые нулевые элементы, поскольку элементы вектора [math]M[/math], соответствующие вершинам, лежащим на предыдущих уровнях, стали равными 0 на предыдущих шагах алгоритма.


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


Алгоритм Демукрона обрабатывает матрицу [math]B[/math] смежности вершин графа порядка [math]n[/math]. В результате работы алгоритма получаем массив [math]Ord[/math] длины [math]n[/math], i-й элемент которого равен номеру уровня вершины [math]v_i[/math].


0. Сформировать множество [math]V_1[/math] вершин сети. Значение счетчика уровней к положить равным 0. Найти суммы элементов по всем столбцам матрицы [math]B[/math] (полустепени захода вершин) и заполнить ими массив [math]M[/math].


1. Если множество [math]V_1[/math] не пусто, перейти на шаг 2, если иначе, то перейти на шаг 3.


2. Определить множество [math]I[/math] номеров всех новых нулевых элементов массива [math]M[/math], т.е. таких, что соответствующие этим номерам вершины принадлежат множеству [math]V_1[/math].


Присвоить элементам массива [math]Ord[/math] с номерами из множества [math]I[/math] номер уровня к и удалить вершины с этими номерами из множества [math]V_1[/math] ("замаскировать" вершины). Вычесть из массива [math]M[/math] строки матрицы [math]I[/math]?, соответствующие вершинам с номерами из множества [math]I[/math] (т.е. вершинам последнего вычисленного уровня).


Увеличить счетчик уровней на 1 [math](k=k+1)[/math]. Вернуться на шаг 1.


3. Закончить работу.




Пример 5.15. Применим алгоритм Демукрона к сети, представленной на рис. 5.38. Матрица смежности вершин сети имеет следующий вид:


[math]\begin{array}{c|cccccccccccccc|} & 1& 2& 3& 4& 5& 6& 7& 8& 9& 10& 11& 12& 13& 14 \\\hline 1& & & \mathsf{1}& & & & & & & & & & \mathsf{1}& \\ 2& & & & & & & & & & & & & \mathsf{1}& \\ 3& & & & & & & & & & & & & & \\ 4& & & \mathsf{1}& & & & & & & & & & & \\ 5& & & \mathsf{1}& & & & & & \mathsf{1}& \mathsf{1}& & & & \\ 6& & & & \mathsf{1}& & & & & & & \mathsf{1}& \mathsf{1}& \mathsf{1}& \\ 7& & & & & & & & & & & \mathsf{1}& & & \\ 8& & \mathsf{1}& & \mathsf{1}& & \mathsf{1}& \mathsf{1}& & & & & & & \\ 9& \mathsf{1}& & & & & & & & & & & & &\mathsf{1} \\ 10& \mathsf{1}& & & & & & \mathsf{1}& & & & & \mathsf{1}& & \\ 11& & & \mathsf{1}& & & & & & & & & & & \\ 12& & & & & & & & & & & & & & \\ 13& & & \mathsf{1}& & & & & & & & & & & \\ 14& & & & & & \mathsf{1}& & & & & & & & \\\hline\end{array}[/math]

Приведем последовательность значений массива [math]M[/math], соответствующую итерациям алгоритма и множества [math]N_i[/math] вершин i-го уровня. Прочерки соответствуют вершинам, не принадлежащим множеству [math]V_i[/math] ("замаскированные" вершины) на соответствующем этапе алгоритма.


[math]\begin{array}{|cccccccccccccc|l} 1& 2& 3& 4& 5& 6& 7& 8& 9& 10& 11& 12& 13& 14& \\\hline \mathsf{2}& \mathsf{1}& \mathsf{5}& \mathsf{2}& \mathsf{0}& \mathsf{2}& \mathsf{2}& \mathsf{0}& \mathsf{1}& \mathsf{1}& \mathsf{2}& \mathsf{2}& \mathsf{3}& \mathsf{1}& N_0=\{5;8\}\\ \mathsf{2}& \mathsf{0}& \mathsf{4}& \mathsf{1}& -& \mathsf{1}& \mathsf{1}& -& \mathsf{0}& \mathsf{0}& \mathsf{2}& \mathsf{2}& \mathsf{3}& \mathsf{1}& N_1=\{2;9;10\}\\ \mathsf{0}& -& \mathsf{4}& \mathsf{1}& -& \mathsf{1}& \mathsf{0}& -& -& -& \mathsf{2}& \mathsf{1}& \mathsf{2}& \mathsf{0}& N_2=\{1;7;14\}\\ -& -& \mathsf{3}& \mathsf{1}& -& \mathsf{0}& -& -& -& -& \mathsf{1}& \mathsf{1}& \mathsf{1}& -& N_3=\{6\}\\ -& -& \mathsf{3}& \mathsf{0}& -& -& -& -& -& -& \mathsf{0}& \mathsf{0}& \mathsf{0}& -& N_4=\{4;11;12;13\}\\ -& -& \mathsf{0}& -& -& -& -& -& -& -& -& -& -& -& N_5=\{3\} \end{array}[/math]

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




Связь ориентированной сети и упорядоченного множества


В заключение рассмотрим вопрос о связи понятий ориентированной сети и упорядоченного множества.


Так как сеть есть бесконтурный граф, то отношение достижимости в нем будет отношением порядка. Действительно, пусть для двух отличных друг от друга вершин [math]u,v[/math] сети вершина и достижима из вершины [math]v~(v \Rightarrow^{\ast}u)[/math] и вершина [math]{v}[/math] достижима из вершины [math]u~(u\Rightarrow^{\ast}v)[/math]. Тогда существует путь ненулевой длины из [math]{v}[/math] в [math]u~(v\Rightarrow^{+}u)[/math] и из [math]u[/math] в [math]v~(u \Rightarrow^{+}v)[/math]. Отсюда вытекает, что существует путь ненулевой длины из [math]u[/math] в [math]u~(u\Rightarrow^{+}u)[/math] и из [math]{v}[/math] в [math]v~(v \Rightarrow^{+}v)[/math]. Следовательно, существует контур, связывающий вершины [math]u[/math] и [math]{v}[/math], что невозможно.


Обратно, пусть [math](A,\leqslant)[/math] — конечное упорядоченное множество. Сопоставим ему ориентированный граф [math]G=(V,E)[/math] так, что множество вершин [math]V[/math] находится с [math]A[/math] во взаимно однозначном соответствии, а множество дуг определяется следующим образом: [math]u\to v[/math] тогда и только тогда, когда [math]{v}[/math] доминирует над [math]u[/math] в смысле порядка [math]\leqslant[/math].


Построенный таким образом ориентированный граф [math]G[/math] будет сетью. Действительно, предположим, что в нем существует контур, содержащий некоторую вершину [math]u[/math]. Тогда [math]u\Rightarrow^{+}u[/math], так как контур есть путь ненулевой длины. Если [math]u\Rightarrow^{1}u[/math], то существует дуга (петля), ведущая из [math]u[/math] в [math]u[/math], т.е. [math]u\to u[/math]. Но такой петли в графе [math]G[/math] быть не может, так как ни один элемент не может доминировать над самим собой (отношение доминирования иррефлексивно).


Если же [math]u\Rightarrow^{n}u[/math], где [math]n>1[/math], то существует вершина [math]{v}[/math], отличная от [math]u[/math] такая, что [math]u\Rightarrow^{+}v[/math] и [math]v\Rightarrow^{+}u[/math], откуда, согласно построению графа [math]G[/math], следует, что [math]u<v[/math] и [math]v<u[/math], но это невозможно. Итак, [math]G[/math] — бесконтурный ориентированный граф, т.е. сеть.


Входы сети [math]G[/math] есть минимальные элементы исходного упорядоченного множества, а выходы — максимальные. Кроме того, каждый уровень сети образует антицепь в упорядоченном множестве [math](A,\leqslant)[/math].


Построенная сеть [math]G[/math] будет обладать еще одним интересным свойством: для любых трех попарно различных вершин [math]u,\,v[/math] и [math]w[/math] из того, что [math]u\to v[/math] и [math]v\to w[/math], следует [math]u\nrightarrow w[/math]. Иначе говоря, в сети [math]G[/math] отсутствуют все "замыкающие дуги", подобные дуге [math]v_1\to v_3[/math] для сети, изображенной на рис. 5.39. Такие сети будем называть простыми.


Простые сети вершин графов

Итак, каждому упорядоченному множеству может быть сопоставлена простая сеть согласно описанной выше процедуре. Эта простая сеть может рассматриваться как вариант наглядного изображения конечного упорядоченного множества и использоваться как диаграмма Хассе. На рис. 5.40 показана сеть, сопоставленная множеству всех подмножеств трехэлементного множества [math]\{a,b,c\}[/math], упорядоченного отношением включения. Полезно сравнить эту сеть с диаграммой Хассе, приведенной на рис. 1.13.


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


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

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