Способы задания графов

При изучении взаимосвязи между объектами (взаимоотношений людей в коллективах, связей в ЭВА, в молекулах, микросхемах и т.п.) исследуемый объект обозначается точками и соединяющими их линиями. Такое изображение ввиду наглядности позволяет определять наиболее существенные связи, находить оптимальное решение задачи, определять ошибки в рассуждениях и т.д. Описание, состоящее из точек и соединяющих их линий, оказывается удобной моделью любого объекта, в связи с чем представляет интерес исследование самого этого объекта.

Теория графов оперирует формальными моделями объектов, имеет дело со свойствами самих графов независимо от того, какова природа объектов, описываемых графами. Использование аппарата теории графов для разработки алгоритмов в науке и технике приводит к повышению эффективности и качества создаваемых объектов.

Понятие графа опирается на понятие множества. Графом можно назвать объект, состоящий из двух множеств: точек и линий, которые находятся между собой в некотором отношении. Множество точек графа обозначается X = { x ₁, x ₂, …, x _n}, |X| = n и называется множеством вершин. Множество линий, соединяющих любые пары вершин, (x_i, x_j) Î X называется множеством ребер или дуг и обозначается U = { u ₁, u ₂, …, u _m}, |U| = m.

Граф, у которого все вершины “помечены” целыми числами от 1 до n, называется помеченным. Числа 1, 2, …, n называют метками графа и обозначают вершины графа G через 1, 2, …, i, …, n или x ₁, x ₂, …, x_i, …, x _n, или x (1), x (2), …, x (i), …, x (n). Причем все вышеуказанные записи являются равносильными. Заметим, что для реальных задач необходима нумерация элементов. Поэтому в дальнейшем будем рассматривать помеченные графы. Аналогичным образом помечаются ребра.

Тогда графом можно считать математический объект, который обозначается G = (X,U) и состоит из множества вершин и множества ребер или дуг, находящихся между собой в некотором отношении.

В общем случае множество линий, соединяющих любые пары вершин U, можно представить в виде U = È È , где ─ подмножество неориентированных линий, для которых несуществен порядок соединения вершин. Подмножество называется подмножеством ребер. Причем каждое ребро u_i Î определяется неупорядоченной парой вершин x_k, y_l, которые оно соединяет. Записывается u_i = (x_k, y_l) или u_i = (y_l, x_k).

─ подмножество ориентированных линий, для которых существен порядок соединения вершин. Подмножество называется подмножеством дуг. Причем каждая дуга u_i Î определяется упорядоченной парой (кортежем длины два) вершин x_k, y_l, которые u_i соединяет. Записывается u_i = < x_k, y_l >. Заметим, что u_i = < x_k, y_l > и u_j = < y_l, x_k > ─ это различные дуги в графе G.

─ подмножество линий, каждая из которых выходит и входит в одну и ту же соответствующую этой линии вершину. Называется подмножеством петель. Каждая петля u_i Î может определяться упорядоченной или неупорядоченной парой, например вида u_i = < x_k, x_k >, u_i = (x_k, x_k).

Граф G = (X, U), у которого , , ¹ Æ, называется смешанным. На рис. 15.1 показан смешанный граф G. Здесь |X| = 6, |U| = 13; U = È È ; = { u ₃, u ₄, u ₇, u ₉, u ₁₀, u ₁₁}; = { u ₁, u ₂, u ₈, u ₁₂, u ₁₃}; = { u ₅, u ₆}.

Рис. 15.1. Смешанный граф G

Граф G = (X, U), у которого U = , а = Æ, называется ориентированным, или орграфом. Орграф будем обозначать D = (X, U) или G = {X, }.

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

Рассмотрим сначала неорграфы с петлями и без петель, которые будем называть графами. Граф G, у которого существует хотя бы одна пара вершин, соединяемых m ребрами u_i Î U, называется мультиграфом, а максимальное m ─ мультичислом графа G (m Î {2, 3, …}). Ребра, соединяющие одну и ту же пару вершин, называются кратными. На рис. 15.2 показан пример мультиграфа (m = 4).

Рис. 15.2. Мультиграф G

Если ребро u_k Î U графа G = (X, U) соединяет вершины x_i, x_j Î X, т.е. u_k = (x_i, x_j), то говорят, что ребро u_k – инцидентно вершинам x_i, x_j. Верно и обратное, вершины x_i, x_j инцидентны ребру u_k. Любые две вершины x_i, x_j Î X графа G называются смежными, если существует соединяющее эти вершины ребро u_k Î U, т.е. u_k = (x_i, x_j). Если два ребра u_k, u_i Î U инцидентны одной и той же вершине, то они также называются смежными.

