между любыми двумя центрами осуществляется либо непосредственно по соеди-
няющему их каналу, если он есть, либо через другие каналы и центры. Сеть счи-
тается исправной, если каждая пара центров в состоянии обмениваться информа-
цией. Такой сети естественно сопоставить граф: вершины – центры, ребра – кана-
лы сети. Тогда исправной сети будет соответствовать связный граф. Важным по-
нятием является надежность (живучесть) сети, под которой обычно подразумева-
ют способность сети функционировать при выходе из строя одного либо несколь-
ких центров или каналов. Ясно, что менее надежной следует считать ту сеть, ис-
правность которой нарушается при повреждении меньшего количества элементов.
Оказывается, надежность сети можно измерять на основе вводимых ниже опреде-
лений.
Числом вершинной связности (или просто числом связности)
χ
(G) графа G
называется наименьшее число вершин, удаление которых приводит к несвязному
или одновершинному графу.
Пусть G – граф порядка n>1. Числом реберной связности
λ
(G) графа G назо-
вем наименьшее число ребер, удаление которых приводит к несвязному графу.
Число реберной связности графа будем считать равным нулю, если этот граф од-
новершинный.
Вершина v графа G называется точкой сочленения (или разделяющей верши-
ной), если граф G–v имеет больше компонент, чем G. В частности, если G связен и
v – точка сочленения, то G–v не связен. Аналогично ребро графа называется мос-
том, если его удаление увеличивает число компонент.
Понятно, что концевая вершина моста является точкой сочленения, если в
графе есть другие ребра, инцидентные этой вершине.
Если
δ
(G) – минимальная степень вершин графа G, то очевидно, что
λ
(G)
≤δ
(G), поскольку удаление всех ребер, инцидентных данной вершине, приво-
дит к увеличению числа компонент графа.
Теорема.
Для любого графа G верны неравенства
χ
(G)
≤λ
(G)
≤δ
(G).
Граф G называется k- связным, если
χ
(G)
≥
k, и реберно -k-связным, если
λ
(G)
≥
k. Таким образом, отличный от K
1
граф называется 1-связен (односвязен)
тогда и только тогда, когда он связен, а 2-связные (двусвязные) графы – это связ-
ные графы без точек сочленения, не являющиеся одновершинными.