Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Связность. Компоненты связности



Определение 8.1. Граф (орграф) называется связным (сильно связным), если для любых двух его различных вершин существует маршрут (путь), соединяющий вершины x и y (из x в y).

Говорят, что вершина y орграфа (графа) G достижима из вершины x, если либо y = x, либо существует путь из x в вершину y (маршрут, соединяющий вершины x и у).

Таким образом, орграф G является сильно связным, если любые две его вершины взаимно достижимы.

Определение 8.2. Неориентированным псевдографом, ассоциированным с ориентированным псевдографом G = (S, U), называется неориентированный

псевдограф F (G), полученный из G заменой всех ориентированных рëбер на неориентированные.

Определение 8.3. Орграф G называется слабо связным,если ассоциированный с ним неориентированный псевдограф F (G) является связным.

Определение 8.4. Граф (орграф) называется несвязным, если он не является связным (слабо связным).

Пример 8.1. На рис. 13 а изображëн сильно связный орграф, а на рис. 13 б – слабо связный орграф, т.к., например, вершина x2 не достижима из вершины x1. 

Замечание 8.1. Любой связный неориентированный граф является сильно связным. 

Определение 8.5. Всякий максимальный по включению (сильно) связный подграф данного графа называется его (сильной) связной компонентой, или (сильной) компонентой связности.

Утверждение 8.1. Пусть G = (S, U) – псевдограф с k компонентами связности:

G1 = (S1, U1), …, Gk = (Sk, Uk). Тогда

1) S = S1 È …È Sk, U = U1 È…È Uk, т.е. G = G1 È…È Gk;

2) Si Ç Sj = Æ, Ui Ç Uj = Æ при i ¹ j;

3) 

Утверждение 8.2. Пусть G = (S, U) – ориентированный псевдограф с k компонентами сильной связности: G1 = (S1, U1), …, Gk = (Sk, Uk). Тогда

1) S = S1 È …È Sk, U1 È…È Uk Í U;

2) Si Ç Sj = Æ, Ui Ç Uj = Æ при i ¹ j;

3) 

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

Пусть P (G) – матрица смежности вершин орграфа G = (S, U) порядка n. Обозначим через матрицу B = (bij) квадратную матрицу порядка n, удовлетворяющую условию: B = E + P + P2 + …+ Pn.

Определение 8.6. Квадратная матрица C = (cij) порядка n, где

называется матрицей достижимости орграфа G.

Заметим, что элемент cij равен единице тогда и только тогда, когда в орграфе G существует путь из вершины xi в вершину xj.

Определение 8.7. Квадратная матрица L = (lij) порядка n, где

называется матрицей контрдостижимости орграфа G.

Известно, что L = CT. Матрицы С и L используются для нахождения сильных компонент связности графа.

Определение 8.8. Квадратная матрица F = (fij) порядка n, удовлетворяющая условию F = C * L, где операция * означает поэлементное произведение матриц C и L (т.е. fij = cij · lij для любых i и j), называется матрицей сильных компонент связности орграфа G.

Элемент fij матрицы F равен единице тогда и только тогда, когда вершины xi и xj взаимно достижимы. Таким образом, множество вершин некоторой сильной компоненты связности Gp = (Sp, Up) орграфа G = (S, U), кроме вершины xi, содержит также все вершины xj Î S, для которых fij = 1.

Для определения количества маршрутов с заданным количеством рëбер (дуг) графа используется следующая теорема.

Теорема 8.1. Пусть P (G) – матрица смежности вершин графа G = (S, U) порядка n и k -я степень матрицы P. Тогда элемент матрицы Pk равен числу маршрутов, состоящих из k ребер (дуг) графа G из вершины xi в вершину xj. 

Пример 8.1. Найти сильные компоненты связности орграфа G, изображенного на рис. 14, и все маршруты длины три дуги, исходящие из вершины x 1.

Решение. Найдем матрицу смежности вершин

орграфа G:

Так как порядок орграфа G равен

четырем, то для нахождения матрицы B вычислим Pk, где k = 1, 2, 3, 4:

Следовательно, B = E + P + P2 + P3 + P4 = Найдем матрицы

достижимости и контрдостижимости орграфа G:

Отсюда получаем матрицу

сильных компонент связности орграфа G: F = C * L =

Таким образом, данный орграф G содержит три сильные компоненты связности G1 = (S1, U1), G2 = (S2, U2) и G3 = (S3, U3), где S1 = { x1 }, S2 = { x2, x3 },

S3 = { x4 }, диаграммы которых изображенные на рис. 15. 





Дата публикования: 2014-11-29; Прочитано: 2429 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.009 с)...