logo
кр одмита

3.1. Абстрактный граф

Граф можно определить как совокупность двух множеств: G = (V, E), где V – непустое множество, элементы которого называются вершинами, и Е – произвольное множество пар (vi, vj) элементов из множества V, т. е. vi  V, vj  V, Е  V 2. Элементы множества Е называются ребрами.

Само понятие графа подразумевает графическое представление данного объекта. Вершины изображаются точками, а ребра – линиями, соединяющими эти точки. Если ребра представляют упорядоченные пары вершин, соответствующие линии изображаются стрелками (рис. 3.1). Такие ребра называют ориентированными ребрами или, чаще, дугами. В этом случае имеем дело с ориентированным графом в отличие от неориентированного графа, на ребрах которого порядок вершин не задан.

а) б)

Рис. 3.1. Примеры графов: а) неориентированный;

б) ориентированный

Вершины неориентированного графа, связываемые ребром, считаются концами этого ребра. Например, концами ребра е2 графа на рис. 3.1, а являются вершины v1 и v3. Принято обозначать ребра также парами их концов, например е2  v1v3. Всякая упорядоченная пара вершин (vi, vj), представляющая дугу в ориентированном графе, имеет начало vi и конец vj. Говорят, что дуга выходит из начала и входит в конец. В ориентированном графе на рис. 3.1, б началом дуги а4 является вершина v3 и концом – вершина v2. Это можно представить как a4 = (v3, v2).

Между вершинами и ребрами неориентированного графа так же, как между вершинами и дугами ориентированного графа, существует отношение инцидентности. При этом в неориентированном графе G = (V, E) вершина v  V и ребро е  Е инцидентны, если v является одним из концов ребра е. В ориентированном графе G = (V, А) вершина v  V и дуга а  А инцидентны, если v является началом либо концом дуги а. Две вершины неориентированного графа смежны, если они инцидентны одному и тому же ребру.

Граф может содержать петли, т. е. ребра, концы которых совпадают, или дуги, у которых начало совпадает с концом. Очевидно, ориентация петли несущественна.

Множество всех вершин графа G, смежных с вершиной v, называется окрестностью вершины v и обозначается символом N(v). Мощность множества N(v), обозначаемая d(v), называется степенью вершины v. В ориентированном графе с некоторой вершиной v подобным образом связаны два множества: полуокрестность исхода N +(v) – множество вершин, в которые входят дуги, исходящие из вершины v, и полуокрестность захода N ‑(v) – множество вершин, из которых исходят дуги, заходящие в v. Соответственно мощность множества N +(v) называется полустепенью исхода и обозначается d +(v), а мощность множества N ‑(v) – полустепенью захода и обозначается d ‑(v). Можно говорить об окрестности N(v) и степени d(v) вершины v ориентированного графа. При этом

N(v) = N +(v)  N ‑(v) и d(v) = d +(v) + d ‑(v).

Для неориентированного графа с множеством ребер Е очевидно следующее соотношение:

= 2|Е|,

откуда следует, что в любом неориентированном графе число вершин с нечетной степенью всегда четно.

Для ориентированного графа с множеством дуг А имеем

= |А|.

В практических приложениях граф (ориентированный или неориентированный), как правило, является конечным, т. е. его множество вершин конечно. Специальный раздел теории графов изучает также бесконечные графы, у которых множество вершин бесконечно.

Граф G = (V, E), у которого множество ребер пусто, т. е. Е  , называется пустым графом. Неориентированный граф называется полным, если любые две его вершины смежны. Полный граф, число вершин которого п, обозначается символом Kn.

Обозначим множество ребер полного графа символом U. Дополнением графа G = (V, E) является графG = (V,E), у которого E = U \ E. Очевидно, что всякий полный граф является дополнением некоторого пустого графа и, наоборот, всякий пустой граф является дополнением некоторого полного графа.

Граф называется двудольным, если множество его вершин V разбито на два непересекающихся подмножества V и V , а концы любого его ребра находятся в различных подмножествах. Такой граф задается как G = (V, V, E) или как G = (V, V, A). В полном двудольном графе (V, V, E) каждая вершина из V связана ребром с каждой вершиной из V. Полный двудольный граф, у которого V   p и V   q, обозначается символом Kp, q.