
- •Дискретная математика
- •Содержание
- •Теория множеств
- •1. Построить биекцию из .
- •2. Установить взаимно однозначное соответствие между двумя отрезками.
- •3. Докажите, что
- •Комбинаторика
- •26. Найдите количество чисел, не делящихся на 3, 5, 7 в первой тысяче натурального ряда.
- •Математическая логика
- •Упражнения для самостоятельного решения.
- •Графы и сети
- •5.5. Связность
- •Примерный перечень вопросов к экзамену
- •Список литературы
5.5. Связность
Граф
называется связным,
если любые две его различные вершины
соединяет цепь. На множестве вершин
графа определим отношение
,
если
или если в графе существует цепь,
соединяющая a
и
b.
Отношение
является отношением эквивалентности.
Пусть
– классы эквивалентности множества
вершин графа
,
определяемые этим отношением. Подграфы
,…,
графа G
называются компонентами
связности
этого графа, а их число называется
степенью
связности
графа. Если граф имеет несколько
компонентов связности, то вершины можно
перенумеровать так, что его матрица
инцидентности клеточно диагональна.
ТЕОРЕМА.
Ранг матрицы инцидентности графа,
имеющего
компонент
связности и n
вершин,
равен n
–
.
Доказательство.
Достаточно доказать, что ранг матрицы
М
связного графа c
n
вершинами
равен n
– 1.
Так как в каждой строке матрицы по две
единицы, то сумма всех столбцов по модулю
2 нулевая
n.
Если
один столбец матрицы удалить, то в
некоторых строках останется по одной
единице. Если предположить, что r(M)
n
–
1, то в столбцах должно быть чётное число
единиц, а это противоречит только что
сказанному. ■
В связном графе ребро называется перешейком, если после его удаления из графа свойство его связности исчезает. Связный граф без циклов называется деревом.
Эйлерова характеристика
Эйлеровой
характеристикой
связного плоского графа G
называется число
,
где n – число вершин графа G;
h – число его рёбер;
–
число
областей, на которые G
делит плоскость, включая и бесконечную
область. Например, для графа, изображённого
на рис. 5.6, имеем
П
усть
даны два графа G
и
пусть
–
части, на которые дуги графа
делят дугу
графа G,
определены
аналогично. Граф G
с рёбрами
называется наложением
графов
G
и
.
Лемма
1. Пусть
связный плоский граф
получен
из связного плоского графа G
наложением ребра
с несовпадающими концами. Тогда
.
Доказательство.
Очевидно, что пересечение графа G
и ребра
не пусто, иначе
не
мог бы быть связным. Пусть a,
b
–
концы отрезка
,
а
–
точки пересечения
и
G.
Случай
1.
Ни одна из точек
не совпадает ни с одной из вершин графа
G.
Тогда число вершин в графе
равно
.
Если на граф G
наложить отрезок
,
то число рёбер увеличится на 2, а число
областей не изменится (рис. 6).
При
последовательном наложении отрезков
число
рёбер увеличивается с каждым шагом на
2, а число областей на 1 (рис. 7). При
добавлении же отрезка
число
рёбер увеличивается на 1, а число областей
не изменяется (рис. 8), т.е. имеем
x1
xк
xk+1
xt-1
xt
а
Рис. 6 Рис. 7 Рис. 8
Способ
2.
Пусть некоторые из точек
являются вершинами графа G.
И пусть число таких точек k
.
Тогда
Случай
3. Пусть
точка а
принадлежит графу G.
Добавим к отрезку
кусок так, чтобы он пересекался с G
только в точке а
(рис. 9). При этом эйлерова характеристика
не изменилась и задача свелась к уже
разобранному случаю. Остальные случаи
очевидны.
Л
емма
2.
Пусть связный граф
получен
наложением графа
на
граф G.
Тогда
.
Доказательство.
Проведём индукцию по числу рёбер h
графа
Лемма 1 даёт базис индукции. Предположим,
что утверждение верно для графа
с
числом рёбер h.
Рассмотрим теперь граф с h
+
1 ребром.
Случай
1. В
графе
найдутся
два ребра, которые пересекаются с рёбрами
графа G.
Удаляя ребро графа
не
являющееся перешейком, получим граф
с
h
рёбрами такой, что наложение
графа
на граф G
связно. По индукционному предположению
.
Добавляя удалённое ребро по лемме 1,
получим
.
Случай
2. Граф
пересекается
с графом G
по одному ребру
.
Если граф
не
дерево, то в нём есть цикл. Удаляя ребро
этого цикла, не совпадающее с
и аналогично случаю 1, получим
.
Если же
–
дерево, то в нем имеются по крайней мере
два концевых ребра (тупика).
Удаляя не совпадающий с
тупик, с помощью тех же рассуждений
получим, что эйлеровы характеристики
графов G
и
совпадают.
ТЕОРЕМА.
Для любого плоского связного графа G
имеем
.
Доказательство.
Рассмотрим два плоских непересекающихся
связных графа G1
и G2.
Пусть
– дуга, одна вершина которой принадлежит
а другая G2.
Пусть
–
наложение
на
По
лемме 2
,
поскольку граф
связан.
Кроме того, наложение
графа
на
граф G2
также связно, а поэтому
.
Аналогично получим
.
Из произвольности графов и получаем,
что любые два плоских связных графа
имеют одну и ту же эйлерову характеристику.
Поэтому достаточно подсчитать её для
простейшего плоского связного графа.
Замечание.
Условие связности графа существенно
для доказательства теоремы. Например,
для несвязного графа
имеем
Эйлеровы графы
З
С
с
d
g
C
g
C
e
D
A
с
d
a
b
f
e
A
D
b
a
f
B
B
Рис.
10 Рис.
11
Требуется пройти каждый мост по одному разу и вернуться в исходную часть города. Можно построить граф задачи, в которой каждой части города соответствует вершина, а каждому мосту – ребро, инцидентное вершинам, относящимся к соединяемым им частям (рис. 11). Обходу мостов соответствует маршрут графа, который по условию должен быть простым циклом. Эйлеровой цепью графа называется маршрут, включающий все рёбра графа и через каждое ребро проходящей по одному разу. Замкнутая эйлерова цепь – эйлеров цикл. Эйлерову цепь и эйлеров цикл называют эйлеровыми графами.
ТЕОРЕМА.
Граф имеет эйлеров цикл
а) связен, б) все его вершины имеют
положительные чётные степени.
Доказательство. Необходимость очевидна.
Докажем
вначале, что в графе
,
все вершины которого имеют чётную
степень, для любого ребра x
найдётся цикл, содержащий x.
Пусть a0,
a1
– концы ребра x.
Так как степень вершины a1
чётна, то найдётся другое ребро x2,
отличное от x,
инцидентное a1.
Пусть a2
– вторая концевая точка ребра x2.
Маршрут
простой. Продолжая, таким образом
получим последовательность простых
маршрутов увеличивающейся длины. В
силу конечности графа через некоторое
время продлить маршрут будет невозможно.
Это значит, что маршрут заканчивается
в вершине a0.
Рассмотрим
в графе G
замкнутый простой маршрут
,
содержащий наибольшее число рёбер.
Покажем, что в графе нет вершин, не
лежащих на этом маршруте. Предположим,
что некоторая вершина b
не лежит на нём. Так как граф связан, то
существуют цепи между b
и каждой из всех вершин
максимального маршрута. Рассмотрим
самую короткую цепь
Вершины
не могут совпадать с вершинами
,
в противном случае можно было бы выбрать
цепь длины
m.
Следовательно, ребро ym
не входит в выбранный путь.
Из
множества рёбер графа удалим
и полученное множество рёбер обозначим
через
В графе
все вершины имеют чётную степень, т.е.
в нём существует простой замкнутый
маршрут, включающий ребро ym.
Пусть это будет маршрут
.
Если в исходный маршрут вместо ai подставить этот маршрут, то получим маршрут длины . Это противоречит тому, что – максимальная длина простого замкнутого маршрута в графе. Итак, простой замкнутый маршрут максимальной длины проходит через все вершины графа.
Предположим, что он содержит не все рёбра графа. Тогда в графе найдётся ребро y, инцидентное одной из вершин ai и не входящее в максимальный маршрут. Повторив рассуждения, проведённые для ym, получим противоречие.
Следствие. Граф имеет открытую эйлерову цепь а) связен, б) содержит ровно две вершины нечётной степени.
Необходимость очевидна.
Пусть
a,
b
–
две вершины нечётной степени. Соединим
их ещё одним ребром x.
После этого все вершины графа приобретут
чётную степень, т.е. в нём существует
замкнутая эйлерова цепь. Осталось
удалить из неё ребро x.
Гамильтоновой цепью графа называется цепь, которая проходит через все вершины графа и через каждую проходит по одному разу. Гамильтоновым циклом называется замкнутая гамильтонова цепь.
ТЕОРЕМА. Если число вершин графа n > 3 и степени всех вершин больше, чем n/2, то граф гамильтонов.
Упражнения для самостоятельного решения.
1. Изоморфны ли графы G1 и G2:
(1) G1: 14 16 23 25 26 45; G2: 16 15 26 24 35 34.
(2) G1: 12 23 24 15 34 45; G2: 12 23 51 25 41 34.
2. Является ли планарным граф
G1: 12 13 14 25 26 27 35 37 36 46 47 45 56 67;
G2: 12 23 34 48 81 14 82 45 56 67 87 46;
G3: 12 13 15 18 23 24 34 38 45 46 47 56 57 58 67 78?