Графы Ирина Борисовна Просвирнина
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
? Если связный граф Γ является эйлеровым, то каждая его вершина имеет четную степень. Доказательство
? Если граф Γ является связным и каждая его вершина имеет четную степень, то Γ – эйлеров. Доказательство
? Если граф Γ является связным и каждая его вершина имеет четную степень, то Γ – эйлеров. Доказательство
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Эйлеровы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Гамильтоновы графы
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
После недолгих раздумий становится очевидным, что графы Γ и Σ по существу одинаковы.
Если мы переименуем вершины a, b, c, d графа Σ как 3, 4, 2, 1, в указанном порядке, и переименуем ребра f_i как e_i for i=1,…,8, то эти две диаграммы будут ра
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
Изоморфизм графов
? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число вершин. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число ребер. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число компонент. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда соответствующие вершины имеют одинаковые степени: для любой v∈V_Γ, deg⁡(v)=deg⁡(θ(v)). Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковые степенные последовательности. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является простым, то Σ – также простой. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является эйлеровым, то Σ – также эйлеров. Доказательство
? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является гамильтоновым, то Σ – также гамильтонов. Доказательство
Изоморфизм графов
Пример Определим, какие из приведенных ниже графов являются изоморфными.
Пример Определим, какие из приведенных ниже графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных графов являются изоморфными.
Пример Определим, какие из приведенных ниже графов являются изоморфными.
Изоморфизм графов
4.10M
Категория: МатематикаМатематика

Графы. Эйлеровы графы. Гамильтоновы графы. Изоморфизмы графов

1. Графы Ирина Борисовна Просвирнина

• Эйлеровы графы
• Гамильтоновы графы
• Изоморфизмы графов

2. Эйлеровы графы

Мы уже упоминали работу Эйлера, датированную
1736 годом, которая положила начало теории
графов.
В этой работе Эйлер изложил теорию, позволившую
решить задачу о мостах Кенигсберга.
Перейдем к изложению задачи о кенигсбергских
мостах. Она состоит в следующем.

3. Эйлеровы графы

Задача возникла в прусском городе Кенигсберг на
реке Прегел. На реке Прегел было два острова, один
из которых – остров Кнайпхоф (это больший остров).
Этот район и семь его мостов показаны на рисунке.

4. Эйлеровы графы

Жители Кенигсберга интересовались, могут ли они,
начав путь с одного участка суши, обойти все мосты,
посетив каждый лишь однажды, и вернуться в точку
начала пути, не переплывая реки.

5. Эйлеровы графы

Жители Кенигсберга не могли найти такого пути.
Задача заключалась в следующем: найти путь с
требуемыми свойствами или доказать, что такого
пути не существует.

6. Эйлеровы графы

•Эйлер представил географию указанного района
Кенигсберга в виде графа (рисунок ).
Оба берега реки и острова изображены вершинами
графа, а ребра графа соответствуют мостам,
соединяющим участки суши.

7. Эйлеровы графы

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

8. Эйлеровы графы

•Определение 1
Эйлеров цикл в графе – это замкнутый путь,
который включает все ребра графа .
Граф называется эйлеровым, если он имеет хотя бы
один эйлеров цикл.
Напомним, что в пути все ребра различны.
Таким образом, эйлеров цикл включает каждое
ребро графа в точности один раз, хотя, конечно,
вершины в эйлеровом цикле могут повторяться.

9. Эйлеровы графы

•Теорема 1
Связный граф является эйлеровым тогда и только
тогда, когда каждая его вершина имеет четную
степень.

10. ? Если связный граф Γ является эйлеровым, то каждая его вершина имеет четную степень. Доказательство

? Если связный граф является эйлеровым, то каждая
его вершина имеет четную степень.
Доказательство
Предположим,
что – связный и имеет эйлеров цикл.
Так как – связный, то последовательность вершин
эйлерова цикла содержит все вершины графа .
Всякий раз, когда цикл проходит через вершину
графа, он вносит в степень этой вершины ( вносит
ребро, ‘входящее в’ вершину и вносит ребро,
‘выходящее из’ вершины).
Так как эйлеров цикл проходит каждое ребро графа
в точности один раз, то каждая вершина должна
иметь четную степень.

11. ? Если граф Γ является связным и каждая его вершина имеет четную степень, то Γ – эйлеров. Доказательство

? Если граф является связным и каждая его вершина
имеет четную степень, то – эйлеров.
Доказательство
Докажем
утверждение индукцией по , числу ребер
графа .
Индуктивный переход (набросок доказательства).
Во-первых, выберем произвольную вершину графа и
замкнутый путь , начинающийся и заканчивающийся
в.
Если содержит все ребра графа , то доказательство
закончено. В противном случае удалим все ребра
пути и построим новый граф .

