Введение в теорию графов

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

Дадим определение графа. Множество и множество пар объектов вида или из множества называется графом. Будем обозначать граф . Множество называется множеством вершин графа. Элементы множества вида называются ребрами графа. Ребро – это неупорядоченная пара вершин, т.е. неважно, какая из вершин в паре является начальной, а какая конечной, поэтому мы и взяли пару в фигурные скобки. Элементы множества вида называются дугами графа. Дуга – это упорядоченная пара вершин, указывается начальная и конечная вершина пары, пара берется в круглые скобки. Если в графе начальная и конечная вершины ребра (или дуги) совпадают, то говорят, что в графе имеется петля. Если вершины соединены несколькими ребрами (или дугами), то такие ребра (дуги) называются кратными. Граф, в котором есть кратные ребра (дуги) называется мультиграфом. Псевдографом называется граф, имеющий и петли и кратные ребра (дуги).

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

a. б. в.

Рис. 1.

На рисунке 1изображены:

1. а – простой граф;

2. б – неориентированный псевдограф;

3. в - ориентированный псевдограф;

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

Если - дуга орграфа, то вершина называется началом, а вершина - концом дуги , при этом говорят, что дуга исходит из вершины и заходит в вершину .

Если ребро (дуга) соединяет вершины , то говорят, что ребро (дуга) инцидентно вершинам и или вершины и инцидентны ребру (дуге) .

Вершины графа, соединенные хотя бы одним ребром, называются смежными.

Вершина графа, не смежная ни с какой другой вершиной этого графа, называется изолированной.

Два ребра называются смежными, если они имеют общую вершину.

Степенью вершины v неориентированного графа, обозначаемой называется количество ребер, инцидентных этой вершине. Вершина степени 0 называется изолированной, степени 1 – висячей. Петля учитывается дважды. Например, для псевдографа, изображенного на рисунке 1. б, z – висячая вершина, , .

Полустепенью выхода (исхода) вершины v в орграфе D называется числодуг орграфа, исходящих из вершины v. Например, для орграфа на рис. 1. в , . Если , то вершина v называется стоком.

Полустепенью входа (захода) вершины v в орграфе D называется числодуг орграфа, заходящих в вершину v. Например, для орграфа на рис. 1. в , . В случае ориентированного псевдографа вклад каждой петли, инцидентной некоторой вершине v, равен 1, как в , так и в . Если , то вершина v называется источником.

Справедливы следующие теоремы.

1. Сумма степеней вершин неориентированного графа равна удвоенному числу ребер.

2. В неориентированном графе число вершин нечетной степени четно.

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

На рисунке 2 приведены граф и его подграфы.

Рис. 2.

Два графа и изоморфны, если существует такое взаимно-однозначное соответствие между множествами их вершин и ребер, что соответствующие ребра графов инцидентны соответствующим вершинам этих графов. Другими словами, если вершины и в соответствуют вершинам и в , то ребро в , имеющие концевые вершины и должно соответствовать ребру в , имеющие концевые вершины и и наоборот. На рисунке 3 изображены изоморфные графы.

Рис. 3.

Дата добавления: 2014-01-06