Вопросы

1. Дайте определение ориентированного графа.

2. Что понимается под достижимостью?

3. Что такое основание орграфа?

4. Что называется сильной компонентой орграфа?

5. Поясните принцип формирования матриц достижимости и контрдостижимости.

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

7. Как определяется прямое и обратное транзитивное замыкания?

8. Что такое конденсация графа?

9. Опишите алгоритм разбиения графа на максимально связные подграфы.

10. Определите полустепени исхода и захода.

Задания для самостоятельной работы

1. Для произвольного ориентированного графа D = (X, U) запишите его матрицу смежности, матрицу инцидентности и постройте его основание.

2. Для произвольного ориентированного графа D = (X, U) постройте дерево.

3. Разбейте произвольный ориентированный граф D = (X, U) на сильные компоненты и постройте его конденсацию.

4. Для произвольного ориентированного графа запишите алгоритм определения прямого транзитивного замыкания.

5. Для произвольного ориентированного графа запишите алгоритм определения обратного транзитивного замыкания.

6. Постройте алгоритм определения конденсации ориентированного графа.

7. Определите способы задания нечетких орграфов.

8. Постройте нечеткие орграфы первого и второго рода.

9. Запишите алгоритм определения прямого транзитивного замыкания в нечетком орграфе.

10. Запишите алгоритм определения обратного транзитивного замыкания в нечетком орграфе.

175 Гиперграфы

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

Дадим определение гиперграфа. Пусть X = {х₁, х₂, …, х_n} – конечное множество и Е= {l₁, 1₂, …, 1_m} – семейство подмножеств X такое, что(l_i)l_i  0 и , I = {1, 2, …, m}. Говорят, что объект Н = (Х, Е) – гиперграф на множестве Х, если он состоит из множества вершин X и множества ребер E, причем каждое ребро l_i  E представляет собой некоторое подмножество множества вершин, т.е. l_i  X. Если l_i  E (|l_i| = 2), то гиперграф H является графом G без изолированных вершин. На рис. 17.30, а показан пример гиперграфа H = (X, Е), |Х| = 7, |E| = 5. Заметим, что ребро l₅ с |l₅| = 1 есть петля. Ребрами гиперграфа являются: l₁ = {х₁, х₂, х₃, х₄}; l₂ = {х₂, х₃, х₆, х₇}; l₃ = {х₅, х₄}; l₄ = {х₅, х₇}; l₅ = {х₁}.

Рис. 17.30, a. Гиперграф H = (X, Е)

В гиперграфе H = (X, E) две вершины называются смежными в том случае, если существует ребро e_i, содержащее эти вершины. Ребра гиперграфа называются смежными в случае если выполняется следующее условие: e_i  e_j  0, то есть если их пересечение представляет собой непустое подмножество

Матрицей инцидентности гиперграфа H называется матрица I(H) = ||h_ij||_mn, причем

Для гиперграфа Н на рис. 17.30, а матрица инцидентности примет вид

		х1	x2	х3	х4	х5	х6	х7
I(H) =	l1	1	1	1	1	0	0	0	.
	l2	0	1	1	0	0	1	1
	l3	0	0	0	1	1	0	0
	l4	0	0	0	0	1	0	1
	l5	1	0	0	0	0	0	0

Любому гиперграфу H = (X, E) соответствует гиперграф H* = (E, X), вершинами которого являются ребра Е = {l₁, 1₂, …, 1_m}, а ребрами – вершины х₁, х₂, …, х_n. Гиперграф H* называется двойственным H. Матрица инцидентности гиперграфа H* есть транспонированная матрица гиперграфа H. Если два ребра l_i, l_j  E в H смежны, то соответствующие вершины l_i, l_j  E в H* также смежны, тоже выполняется и для вершин х_i, х_j  X в H, когда они становятся ребрами H*. Гиперграф H*, двойственный Н, показан на рис. 17.30, б.

Рис. 17.30, б. Двойственный гиперграф H*

А его матрица инцидентности запишется в виде:

		l1	l2	l3	l4	l5
I(H)* =	x1	1	0	0	0	1	.
	x2	1	1	0	0	0
	x3	1	1	0	0	0
	x4	1	0	1	0	0
	x5	0	0	1	1	0
	x6	0	1	0	0	0
	x7	0	1	0	1	0

В гиперграфе Н = (Х, Е) цепь длины q определяется как последовательность вида s(H) = x₁, l₁, х₂, 1₂, …, l_q, x_q+1. Если q > 1 и x_q+1 = x₁, то цепь с такими параметрами называется циклом длины q.

Гиперграф H с n вершинами, m ребрами и k связными компонентами считается деревом в случае, когда его ребра имеют не более одной общей вершины, то есть тогда, когда

.

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

Гиперграф Н= (X, Е) можно представить в виде двудольного графа Кёнига К(Н) = (X  E, V), где X – первое подмножество вершин двудольного графа, соответствующее множеству вершин гиперграфа H; Е – второе подмножество вершин двудольного графа, соответствующее множеству ребер гиперграфа H; V – множество ребер двудольного графа, устанавливающее смежность между двумя множествами вершин X и Е в графе К(Н) в соответствии с инцидентностью вершин и ребер гиперграфа H.

Заметим, что в двудольном графе К(H) вершины внутри подмножеств X и Е не смежны, причем вершины x_i  Х и l_j  E в К(Н) смежны тогда и только тогда, когда в гиперграфе H вершина x_i принадлежит ребру l_j. На рис. 17.30, в приведен граф Кёнига для гиперграфа H.

Рис. 17.30, в. Граф Кёнига K(H)

Отметим, что не только любой конечный гиперграф представляется в виде К(H), но и каждый двудольный граф является представлением некоторого гиперграфа.

Под раскраской вершин гиперграфа Н = (Х, Е) понимается некоторое разбиение множества его вершин на классы, не содержащие пустого подмножества, когда инцидентные вершины должны быть окрашены в разные цвета, причем каждому классу X_i (X₁  X₂  … X_q = X; X₁  X₂  … X_q = ) отвечает определенный цвет, в который окрашены вершины, а q соответствует количеству различных цветов, которые можно использовать для раскраски.