Краткий перечень основных понятий теории графов.
Теория графов как теоретическая дисциплина может рассматриваться как раздел дискретной математики, исследующий свойства конечных множеств (бесконечные графы не будут вводиться в рассмотрение) с заданными отношениями между их элементами. Как прикладная дисциплина теория графов позволяет описывать и исследовать многие физические, технические, экономические, биологические, социальные и другие системы (задача коммивояжера). Например, графом, изображенным на рис. 1, в котором точки − вершины графа − города, линии, соединяющие вершины − ребра − дороги, соединяющие города, описывается так называемая транспортная задача (задача нахождения кратчайшего пути из одного города- пункта в другой).
Рис. 1
Графом G называется совокупность двух множеств: вершин V и ребер Х, между элементами которых определено отношение инцидентности – каждое ребро х Х инцидентно двум вершинам v1 и v2 Î V,которые оно соединяет. При этом вершина v1 (v2) и ребро X называются инцидентными друг другу, а вершины v1 и v2, являющиеся для ребра X концевыми точками, называются смежными.
Граф, содержащий направленные ребра с началом v1 и концом v2, называется ориентированным графом ( орграфом), а ненаправленные – неориентированным (н-графом). Ребра ориентированного графа называются дугами.
Примеры
1) Ориентированный граф D = (V, X), V ={ v 1, v 2, v 3, v 4},
X = { x 1 = (v 1, v2), x 2 = (v 1, v2), x 3 = (v 2, v2), x 4 = (v 2, v3)}.
Рис. 2
2) Неориентированный граф G = (V, X), V ={ v 1, v 2, v 3, v 4, v 5},
X = { x 1 = (v1, v 2), x 2 = (v2, v 3), x 3 = (v2, v 4), x 4 = (v3, v 4)}.
Рис. 3
Одинаковые пары ребер - параллельные или кратные ребра;
Кратностью ребер называют количество одинаковых пар.
|
Рис.4
Например, кратность ребра { v 1, v 2} в графе, изображенном на рис. 4, равна двум, кратность ребра { v 3, v 4} − трем.
Ребро, концевые вершины которого совпадают, называется петлей.
Граф называется конечным, если множество его элементов (дуг и рёбер) конечно, и пустым, если его множество вершин (а, следовательно, и рёбер) пусто.
Граф без петель и кратных рёбер называется полным графом, если каждая пара вершин соединена ребром.
Дополнением графа G называется граф G*, имеющий те же вершины, что и граф G, и содержащий только те ребра, которые нужно добавить к графу G, чтобы получить полный граф.
Степенью ( или валентностью) вершины v Î V н-графа называетсяколичество рёберr(v), инцидентных вершине v.
Рис. 5
Вершина графа, имеющая степень 0, называется изолированной, а степень 1 – висячей.
Полустепенью захода (исхода) вершины v ориентированного графа D называется числоd+(v) (d-(v)) дуг ориентированного графа D, исходящих из v (заходящих в v).
Следует заметить, что в случае ориентированного псевдографа вклад каждой петли инцидентной вершине v равен 1 как вd+(v), так и вd-(v). Рассмотрим рис. 5:d+(v2) = 3; d-(v2) = 2.
Псевдограф − граф, в котором есть петли и/или кратные ребра.
Мультиграф − псевдограф без петель.
Графы G1 и G 2 равны, если их множества вершин и ребер совпадают:
V 1 = V 2 и X 1 = X 2.
Итак, используемые далее обозначения:
V – множество вершин;
Х, Е – множество ребер или дуг;
v (или vi)– вершина или номер вершины;
G, G 0 - неориентированный граф;
D, D 0 – ориентированный;
{ v, w } − ребра неориентированного графа;
|
{ v, v } – обозначение петли;
(v, w) − дуги в ориентированном графе;
v,w − вершины, x, y, z – дуги и ребра;
n (G), n (D) −количество вершин графа;
m (G) - количество ребер, m (D) - количество дуг.
Примеры типовых задач:
Рис.6
Пример 1. Задать граф G1, представленный на рис.6, через множества вершин V1 и ребер E1.
Граф G1 может быть полностью определен:
v Двумя множествами поименованных вершин V1 = { v1, v2, v3, v4, v5 } и поименованных ребер Е1 = {е1, e2, e3, e4} (в строгом смысле требуется установление отношения инцидентности ребер соответствующим вершинам);
v Множеством ребер, каждое из которых представлено парой своих концевых вершин: Е= {(v1, v2), (v2, v3), (v3, v4), (v4, v5)}.
Порядок указания вершин при описании ребра здесь безразличен, так как все ребра в графе G неориентированные.
Рис. 7
Пример 2. На рис.7 изображены графы G1 - G12 с четырьмя вершинами в каждом. Сравнить графы.Результаты сравнения графов таковы:
G1 - G7 - неориентированные;
G8 - G12 - ориентированные;
G1, G2 - полные, причем G1 = G2;
G7 - не является полным, так как хотя каждая пара вершин и соединена ребром, но имеется одна петля. (Иногда полным называют граф с петлями во всех вершинах, каждая пара которых соединена ребром. Граф G7 не отвечает и этому определению. В дальнейшем мы будем придерживаться определения полного графа, данного в начале параграфа.)
G3 - все вершины этого графа являются изолированными (граф с пустым множеством ребер, т.е. Е = );
G4 и G5 являются дополнением друг другу: G4*= G5 и G5*= G4;
G6 - мультиграф, так как содержит кратные ребра а и b, a также е и f;
G8 - ориентированный, канонически соответствующий неориентированному графу G5;
|
G9 и G10 не являются равными, так как имеют отличающиеся ребра: (4, 1) - в G9 и (1, 4) - в G10;
G11 -ориентированный мультиграф: ребра а и b -кратные, тогда как G12 мультиграфом не является, поскольку в нем ребра а и b различно ориентированы.
Рис. 8
Пример 3. Чему равны степени вершин графов G1, G3 на рис. 8?
Оба графа имеют по четыре вершины: V= {1, 2, 3, 4}.
Степени вершин неориентированного графа G1: ρ(1) = 3, ρ(2) = 4, ρ(3) = 3, ρ(4) = 4, если условиться считать вклад петли в степень вершины, равный 2, и ρ(4) = 3, если петля дает вклад 1 в степень вершины. Сумма степеней всех вершин графа G1 равна 14, т.е. вдвое больше числа ребер графа:
где т = 7 - число ребер графа.
Степени вершин ориентированного графа G3:
ρ1(1) = 2, ρ1(2) = 3, ρ1(3)=1, ρ1(4)=1;
ρ2(1)=1, ρ2(3) = 1, ρ2(3) = 2, ρ2(4) = 3.
Суммы степеней вершин первого и второго типа графа G3 совпадают и равны числу т ребер графа:
Задачи для самостоятельного решения.
1. Задать графы G2 – G5 (см. рис. 6) множествами их вершин и ребер. Сравнить графы G1 – G5 (см. пример 1);
2. Равны ли графы G1 – G2 на рис. 8? Задать графы G1 – G5 множествами их вершин и ребер. Сравнить графы.
3. Определить дополнение графа G, если:
a) G- пятиугольник;
б) G - треугольник.
4. Какие ориентированные графы канонически соответствуют графам G из заданий 3.а и 3.б (представить графически)?
5. Докажите, что сумма всех степеней вершин графа равна удвоенному количеству рёбер.
6. Докажите, что в любом графе количество вершин нечётной степени – чётное число.