Теория графов
ОПРЕДЕЛЕНИЕ
Пример изображения графа как планарного
Пример изображения графа как планарного
Пример изображения графа как планарного
Понятие плоского графа
Задача Эйлера
Теорема Эйлера
Решение задачи Эйлера
Доказательство:
Признак планарности/непланарности графов
Теорема Понтрягина-Куратовского
Понятие гомеоморфности графов
Операция введения вершины в ребро
Примеры
Примеры
Эквивалентная форма критерия планарности
Примеры
Гамма-алгоритм
712.50K
Category: mathematicsmathematics

Теория графов. Планарные графы

1. Теория графов

Планарные графы

2. ОПРЕДЕЛЕНИЕ

Планарным графом называется граф,
который может быть изображен в
плоскости, так что его ребра не
пересекаются.
Граф, который не является планарным, называется непланарным.
2

3. Пример изображения графа как планарного

3

4. Пример изображения графа как планарного

4

5. Пример изображения графа как планарного

5

6. Понятие плоского графа

• Плоским графом называется граф,
вершины которого являются точками
плоскости,
а ребра – непрерывными плоскими
линиями без самопересечений, которые
соединяют соответствующие вершины
так, что никакие два ребра не имеют
общих точек, кроме инцидентной им
обоим вершиной.
6

7.

• Граф называется планарным, если он
изоморфен некоторому плоскому
графу.
7

8.

Непересекающиеся
части
плоскости,
заключённые между циклами, образованными
ребрами планарного графа, называются гранями
графа (одна из граней бесконечна, она
называется внешней гранью).
Границей грани называется множество вершин
и ребер, принадлежащих этой грани.

9.

• Всегда имеется одна неограниченная
внешняя грань, все остальные грани
называются внутренними.
• Если в плоском графе нет циклов, то у
него имеется только одна грань.
9

10. Задача Эйлера

Задача. Три соседа имеют три общих колодца. Можно ли
провести непересекающиеся дорожки от каждого дома к
каждому колодцу?
То, что не получилось на рисунке, не является
доказательством невозможности соединения дорожками
домиков и колодцев. Для доказательства воспользуемся
следующей теоремой Эйлера.

11. Теорема Эйлера

ТЕОРЕМА.
Если G – связный планарный граф,
содержащий υ вершин, e ребер и f
граней, то υ – e + f = 2.
11

12.

Доказательство.
Пусть G – связный планарный граф, который имеет k
вершин. Рассмотрим некоторый остов этого графа. Остов
имеет всего одну внешнюю грань f=1, v=k вершин и e=k-1
ребер,
т.е.
v - e + f = k - (k - 1) + 1 = 2.
Будем поочередно добавлять к остову недостающие
ребра графа G. При каждом добавлении число вершин не
изменится, число ребер увеличивается на единицу, так же
как и число граней, поскольку при добавлении к остову
ребра,
связывающего
две
несмежные
вершины,
получается цикл, разделяющий текущую грань на две.
Таким образом, формула будет верна для всякого
графа, получающегося в результате таких операций, а
поскольку графом G заканчивается вся эта процедура, то
эта формула будет верна и для него.

13. Решение задачи Эйлера

Предположим, что можно провести непересекающиеся дорожки от
каждого дома к каждому колодцу. Рассмотрим граф, вершинами
которого являются домики и колодцы, а ребрами – дорожки. У него
В = 6, Р = 9 и, следовательно, Г = 5. Каждая из пяти областей
ограничена, по крайней мере, четырьмя ребрами, поскольку, по
условию задачи, ни одна из дорожек не должна непосредственно
соединять два дома или два колодца. Так как каждое ребро
разделяет две области, то количество ребер должно быть не меньше
(5∙4)/2 = 10, что противоречит тому, что их число равно 9.

14.

ТЕОРЕМА.
Полный двудольный граф K3,3 не
является планарным.
14

15.

• Лемма.
В произвольном связном планарном
графе G с количеством вершин не
менее трех имеет место неравенство
3υ – e ≥ 6.
15

16.

• ТЕОРЕМА.
Полный граф K5 не является
планарным.
16

17. Доказательство:

• Граф К5 имеет пять вершин и десять
ребер.
• 3υ – e = 3*5 – 10 = 5
• Согласно Лемме: в произвольном
связном планарном графе G с
количеством вершин не менее трех имеет
место неравенство 3υ – e ≥ 6.
Следовательно граф К5 непланарный.
17

