Скажите, пожалуйста, можно ли еще получить документ о прохождении курса ("Графы и алгоритмы", декабрь 2020) после предоставления всех дополнительных необходимых документов? |
Начальные понятия теории графов
Некоторые специальные графы
Рассмотрим некоторые особенно часто встречающиеся графы.
Пустой граф - граф, не
содержащий ни одного ребра. Пустой граф
с множеством вершин обозначается через
.
Полный граф - граф, в
котором каждые две вершины смежны. Полный граф
с множеством вершин обозначается через
.
Граф , в частности, имеет одну вершину и ни одного ребра.
Очевидно,
. Будем считать также, что существует граф
, у которого
.
Цепь ( путь ) - граф с множеством вершин
и множеством
ребер
.
Цикл -
граф, который получается из графа
добавлением ребра
.
Все эти графы при показаны на рис. 1.6
Графы и матрицы
Пусть - граф с
вершинами, причем
. Построим квадратную матрицу
порядка
, в которой элемент
,
стоящий на
пересечении строки с номером
и столбца с номером
,
определяется следующим образом:
![\eq*{
A_{ij} =\left\{\begin{aligned} & {1,\ \t{если } \left(i,j\right)\in EG,}
\\ & {0,\ \t{если } \left(i,j\right)\notin EG.}
\end{aligned}
\right.
}](/sites/default/files/tex_cache/8e4dbea655a369806e07ccfc47899cda.png)
Она называется матрицей
смежности графа. Матрицу смежности можно
построить и для ориентированного графа, и для неориентированного, и для
графа с петлями. Для обыкновенного графа она обладает двумя особенностями:
из-за отсутствия петель на главной диагонали стоят нули, а так как граф
неориентированный, то матрица симметрична относительно главной диагонали.
Обратно, каждой квадратной матрице порядка , составленной из
нулей
и единиц и обладающей двумя указанными свойствами, соответствует
обыкновенный граф с множеством вершин
.
Другая матрица, ассоциированная с графом - это матрица
инцидентности. Для ее построения занумеруем вершины графа числами
от 1
до , а ребра - числами от 1 до
. Матрица
инцидентности
имеет
строк и
столбцов, а ее элемент
равен 1, если вершина с номером
инцидентна ребру с
номером
,
в противном случае он равен нулю. На рис. 1.7 показан граф
с занумерованными вершинами и ребрами и его матрицы смежности
и инцидентности.
Для ориентированного графа матрица инцидентности определяется несколько
иначе: ее элемент равен 1, если вершина
является
началом ребра
, и равен
, если она является
концом этого
ребра, и он равен
, если эта вершина и это ребро не инцидентны
друг
другу.
Взвешенные графы
Часто, особенно когда графы используются для моделирования реальных
систем, их вершинам, или ребрам, или и тем, и другим приписываются
некоторые числа. Природа этих чисел может быть самая разнообразная.
Например, если граф представляет собой модель железнодорожной сети, то
число, приписанное ребру, может указывать длину перегона между двумя
станциями, или наибольший вес состава, который допустим для этого участка
пути, или среднее число поездов, проходящих через этот участок в течение
суток и т.п. Что бы ни означали эти числа, сложилась традиция называть их весами, а граф с заданными весами
вершин и или ребер - взвешенным графом.
Изоморфизм
На рис. 1.8 изображены два графа с
одним и тем же множеством вершин . При внимательном рассмотрении можно
обнаружить,
что это разные графы - в левом имеется ребро
,
в правом же такого нет. В то же время, если не обращать внимания на
наименования вершин, то эти графы явно одинаково устроены: каждый из
них -
цикл из четырех вершин. Во многих случаях при исследовании строения графов
имена или номера вершин не играют роли, и такие графы, один из которых
получается из другого переименованием вершин, удобнее было бы считать
одинаковыми. Для того чтобы это можно было делать "на законном
основании",
вводится понятие изоморфизма графов.
Определение.
Графы и
называются изоморфными, если существует
такая биекция
множества
на множество
, что
тогда
и только тогда, когда
.
Отображение
в этом случае называется изоморфизмом
графа
на граф
.
Тот факт, что графы и
изоморфны,
записывается так:
.
Для графов, изображенных на рис. 1.8, изоморфизмом является, например, отображение, задаваемое следующей таблицей:
Заметим, что в этом примере есть и другие изоморфизмы первого графа на второй.
Сформулированное определение изоморфизма годится и для ориентированных графов, нужно только обе упоминаемые в нем пары вершин считать упорядоченными.
Изоморфизм - бинарное отношение на множестве графов. Очевидно, что это отношение рефлексивно, симметрично и транзитивно, то есть является отношением эквивалентности. Классы эквивалентности называются абстрактными графами. Когда говорят, что рассматриваются абстрактные графы, это означает, что изоморфные графы считаются одинаковыми. Абстрактный граф можно представлять себе как граф, у которого стерты имена (пометки) вершин, поэтому абстрактные графы иногда называют также непомеченными графами.