
- •Конспект лекций по теории алгоритмов (пи, 1 семестр) (лектор – доцент Вахитов р.Х.)
- •Отношение включения над множествами и его свойства.
- •Объединение и пересечение, их свойства.
- •Разность и симметрическая разность двух множеств.
- •Декартово произведение множеств, его график.
- •Виды соответствий, их графы и графики.
- •Виды отображений, их графы и графики.
- •Бинарные отношения, их свойства.
- •Отношения эквивалентности, фактор - множества.
- •Разбиение множества на попарно непересекающиеся классы.
- •Отношения порядка, упорядоченные множества.
- •Основные правила комбинаторики.
- •Формула включений и исключений для двух множеств.
- •Формула включений и исключений для трех и для n множеств.
- •Виды выборок по m элементов из n элементов.
- •Формулы числа размещений без повторений.
- •Формула числа размещения с повторениями.
- •Формулы числа сочетаний без повторений.
- •Рекуррентная формула для числа сочетаний без повторений.
- •Формулы числа сочетаний с повторениями.
- •Биномиальные коэффициенты как числа сочетаний без повторений.
- •Перестановки с повторениями и полиномиальная формула.
- •Рекуррентное соотношение, их общее и частное решение.
- •Линейное рекуррентное соотношение.
- •Разбиение перестановки на циклы по k элементов.
- •Разбиение множества на блоки по k элементов.
- •Графы, матрицы инцидентности и смежности.
- •Степень вершины. Теорема Эйлера о сумме степеней всех вершин.
- •Изоморфизм графов. Попарно неизоморфные (p,q)-графы.
- •Орграфы, их матрицы инцидентности и смежности.
- •Изоморфизм орграфов. Попарно неизоморфные (p,q)-орграфы.
- •Маршруты, цепи, циклы в графах.
- •Мультиграфы. Эйлеров цикл. Эйлеров граф.
- •Гамильтонов цикл. Гамильтонов граф. Тэта-граф.
- •Плоские и планарные графы. Плоские карты. Теорема Эйлера.
- •Полные графы. Граф k4 планарный и граф k5 не планарный.
- •Двудольные графы. Граф k2,3 планарный и граф k3,3 не планарный.
- •Деревья. Теорема об эквивалентных определениях дерева.
- •Остов графа. Поиск в глубину и поиск в ширину.
Графы, матрицы инцидентности и смежности.
Граф
состоит непустого множества
(элементы которого называются вершинами,
точками
или узлами)
и множества неупорядоченных пар различных
элементов множества
:
(элементы которого называются ребрами, линиями или дугами).
Если
,
то говорят, что ребро
соединяет
вершины
и
.
При этом вершины u
и v
называются концами
ребра
.
Диаграмма графа G=(V,E) представляется в виде точек (или кружков) на плоскости, каждая из которых изображает вершину графа. Ребро графа изображается отрезком или дугой, соединяющей вершины u и v.
Диаграмму графа также называют графом.
Две вершины графа u и v называются смежными, если они соединены некоторым ребром e графа. Вершина u и ребро e называются инцидентными, если u является концом ребра e. Два ребра e и f графа называются смежными, если они инцидентны одной и той вершине u графа.
(p,q)-граф – это граф с p вершинами и q ребрами
(p³1
и
).
Тривиальный (p,0)-граф не содержит ни одного ребра.
Полный
граф
– это
-граф,
содержащий все возможные ребра между
вершинами.
Граф называется помеченным (или перенумерованным), если его точки обозначены попарно различными пометками.
Теорема.
Существует
помеченных графов с числом вершин n
и
помеченных (n,m)-графов.
Доказательство. Неупорядоченная пара {u,v} различных элементов u и v из множества V с числом элементов n есть сочетание без повторений из n элементов по 2. Поэтому число всех возможных ребер графа равно Cn2.
Каждый
граф имеет множество ребер – некоторое
подмножество множества из Cn2
элементов. Число всех подмножеств
k-множества
равно 2k.
Число всех
-подмножеств
k-множества
равно
.
Матрицей
смежности
графа
называется матрица
,
определяемая следующим образом: для
всех
Матрицы смежности представляют собой квадратные матрицы с элементами 0 и 1, у которых по главной диагонали расположены нули. Матрица смежности графа симметрична относительно главной диагонали.
Матрицей
инцидентности
-графа
называется прямоугольная
-матрица
,
определяемая следующим образом: для
всех
Примечание.
Кроме графов (или неупорядоченных
графов)
рассматриваются и другие виды графов.
Мультиграф
отличается от графа тем, что две вершины
могут быть соединены двумя и более
ребрами. При этом ребра, соединяющие
две вершины в количестве двух и более,
называются кратными.
Псевдограф
отличается от графа тем, что в нем могут
быть и кратные ребра, и петли
(ребра, соединяющие вершины с самими
собой). Ориентированный
граф
(или орграф)
G=(V,E)
отличается от графа тем, что E
является множеством упорядоченных пар
различных вершин множества V.
На диаграмме две точки орграфа соединятся
не линиями, а стрелками. В орграфах нет
петель. Бинарное
отношение
графически представляются орграфом, в
котором соотношение
изображается петлей, а соотношения
и
двусторонней стрелкой (объединяются
две противоположно направленные
стрелки).
Степень вершины. Теорема Эйлера о сумме степеней всех вершин.
Степень
вершины u
– это число ребер, инцидентных вершине
u.
Вершина u
называется изолированной
(концевой),
если
(
).
Следующая теорема была первой в истории теории графов (1936 г.)
Теорема
(Л.Эйлер). Сумма степеней всех вершин
(
)-графа
равна удвоенному числу его ребер:
.
Доказательство. При пересчете ребер, инцидентных всем вершинам, каждое ребро считается два раза.
Следствие. В графе число вершин с нечетными степенями четно.
Доказательство.
Пусть вершины
имеют нечетные степени, а
вершины – четные степени. Тогда
.