Основными способами задания графа G = (X, U) являются геометрический, аналитический и матричный. Основой геометрического способа задания графа является рисунок, дающий изображение графа. Изображение графа в виде рисунка обладает наглядностью, раскрывает содержательный смысл представляемого объекта, но не формально.

Рассмотрим аналитический способ задания графа. Согласно Н. Бурбаки, граф записывается как G Ì B = X × X. К. Берж предлагает задавать граф как соответствие Г между подмножествами множества вершин. При этом граф можно задать в виде G = (X, Г), где Г Í X ´ X, Г = {Г x ₁, Г x ₂, …, Г x_n }. Здесь Г ─ это отображение множества Х в множество Х. Например, пусть задан граф G = (X, Г) (рис. 15.3). Тогда |X| = 6, X = { x ₁, x ₂, …, x ₆}, Г = {Г x ₁, Г x ₂, …, Г x ₆}, Г x ₁ = { x ₂, x ₅, x ₆}, Г x ₂ = { x ₁, x ₃, x ₅, x ₆}, Г x ₃ = { x ₂, x ₄}, Г x ₄ = { x ₅, x ₆}, Г x ₅ = { x ₁, x ₂, x ₄}, Г x ₆ = { x ₁, x ₂, x ₄}.

Учитывая вышесказанное, граф часто рассматривают как пару G = (X, Г), образованную множеством X и отображением Г множества X в себя.

Отметим, что для однозначного задания графов достаточно использовать Г x ₁, Г x ₂, …, Г x_{n -1} отображений. В этом случае элементы x_i, определяющие Г x_i, не включают в отображение Г x_{i +1}; в отображение Г x_{i +2} не включают элементы x_i, x_{i +1} и т.д. Соответственно в последнее отображение Г x_{n -1} не включают элементы x ₁, x ₂, …, x_{n -2}. Тогда рассматриваемый граф G (рис. 15.3), может быть задан следующим образом: Г x ₁ = { x ₂, x ₅, x ₆}, Гx₂ = { x ₃, x ₅, x ₆}, Г x ₃ = { x ₄}, Г x ₄ = { x ₅, x ₆}, Г x ₅ = Æ.

Рис. 15.3. Граф G

Такое представление графа позволяет экономить память ЭВМ и исключать избыточную информацию при представлении графа аналитическим способом.

Большинство задач информатики удобно решать при использовании матричного задания графов. Квадратная таблица R = || r_{i , j} ||_nxn называется матрицей смежности, если ее элементы образуются по правилу:

Заметим, что для мультиграфа

Очевидно, что для рассматриваемых неорграфов r_i,j = r_j,i и для задания графа можно использовать треугольную матрицу R. Для графа без петель r_i,i = 0, для графа с петлями r_i,i ¹ 0. Для графа G (см. рис. 15.3) треугольная матрица смежности имеет вид

	x 1	x 2	x 3	x 4	x 5	x 6
x 1							.
x 2
R = x 3
x 4
x 5
x 6

Строки и столбцы матрицы R соответствуют вершинам графа G. На пересечении x_i строки и x_j столбца ставится элемент r_i,j, соответствующий числу ребер, соединяющих вершины x_i и x_j. Заметим, что строки и столбцы матрицы R также можно нумеровать числами натурального ряда, соответствующими индексам помеченных вершин графа. Петли в графе изображаются элементами r_i,j, расположенными по главной диагонали матрицы R.

Преимущество использования матриц смежности – это простота и формальность преобразований над графами.

Основной недостаток применения матрицы смежности заключается в том, что она занимает в ЭВМ память объемом |X|² даже тогда, когда граф содержит только |X| ребер. Устранением этого недостатка является представление графа в виде списков. Списком смежности для вершины x_i является совокупность всех вершин, смежных с x_i. Представление графа в виде списков смежности требует памяти ЭВМ порядка |X| + |U|. В основном таким представлением графа пользуются, когда |U| << |X|². Для графа G (см. рис. 15.3) список смежности имеет следующий вид:

x 1	x 2	x 5	x 6
x 2	x 1	x 3	x 5	x 6	,
RL = x 3	x 2	x 4
x 4	x 3	x 5	x 6
x 5	x 1	x 2	x 4
x 6	x 1	x 2	x 4

а для треугольной матрицы

x 1	x 2	x 5	x 6
x 2	x 3	x 5	x 6					.
RL= x 3	x 4			или RL=3
x 4	x 5	x 6
x 5
x 6

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

Прямоугольная таблица вида I = || i_k,l ||_n´m называется матрицей инцидентности, если ее элементы образуются по правилу:

Матрица инцидентности для G (см. рис. 1.3) имеет вид

	u 1	u 2	u 3	u 4	u 5	u 6	u 7	u 8	u9
x 1										.
x 2
I = x 3
x 4
x 5
x 6

Строки матрицы I соответствуют вершинам графа, столбцы – ребрам, а элемент i_k,l указывает на инцидентность вершины x_k и ребра u_l. В каждом столбце матрицы I расположено по две единицы, так как каждое ребро соединяет ровно две вершины. При наличии в графе петель соответствующие им столбцы в матрице I будут иметь по одной единице, так как петля соединяет только одну вершину графа.

А. Кофман предлагает задавать булеву матрицу как шахматную доску. Заштрихованным клеткам в булевой матрице соответствуют нули, а незаштрихованным – единицы или наоборот. Такую булеву матрицу называют сотами, так как в различных задачах на графах необходимо размещать объекты по ячейкам, объединенным в соты.

Известно, что число ячеек в матрице (сотах) размером m × n равно 2^mn. Соты порядка n содержат n² ячеек. Тогда число ячеек матрицы с k запретными элементами (соответствующие элементы булевой матрицы – нули) равно

.

Предполагается, что выполняются следующие условия:

· соты (матрица) имеют порядок n;

· в каждой ячейке матрицы располагается не более одного объекта (т.е. ноль или единица).

В этом случае ячейки матрицы разбиваются на два подмножества:

· ячейки, обладающие неким свойством;

· ячейки, не обладающие этим свойством.

Тогда, согласно А. Кофману, говорят, что граф (рис. 15.4)

Рис. 15.4. Граф G

может быть реализован в виде матрицы:

,

где закрашенным элементам матрицы соответствуют ребра графа G.

Такая запись представляет интерес для нечеткого задания графов. При этом каждому ребру можно поставить в соответствие функцию принадлежности.

Кёниг и К. Берж под графом понимают разбиение теоретико-множественного произведения некоторого счетного множества на себя, на две части.

Графы иногда представляют в латинской матрице. Для графа G (рис. 15.4) такое представление имеет вид

.

Латинская матрица удобна для задания как ориентированных, так и неориентированных графов (неорграфов). Причем, в неорграфах значение элемента матрицы i, j = j, i (в ориентированных графах наоборот, i, j ¹ j, i).

Виды графов

Определим смежностный (двойственный) граф G_S = (U, V), (обозначают также U(G)) для графа G = (X, U). Вершинами G_S являются ребра G, а ребрами G_S — пары (u_i, u_j). Для построения G_S по G на каждом ребре u_i Î U графа G выбирают среднюю точку и считают ее вершиной u_i Î U графа G_S (см. рис. 1.5). Таким образом, двойственный граф G_S будет иметь 12 вершин: U = { u ₁, u ₂, …, u ₁₂}

Затем пару (u_i, u_j) соединяют ребром v_k = (u_i, u_j), если ребра u_i, u_j имеют общую вершину в G. То есть для графа G_S вершина u _1, например, будет иметь общие ребра с вершинами u ₂, u ₄, u ₅, u ₆, так как эти ребра в исходном графе G имели общие вершины (x ₁ и x ₂). В результате получим следующий двойственный граф G_S (рис. 15.6)

Рис. 15.5. Построение двойственного графа G_S

Рис. 15.6. Двойственный граф G_S

Следует отметить, что существуют различного рода матрицы и списки, производные от R и I, которые используются при записи алгоритмов.

Граф G называется конечным, если множества его вершин и ребер ─ конечные множества. Далее будем рассматривать конечные графы, так как модели объектов, представляемые графами, состоят из конечного числа элементов.

Граф G, у которого X ¹ Æ, а U = Æ, называется нуль-графом, а его вершины ─ изолированными. Обозначается он G₀. Граф G = (X, U), |X| = n называется полным, если между любой парой вершин x_i, x_j Î X имеется ребро u_k Î U. Обозначается он K_n. Число ребер, инцидентных вершине x_i Î X графа G, называется локальной степенью или просто степенью этой вершины и обозначается r (x_i) или r_i. Тогда число ребер графа G = (X, U), |X| = n, |U| = m,

