- •Теория множеств.
- •Свойства подмножеств.
- •Операции над множествами.
- •Алгебра теории множеств.
- •Решение уравнений алгебры множеств.
- •Кортеж.
- •Проекция множества.
- •График и свойства графика
- •С войства графиков.
- •Прямое (декартовое) произведение множество.
- •Соответствия.
- •Отношения.
- •О перации над отношениями.
- •Основные свойства отношений.
- •Решетки. Диаграммы Хассе.
- •Математическая логика Высказывания и операции над высказываниями.
- •Операции над высказываниями.
- •Формулы математической логики.
- •Формулы равносильности.
- •Различные формы представления высказываний
- •Выполнимость формулы алгебры логики
- •Выполнимые.
- •Применение математической логики.
- •Минимизация сложных высказываний.
- •Метод Квайна.
- •Метод минимизирующих карт.
- •Метод минимизации с помощью карт Вейча.
- •Булевые функции и их свойства.
- •Функциональная полнота. Теорема Поста.
- •Логика предикат.
- •Логические операции над предикатами.
- •Квантовые операции.
- •Равносильные формулы логики предикатов.
- •Предваренная нормальная форма предиката
- •Теория графов
- •Основные понятия теории графов
- •Перечислением:
- •Множеством образов:
- •Матрицей инцидентности
- •Матрицей смежности
- •Эйлеров граф.
- •Множество внутренней устойчивости графа
- •Алгоритм Магу для определения множества внутренней устойчивости графа
- •Множество внешней устойчивости графа
- •Алгоритм Магу для определения множества внешней устойчивости.
- •Множество путей в графе
- •Алгоритм фронта волны. Поиск минимального пути в графе.
- •Алгоритм фронта волны.
- •Ярусно-параллельная форма графов
- •Деревья и леса
- •Алгоритм получения дерева из графа
- •Теория алгоритмов
- •Рекурсивная функция
- •Пусть даны функции:
- •Машина Тьюринга
- •Работа машины Тьюринга:
- •Нормальные алгоритмы Маркова
- •Теория автоматов
- •Законы функционирования автоматов.
- •Задание автоматов
- •Минимизация автоматов
- •Алгоритм минимизации автомата Мили
- •Особенности минимизации автомата Мура.
- •Минимизация частичных автоматов.
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мура к автомату Мили
Множество путей в графе
По матрице смежности можно определить, сколько различных путей существует между i-той и j- той вершинами длиной в к единиц. Для этого необходимо определить матрицу , где - матрица смежности.
Если элемент матрицы :
- между i-той и j- той вершины не существует пути длиной в к единиц;
- между i-той и j- той вершины существуют различных путей длиной в к единиц;
Если - нулевая матрица, это означает, что графе нет путей в к единиц, а максимальный путь – это путь длиной в (к -1) единиц.
Алгоритм фронта волны. Поиск минимального пути в графе.
Одной из самых распространенных задач в теории графов является задача поиска минимального пути в графе.
Рассмотрим некоторые свойства минимальных путей
Любой минимальный путь является простым путем.
Если путь - минимальный, то любые пути внутри минимального пути также будут минимальны.
Пусть Г-1х – прообраз вершины xi – это множество вершин, из которых исходят дуги в вершину xi.
Одним из алгоритмов поиска минимального пути в графе является алгоритм фронта волны (FW –Front Wave)
Алгоритм фронта волны.
Пусть необходимо найти минимальный путь из вершины в вершину .
Выписываются все вершины с 1 по n. Вершина помечается индексом 0.
Находится первый фронт волны как множество вершин образа вершины .
(3.17)
Все вершины, принадлежащие первому фронту волны, помечаются индексом 1.
Вводится счетчик шагов (фронтов волны) .
Если или , то вершина недостижима из вершины, и работа алгоритма на этом заканчивается. В противном смысле переходим к пункту 6.
Если , то переходим к пункту 8. В противном случае существует путь из вершины в вершину длиной в единиц, и этот путь минимальный:
Находятся промежуточные вершины z по правилу:
, (3.18)
где - прообраз вершины - множество вершин, из которых заходят дуги в вершину
Определяется фронт волны как все непомеченные вершины, принадлежащие образу вершин - го фронта волны. Помечаются индексом вершины фронта волны. Далее осуществляется переход к пункту 5.
ПРИМЕР
Пусть задан граф матрицей смежности:
-
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Необходимо найти минимальный путь из вершины в вершину (по алгоритму «фронта волны»).
Выпишем все вершины. Вершина помечается индексом «0»
0
Находится первый фронт волны:
Все вершины, принадлежащие первому фронту волны, помечаются индексом «1».
0 1 1
Так как , и , то определяем второй фронт волны:
Все вершины, принадлежащие второму фронту волны, помечаются индексом «2».
0 2 2 1 1
Так как , и , то определяем третий фронт волны:
Так как , то существует путь из вершины в вершину длиной 3 единицы:
Находятся промежуточные вершины :
Выберем
Выберем
Таким образом, минимальный путь из вершины в вершину имеет вид: