Лекции Просолупов
.pdfЛекция 27. Маршруты и операции над графами
§71. Маршруты и связность
Определение 71.1 . Маршрутом в графе называется последовательность
вершин и ребер 0, 1, 1, 2, 2, ..., , , где |
0, 1, ..., |
( ), |
1, ..., ( ) |
и |
||
|
|
|
|
|
|
|
инцидентна −1 и , = 1, . |
|
|
0 в вершину |
. |
||
Указанный маршрут называется маршрутом из вершины |
||||||
Длиной маршрута называется число . |
|
|
|
|
Маршрут называется цепью, если ребра в нем не повторяются:
, {1, ..., }, ̸= .
Цепь называется простой цепью, если вершины в ней не повторяются:
, {0, ..., − 1}, ̸= .
Проще говоря, маршрут представляет собой последовательность вершин и переходов между ними по ребрам. Определение выше избыточно, так как если указана первая вершина маршрута, остальные вершины однозначно определяются ребрами по которым проходит маршрут. Если граф обыкновенный или граф Бержа, для полного задания маршрута достаточно указать только последовательность проходимых вершин.
Определение 71.2 . Замкнутым называется такой маршрут, в котором 0 = .
Циклом называется замкнутая цепь.
Простым циклом называется замкнутая простая цепь.
Определение 71.3 . Ориентированным маршрутом в ориентированном графеназывается последовательность вершин и дуг 0, 1, 1, 2, 2, ..., , , где
0, 1, ..., ( ), 1, ..., ( ) и = ( −1, ) — дуга из −1 в , = 1, .
Ориентированный маршрут называется путем, если дуги в нем не повторяются.
Путь называется простым путем, если вершины в нем не повторяются. Замкнутый путь называется контуром.
Замкнутый простой путь называется простым контуром.
Лемма 71.4 . В любом маршруте, соединяющем две различные вершины, содержится простая цепь, соединяющая те же вершины.
Доказательство. Пусть = 1, 2, ..., = — маршрут, соединяющий вершиныи . Если все его вершины различны, то это уже простая цепь. В противном случае, существуют и : 1 ≤ < ≤ , = . Тогда последовательность вершин 1, ..., , +1, ..., тоже является маршрутом, соединяющим вершины и ,
171
но меньшей длины. Повторив процесс нахождения совпадающих вершин конечное число раз, получим маршрут, соединяющий вершины и , все вершины в котором
различны, то есть простую цепь.
Лемма 71.5 . Во всяком цикле, проходящем через некоторое ребро, содержится простой цикл, проходящий через это ребро.
Доказательство. Пусть через ребро = ( , ) графа проходит цикл =1, 2, ..., = , . Тогда, в графе существует маршрут 1, 2, ..., . По лемме 71.4, между вершинами и в графе существует простая цепь. Добавив к этой простой цепи ребро , получим простой цикл в графе .
Замечание 71.6 . Леммы 71.4 и 71.5 также верны и для ориентированных маршрутов.
Лемма 71.7 . Если в графе степень каждой вершины не меньше 2, то в нем есть цикл.
Доказательство. Найдем в графе простую цепь максимальной длины. Она
существует, поскольку длина простой цепи в |
графе с вершинами |
не может |
||
быть больше − 1. Пусть, |
искомая цепь — |
= 1, 2, ..., −1, . |
Поскольку |
|
степень вершины не меньше двух, помимо |
−1 она смежна с какой-нибудь |
|||
еще вершиной графа : |
̸= −1. |
Если |
/ { 1, 2, ..., −2}, то маршрут |
|
1 = 1, 2, ..., −1, , будет простой цепью |
длиннее известной максимальной |
|||
простой цепи . Следовательно, = |
{ 1, 2, ..., −2}, а значит , +1, ..., , |
|||
— простой цикл в графе . |
|
|
|
|
|
|
|
|
|
Определение 71.8 . Расстоянием ( , ) между вершинами и в графе называют длину кратчайшей ( , )-цепи (цепи, которая соединяет вершины и).
В ориентированном графе расстояние — длина кратчайшего пути из в
Определение 71.9 . Граф называется связным, если между любыми двумя вершинами этого графа существует маршрут.
§72. Основные операции над графами
Существует множество операций над графами. Рассмотрим только несколько основных операций для примера.
1) Добавление вершины: 1 = + .
( 1) = ( ) { }, ( 1) = ( ).
172