Кроме классификации типов графов данной в п. 3.1 графы могут быть классифицированы по связности: сильно связные, односторонне связные, слабо связные и несвязные.
Орграф называется сильно связным, или сильным, если для двух любых различных его вершин хi и xj существует, по крайней мере, один путь, соединяющий эти вершины. Это определение означает также, что любые две вершины сильно связного графа взаимодостижимы. Пример данного графа показан на рис. 6.2,а.
Рис. 6.2. Виды графов по связности: а – cильно связный граф; б – односторонне связный граф; в – cлабо связный граф; г – несвязный граф
Орграф называется односторонне связным, или односторонним, если для любых двух различных его вершин хi и xj существует, по крайней мере, один путь из хi в xj или из xj в хi или оба пути существуют одновременно. Граф на рис. 6.2,б не является сильным, так как в нем нет пути из х1 в х3 , но является односторонне связным.
Орграф называется слабо связным, или слабым, если для любых двух различных вершин графа существует по крайней мере один маршрут, соединяющий их. Граф, изображенный на рис. 6.2,в, не является ни сильным, ни односторонним, поскольку в нем не существует путей от х2 к х5 и от х5 к х2 . Он слабо связный.
Орграф называется несвязным, если для некоторой пары вершин орграфа не существует маршрута, соединяющего их (рис. 6.2,г).
По признаку связности могут быть классифицированны и подграфы, но сначала введем понятие максимального подграфа. Пусть дано некоторое свойство Р, которым могут обладать графы.
Максимальным подграфом графа G относительно свойства Р называется порожденный подграф Gsm , обладающий этим свойством и такой, что не существует другого порожденного графа Gs , у которого Хs Хsm и который так же обладает свойством Р. Так, например, если в качестве свойства Р взята сильная связанность, то максимальным сильным подграфом графа G является сильный подграф, который не содержится ни в каком другом сильном подграфе. Такой подграф называется сильной компонентой графа. Аналогично, односторонняя компонента представляет собой односторонний максимальный подграф, а слабая компонента – максимальный слабый подграф.
Например, в графе, приведенном на рис. 6.2,б, подграф, состоящий из вершин{х1, х4, х5, х6}, является сильной компонентой графа. С другой стороны подграфы, включающие вершины {х1, х6} и{х1, х5, х6}, не являются сильными компонентами (хотя и являются сильными подграфами), поскольку они содержатся в графе, состоящем из вершин {х1, х4, х5, х6} и, следовательно, не максимальные. В графе, показанном на рис. 6.2,в, подграф не содержит вершины{х1, х4, х5, х6}, является односторонней компонентой.
В графе, приведенном на рис. 6.2,г, оба подграфа, включающие вершины {х1, х5, х6} и {х2, х3, х4} являются слабыми компонентами, и у этого графа только две компоненты.
Из определений сразу же следует, что односторонние компоненты графа могут иметь общие вершины. Сильная компонента должна содержаться по крайней мере в одной односторонней компоненте, а односторонняя компонента содержится в некоторой слабой компоненте данного графа.
7. Лекция: Методы разбиения графа на максимальные сильно связные подграфы