14 Глава 2. Основные классы управляющих систем
как обычно, подразумевает удаление всех инцидентных ей
ребер.
При определении понятий, связанных с «движениями»
по графу, ограничимся случаем ориентированных графов,
считая, как обычн о, что неориентированное ребро
эквивалентно двум противоположным дугам, связанным с
той же парой вершин. Последовательность C, состоящая
из ребер e
1
, e
2
, . . . , e
n
, где e
i
= (v
i
, v
i+1
) ∈ E (G) при
всех i, i ∈ [1, n], называется (v
1
− v
n+1
)-путем графа
G. При этом вершина v
1
(v
n+1
) считается начальной
(соответственно конечной) вершиной этого пути, вершины
v
2
, . . . , v
n
— его внутренними вершинами, а число n —
его длиной. Если все ребра пути различны (как элементы
соответствующего сочетания), то он называется цепью,
а если, кроме того, различны все его вершины, то —
простой цепью. Если начальная и конечная вершины пути
(цепи) C совпадают, то C считается замкнутым путем
(соответственно циклом). Цикл, в котором все вершины,
кроме начальной и конечной, различны, называется
простым циклом.
Будем говорить, что вершина u достижима из вершины
v в графе G, где u, v ∈ V (G), если u = v или в G существует
(v − u)-цепь. Заметим, что отношение достижимости
вершин графа G является рефлексивным и транзитивным,
а если G — неориентированный граф, то и симметричным.
Следовательно, множество вершин графа G распадается на
классы эквивалентности по отношению их достижимости в
графе
b
G, который получается из графа G заменой каждой
дуги на соответствующее неориентированное ребро (G =
b
G,
если G — неориентированный граф). При этом подграф
графа G, натянутый на каждый такой класс вершин,
называется связной компонентой графа G, а множество
всех его связных компонент обозначается через c (G). Гра ф
G называется связным, если |c (G)| = 1.