- •«Дискретная математика»
- •Множества и отношения Тема 1. Основные понятия теории множеств Множества и основные операции над ними
- •Кортеж. Декартово произведение
- •Мощность множества
- •Тема 2. Элементы комбинаторики Комбинаторные вычисления
- •Основные понятия комбинаторики
- •Размещения
- •Перестановки
- •Сочетания
- •Определение числа сочетаний с повторениями
- •Бином Ньютона
- •Решение комбинаторных уравнений
- •Метод включений и исключений
- •Рекуррентные соотношения. Возвратные последовательности
- •Тема 3. Отношения на множествах Отношения. Функции. Взаимно однозначные соответствия
- •Отношения эквивалентности и разбиения. Фактор-множества
- •Отношения порядка
- •Тема 4. Элементы теории графов
- •Определение и примеры графов
- •Связность графа
- •Обзор основных задач теории графов
- •Расчет сетевого графика
- •Резервы сетевого графика
- •Сети Петри
- •Маршруты
- •Степени вершин
- •Раскраски графов
- •Планарные графы
- •Изоморфизм графов
- •Алгебра и топология Тема 1. Элементы общей алгебры Операции на множествах
- •Унарные операции алгебры поворотов квадрата
- •Группа подстановок Галуа
- •Алгебра множеств (алгебра Кантора)
- •Алгебраические системы. Решетки
- •Задание множеств конституентами
- •Задание множества а двоичным числом
- •Пересечение множеств № 12 и № 5
- •Тема 2. Булевы функции
- •Табличное задание булевых функций
- •Задание булевой функции
- •Задание булевых функций одной переменной
- •Задание булевых функций двух переменных
- •Аналитическое задание булевых функций
- •Задание булевой функции голосования
- •Полные системы булевых функций
- •Тема 3. Алгебраические системы Определения и примеры
- •Подсистемы
- •Конгруэнции. Фактор-алгебры. Теорема о гомоморфизме
- •Тема 4. Элементы общей топологии
- •Топологические пространства, сходимость к точке и направленности
- •Фильтры и ультрафильтры
- •Булевы решетки подмножеств
- •Атомы и шкалы решеток подмножеств
- •Алгебра логики Тема 1. Алгебра логики высказываний Формулы алгебры логики
- •Функции алгебры логики
- •Эквивалентность формул
- •Дизъюнктивные и конъюнктивные нормальные формы
- •Минимизация булевых функций в классе днф
- •Карты Карно
- •Логические сети Определение и реализация булевых функций
- •Схемы из функциональных элементов
- •Мультиплексоры
- •Программируемые логические матрицы
- •Тема 2. Логика предикатов Предикаты. Кванторы
- •Формулы логики предикатов
- •Правила преобразования формул логики предикатов
- •Тема 3. Элементы теории доказательств Аксиоматическая (формальная) теория. Исчисление предикатов
- •Метод резолюций
- •Хорновские дизъюнкты
- •Унификация. Метод резолюций в логике предикатов
- •Тема 4. Алгоритмы Понятие об алгоритмах. Схемы алгоритмов Понятие об алгоритме и теории алгоритмов
- •Схемы алгоритмов
- •Описание символов, используемых в схемах алгоритмов
- •Неразрешимые алгоритмические проблемы
- •Конечные автоматы и регулярные языки Тема 1. Синтаксис языков Алфавит, слово, язык
- •Классификация грамматик и языков
- •Регулярные языки и регулярные выражения
- •Тема 2. Переключательные функции и способы их задания Понятие о переключательных функциях
- •Некоторая трехзначная переключательная функция двух переменных
- •Трехзначная пф «дизъюнкция а, b »
- •Трехзначная пф «сумма a, b по модулю 3»
- •Трехзначная пф «а плюс 1 по модулю 3 — циклический сдвиг а»
- •Двоичные переключательные функции и способы их задания
- •Одномерная таблица истинности некоторой функции
- •Двухмерная таблица истинности
- •Основные бинарные логические операции
- •Бинарная конъюнкция
- •Бинарная конъюнкция
- •Бинарная дизъюнкция
- •Бинарная инверсия
- •Импликация
- •Эквиваленция
- •Функциональная полнота систем переключательных функций
- •Линейные функции двух переменных
- •Базисы представления переключательных функций
- •Переключательные функции от трех аргументов
- •Векторы переключательных функций
- •Вектор свойств пф
- •Цель минимизации переключательных функций
- •Тема 3. Элементы теории конечных автоматов Основные определения теории конечных автоматов
- •Понятие о технической интерпретации конечных автоматов
- •Синтез комбинационных автоматов в заданном базисе Синтез комбинационных автоматов
- •Синтез переключательной схемы
- •Синтез в базисе и, или, не
- •Синтез методом каскадов
- •Синтез в базисах и-не, или-не
- •Элементарные автоматы памяти на основе комбинационного автомата и задержки
- •Первичная таблица переходов-выходов
- •Синтез автомата-распознавателя последовательности
- •Первичная таблица переходов-выходов распознавателя 0-1-3-2
- •Тема 4. Элементы теории кодирования
- •Проблема кодирования сообщений
- •Расстояние Хемминга
- •Групповые коды
- •Хемминговы коды
Расчет сетевого графика
Разберем подробно метод решения одной из задач теории графов. Рассмотрим сетевой график (см. рис. 4.7).
Определение 4.5. Сетевым графиком называется ориентированный граф Г = X , R с неотрицательной числовой нагрузкой на каждой дуге ( xi , xj ) = uij ∈ R . Нагрузку на дуге обозначим T ( uij ) ≥ 0. Кроме того, в сетевом графике еще предполагаются три условия.
1. Во множестве вершин X имеются две вершины х 0 и х k , такие, что из вершины х 0 дуги только выходят, а в вершину х k дуги только входят. Вершина х 0 называется начальной , а вершина х k — конечной вершиной сетевого графика.
2. Для всякой промежуточной вершины х i , т. е. не являющейся ни начальной, ни конечной, существуют два пути в сетевом графике от начальной вершины до рассматриваемой L (х 0 , х i ) и от рассматриваемой вершины до конечной L (х i , х k ).
3. В сетевом графике нет циклов.
Определение сетевого графика отражает тот факт, что сетевой график моделирует некоторый технологический процесс. Каждая дуга соответствует конкретной работе, а нагрузка дуги — времени, требуемому на выполнение такой работы. Начальная вершина дуги соответствует моменту начала работы, а конечная вершина — моменту завершения работы.
Пример 4 .6 . Рассмотрим сетевой график работ, приведенный на рис. 4.14. Изобразим его так, чтобы в каждой вершине графика можно было написать необходимые числовые показатели. Анализ технологического процесса предполагает построение его сетевого графика, т. е. модели процесса и расчет основных показателей такого графика.
Основные показатели сетевого графика.
Определение 4.6. Ранним временем наступления события х i называется длина максимального пути L (х 0 , х i ) от начала всех работ до момента х i . Длина пути | L (х 0 , х i )| определяется как сумма длин всех его дуг. Обозначим раннее время
Рис . 4 .14 . Сетевой график
По определению, t ( x 0 ) = 0. Раннее время момента завершения всех работ t ( xk ) = t * называется критическим временем сетевого графика, а путь L (х 0 , х k ) = L * , длина которого равна критическому времени, называется критическим путем сетевого графика.
Пример 4 .7 . В сетевом графике на рис.4.14 проведем расчет ранних времен всех вершин и занесем результаты расчета в левые четверти кружков, изображающих вершины. Так для вершин х 4 , х 5 , х 6 будем иметь:
t ( x 4 ) = max {17,26} = 26, t ( x 5 ) = m ах{8,9} = 9, t ( x 6 ) = m ах{28,37,14,15} = 37.
Чем ближе очередная вершина графика к конечной вершине, тем большее число путей от начала и длиннее каждый путь надо рассматривать. Этого можно избежать, если вести расчет ранних времен по формуле прямой волны:
t (xi ) = max{t (xm ) + T (umi )}.
В этой формуле рассматривается для всех соседних к xi предшествующих вершин хт наибольшая из сумм раннего времени вершины-соседки и длительности работы от нее до заданной вершины. Например, если уже известны ранние времена t ( x 4 )= 26 и t ( x 5 ) = 9 (см. рис. 4.14), то легко найти t ( x 6 ) = max {(26 + 11), (9 + 6) = 37}. Расчет ранних времен ведется по этой формуле от начальной вершины к конечной подобно распространению прямой волны (см. рис. 4.14). В конце расчета получаем критическое время t * = t ( x 6 ) = 37 и критический путь L *( x 0 , x 6 ) = { u 02 , u 24, u 46 } сетевого графика. Критический путь на рис. 4.14 выделим.
Определение 4.7. Поздним временем наступления события х i называется разность критического времени t * сетевого графика и длины максимального пути L *( xi , xk ) от момента xi до момента окончания всех работ. Обозначим позднее время
По определению имеем для конечной вершины
Так, для вершины х 2 сетевого графика на рис. 4.14 получаем:
Таблица 4.1
