
- •Тернопільський національний економічний університет кафедра комп’ютерної інженерії
- •До виконання практичних робіт з дисципліни
- •Введення
- •Тема 1. Множини
- •Тема 2. Відношення. Функції.
- •Тема 3. Графи.
- •Тема 4. Булеві функції
- •Тема 5. Нечіткі множини.
- •Тема 1. Множини
- •1.1.Основні поняття
- •1.2. Операції над множинами
- •1.3. Геометричне моделювання множин. Діаграми Венна
- •1.4. Алгебра множин. Основні тотожності алгебри множин
- •Основні тотожності алгебри множин
- •Задача для самостійного рішення
- •1.5. Еквівалентність множин
- •1.6. Зліченні множини
- •1.7. Множини потужності континуума
- •Контрольні питання до теми 1
- •Задачі для самостійного розв’язування
- •Домашнє завдання
- •Тема 2. Відношення. Функції
- •2.1. Відношення. Основні поняття й визначення
- •2.2. Операції над відносинами
- •2.3. Властивості відносин
- •2.4. Функції. Основні поняття й визначення
- •Способи задання функцій
- •Контрольні питання до теми 2
- •Задачі для самостійного розв’язання
- •Домашнє завдання
- •Література
- •Тема 3. Графи
- •3.1. Основні характеристики графів
- •3.2. Матричні способи задання графів
- •Основні властивості матриць суміжності й інцидентності
- •3.3. Ізоморфізм графів
- •3.4. Маршрути, цикли в неорієнтованому графі
- •3.5. Шляхи, контури в орієнтованому графі
- •3.6. Звязність графа
- •3.7. Екстремальні шляхи в зважених орієнтованих графах
- •3.8 Алгоритм Форда - Беллмана знаходження мінімального шляху Передбачається, що орієнтований граф не містить контурів негативної довжини.
- •3.9. Алгоритм знаходження максимального шляху
- •3.10. Дерева. Основні визначення
- •3.11. Мінімальні остовні дерева зважених графів
- •Контрольні питання до теми 3
- •Задачі для самостійного рішення
- •Домашнє завдання
- •Література
- •Тема 4. Булеві функції
- •4.1. Визначення булевої функції
- •4.2. Формули логіки булевих функцій
- •4.3. Рівносильні перетворення формул
- •Основні рівносильністі булевих формул.
- •Правило рівносильних перетворень
- •4.4. Двоїстість. Принцип двоїстості.
- •4.5. Булева алгебра (алгебра логіки). Повні системи булевих функцій
- •4.6. Нормальні форми
- •4.7. Розкладання булевої функції по змінним
- •4.8. Мінімізація формул булевих функцій у класі диз'юнктивних нормальних форм
- •4.9. Застосування алгебри булевих функцій до релейно-контактних схем
- •Контрольні питання до теми 4
- •5. Нечіткі множини
- •5.1 Операції над нечіткими множинами
- •5.2. Нечіткі відношення
- •5.3. Нечіткий логічний висновок
- •5.4. Методи приведення до чіткості
- •Контрольні запитання
- •Відповіді на контрольні питання
- •Тема 2.
- •Тема 3.
- •Тема 4.
- •Контрольні завдання за курсом "Дискретна математика".
- •1. Розділ «Множини»
- •2. Розділ «Відношення. Функції»
- •3. Розділ «Графи»
- •4. Розділ «Булеві функції»
- •Питання до екзамену з дисципліни «Дискретна математика»
- •3. Операції над множинами.
- •4. Геометричне моделювання множин. Діаграми Ейлера - Венна.
- •5. Алгебра множин. Основні тотожності алгебри множин.
- •Список рекомендованої літератури
- •Короткі відомості про математиків
Домашнє завдання
У таблиці відмітити знаком “+” властивості, присутні для вказаних класів відношень:
КЛАСИ ВІДНОШЕНЬ |
ВЛАСТИВОСТІ |
||||
рефлексивн. |
антирефлекс. |
симетричн. |
антисиметр. |
транзитивн. |
|
Еквівалентність |
|
|
|
|
|
Строгий порядок |
|
|
|
|
|
Строгий лінійний порядок |
|
|
|
|
|
Нестрогий порядок |
|
|
|
|
|
Нестрогий лінійний порядок |
|
|
|
|
|
Дослідити відношення
за схемою, заданою вище.
Робота з індивідуальним завданням.
Література
Завало С.Т., Костарчук В.М., Харцет В.І. Алгебра і теорія чисел. Частина 1. – К.: Вища школа, 1971. – С.84-95.
Кужель О.В. Елементи теорії множин і математичної логіки. – К.: Радянська школа, 1977. – С. 42-67.
Комп’ютерна дискретна математика: Підручник / Бондаренко М.Ф.,
Білоус Н.В., Руткас А.Г. – Харків: «Компанія СМІТ», 2004. – 480 с.
Компьютерная дискретная математика: Учебник / Бондаренко М.Ф.,
Белоус Н.В., Руткас А.Г. – Харьков: «Компания СМИТ», 2004. – 480 с.
Тема 3. Графи
Перша робота з теорії графів належала Ейлеру, з'явилася в 1736 році. Спочатку ця теорія була пов'язана з математичними головоломками і іграми. Однак згодом теорія графів стала використатися в топології, алгебрі, теорії чисел. У наш час теорія графів знаходить застосування в найрізноманітніших галузях науки, техніки й практичної діяльності. Вона використається при проектуванні електричних мереж, плануванні транспортних перевезень, побудові молекулярних схем. Застосовується теорія графів також в економіці, психології, соціології, біології.
3.1. Основні характеристики графів
Граф G - це математичний об'єкт, що складається із множини вершин X = {x1, x2,..., xn} і множини ребер A = {a1, a2,..., an}. Таким чином, граф повністю визначається сукупністю множин X, A: G = (X, A).
Для багатьох задач несуттєво, чи є ребра відрізками прямих або криволінійних дуг; важливо лише те, які вершини з'єднує кожне ребро.
Якщо ребрам графа додані напрямки від однієї вершини до іншої, то такий граф називається орієнтованим. Ребра орієнтованого графа називаються дугами. Відповідні вершини орієнтованого графа називають початком і кінцем. Якщо напрямку ребер не вказуються, то граф називається неорієнтованим (або просто графом).
Приклад 3.1.
На рис. 3.1 зображений неорієнтований граф G =( X, A).
X = {x1, x2, x3, x4},
A = {a1= (x1, x2), a2=(x2, x3), a3=(x1, x3), a4= (x3, x4)}.
Рис. 3.1.
Приклад 3.2.
На рис. 3.2. зображений орієнтований граф G = (X, A).
X = {x1, x2, x3, x4},
A = {a1 = (x1 , x2 ), a2 = (x1 , x3 ), a3 = (x3 , x4 ), a4 = (x3 , x2 )}.
Рис. 3.2.
Граф, що має як орієнтовані, так і неорієнтовані ребра, називається змішаним.
Різні ребра можуть з'єднувати ту саму пару вершин. Такі ребра називають кратними. Граф, що містить кратні ребра, називається мультиграфом.
Неорієнтоване ребро графа еквівалентно двом протилежно спрямованим дугам, що з'єднують ті ж самі вершини.
Ребро може з'єднувати вершину саму із собою. Таке ребро називається петлею. Граф із кратними ребрами й петлями називається псевдографом.
Множина ребер графа може бути порожнім. Множина вершин графа не може бути порожнім.
Приклад 3.3.
На рис. 3.3. зображений орієнтований граф G = (X, A).
X = {x1 , x2 , x3 , x4 },
A
=
.
Риc. 3.3.
Як у випадку орієнтованого, так й у випадку неорієнтованого ребра говорять, що вершини x й y інцидентні ребру a, якщо ці вершини з'єднані a.
Дві вершини називаються суміжними, якщо вони інцидентні тому самому ребру. Два ребра називаються суміжними, якщо вони мають загальну вершину.
Степеню вершини графа називається число ребер, інцидентних цій вершині. Вершина, що має ступінь 0, називається ізольованою, а ступінь 1 – висячою.
Для орієнтованого графа множина вершин, у які ведуть дуги, що виходять із вершини х, позначають G(х), тобто G(х) = { y: ( x y ) G}. Множина G(x) називають образом вершини x. Відповідно G-1(у) – множина вершин, з яких виходять дуги, що ведуть у вершину в, G-1(y) = {x: ( x , y ) G}. Множина G-1(у) називають прообразом вершини y.
Приклад 3.4.
У графі, зображеному на рис. 3.1, кінцями ребра a1 є вершини x1, x2; вершина x2 инцидентна ребрам a1, a2; ступінь вершини x3 дорівнює 3; вершини x1 й x3 суміжні; ребра a1 й a2 суміжні; вершина x4 висяча. В орієнтованому графі, зображеному на рис. 3.2, початком дуги a1 є вершина x1, а її кінцем - вершина x2; вершина x1 инцидентна дугам a1 і a2; G(x1) = {x2, x3}, G(x2) =Æ, G-1(x3) = {x1}, G-1(x1) = Æ.
Підграфом неорієнтованого графа G називається граф, всі вершини й ребра якого втримуються серед вершин і ребер графа G. Аналогічно визначається підграф орієнтованого графа. Підграф називається власним, якщо він відмінний від самого графа,
Граф G = (X, A) - повний, якщо для будь-якої пари вершин xi й xj існує ребро (xi, xj).
Граф G = (X, A) - симетричний, якщо для будь-якої дуги (xi, xj) існує протилежно орієнтована дуга (xj, xi).
Граф G = (X, A) - планарний, якщо він може бути зображений на площині так, що не буде пересічних дуг.
Неорієнтований граф G = (X, A) – двочастковий, якщо множина його вершин X можна розбити на дві такі підмножини X1 й X2, що кожне ребро має один кінець в X1, а іншої в X2.