2.1.2. Задание графа с помощью отображения

Иногда бывает удобно дать графу другое определение. Можно считать, что множество направленных дуг А, соединяющих элементы множества Х, отображает это множество само в себя. Граф Gможно считать заданным, если даны множество его вершин Х и способ отображения Г множества Х в Х, т.е.G=(X,Г).

Для графа (рис. 2.1) отображение Г определяется следующим образом:

Г(х₁) = {x₂}; Г(х₂) = {x₃}; Г(х₃) = {x₁}.

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

Г(х₁) = {2x₂,x₃}; Г(х₂) = {x₃}; Г(х₃) = {x₁,x₂}. (2.1)

2.1.3. Задание графа с помощью обратного отображения

Поскольку Г(х_i)представляет собой множество таких вершинx_jÎ X, для которых в графеGсуществует дуга(x_i,x_j), то черезГ^-1(x_i)естественно обозначить обратное отображение, т.е. множество вершинx_k, для которых вGсуществует дуга(x_к,x_i). Граф можно задавать с помощью обратного отображения вершин. Тогда, например, для графа (рис. 2.2) можно записать

Г^-1(х₁) = {x₃}; Г^-1(х₂) = {2x₁,x₃}; Г^-1(х₃) = {x₁,x₂}. (2.2)

Вполне очевидно, что для неориентированного графа Г ^-1(х_i) = Г(х_i) для всех хÎ Х.

2.1.4. Матричное представление графа

Для алгебраического задания графа удобно использовать матрицу смежности. Матрицей смежности графа, содержащего nвершин, называется квадратная матрица А размером (nxn), в которой элементыa_ij, стоящие на пересеченииi-й строки иj-го столбца, численно равны количеству дугграфа, идущих из i-й вершины в j-ю. Для графа (рис. 2.2) матрица смежности имеет вид

A(1,1)={a}=

	J=1	J=2	J=3
i=1	0	2	1
i=2	0	0	1
i=3	1	1	0

Матрица смежности полностью определяет структуру графа. Множество столбцов, имеющих в строке x_iзначенияa_ij¹0, есть множествоГ(х_i)с соответствующими коэффициентами (2.1), а множество строкi, имеющих в столбцеx_jзначенияa_ij¹0, совпадает с множествомГ^-1(х_j)с соответствующими коэффициентами (2.2). Согласно определению матрицы смежности неориентированным графам соответствуют симметричные матрицы смежности. Матрица смежности для многоуровневого графа строится аналогично.

В графе (рис. 2.3) каждая вершина x_ijимеет два индекса:i– номер уровня;j– номер вершины данного уровня.

Рис. 2.3

Матрица смежности для графа (рис. 2.3) имеет вид A(2,2)={a}=

		K=1	K=1	K=1	K=2	K=2	k=2
		L=1	L=2	L=3	L=1	L=2	L=3
I=1	J=1	0	0	1	0	0	0
I=1	J=2	1	0	1	0	0	0
I=1	J=3	0	0	0	0	0	0
I=2	J=1	0	0	0	0	0	1
I=2	J=2	0	1	0	1	0	1
I=3	J=3	0	0	0	0	0	0

,

где индексы i, jхарактеризуют начальную вершинуx_ij,а индексыk,l– конечную вершинуx_kl.