12. ? Если граф Γ является связным и каждая его вершина имеет четную степень, то Γ – эйлеров. Доказательство

? Если граф является связным и каждая его вершина
имеет четную степень, то – эйлеров.
Доказательство
Этот
• новый граф может оказаться несвязным.
Рассмотрим каждую компоненту графа по очереди
и воспользуемся индуктивным предположением
для построения эйлеровых циклов в каждой
компоненте.
Наконец, соединим и эйлеровы циклы каждой
компоненты графа в эйлеров цикл для графа

13. Эйлеровы графы

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

14. Эйлеровы графы

•Пример 1
Полный граф является -регулярным – каждая
вершина имеет степень .
Так как он связен, то является эйлеровым тогда и
только тогда, когда – нечетное число (так что –
четное число).

15. Эйлеровы графы

•Пример 1
– эйлеров граф тогда и только тогда, когда –
нечетное число (так что четно).
Граф имеет очевидный эйлеров цикл.

16. Эйлеровы графы

•Пример 1
– эйлеров граф тогда и только тогда, когда –
нечетное число (так что четно).
Найдите эйлеров цикл в .
В действительности,
имеет эйлеровых цикла.

17. Эйлеровы графы

•Полный двудольный
граф изображен на
рисунке.
Множество его вершин
разбито на два
подмножества и .
связен и каждая
вершина имеет степень
4.
Значит, по теореме 1
эйлеров.

18. Эйлеровы графы


Один эйлеров цикл,
начинающийся в
вершине , имеет такую
последовательность
вершин:

19. Гамильтоновы графы

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

20. Гамильтоновы графы

Определение 2
Гамильтонов цикл в графе – это цикл, который
проходит через каждую вершину графа один раз.
Граф называется гамильтоновым, если он имеет
гамильтонов цикл.
Этой терминологией мы обязаны игре,
изобретенной в 1857 ирландским математиком
Сэром Уильямом Роуэном Гамильтоном.

21. Гамильтоновы графы

Сэр Уильям Роуэн Гамильтон
(1805 – 1865) был
выдающимся ирландским
математиком. Закончив
университет, в возрасте 22 лет
он был избран профессором
астрономии и Королевским
Астрономом Ирландии.
Однако, его вклад в
астрономию невелик; его
наиболее значительные
результаты относятся к
математике и физике.

22. Гамильтоновы графы

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

23. Гамильтоновы графы

Итак, в 1857 году Уильям
Роуэн Гамильтон придумал
игру.
Существует несколько версий
того, как это произошло. По
одной из версий он описал
эту игру в письме к другу.
Согласно другой, он
действительно изобрел игру
и продал ее производителю
игрушек.

24. Гамильтоновы графы

•В любом случае игра, повидимому, включала
додекаэдр, т.е. правильный
многогранник, граней
которого представляли собой
конгруэнтные правильные
пятиугольники. В каждом из
углов, или вершин тела,
просверливалась дырка, в
которую вставлялся колышек,
изображавший город.

25. Гамильтоновы графы

Используя веревку,
требовалось найти путь через
города, посетив каждый
город один раз, и вернуться в
исходный город.

26. Гамильтоновы графы

Рассмотрим эквивалентный
вопрос.
Существует ли цикл в графе,
изображенном на рисунке,
который проходит через
каждую вершину графа ровно
один раз?

27. Гамильтоновы графы

Ответ на последний вопрос решает головоломку
Гамильтона, так как построенный граф изоморфен
графу, составленному из вершин и ребер
додекаэдра.

28. Гамильтоновы графы

Решение головоломки Гамильтона показано на
рисунке.

29. Гамильтоновы графы

Пример
1
На рисунке изображен гамильтонов цикл в полном
двудольном графе

30. Гамильтоновы графы

Для эйлеровых графов имеется достаточно простой
критерий. Однако, не так обстоят дела с
гамильтоновыми графами.
Действительно, изучая последние графы более
столетия, математики до сих пор не нашли критерия
гамильтоновости графов.
(Под ‘критерием’ гамильтоновости графа мы
понимаем необходимое и достаточное условия
того, что граф является гамильтоновым.)

31. Гамильтоновы графы

Эта задача остается одной из основных нерешенных
проблем теории графов.
Очевидным необходимым условием
гамильтоновости графа является его связность.
Известны также и различные достаточные условия
гамильтоновости графа.
Как правило, в достаточных условиях
гамильтоновости графа требуется, чтобы граф имел
‘достаточно’ ребер в определенном смысле этого
слова.

32. Гамильтоновы графы

