Файл: 9. Гамильтоновы графы. Достаточные условия гамильтоновости графа. 17.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 06.12.2023
Просмотров: 488
Скачиваний: 1
СОДЕРЖАНИЕ
1. Основные понятия теории графов. Задачи, послужившие основой теории графов.
2. Ориентированные и неориентированные графы. Изоморфизм графов.
3. Способы задания графов. Метрические характеристики графа.
5. Плоские графы. Формула Эйлера для плоских графов.
6. Основные примеры неплоских графов. Существование у плоского графа вершин малых степеней.
9. Гамильтоновы графы. Достаточные условия гамильтоновости графа.
10. Взвешенные графы. Минимальное остовное дерево и алгоритмы его построения.
11. Кратчайшие пути на графах. Алгоритмы Декстры и Белламана- Мура.
12. Кратчайшие пути между всеми парами вершин графа. Алгоритм Флойда.
14. Алгоритм нахождения максимального пути в графе.
15. Потоки в сетях. Построение максимального потока транспортной сети.
16. Сетевой график. Правила построения сетевых графиков.
17. Двудольные графы. Теорема Кенига.
18. Максимальные паросочетания. Количество ребер в максимальном паросочетании.
19. Алгоритм построения максимального паросочетания.
20. Построение оптимального паросочетания во взвешенном двудольном графе. Задача о назначениях.
21. Система различных представителей. Теорема Холла.
22. Раскраски графов. Хроматическое число графа. Графы с малым хроматическим числом.
23. Алгоритмы построения оптимальных раскрасок.
24. Хроматическое число планарного графа. Теорема Хивуда о пяти красках.
4. Деревья и леса.
Деревом называется связный граф без циклов. Любые две вершины дерева соединены лишь одним маршрутом.Лес-это неориентированный граф, в котором любые две вершины соединены не более чем одним путем. Эквивалентно, лес-это неориентированный ациклический граф, все связные компоненты которого являются деревьями; другими словами, граф состоит из непересекающегося объединения деревьев.Деревом называется связный граф, который не содержит циклов.Таким образом, в дереве невозможно вернуться в исходную вершину, перемещаясь по ребрам и не проходя по одному ребру два или более раз.Циклом называется замкнутый путь, который не проходит дважды через одну и ту же вершину.Простым путем называется путь, в котором никакое ребро не встречается дважды.Легко проверить, что дерево — это граф, в котором любые две вершины соединены ровно одним простым путем. Если выкинуть любое ребро из дерева, то граф станет несвязным. Поэтому:Дерево — минимальный по числу рёбер связный граф.Лес — упорядоченное множество упорядоченных деревьев.Висячей вершиной называется вершина, из которой выходит ровно одно ребро.Определения дерева:-
Деревом называется связный граф не содержащий простых циклов. -
Деревом называется связный граф, содержащий n вершин и n - 1 ребро. -
Деревом называется связный граф, который при удалении любого ребра перестает быть связным. -
Деревом называется граф, в котором любые две вершины соединены ровно одним простым путем.
5. Плоские графы. Формула Эйлера для плоских графов.
Граф называется плоским, если существует его представление на плоскости, при котором ребра не пересекаются во внутренних точках, то есть плоское представление.В о многих источниках такой граф называется планарным, а плоским графом называют плоское представление планарного графа.
-
Граф на рисунке 9 а) является плоским, так как на рисунке 9 б) приведено его плоское представление.
-
Для связного плоского графа выполняется соотношение
Г + В – Р = 2 (формула Эйлера).
6. Основные примеры неплоских графов. Существование у плоского графа вершин малых степеней.
Плоским графом называется граф, изображенный на плоскости так, что никакие два его ребра (или, вернее, представляющие их кривые) геометрически не пересекаются нигде, кроме инцидентной им обоим вершины. Граф, изоморфный плоскому графу, называется планарным. Планарный граф можно определить еще так:граф планарен, если его можно уложить на плоскости. Рисунок графа, в котором никакие два его ребра не пересекаются, если не считать точками пересечения общие вершины, называют плоским представлением графа. Ясно, что плоское представление имеет только плоский граф. Обратно, у всякого плоского графа непременно найдется плоское представление. Плоские графы — это простые циклы, деревья, лес, а также граф, содержащий цикл, из вершин которого "выходят" деревья.Пример. Примером неплоского графа может служить полный граф с пятью вершинами. Любые попытки начертить его плоское представление обернутся неудачей. В качестве характеристики плоского представления графа вводится понятие грани. Гранью в плоском представлении графа называется часть плоскости, ограниченная простым циклом и не содержащая внутри других циклов.Пример.На рисунке показано плоское представление графа
7. Теорема Фари.
В математике теорема Фари утверждает, что любой простойпланарный граф может быть нарисованный без пересечений с прямыми краями отрезки. То есть возможность рисовать ребра графа как кривые, а не как отрезки прямых линий, не позволяет рисовать больший класс графов. Теорема названа в честь Иштвана Фари , хотя она была независимо доказана Клаусом Вагнером (1936 ), Фари (1948 ) и Шерман К. Стейн (1951 ).Д ля любого плоского графа существует его плоское представление, у которого все ребра изображаются прямолинейными отрезками.1) Индукции по числу вершин 2) Существует вершина степени <=5. Считаем она внутри вершины контура и удаляем А вместе со всеми прилигающими ребрами. Получается грань 4-х или 5-угольника. Число вершин стало n-1. 3) Показать, что в этом 4-х или 5-ти угольнике существует место для А. Рассматриваются случаи невыпуклых многоугольников.8. Эйлеровы графы. Построение эйлеровых циклов. Обход ребер графа по одному разу в обоих направлениях.
Эйлеров граф отличен тем, что в нем можно обойти все вершины и при этом пройти одно ребро только один раз. В нём каждая вершина должна иметь только чётное число рёбер. Правильным обходом графа, или эйлеровым путем, называется такой маршрут, при котором все ребра графа проходятся ровно по одному разу. Эйлеровым циклом называется эйлеров путь, являющийся циклом.Граф называется эйлеровым, если в нем существует эйлеров цикл.-
. Связный граф является эйлеровым тогда и только тогда, когда он четный.
ешение. Начнем обход, например, с вершины А. Будем отмечать пройденный путь стрелками, как описано в алгоритме, см. рис.20. Маршрут будет следующий: A↦ B * A ↦ C ↦ D A * D ↦* E ↦ F * E *