- •Содержание:
- •Диаграммы Венна.
- •Операции над множествами.
- •Свойства теоретико-множественных операций.
- •Представление множеств в эвм
- •Реализация операций над подмножествами заданного универсума в эвм.
- •Многоместные отношения. Композиция отношений. Степень и ядро отношений.
- •Свойства отношений.
- •Представление отношений в эвм.
- •Минимальные элементы. Теорема о существовании минимального элемента.
- •Алгоритм топологической сортировки
- •Операции над бинарными отношениями.
- •Тема 4. Замыкание отношений. Транзитивное замыкание, рефлексивное замыкание. Алгоритм Уоршалла вычисления транзитивного замыкания. Замыкание отношений.
- •Транзитивное замыкание отношений
- •Рефлексивное замыкание отношений
- •Алгоритм Уоршалла.
- •Представление функций в эвм.
- •Операции
- •Свойства бинарных операций:
- •Способы задания операций.
- •Тема 6. Алгебраическая система. Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр. Алгебраическая система
- •Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр.
- •Основные характеристики нечетких множеств
- •Примеры нечетких множеств
- •Операции над нечеткими множествами
- •Графическое представление операций
- •Тема 8. Алгебраические операции над нечеткими множествами.
- •Тема 9. Основное определение графов. Смежность. Изоморфизм графов. Элементы графов. Подграфы. Валентность. Теорема Эйлера. Основное определение.
- •Смежность.
- •Изоморфизм графов.
- •Элементы графов. Подграфы. Валентность.
- •Теорема Эйлера.
- •Тема 10. Маршруты в графах. Цепи. Циклы. Расстояние между вершинами. Связность. Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети. Маршруты в графах. Цепи. Циклы.
- •Расстояние между вершинами.
- •Связность.
- •Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети.
- •Тема 11. Матрица смежности, матрица инцидентности. Операции над графами. Представление графов в эвм. Матрица смежности. Матрица инцедентности.
- •Операции над графами: Объединение графов.
- •Пересечение графов
- •Композиция графов
- •Декартово произведение графов.
- •Операция произведения графов.
- •Представление графов в эвм
- •V k1 k2
- •Теорема Форда - Фалкерсона. Алгоритм нахождения максимального потока.
- •Тема 14. Кратчайшие пути. Алгоритм Флойда. Алгоритм Дейкстры.
- •Кратчайшие пути
- •Рёбра отрицательного веса
- •Представление кратчайших путей в алгоритме
- •Алгоритм Флойда
- •Алгори́тм Де́йкстры
- •Сложность алгоритма
- •Ориентированные, упорядоченные и бинарные деревья
- •Представление в эвм свободных, ориентированных и упорядоченных деревьев.
- •Тема 16. Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья. Минимальный каркас. Схема алгоритма построения минимального каркаса.
- •Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья.
- •Минимальный каркас. Схема алгоритма построения минимальных каркасов.
- •Тема 17. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака. Раскраска графов. Хроматическое число. Планарные графы. Укладка графов. Алгоритм раскрашивания.
- •21. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака.
- •Раскраска графов. Хроматическое число. Планарность. Укладка графов. Алгоритмы раскрашивания.
- •F1(X) – нулевая функция.
- •Дизъюнктивная нормальная форма.
- •Конъюнктивная нормальная форма.
- •Тема 19. Неполностью определенные (частные) пф. Минимизация пф и неполностью определенных пф. Понятие минимизации булевых функций.
- •Метод неопределённых коэффициентов.
- •Метод карт Карно
- •Метод Петрика
- •Теорема Поста
- •Тема 22. Законы алгебры логики в офпс и их следствия. Правило выполнения совместных логических действий, правило склеивания, правило поглощения, правило развертывания.
- •Тема 23. Задача анализа и синтеза логических схем
- •Тема 24. Элементы теории алгоритмов. Цели и задачи теории алгоритмов. Формализация понятия алгоритмов: определение Колмогорова, определение Маркова
Связность.
Определение 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
Операция объединения обладает следующими свойствами, которые следуют из определения операции и свойств операций на множествах:
G1G2 = G2G1– свойство коммутативности;
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для графаG’1иE2для графаG’2. Очевидно, что матрицы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.