Связность графа

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

Ориентированный граф называется сильно связным, если для любых двух его вершин x_i и x_j существует хотя бы один путь, соединяющий x_i с x_j.

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

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

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

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

Пусть G = (X, A) неориентирован­ный граф с множеством вершин X = { x ₁,..., x_n }. Квадратная матрица S = (s_ij)порядка n, у которой

s_ij =

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

Для ориентированного графа квадратная матрица T = (t_ij) порядка n, у кото­рой

t_ij =

называется матрицей односторонней связности (достижимости ).

Квадратная матрица S = (s_ij) порядка n, у которой

s_ij =

называется матрицей сильной связности.

Пример 3.13.

У неориентированного графа, изображенного на рис. 3.8 две компоненты связности. Первая компонента связности включает вершины x ₁, x ₂, x ₄, x ₅,а вторая состоит из одной вершины x ₃.

Рис.3.8

Матрица связности этого графа имеет вид:

S =

Мы видим, что 1-ая, 2-ая, 4-ая и 5-ая строки матрицы S одинаковы.

Пример 3.14.

У ориентированного графа, изображенного на рис. 3.9 две компоненты сильной связности. Первая компонента связности включает вершины x ₁, x ₂, x ₃, x ₅,а вторая состоит из одной вершины x ₄. Действительно, для любой пары вершин из множества { x ₁, x ₂, x ₃, x ₅}существует хотя бы один путь, соединяющий эти вершины. Например, путь (x ₁, x ₂, x ₅, x ₃, x ₁) соединяет все эти вершины. Из вершины x ₄ нет пути ни в одну вершину графа.

Рис. 3.9

Матрица сильной связности этого графа имеет вид:

S =

Мы видим, что 1-ая, 2-ая, 3-ая и 5-ая строки матрицы S одинаковы.