- •Содержание:
- •Диаграммы Венна.
- •Операции над множествами.
- •Свойства теоретико-множественных операций.
- •Представление множеств в эвм
- •Реализация операций над подмножествами заданного универсума в эвм.
- •Многоместные отношения. Композиция отношений. Степень и ядро отношений.
- •Свойства отношений.
- •Представление отношений в эвм.
- •Минимальные элементы. Теорема о существовании минимального элемента.
- •Алгоритм топологической сортировки
- •Операции над бинарными отношениями.
- •Тема 4. Замыкание отношений. Транзитивное замыкание, рефлексивное замыкание. Алгоритм Уоршалла вычисления транзитивного замыкания. Замыкание отношений.
- •Транзитивное замыкание отношений
- •Рефлексивное замыкание отношений
- •Алгоритм Уоршалла.
- •Представление функций в эвм.
- •Операции
- •Свойства бинарных операций:
- •Способы задания операций.
- •Тема 6. Алгебраическая система. Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр. Алгебраическая система
- •Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр.
- •Основные характеристики нечетких множеств
- •Примеры нечетких множеств
- •Операции над нечеткими множествами
- •Графическое представление операций
- •Тема 8. Алгебраические операции над нечеткими множествами.
- •Тема 9. Основное определение графов. Смежность. Изоморфизм графов. Элементы графов. Подграфы. Валентность. Теорема Эйлера. Основное определение.
- •Смежность.
- •Изоморфизм графов.
- •Элементы графов. Подграфы. Валентность.
- •Теорема Эйлера.
- •Тема 10. Маршруты в графах. Цепи. Циклы. Расстояние между вершинами. Связность. Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети. Маршруты в графах. Цепи. Циклы.
- •Расстояние между вершинами.
- •Связность.
- •Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети.
- •Тема 11. Матрица смежности, матрица инцидентности. Операции над графами. Представление графов в эвм. Матрица смежности. Матрица инцедентности.
- •Операции над графами: Объединение графов.
- •Пересечение графов
- •Композиция графов
- •Декартово произведение графов.
- •Операция произведения графов.
- •Представление графов в эвм
- •V k1 k2
- •Теорема Форда - Фалкерсона. Алгоритм нахождения максимального потока.
- •Тема 14. Кратчайшие пути. Алгоритм Флойда. Алгоритм Дейкстры.
- •Кратчайшие пути
- •Рёбра отрицательного веса
- •Представление кратчайших путей в алгоритме
- •Алгоритм Флойда
- •Алгори́тм Де́йкстры
- •Сложность алгоритма
- •Ориентированные, упорядоченные и бинарные деревья
- •Представление в эвм свободных, ориентированных и упорядоченных деревьев.
- •Тема 16. Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья. Минимальный каркас. Схема алгоритма построения минимального каркаса.
- •Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья.
- •Минимальный каркас. Схема алгоритма построения минимальных каркасов.
- •Тема 17. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака. Раскраска графов. Хроматическое число. Планарные графы. Укладка графов. Алгоритм раскрашивания.
- •21. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака.
- •Раскраска графов. Хроматическое число. Планарность. Укладка графов. Алгоритмы раскрашивания.
- •F1(X) – нулевая функция.
- •Дизъюнктивная нормальная форма.
- •Конъюнктивная нормальная форма.
- •Тема 19. Неполностью определенные (частные) пф. Минимизация пф и неполностью определенных пф. Понятие минимизации булевых функций.
- •Метод неопределённых коэффициентов.
- •Метод карт Карно
- •Метод Петрика
- •Теорема Поста
- •Тема 22. Законы алгебры логики в офпс и их следствия. Правило выполнения совместных логических действий, правило склеивания, правило поглощения, правило развертывания.
- •Тема 23. Задача анализа и синтеза логических схем
- •Тема 24. Элементы теории алгоритмов. Цели и задачи теории алгоритмов. Формализация понятия алгоритмов: определение Колмогорова, определение Маркова
Минимальный каркас. Схема алгоритма построения минимальных каркасов.
Задача отыскания минимального каркаса (кратчайшего остова) – классическая задача теории графов. Методы решения этой задачи послужили основой многих других важных результатов (исследование алгоритма Краскала привели к созданию теории "жадных" алгоритмов).
Пусть G(V,E) – граф. Остов (каркас) –остовнойподграф, являющийся деревом. Несвязный граф не имеет остова, связный граф может иметь много остовов. Если задать длины ребер, то можно поставить задачу нахождения кратчайшего остова, или минимального каркаса.
Пример:Пример практической интерпретации задачи нахождения кратчайшего остова. Пусть задано множество аэродромов, и нужно определить минимальный по сумме расстояний набор авиарейсов, который позволил бы перелетать с любого аэродрома на любой другой аэродром. Решение задачи – кратчайший остов полного графа расстояний между аэродромами.
Граф расстояний между аэродромами и дерево кратчайших путей из вершины v1.
Кратчайшие остовы для графа G(V,E)
Рассмотрим схему алгоритма построения кратчайшего остова. Пусть Т – множество непересекающихся деревьев, являющихся подграфами графа G. Вначале Т состоит из отдельных вершин графаG, в конце Т содержит единственный элемент – кратчайший остов графаG.Схема алгоритма.
Вход:графG(V,E), заданный матрицей длин ребер С.
Выход:кратчайший остов Т.
Т:=V
whileв Т больше одного элементаdo
взять любое поддерево из Т
найти к нему ближайшее
соединить эти деревья в Т
end while
Тема 17. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака. Раскраска графов. Хроматическое число. Планарные графы. Укладка графов. Алгоритм раскрашивания.
21. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака.
Цикл может входить только в одну компоненту связности графов.
k(G)=2
Следовательно, далее будем рассматривать связанные графы. Цикл (простой) рассматривается как множество рёбер. Разрез связного графа – это множество ребер, удаление которых делает граф не связным.
е1
е3 С3: С3
–{e1,
e2}→k(G’)=2
Простой разрез – это минимальный разрез, т.е. такой, никакое собственное подмножество которого разрезом не является. Между циклами и разрезами существует определенная двойственность. Следовательно, разрезы называют коциклами. Чем больше в графе циклов, тем труднее его разрезать. В дереве, напротив, каждое ребро является разрезом. Максимальное независимое множество циклов – это фундаментальная система циклов. Циклы фундаментальной системы называются фундаментальными, а количество циклов в данной фундаментальной системы – циклическим рангом, или циклическим числом. Обозначение: m(G). Максимальное независимое множество коциклов (разрезов) – фундаментальная система разрезов. Коциклы фундаментальной системы – фундаментальные, а количество коциклов в данной фундаментальной системе называетсяк-циклическим рангом, или коциклическим числом графаG. Обозначение:m*(G).
Пусть T(V,ET) – остов графаG(V,T). КодеревоT*(V,ET*) остоваT(V,GT) – такой подграф (остовный), чтоET* =E/ET. Кодерево не является деревом. Ребра кодерева – хорды остова.
Теорема 1. Если граф G – связный граф, то цикломатическое число определяется как:m(G) =q-p+ 1, а коцикломатическое – как:m*(G) =p- 1.
Если граф имеет цикл (не обязательно простой), содержащий все ребра графа по одному разу, то это Эйлеров цикл, а граф – Эйлеров граф. Если граф имеет цепь (не обязательно простую), содержащую все вершины по одному разу, то цепь – Эйлерова цепь, а граф – полуэйлеров граф. Эйлеров цикл содержит не только все ребра (по одному разу), но и все вершины графа (возможно по несколько раз). Эйлеровым может быть только связный граф.
Теорема 2. Если граф G связен и не тривиален, то справедливы следующие утверждения:1)Граф G – Эйлеров граф;2)Каждая вершина графа G имеет четную степень.3)Множество ребер графа G можно разбить на простые циклы.
Чтобы убедится в наличии Эйлерова цикла, в графе необходимо и достаточно проверить, что степени всех вершин четные.
эйлеров граф
Если граф имеет простой цикл, содержащий все вершины графа по одному разу, то такой цикл – Гамильтонов, а граф – Гамильтонов граф. Гамильтонов цикл не обязательно содержит все ребра графа. Гамильтоновым может быть только связный граф.
Теорема 3(теорема Дирака). Если в графеG(V,E) для любой вершиныuиз множестваVd(u)іp/ 2, то графG– Гамильтонов.
гамильтонов граф