- •Содержание дисциплины "Дискретная математика" введение
- •Входная контрольная работа
- •1Вариант
- •2 Вариант
- •Раздел 1. Основы теории множеств
- •Тема 1.1 Основные понятия теории множеств.
- •Тема 1.2 Операции над множествами.
- •Самостоятельная работа № 1
- •Тема 1.3 Свойства операций.
- •Контрольная работа
- •1 Вариант
- •2 Вариант
- •Раздел 2. Формулы логики.
- •Тема 2.1 Основные логические операции.
- •Тема 2.2 Формулы логики.
- •Самостоятельная работа №2.
- •Тема 2.3 Дизъюнктивная нормальная форма.
- •Различны все члены дизъюнкции;
- •Тема 2.4 Конъюнктивная нормальная форма.
- •Тема 2.5 Равносильные формулы. Свойства.
- •Раздел 3. Булевы функции.
- •Тема 3.1 Понятие булевой функции.
- •Тема 3.2 Совершенная днф. Совершенная кнф. Совершенной дизъюнктивной формой формулы алгебры высказываний (сднф) называется днф, в которой:
- •Различны все члены дизъюнкции;
- •Самостоятельная работа №5.
- •Тема 3.3 Минимальная днф.
- •Тема 3.4 Представление булевой функции в виде минимальной днф.
- •Самостоятельная работа №6. Самостоятельная работа №7
- •Тема 3.5 Полнота множества функций.
- •Тема 3.6 Важнейшие замкнутые классы.
- •Важнейшие замкнутые классы в р2
- •Тема 3.7 Теорема Поста.
- •Примеры использования теоремы Поста.
- •3. Составим критериальную таблицу для другой полной системы функций из р2: {0, 1, x1x2, x1x2}.
- •Контрольная работа
- •Раздел 4. Предикаты и бинарные отношения.
- •Тема 4.1 Понятие предиката. Область определения и область истинности предиката.
- •Тема 4.2 Логические операции над предикатами.
- •Самостоятельная работа №8.
- •Тема 4.3 Кванторные операции над предикатами.
- •2. Квантор существования
- •- «Все люди любят всех людей».
- •- «Существует человек, который кого-то любит» .
- •- «Существует человек, который любит всех людей».
- •Тема 4.4 Понятие предикатной формулы.
- •Тема 4.5 Равносильность предикатов. Исчисление предикатов.
- •Самостоятельная работа №9.
- •Тема 4.6 Бинарные отношения и их свойства.
- •Самостоятельная работа №10. Контрольная работа
- •Раздел 5. Отображения. Подстановки.
- •Тема 5.1 Отображения и их свойства.
- •Самостоятельная работа №11.
- •Тема 5.2 Композиция отображений и обратное отображение.
- •Тема 5.3 Подстановки. Обратные подстановки. Формула количества подстановок.
- •Самостоятельная работа №12. Контрольная работа
- •1 Вариант
- •2 Вариант
- •3 Вариант
- •4 Вариант
- •5 Вариант
- •Раздел 6. Метод математической индукции.
- •Тема 6.1 Принцип метода математической индукции.
- •Раздел 7. Основы теории графов.
- •Тема 7.1 Понятие неориентированный граф. Основные определения.
- •Лабораторная работа № 1.
- •Тема 7.2 Теорема о сумме степеней вершин графа. Полный граф, его свойства.
- •Лабораторная работа № 2.
- •Тема 7.3 Метрические характеристики графа.
- •Лабораторная работа № 3.
- •Тема 7.4 Двудольные и изоморфные графы.
- •Лабораторная работа № 4.
- •Тема 7.5 Эйлеровы и гамильтоновы графы.
- •Лабораторная работа № 5
- •Тема 7.6 Плоские графы.
- •Тема 7.7 Деревья. Код Пруфера.
- •Тема 7.8 Понятие ориентированный граф (орграф).
- •Тема 7.9 Достижимость вершин в орграфе.
- •Раздел 8. Элементы теории алгоритмов.
- •Тема 8.1 Определение класса финитно-поставленных задач.
- •Тема 8.2 Машины Тьюринга.
- •Тема 8.3 Уточнения понятия алгоритм.
- •Итоговая (выходная) контрольная работа.
Лабораторная работа № 5
Эйлеровы графы
Цель работы;
Рассмотреть понятия эйлеров путь, эйлеров цикл.
Дать определение эйлерова графа.
Рассмотреть свойства эйлеровых графов.
Литература:
"Графы и их применение", Березина Л.Ю., М.: Просвещение, 1979г.
"Теория графов. Алгоритмический подход", Кристофидес Н.
"Применение теории графов в программировании", Евстигнеев В.А Наука, 1985г.
Порядок выполнения работы:
I Разработать схему алгоритмов основной программы и подпрограмм.
II Написать и отладить программу на языке Turbo Pascal.
Задание:
Заданы графы:
1)
4)
2)
3) 5)
Краткие теоретические сведения:
Граф называется полным, если каждые две его вершины соединены одним и только одним ребром.
Степенью вершины называется число ребер графа, которым принадлежит эта вершина.
Е
Степ. А=1
Степ. В=2
Степ. С=2
Степ. D=l
Степ. Е=0
Вершина называется нечетной, если её степень - число нечетное. Вершина называется четной, если её степень - число четное.
Степень каждой вершины полного графа на единицу меньше числа его вершин.
Теорема о сумме степеней графа:
В графе Г - сумма степеней всех его вершин, есть число четное, равное удвоенному числу его ребер, т.е.
где р - число ребер графа, п- число вершин.
Содержание отчета:
Составление алгоритмов.
Написание программы на языке Turbo Pascal.
Отладка программы.
Контрольные вопросы:
Что такое полный граф?
Дайте понятие степени вершины графа?
Какая вершина графа называется четной?
Какая вершина графа называется нечетной?
Сформулируйте теорему о сумме степеней вершин графа?
Тема 7.6 Плоские графы.
Граф называется плоским, если никакие два его соседних ребра не имеют других общих точек за исключением их общей вершины.
Рисунок графа называется его плоским представлением, если на нем никакие два ребра не имеют общих точек пересечения, если не считать точкой пересечения их вершину.
Теорема: Для того, чтобы граф являлся плоским необходимо и достаточно ,чтобы существовало его плоское представление.
В качестве характеристики плоского графа вводят понятие грань.
Гранью в плоском представлении графа называется часть плоскости, ограниченная простым циклом и не имеющая внутри себя других циклов.
Грани:
(2,4,5,6,2)
(1,2,3,1)
(1,7,4,1)
(1,4,2,3,1)
Границей грани называется простой цикл, ограничивающий грань.
Две грани называются соседними, если их границы имеют хотя бы одно общее ребро.
Существует так называемая бесконечная грань, т.е. часть плоскости, лежащая вне графа и ограниченная изнутри простым циклом
АВ называют перегородкой, и если у графа есть перегородка, то не существует бесконечной грани.
Теорема: Если в плоском представлении графа без перегородок V – количество вершин, P – количество ребер, G – количество граней (с учетом бесконечной), то V – P + G = 2 (формула Эйлера).
Данная теорема используется в задачах для того, чтобы доказать, что заданный граф не является плоским.