Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ДМ_РФ_Конспект_полный.doc
Скачиваний:
408
Добавлен:
29.02.2016
Размер:
3.04 Mб
Скачать

Связность.

Определение 10.5.Говорят, что две вершины связаны, если существует соединяющая их простая цепь.

Определение 10.6.Граф, в котором все вершины связаны – называют связным.

Отношение связанности вершин является эквивалентностью. Классы эквивалентности по отношению связанности называют компонентами связности графов. Число компонентов графа Gобозначаютk(G). ГрафGявляется связным тогда и только тогда, когдаk(G) = 1. Еслиk(G) > 1, тоG– несвязный граф. Граф, состоящий только из изолированных вершин, в которомk(G) =p(G) иr(G) = 0 называют вполне несвязным графом.

Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети.

Определение 10.7.Граф, состоящий из одной вершины называется тривиальным.

Определение 10.8. Граф у которого любая пара вершин смежные называется полным графом.

Полный граф с Р вершинами обозначается kp. Его максимальное количество ребер находится по формуле.

Пример.

.

Действительно, можно заметить, что данный граф имеет 6 ребер.

Определение 10.9. Полный подграф некоторого графа называется кликой этого графа.

Граф, состоящий из простого цикла с kвершинами обозначается сk.

Определение 10.10.Двудольным графом (биграфом, чётным графом) называется такой графG(V,E), что, при чём всякое ребро из множестваЕ инцидентно вершине изV1и вершине изV2. Множество изV1иV2называется долями этого графа

Определение 10.11.Если двудольный граф содержит все ребра, соединяющие множестваV1иV2, то такой граф называют полным двудольным графом.

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

Определение 10.11.Если в графе ориентировать все ребра, то получится направленный орграф.

Определение 10.12.Если в графе полустепень захода некоторой вершины равна 0 (d+=0), то такая вершина называется источником.

Определение 10.13.Если в графе полустепень исхода некоторой вершины равна 0 (d-=0), то такая вершина называется стоком.

Определение 10.13.Направленный граф с одним истоком и одним стоком называется сетью.

Тема 11. Матрица смежности, матрица инцидентности. Операции над графами. Представление графов в эвм. Матрица смежности. Матрица инцедентности.

Определение 11.1.Представление графа с помощью квадратной матрицы, отражающей смежность вершин М: array[1..p,l..p]of[0..1]называется матрицей смежности, где

М[i,j] =

Определение 11.2.Представление графа с помощью матрицыH: array[1..p, 1..q]of[0..1], отражающей инцидентность вершин и ребер, называетсяматрицей инциденций.

Для неориентированного графа:

H[i,j] =

Для ориентированного графа используют матрицу Н: array[1..p, 1..p]of[-1..1]

H[i,j] =

Операции над графами позволяют образовывать новые графы из нескольких более простых. В этом параграфе будут рассмотрены операции на графах без параллельных ребер (дуг).

Операции над графами: Объединение графов.

Пусть G1(X1,E1)иG2(X2,E2)– произвольные графы.

Определение 11.3.Объединением G1G2 графовG1иG2называется граф с множеством вершинX1X2, и с множеством ребер (дуг) E1E2.

Рассмотрим операцию на примере графов G1(X1,E1)иG2(X2,E2), приведенных на рис. 11.1. Множества вершин первого и второго графов соответственно равныX1 = {x1, x2, x3}иX2 = {x2, x3, x4}, а множество вершин результирующего графа определится какX = X1X2 = {x1, x2, x3, x4}. Аналогично определяем множества дуг графа:

E1 = {(x1, x2), (x1, x3), (x2, x1), (x3, x3)}. E2 = {(x2, x4), (x3, x2), (x4, x2)}.

E = {(x1, x2), (x1, x3), (x2, x1), (x3, x3), (x2, x4), (x3, x2), (x4, x2)}.

Результирующий граф G(X,E) = G1(X1,E1)G2(X2,E2) также приведен на рис. 11.1.

Рисунок 11.1

Операция объединения обладает следующими свойствами, которые следуют из определения операции и свойств операций на множествах:

  1. G1G2 = G2G1– свойство коммутативности;

  2. G1(G2G3) = (G1G2)G3– свойство ассоциативности.

Операция объединения графов может быть выполнена в матричной форме. Для графов с одним и тем же множеством вершин справедлива следующая теорема.

Теорема 11.2. ПустьG1иG2– два графа (ориентированные или не ориентированные одновременно) с одним и тем же множеством вершинX, и пустьA1иA2– матрицы смежности вершин этих графов. Тогда матрицей смежности вершин графаG1G2 является матрицаA = A1A2, образованная поэлементным логическим сложением матрицA1иA2.

Рассмотрим выполнение операции объединения графов, множества вершин которых не совпадают. Пусть G1(X1,E1)иG2(X2,E2)– графы без параллельных ребер и множестваX1иX2вершин этих графов не совпадают. ПустьA1иA2– матрицы смежности их вершин графов. Для таких графов операция объединения может быть выполнена следующим образом.

В соответствии с определением операции объединения графов найдем множество вершин результирующего графа как X1X2. Построим вспомогательные графыG’1и G’2, множества вершин которых есть множествоX1X2, а множество ребер (дуг) определяется множествамиE1для графаG1иE2для графаG2. Очевидно, что матрицыA’1иA’2смежности вершин этих графов могут быть получены из матрицA1иA2путем добавления в них дополнительных столбцов и строк с нулевыми элементами.

Применив к графам G’1иG’2теорему 4.1, найдем матрицу смежности вершин графаG’1G’2какA’1A’2. Очевидно, что полученной матрице смежности вершин соответствует граф, множество вершин которого равноX1X2, а множество ребер определяется, какE1E2, что соответствует операции объединения графов.

Пример.Выполнить в матричной форме операцию объединения графовG1иG2, представленных на рис. 1.

Составим матрицы смежности вершин графов.

x1

x2

x3

x2

x3

x4

x1

0

1

1

x2

0

0

1

A1

=

x2

1

0

0

A2

=

x3

1

0

0

x3

0

0

1

x4

0

1

0

Множество вершин результирующего графа X1X2 = {x1, x2, x3, x4}. Составим матрицы смежности вершин вспомогательных графовG’1и G’2.

x1

x2

x3

x4

x1

x2

x3

x4

x1

0

1

1

0

x1

0

0

0

0

A’1

=

x2

1

0

0

0

A’2

=

x2

0

0

0

1

x3

0

0

1

0

x3

0

1

0

0

x4

0

0

0

0

x4

0

0

1

0

Матрица A = A’1A’2 имеет вид

X1

x2

x3

x4

x1

0

1

1

0

x2

1

0

0

1

A = A’1A’2

=

x3

0

1

1

0

x4

0

0

1

0

Полученная матрица смежности вершин A’1 A’2соответствует графуG1G2, изображенному на рис.11.1.