18. Признак планарности/непланарности графов

19.

Графы Понтрягина - Куратовского, играют важную
роль в теории планарности графов. Они не являются
планарными графами.
Граф K5 представляет собой полный граф наименьшего
порядка, который, не являясь планарным графом (полные
графы K2, K3, K4 - планарные), становится планарным
после удаления хотя бы одного его ребра.
Второй (двудольный граф K33) является моделью
известной задачи о трех домах и трех колодцах.

20. Теорема Понтрягина-Куратовского

Граф планарен тогда и только тогда,
когда он не содержит подграфов,
гомеоморфных К5 или К3,3.
20

21. Понятие гомеоморфности графов

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

22. Операция введения вершины в ребро

• Добавлением вершины w в ребро (u,v)
называется операция, в результате
которой получаем два ребра (u,w) и (w,v),
а ребро (u,v) удаляется из графа G.
22

23. Примеры

23

24. Примеры

24

25. Эквивалентная форма критерия планарности

• Теорема.
Граф планарен тогда и только тогда,
когда в нем нет подграфов,
стягиваемых к графам К5 или К3,3.
25

26. Примеры

26

27.

• Теорема.
Если два связных графа гомеоморфны,
то они либо оба планарны, либо оба
непланарны.
• Теорема.
Произвольный граф, гомеоморфный
графу К3,3 или К5,не является
планарным.
27

28.

• Граф Петерсена не является
планарным, т.к. содержит подграф
гомеоморфный К3,3.
28

29. Гамма-алгоритм

На вход подаются графы, обладающие следующими
свойствами:
• граф связный;
• граф имеет хотя бы один цикл;
• граф не имеет мостиков, т. е. ребер, после удаления
которых граф распадается на две компонеты
связности.
Если нарушено свойство (1), то граф нужно укладывать
отдельно по компонентам связности.
Если нарушено свойство (2), то граф — дерево и
нарисовать его плоскую укладку тривиально.
29

30.

Случай нарушения свойства (3) рассмотрим
более подробно. Если в графе есть мостики, то их
нужно разрезать, провести отдельно плоскую
укладку каждой компоненты связности, а затем
соединить их мостиками.
Здесь может возникнуть трудность: в процессе
укладки концевые вершины мостика могут
спрятаться внутри плоского графа. Нарисуем
одну компоненту связности и будем присоединять
к ней другие последовательно. Каждую новую
компоненту связности будем рисовать в той
грани, в которой лежит концевая вершина
соответствующего мостика. Так как граф
связности мостиками компонент связности
является деревом, мы сумеем получить плоскую
укладку.
30

31.

Выбираем любой простой цикл; {1, 2, 3, 4, 5, 6, 7, 8} и
получаем две грани: Γ1 — внешнюю и Γ2 —
внутреннюю
31

32.

Обозначим выбранный цикл как G′. На каждом шаге будем строить
множество сегментов. Каждый сегмент S относительно уже
построенного графа G′ представляет собой одно из двух:
ребро, оба конца которого принадлежат G′, но само оно не
принадлежит G′;
связную компоненту графа G – G′, дополненную всеми ребрами
графа G, один из концов которых принадлежит связной компоненте, а
второй из графа G′.
Те вершины, которые одновременно принадлежат G′ и какому-то
сегменту, назовем контактными.
Контактные вершины обведены в квадрат.
32

33.

1. Выберем любой простой цикл C исходного графа G; изобразим его
на плоскости в виде грани, которую примем за уже уложенную
часть G′; сформируем сегменты Si; если множество сегментов
пусто, то перейти к п. 3.
2. (Общий шаг). Пока множество сегментов непусто:
a) Для каждого сегмента S найти множество Γ(S). Если
существует сегмент S, для которого |Γ(S)| = 0, то граф не
планарный, конец.
b) Выбираем один из сегментов с минимальным числом,
вмещающих его граней.
c) Выбираем одну из подходящих граней для выбранного
сегмента.
d) В данном сегменте выбираем цепь между двумя контактными
вершинами и укладываем ее в выбранной грани. Учтем
изменения в структуре сегментов и перейдем к п. a).
3. (Завершение). Построена плоская укладка G′ исходного графа G,
конец.
33

34.

34
English     Русский Rules