. (15.1)

Заметим, что если в графе имеются петли, то каждая из них должна считаться дважды. Так как для полного графа на n вершин r (x ₁) = r (x ₂) = … = r (x_n), то

m = n (n - 1) / 2. (15.2)

Графы с одинаковыми числами степеней называются регулярными. Регулярные графы степени 3 называются кубическими (трехвалентными). Примером кубического графа является граф Петерсона (рис. 15.7).

Рис 15.7. Граф Петерсона

Среди регулярных графов интерес представляют так называемые платоновы графы – графы, образованные вершинами и ребрами пяти правильных многогранников – платоновых тел:

· тетраэдра (рис. 15.8, а),

· куба (рис. 15.8, б),

· октаэдра (рис. 15.9, а),

· додекаэдра (рис. 15.9, б),

· икосаэдра (рис 15.9, в).

а б

Рис. 15.8. Тетраэдр (а), куб (б)

а б

Рис. 15.9. Октаэдр(а), додекаэдр (б),

в

Рис. 15.9. (окончание) икосаэдр (в)

Число ребер регулярного графа с локальной степенью r (x_i) вершины x_i определяется как

m = nr (x_i)/2. (15.3)

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

Полный граф K_{1, n} называется звездным. Он показан на рис 15.10.

Рис. 15.10. Пример звездного графа

Над графами можно выполнять следующие операции: объединение (È), сложение (+) и произведение (*).

1. Объединением графов G(a) = (X(a), U(a)) и G(b) = (X(b), U(b)) называется граф G = (X, U), у которого X = (X(a) È X(b)), U = (U(a) È U(b)) (рис. 15.11).

Рис. 15.11. Операция объединения графов

2. Суммой графов G(a) = (X(a), U(a)) и G(b) = (X(b), U(b)) называется граф G = (X, U) который определяется объединением G(a) и G(b), и каждая вершина x_i Î X(a), не вошедшая в пересечение X(a) Ç X(b), соединяется со всеми вершинами X(b) \ X(a) Ç X(b) и наоборот (рис. 15.12).

Рис. 15.12. Сумма графов

3. Произведением графов G(a) = (X(a), U(a)) и G(b) = (X(b), U(b)) называется граф G = (X, U) у которого X = X(a) × X(b), а ребра соответствуют связности подграфов (рис. 1.13).

Рис. 15.13. Произведение графов

Подграфом графа G называется граф, у которого все вершины и ребра принадлежат G, т.е. G’ = (X’, U’), подграф G = (X, U), если X’ Í X, U’ Í U и ребра U’ соединяют только вершины X’. Удаление из графа G = (X, U) вершины x_i со всеми инцидентными ей ребрами приводит к подграфу G’’ = (X’’, U’’), X’’ = X \ x_i. На рис. 15.14, а, b, c показаны граф G = (X, U) и два его подграфа, G1 = (X1, U1) и G2 = (X2, U2), где |X| = 7, |U| = 10, X = { x ₁, x ₂, …, x ₇}, U = { u ₁, u ₂, …, u ₁₀}; |X1| = 3, |U1| = 3, X1 = { x ₁, x ₂, x ₄}, U1 = { u ₁, u ₇, u ₆}; |X2| = 5, |U2| = 6, X2 = { x ₂, x ₃, x ₅, x ₆, x ₇}, U2 = { u ₂, u ₃, u ₄, u ₈, u ₉, u ₁₀}. Заметим, что подграф G1 можно получить, удалив из G вершины x ₃, x ₅, x ₆, x ₇ с инцидентными им ребрами, а подграф G2, удалив из G вершины x ₁, x ₄ с инцидентными им ребрами.

a

G1 G2

б в

г д

Рис.15.14. Граф G(а) и его подграфы G1(б) и G2(в); суграф графа G(г); дополнение графа G(д)

Суграфом G’ = (X’, U’) графа G = (X, U) называется граф, для которого X’ = X, U’ Í U.

Граф называется дополнением графа G до полного, если он состоит из всех ребер полного графа K, не принадлежащих G, = K \ G. На рис. 15.14, г) показан суграф графа (см. рис. 15.14, в). На рис. 15.14, д) приведено дополнение графа G (см. рис. 15.14, в) до полного графа K₇.

Дата добавления: 2015-10-26