Приведем
один из простейших результатов такого
сорта.
Теорема 1
Если – связный простой граф с вершинами и если
степень каждой вершины удовлетворяет
неравенству
то – гамильтонов граф.

33. Гамильтоновы графы

Теорема
1
Если – связный простой граф с вершинами и если
степень каждой вершины удовлетворяет
неравенству то – гамильтонов граф.
Условие, накладываемое на степени вершин: , – не
является необходимым условием гамильтоновости
графа . Граф может быть гамильтоновым и без
выполнения этого условия.

34. Гамильтоновы графы

•Убедимся в этом, обратившись
к графу додекаэдра.
Этот граф имеет вершин,
степень каждой вершины
равна , однако, граф –
гамильтонов.
Теорема 1
Если – связный простой граф с
вершинами и если степень
каждой вершины удовлетворяет
неравенству
то – гамильтонов граф.

35. Гамильтоновы графы

В действительности, каждый из графов, связанных с
пятью правильными многогранниками, имеет
гамильтонов цикл.

36. Гамильтоновы графы

Задача
1
Покажите, что каждый из графов, изображенных на
рисунке и связанных с правильными
многогранниками (тетраэдр – слева и куб – справа)
является гамильтоновым.

37. Гамильтоновы графы

Задача 1
Покажите, что каждый из графов, изображенных на
рисунке и связанных с правильными
многогранниками (октаэдр – слева и икосаэдр –
справа) является гамильтоновым.

38. Изоморфизм графов

•Рассмотрим два графа и определенные
следующим образом: имеет множество вершин и
матрицу смежности , и имеет множество вершин и
матрицу смежности , где

39. Изоморфизм графов

•имеет множество
вершин и матрицу
смежности

40. Изоморфизм графов

•имеет множество
вершин и матрицу
смежности

41. После недолгих раздумий становится очевидным, что графы Γ и Σ по существу одинаковы.

После недолгих раздумий становится очевидным,
что графы и по существу одинаковы.
Граф
Граф

42. Если мы переименуем вершины a, b, c, d графа Σ как 3, 4, 2, 1, в указанном порядке, и переименуем ребра f_i как e_i for i=1,…,8, то эти две диаграммы будут ра

Если мы переименуем вершины графа как , в
указанном порядке, и переименуем ребра как for
то эти две диаграммы будут различными
графическими представлениями одного и того же
графа.
Граф
Граф

43. Изоморфизм графов

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

44. Изоморфизм графов

•Условие
если , то
гарантирует, что биекции между множествами
вершин и множествами ребер двух графов
корректно согласованы друг с другом.
Другими словами, если ребро графа соответствует
ребру графа то множества вершин, инцидентные
этим ребрам, также соответствуют друг другу
(относительно биекции ).

45. Изоморфизм графов

•Если ребро графа соответствует ребру графа то
множества вершин, инцидентные этим ребрам,
также соответствуют друг другу (относительно
биекции ). Это показано на рисунке.

46. Изоморфизм графов

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

47. Изоморфизм графов

•Пусть – простой граф. Чтобы определить изоморфизм
из в , нам нужно только корректно специфицировать
биекцию
.
Действительно, любую пару вершин соединяет не
более одного ребра. Поэтому, если биекция
(корректно) определена, то существует единственная
функция
удовлетворяющая требуемым свойствам.

48. Изоморфизм графов

Изоморфизм графов является отношением
эквивалентности.

49. Изоморфизм графов

Так как изоморфные графы имеют, по существу,
одно и тоже строение, то любое теоретико-графовое
свойство, которым обладает один граф, должно
быть присуще и второму графу.
Мы перечислим некоторые такие свойства в
следующей теореме.

50. Изоморфизм графов

Теорема
1
Пусть – изоморфизм из на тогда:
a) и имеют одинаковое число вершин;
b) и имеют одинаковое число ребер;
c) и имеют одинаковое число компонент;
d) Соответствующие вершины имеют одинаковые
степени: для любой ,
e) и имеют одинаковые степенные последовательности;
f) если является простым, то – также простой;
g) если является эйлеровым, то – также эйлеров;
h) если является гамильтоновым, то – также гамильтонов.

51. ? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число вершин. Доказательство

? Пусть – изоморфизм из в тогда
и имеют одинаковое число вершин.
Доказательство
Изоморфизм
из в состоит из пары биекций
и
таких, что для каждого ребра графа , если , то .
Если – биекция, где и – конечные множества, то .
Таким образом, .

52. ? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число ребер. Доказательство

? Пусть – изоморфизм из в тогда
и имеют одинаковое число ребер.
Доказательство
Изоморфизм
из в состоит из пары биекций
и
таких, что для каждого ребра графа , если , то .
Если – биекция, где и – конечные множества, то .
Таким образом, .

53. ? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковое число компонент. Доказательство

? Пусть – изоморфизм из в тогда
и имеют одинаковое число компонент.
Доказательство
Если
, , , – путь, соединяющий и в , то , , , – путь,
соединяющий и в .
Обратно, если , , , – путь, соединяющий и в , то –
путь в соединяющий и .
Поэтому и принадлежат одной и той же компоненте
графа тогда и только тогда, когда и принадлежат
одной и той же компоненте графа .
Следовательно, и имеют одинаковое число компонент.

54. ? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда соответствующие вершины имеют одинаковые степени: для любой v∈V_Γ, deg⁡(v)=deg⁡(θ(v)). Доказательство

? Пусть – изоморфизм из в тогда соответствующие
вершины имеют одинаковые степени: для любой ,
Доказательство
и
Осталось заметить, что – биекция и отображение
определяет биекцию

55. ? Пусть (θ, φ) – изоморфизм из Γ в Σ, тогда Γ и Σ имеют одинаковые степенные последовательности. Доказательство

? Пусть – изоморфизм из в тогда и имеют
одинаковые степенные последовательности.
Доказательство
Это
• утверждение следует из d).

56. ? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является простым, то Σ – также простой. Доказательство

? Пусть – изоморфизм из в . Если является простым,
то – также простой.
Доказательство
–• простой граф тогда и только тогда, когда и для
всех .
Результат следует из существования биекций

57. ? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является эйлеровым, то Σ – также эйлеров. Доказательство

? Пусть – изоморфизм из в . Если является
эйлеровым, то – также эйлеров.
Доказательство
Связный
граф является эйлеровым тогда и только
тогда, когда степень каждой его вершины четна.
Но и имеют одинаковые степенные
последовательности.

58. ? Пусть (θ, φ) – изоморфизм из Γ в Σ. Если Γ является гамильтоновым, то Σ – также гамильтонов. Доказательство

? Пусть – изоморфизм из в . Если является
гамильтоновым, то – также гамильтонов.
Доказательство
Если
, , , – гамильтонов цикл в то , , , – гамильтонов
цикл в .

59. Изоморфизм графов

Пример Определим, какие из приведенных ниже
графов являются изоморфными.

60. Пример Определим, какие из приведенных ниже графов являются изоморфными.

Каждый граф является простым, связным, имеет
семь вершин и десять ребер.

61. Пример Определим, какие из приведенных ниже графов являются изоморфными.

Каждый
граф имеет степенную последовательность ,
каждый граф не эйлеров.

62. Пример Определим, какие из приведенных графов являются изоморфными.


Рассматривая вершины степени 2, мы видим, что
графы и не являются гамильтоновыми.

63. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и являются гамильтоновыми (с
гамильтоновыми циклами и соответственно).

64. Пример Определим, какие из приведенных графов являются изоморфными.

•Итак, графы и не являются гамильтоновыми.
Графы и – гамильтоновы.
Отсюда следует, что ни граф ни не изоморфны
графу или графу .
Проверить, является ли произвольный граф не
гамильтоновым, довольно сложно.
Поэтому можно предложить другое доказательство
последних неизоморфностей.

65. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и не изоморфны: в графе вершина степени
4 является смежной с двумя вершинами степени 3, а
в графе вершина степени 4 является смежной с
четырьмя вершинами степени 3.

66. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и не изоморфны: в графе вершина степени
4 является смежной с двумя вершинами степени 3, а
в графе вершина степени 4 является смежной с
четырьмя вершинами степени 3.

67. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и изоморфны. Обозначим множества вершин
графов и через и , соответственно, и определим
изоморфизм графов, задав биекцию

68. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и неизоморфны, так как граф изоморфен
графу а – нет. Аналогично графы и неизоморфны.

69. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и неизоморфны, так как граф изоморфен
графу а – нет.

70. Пример Определим, какие из приведенных графов являются изоморфными.


Графы и неизоморфны. В имеется вершина степени 3
(вершина ), смежная с двумя другими вершинами
степени 3, а в каждая вершина степени 3 является
смежной только с одной вершиной степени 3.

71. Пример Определим, какие из приведенных ниже графов являются изоморфными.

Подведем
итоги: графы (a) и (c) изоморфны, а осталь
ные пары графов не являются изоморфными.

72. Изоморфизм графов

Принцип изоморфизма
Чтобы доказать, что два графа изоморфны, следует
построить изоморфизм из одного графа на другой;
чтобы доказать, что два графа неизоморфны,
следует найти теоретико-графовое свойство,
которым один граф обладает, а второй – нет.
English     Русский Правила