Циклический и коциклический ранг графа

Связность и компоненты графа

Две вершины графа называют связанными, если между ними существует путь. Любая вершина по определению связана сама с собой.

Неорграф называется связным, если любая пара вершин в нем связана. Орграф называется связным, если соответствующий ему неорграф связен. Орграф называется сильно-связным, если для любой пары несовпадающих вершин v_i и v_j существуют оба маршрута (v_i ‑ v_j) и (v_j ‑ v_i).

Бинарное отношение связности в неорграфе (сильной связности в орграфе) является отношением эквивалентности на множестве вершин, поскольку оно рефлексивно, симметрично и транзитивно. И по теореме о разбиении множества на классы эквивалентности, множество вершин графа можно разбить на такие непересекающиеся подмножества, что в каждом из этих подмножеств вершины будут попарно связаны между собой и не связаны с вершинами никаких других подмножеств. Вершинно-порожденные подграфы каждого из подмножеств в этом разбиении называются компонентами графа (сильными компонентами в орграфе). Таким образом, справедливо следующее утверждение: любой неорграф разбивается единственным образом на попарно непересекающиеся компоненты (или, как говорят, в прямую сумму своих компонент, а орграф – в прямую сумму сильных компонент).

На рисунке 26 изображены два графа: неорграф (слева) связным не является и состоит из четырех компонент – {1,2,3}, {4,5}, {6,7,8} и {9}. Орграф (справа) связен, но не сильно-связен, имеет три сильные компоненты – {1,2,3}, {4} и {5}.

 

Свойства связных графов

1) Связный граф состоит из одной компоненты, а число компонент в несвязном графе всегда больше единицы.

2) Изолированная вершина является компонентой.

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

4) Удаление циклического ребра не нарушает связности графа.

Связный граф без циклов называется деревом. Граф, каждая компонента которого является деревом, называется лесом. На рисунке 27 изображен лес, состоящий из двух деревьев.

 

 

Теорема: (Оценка числа ребер в простых графах)

Пусть G =(V, E) – простой граф с в вершинами и k компонентами. Тогда число его ребер р удовлетворяет неравенству:

Циклический и коциклический ранг графа

Цикломатическим числом или циклическим рангом графа называется наименьшее число ребер, которое необходимо удалить из графа так, чтобы в нем не осталось ни одного цикла. После такого удаления ребер из связного графа будет получено дерево, называемое остовным деревом или остовом графа (в случае несвязного графа – остовный лес). Заметим, что число вершин в остове совпадает с числом вершин графа. Относительное дополнение остова до исходного графа образует так называемое ко-дерево (ко-лес) для данного остова. Ребра остова называют ветвями, а ребра ко-дерева (ко-леса) – хордами.

На рисунке 28 (а) изображен несвязный граф, а на рисунках (б) и (в) его остовный лес и соответствующий ему ко-лес.

Обозначим цикломатическое число графа g(G), число ребер р, число вершин в и число компонент k. Тогда из определения цикломатического числа следует, что р ‑ g(G) = в –1 для связного графа и р ‑ g(G) = в – k для несвязного графа. Отсюда g(G) = р ‑ в+ 1 для связного и g(G) = р ‑ в+k для несвязного графов соответственно. Цикломатическое число характеризует связность графа или, как говорят, является мерой связности. Заметим также, что число хорд в ко-лесе равно g(G).

Нетрудно установить, что цикломатическое число дерева равно нулю, а простого цикла – единице.

Число ветвей в остове (в – k) называют коциклическим рангом графа или рангом разреза и обозначают g*(G). Заметим, что g(G) +g*(G)= р.

Разделяющим множеством простого графа называют такое подмножество его ребер, удаление которого увеличивает число компонент графа.

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

Для графа на рисунке 29 множества ребер {1,2,5} и {3,4,6,7,8} являются разделяющими множествами. А множества {1,2} и {3,6,7,8} – разрезами.

Следующая теорема устанавливает связь между остовами и разрезами, а также между ко-лесом и циклами в графе.

Теорема: Пусть Т – остовный лес графа G, а K – соответствующий ему ко-лес. Тогда (а) всякий разрез в G имеет общее ребро с Т, и (б) каждый цикл в G имеет общее ребро с K.

Связь между циклами и разрезами устанавливается следующей теоремой.

Теорема: Любой цикл и любой разрез связного графа имеют четное число общих ребер.

том случае, когда С и S имеют четное число общих ребер.