
- •Лекция 2
- •Лекция 3
- •Лекция 4
- •Лекция 5
- •Лекция 13
- •Лекция 14
- •Лекция 16
- •Основные понятия
- •Понятие множества. Способы задания множеств.
- •Понятие множества. Способы задания множеств.
- •Отношения между множествами.
- •3, Операции над множествами.
- •Алгебра множеств.
- •Теорема о количестве подмножеств конечного множества.
- •Формула включений и исключений.
- •Лекция 2
- •1.Понятие вектора. Прямое произведение множеств.
- •2.Теорема о количестве элементов прямого произведения.
- •Понятие вектора. Прямое произведение множеств.
- •Теорема о количестве элементов прямого произведения.
- •Лекция 3
- •2. Понятие высказывания.
- •3. Логические операции над высказываниями
- •4.Формулы алгебры логики.
- •Лекция 4
- •2. Важнейшие равносильности алгебры логики.
- •3.Равносильные преобразования формул.
- •Задачи для самостоятельного решения
- •Лекция 5
- •Дизъюнктивная нормальная форма.
- •Конъюнктивная нормальная форма.
- •Проблема разрешимости.
- •Лекция 6
- •Функции алгебры логики.
- •3. Представление произвольной функции алгебры логики в виде формулы алгебры логики.
- •4.Приложения алгебры логики в технике (релейно-контактные схемы).
- •Контрольные вопросы
- •Лекция 7
- •Совершенная дизъюнктивная нормальная форма.
- •Совершенная конъюнктивная нормальная форма.
- •Совершенная дизъюнктивная нормальная форма.
- •2.Совершенная конъюнктивная нормальная форма.
- •Лекция 8
- •2.Понятие минимальной днф. Метод минимизирующих карт.
- •3.Метод Квайна.
- •4.Метод Карно.
- •5.Постановка задачи минимизации в геометрической форме.
- •6.Сокращенная днф.
- •7.Тупиковая днф. Днф Квайна.
- •Лекция 9
- •Некоторые логические операции. Двоичное сложение.
- •Полином Жегалкина.
- •Некоторые логические операции. Двоичное сложение.
- •Полином Жегалкина.
- •Лекция 10
- •Полная система . Достаточное условие полноты.
- •Критерий полноты системы булевых функций.
- •Независимые системы. Базис замкнутого класса.
- •Полная система. Достаточное условие полноты.
- •Критерий полноты системы булевых функций.
- •3. Независимые системы. Базис замкнутого класса.
- •Лекция 11
- •Понятие предиката.
- •Логические операции над предикатами.
- •1. Понятие предиката
- •2. Логические операции над предикатами
- •Лекция 12
- •2. Формулы логики предикатов.
- •Значение формулы логики предикатов.
- •4. Равносильные формулы логики предикатов.
- •Лекция 13
- •Построение противоположных утверждений.
- •3. Прямая, обратная и противоположная теоремы.
- •4. Необходимые и достаточные условия.
- •5. Доказательство методом от противного.
- •Задачи для самостоятельного решения
- •Лекция 14
- •2. Использование метода математической индукции для нахождения сумм конечного числа слагаемых
- •3. Использование метода математической индукции для доказательства неравенств и делимости выражений, зависящих от n на некоторое число
- •4. Обобщение метода математической индукции
- •Контрольные вопросы
- •Лекция 15
- •Операции над бинарными отношениями.
- •3. Свойства бинарных отношений.
- •4. Специальные бинарные отношения.
- •Контрольные вопросы
- •Лекция 16
- •Функция
- •1. 4. Отображение
- •Обратная функция
- •2. Свойства отображений и функций
- •3.Операции над функциями. Свойства операций
- •Контрольные вопросы
- •Лекция 17
- •Основные понятия .
- •2. Смежность, инцидентность, степени вершин.
- •3. Способы задания графов
- •Маршруты в неориентированном графе
- •Операции над графами.
- •Связность. Компоненты связности
- •Контрольные вопросы
- •Лекция 18
- •2. Метрические характеристики неориентированного графа
- •Минимальные маршруты в нагруженных графах
- •Задачи на деревьях
- •Цикловой ранг графа. Цикломатическое число
- •Контрольные вопросы
- •Лекция 19
- •Эйлеровы цепи и циклы
- •Гамильтоновы циклы и цепи
- •Эйлеровы цепи и циклы
- •Гамильтоновы циклы и цепи.
- •Контрольные вопросы
- •Лекция 20
- •Двудольный граф. Условие существования двудольного графа
- •Паросочетания . Реберные покрытия
- •Двудольный граф. Условие существования двудольного графа
- •Паросочетания. Реберные покрытия
- •Контрольные вопросы
- •Лекция 21
- •Основные определения
- •Алгоритм плоской укладки графа
- •Контрольные вопросы
- •Лекция 22
- •Способы задания ориентированного графа
- •Путь в ориентированном графе
- •4. Связность. Компоненты связности в орграфе
- •Контрольные вопросы
- •Лекция 23
- •2. Минимальные пути в нагруженных орграфах
- •3. Порядковая функция орграфа без контуров
- •Контрольные вопросы
Контрольные вопросы
Сформулировать определение графа.
Перечислить виды графов.
Перечислить способы задания неорграфа.
Пояснить понятия: инцидентность и смежность.
Что называется компонентой связности неорграфа?
Что такое степень вершины? Сформулировать теорему о сумме степеней вершин.
Сформулировать определение маршрута в графе.
Какой маршрут в неорграфе называется минимальным?
Перечислить виды маршрутов.
Лекция 18
ТЕМА: ЗАДАЧИ НА НЕОРИЕНТИРОВАННЫЕ ГРАФЫ
ПЛАН:
Поиск маршрута с минимальным числом ребер
Метрические характеристики неориентированного графа
Минимальные маршруты в нагруженных графах
Задачи на деревьях
Цикловой ранг графа. Цикломатическое число
Главная
1. Поиск маршрута с минимальным числом ребер
При решении некоторых прикладных задач нередко возникает необходимость найти маршрут, соединяющий заданные вершины в графе G(V,X). Причем маршрут должен быть кратчайшим.
Маршрут в графе G(V,X) из вершины v в вершину w, где v w, называется минимальным, если он имеет минимальную длину среди всех маршрутов из v в w.
Напомним, что длина маршрута – это число ребер в нем.
Свойство минимального маршрута: Любой минимальный маршрут является простой цепью.
Рассмотрим задачу поиска минимального
маршрута. Введем некоторые обозначения:
пусть G(V,X)
– граф, v
V, V1
V;
обозначим G(v)
= {wV|{v,
w} X}
– образ вершины v; G(V1)
=
-
образ множества вершин V1
; G-1(v)
= { wV|{w,
v} X}
– прообраз вершины v;
G-1(V1)
=
-
прообраз множества вершин V1
.
Пусть G(V,X) – граф с n 2 вершинами и v и w – заданные вершины из данного графа. Причем v w. Опишем алгоритм поиска минимального маршрута в графе G (алгоритм фронта волны).
Шаг1. Помечаем вершину v индексом 0. затем помечаем вершины, принадлежащие образу вершины v , индексом 1. множество вершин с индексом 1 обозначим FW1(v). Полагаем к =1.
Шаг 2. Если FWk(v) = или выполняется к = n –1, w FWk(v), то вершина w не достижима из v, и работа алгоритма на этом заканчивается. В противном случае переходим к шагу 3.
Шаг 3. Если w FWk(v), то переходим к шагу 4. в пртивном случае существует маршрут из v в w длины к, и этот путь является минимальным. Последовательность вершин vw1w2…wk -1 w , где
wk-1 FWk-1G-1(w);
wk-2 FWk-2G-1(wk-1);
……………………….
w1 FW1G-1(w2);
и есть искомый минимальный путь из v в w.
Шаг 4. Помечаем индексом к+1 все непомеченные вершины, которые принадлежат образу множества вершин с индексом к. множество вершин с индексом к+1 обозначим FWk+1(v). Присваиваем к: = к+1 и переходим к шагу 2.
Множество FWk(v) называют фронтом волны к- го уровня.
Замечание: Вершины w1, w2,…w k-1 могут быть выделены неоднозначно, в случае, если существует несколько минимальных маршрутов из v в w.
Примеры.
1. Используя описанный алгоритм найти минимальный маршрут из v1 в v10 в графе, заданном диаграммой:
Вершине v1 присваиваем индекс 0 и последовательно определяем
FW1(v1) = {v2, v4, v6, v8};
FW2(v1) = {v3, v5, v7, v9};
FW3(v1) = {v10}.
Значит, существует маршрут из v1 в v10 длиной l =3 , и он является минимальным.
Найдем последовательность вершин в этом маршруте:
FW2(v1)G-1(v10)= {v3, v5, v7, v9} {v3, v5, v7, v9}= {v3, v5, v7, v9}, выберем любую из вершин полученного множества, например, v7;
FW1(v1)G-1(v7) = {v2, v4, v6, v8} {v4, v8, v6}= {v4, v8, v6}, выберем любую вершину из этого множества – v6 .
Получили минимальный маршрут: v1 v6 v7 v10. Данная задача имеет несколько решений.
Построить минимальный маршрут из v1 в v6 в графе, заданном матрицей смежности:
.
Вершине v1 присваиваем индекс 0 и последовательно определяем множества, просматривая строки:
FW1(v1) = {v2};
FW2(v1) = {v3};
FW3(v1) = {v4, v5, v6}.
Маршрут существует и равен l = 3. Найдем последовательность вершин в этом маршруте, просматривая столбцы:
FW2(v1)G-1(v6)= {v3} {v3, v5}= {v3}, включаем в маршрут единственно возможную вершину v3;
FW1(v1)G-1(v3) = {v2} {v2, v4, v5, v6}= {v2}, включаем в маршрут единственно возможную вершину v2;
Получили минимальный маршрут v1 v2 v3 v6. Задача имеет единственное решение.