2.5. Сильная связность
Ориентированный граф называется сильно связным, если для каждой пары различных вершин существует путь из и из Очевидно, что сильная связность ориентированного означает связность соответствующего неориентированного графа. Обратное, вообще говоря, неверно. На рис. 2.4, граф является сильно связным графом, а граф не является таковым.
Рис. 2.4.
В главе 3 будут даны необходимые и достаточные условия того, что при соответствующей ориентации ребер неориентированного графа он будет преобразован в сильно связный ориентированный граф.
Ориентированный граф называется сильно -связным, если для каждой пары различных вершин существует, по крайней мере, путей из и в которые не имеют общих вершин (а следовательно, и дуг), за исключением, конечно, Для того чтобы ориентированный граф был сильно -связным, очевидно, необходимо, но недостаточно, чтобы соответствующий неориентированный граф был -связным в неориентированном смысле.
Рассмотрим ориентированный граф, дуги которого соответствуют каналам связи (направленным) в некоторой группе людей. Если граф сильно связен, то каждый человек может связаться с любым другим членом группы, по крайней мере, одним способом (т.е. посредством, по крайней мере, одного пути). Если граф сильно -связный, то существует, по крайней мере, различных путей связи от любого лица к любому другому. Таким образом, чтобы полностью прекратить связь между любой определенной парой лиц, необходимо разорвать информационные каналы, по крайней мере, в точках.