- •Одеса Наука і техніка 2006
- •Розділ 1. Теорія множин і алгебраїчних систем
- •1.1. Основні поняття і завдання множин
- •1.2. Операції над множинами. Формули. Тотожності
- •1.3. Доведення тотожностей. Булева алгебра множин
- •1.4. Узагальнення операцій. Подвійність
- •Спісок літератури: Основна
- •2.1. Рівняння
- •2.2. Покриття і розбивки
- •2.3. Потужність множин. Зчисленні і континуальні множини
- •Список літератури Основна
- •3.1. Упорядковані множини
- •3.2. Графіки
- •Список літератури Основна
- •4.1. Відповідності
- •4.2. Образи і прообрази
- •4.3. Відображення і діаграми
- •Список літератури Основна
- •5.1. Основні поняття відношень
- •5.2. Множинні операції відношень
- •Список літератури Основна
- •6.1. Перестановка, ототожнення, приписування фіктивної координати
- •6.2. Згортка де Моргана, суперпозиція
- •Список літератури Основна
- •7.1. Успадковані властивості відношень
- •7.2. Спеціальні властивості відношень
- •Список літератури Основна
- •8.1. Еквівалентність
- •8.2. Порядок
- •8.3. Толерантність
- •8.4. Квазіпорядок
- •Список літератури Основна
- •9.1. Замикання відношень
- •9.2. Спеціальні функції
- •9.2.1. Підстановки
- •9.2.2. Послідовності
- •9.2.3. Функціонали
- •9.2.4. Функції, що зберігають алгебраїчні властивості
- •9.3. Операції
- •9.3.1. Загальні визначення операцій
- •9.3.2. Властивості операцій
- •Список літератури Основна
- •10.1 Композиція об'єктів
- •10.2. Внутрішній закон композиції
- •11.1 Алгебраїчні системи (моделі)
- •11.2. Групи підстановок і кільце множин
- •Розділ II. Комбінаторика
- •12.1. Вибірка елементів
- •12.2. Правило суми і добутку
- •12.3. Перестановки
- •12.4. Сполучення
- •12.5. Рекурентні співвідношення
- •12.6. Біном Ньютона
- •Список літератури Основна
- •13.1. Поліноміальні твірні функції
- •13.2. Експонентні твірні функції
- •13.3. Принцип включення і виключення
- •13.4. Розбивки
- •Список літератури Основна
- •Розділ III. Графи
- •14.1. Основні визначення
- •14.2. Способи представлення графів
- •Список літератури Основна
- •15.1. Основні визначення (продовження)
- •15.2. Зважені (відзначені) графи
- •Список літератури Основна
- •16.1. Операції над графуми
- •16.2. Властивості базових операцій над графами
- •Список літератури Основна
- •17.1. Чисельні характеристики графів
- •17.1.1. Ступінь вершин
- •17.1.2. Цикломатичне число
- •17.1.3. Хроматичне число
- •17.1.4. Множина внутрішньої стійкості
- •17.1.5. Множина зовнішньої стійкості
- •17.2. Представлення графів у пам'яті еом
- •Список літератури Основна
- •Розділ IV. Скінченні автомати
- •18.1. Абстрактний автомат
- •18.2. Способи завдання автоматів
- •18.2.1. Табличний спосіб
- •18.2.2. Графічний спосіб
- •18.3. Розширення функцій і
- •Список літератури Основна
- •19.1. Синхронні й асинхронні автомати
- •19.2. Асинхронні автомати, що тактуються
- •19.3. Перетворення автоматів Мілі і Мура
- •19.3.1. Перетворення автомата Мура в автомат Мілі
- •19.3.2. Перетворення автомата Мілі в автомат Мура
- •19.4. Сполучена модель автоматів – с-автомат
- •Список літератури Основна
- •20.1. Композиція автоматів
- •20.1.1. Рівнобіжне з'єднання
- •20.1.2. Послідовне з'єднання двох автоматів
- •20.1.3. З'єднання зі зворотним зв'язком
- •20.2. З'єднання автоматів з вихідною функцією
- •Список літератури Основна
- •21.1. Мережі автоматів
- •21.2. Еквівалентні автомати мережі
- •Список літератури Основна
- •Розділ V. Булева алгебра
- •22.1. Логічні функції
- •22.2. Булеві функції
- •22.3. Логічні формули
- •Список літератури Основна
- •23.1. Способи завдання булевих функцій
- •23.1.1. Табличний спосіб
- •23.1.2. Аналітичний спосіб Нормальні форми
- •23.1.3. Геометричний спосіб
- •23.1.4. Чисельний спосіб
- •23.2. Приведення формул булевої алгебри до досконалої форми
- •Список літератури Основна
- •24.1. Булева алгебра
- •24.2. Спрощення запису формул
- •24.3. Подвійність формул булевої алгебри
- •24.4. Булева алгебра множин
- •Список літератури Основна
- •25.1. Алгебра Жегалкіна
- •25.2. Типи булевих функцій
- •25.3. Функціональна повнота
- •25.4. Логічні (перемикальні) схеми
- •25.5. Канонічна задача синтезу логічних схем
- •Список літератури Основна
- •26.1. Графічний метод мінімізації булевих функцій
- •26.2. Табличний метод мінімізації
- •Список літератури Основна
- •27.1. Аналітичні методи мінімізації
- •27.1.1. Комплекс кубів
- •27.1.2. Постановка задачі
- •27.2. Метод Квайна
- •27.3. Алгебраїчний метод одержання мінімального покриття (алгоритм Петрика)
- •Список літератури Основна
- •28.1. Метод Квайна-МакКласкі
- •28.2. Мінімізація частково визначених функцій
- •Список літератури Основна
- •29.1 Основні визначення
- •29.2 Інтервальне представлення в матричній формі
- •29.3. Спрощення днф за матричною формою Закревського
- •30.1. Формулювання алгоритму побудови максимальних інтервалів для точки
- •30.2. Алгоритм для днф
- •30.3. Метод Блейка
- •31.1. Основні визначення
- •32.2. Використання системи булевих функцій для синтезу кс
- •31.3 Точний метод мінімізації систем булевих функцій Барті-Полянського
- •31.4. Інтуїтивний метод спрощення системи днф за матричною формою
- •32.1. Інтервальне представлення в еом
- •32.2. Основні операції над інтервальним представленням
- •33.1. Використання операцій інтервального представлення
- •33.2. Метричні властивості диз'юнктивної нормальної форми
- •34.1 Булеві рівняння
- •34.2. Булеві нерівності
- •34.3. Спільні системи нерівностей і рівнянь
- •35.1. Властивості булевой різниці
- •35.2. Методи знаходження булевой різниці
- •35.3. Подвійна булева різниця
- •35.4. Булеві похідні й диференціали
- •36.1. Висловлення предикатів
- •36.2. Логіка предикатів
- •36.3. Правила застосування кванторів
- •Список літератури Основна
- •Список літератури
- •Вступ 3
- •1. Теорія множин і алгебраїчних систем 4
- •2. Комбінаторика 65 Лекція 12. Комбінаторика. Базові методи 65
- •3. Графи 78
- •4. Скінченні автомати 101
- •5. Булева алгебра 123 Лекція 22. Булеві функції 123
Список літератури Основна
Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. – М.: Наука, 1990. - С.9-19.
Новиков Ф.А. Дискретная математика для программистов. – СПб.: Питер, 2001. - С.189-194.
Кук Л., Бейз Г. Компьютерная математика. – М.: Наука, 1990, с.217-224.
Горбатов В.А. Основы дискретной математики. – М.: Высш.шк., 1986. - С.89-94.
Додаткова
Коршунов Ю.М. Математические основы кибернетики. – М.: Энергоатоиздат, 1987. - С.67-72.
Для практичних занять
Методичні вказівки і завдання до контрольних робіт з дисципліни «Основи дискретної математики» для студентів очної та заочної форм навчання фахів 6.0804, 6.0915 / О.М. Мартинюк. – Одеса: ОНПУ, 2001. – С.42-43.
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1973. - С.101-124.
Лекція 15. Визначення графів. Зважені графи
Вступ
Лекція має за мету навести додаткові поняття теорії графів. Розглянути визначення маршрутів, ланцюгів, ейлерових та гамільтонових обходів, зв’язності, початкової та скінченної вершин, точок зчленування, дерев, ексцентриситету, радіуса, центра та зважених графів. Звернено увагу до прикладів визначень.
У лекції присутні два підрозділи:
Основні визначення (продовження)
Зважені (відзначені) графи
15.1. Основні визначення (продовження)
Визначення. Маршрут (шлях) довжини m визначається як послідовність ребер графу, не обов'язково різних, у яких, що граничні вершини двох сусідніх ребер збігаються.
Замкнутий маршрут приводить до тієї ж вершини, з якої він починається. Маршрут позначається як М = <v1, v2,…,vj,…,vn>...
Приклад. Неорієнтований граф (рис. 21.1.) і можливі маршрути M1x1 x4 = <v1, v2, v3, v2, v4, v5>, M2 x1 x4= <v6>
Рис. 15.1. Неорієнтований граф
Визначення. Довжиною маршруту (шляху) М = <v1, v2,…,vj,…,vn> називається число дуг, що його складують.
Довжина маршруту позначається l(M).
Приклад. Для рис. 15.1. замкнуті маршрути Mx1 x1 = <v1, v2, v5, v6>; M1x3 x3 = < v4>; M2 x3 x3= < v3, v2>.
Визначення. Маршрут, усі ребра якого різні, зветься ланцюгом, маршрут, для якого різні усі вершини, що він проходить, називається простим ланцюгом.
Приклад. Для рис. 15.1. Mx1 x1 = <v1, v2, v5, v6> і Mx1 x4 = <v1, v2, v4, v5> - ланцюги, Mx1 x4 = <v1, v2, v5> - простий ланцюг.
Замкнутий ланцюг звється циклом, замкнутий простий ланцюг називається простим циклом.
Приклад. Mx1 x1 = <v1, v2, v4, v5, v6> і Mx3 x3 = <v3, v2, v4> - цикли, Mx1 x1 = <v1, v2, v5, v6> та Mx1 x1 = <v3, v2 > - прості цикли.
Визначення. Цикл графу, що містить усі його ребра, називається ейлеревим циклом.
Визначення. Простий цикл графу, що проходить через усі його вершини, називається гамільтоновим циклом.
Ейлерів і гамільтонів цикли (обходи) можливі не для будь-якого графу чи орграфу. В орграфі при визначенні маршруту, ланцюга, циклу, ейлерева і гамільтонова циклу природно враховується напрямок дуг.
Визначення. Частина графу, що містить поряд з деякою підмножиною ребер і всі інцидентні їм вершини, називається підграфом.
Приклад. Граф G = <X, V>, де X = {x1, x2, x3, x4}, V = {v1, v2, v3, v4, v5} і підграф G' = <X’, V'>, де X’ = { x2, x3, x4}, V' = { v2, v3, v4}, G' G, Х' X, V' V.
Рис. 15.2. Граф (ліворуч) і підграф (праворуч)
Визначення. Входом чи початковою вершиною орграфу G = <X, V> є вершина x(s) X, у якій p(x(s)) = 0, виходом чи кінцевою вершиною орграфу G = <X, V> є вершина x(F) X, у якій s(x(F)) = 0.
Приклад. Початкова вершина x1 і скінченні вершини x3, x5
Рис. 15.3. Початкові і скінченні вершини (х1 – вхід, х3, х5 - вихіди)
В орграфу може бути кілька входів чи виходів (х5 - другий вихід).
У загальному випадку як вхід чи вихід графу можна розглядати довільну (призначену за якім-небудь критерієм) вершину, а саме, якщо умова входу чи виходу не виконуються, тобто xi(p(xi) = 0) чи xi(s(xi)= = 0), то виводиться фіктивна вершина x(S) X чи x(F) X, що з'єднується єдиною дугою до заданої вершини чи единою дугою із заданої вершини.
Приклад. Уведення фіктивних вершин
Рис. 15.4. Уведення початкової (вхід xs) і скінченної (вихід xf) вершин
Шлях від входу орграфу до його виходу, тобто від вершини x(S) до його вершини x(F)називається x(S) - x(F) - шляхом. Вважається, що хоча б один такий шлях в орграфі існує.
Якщо в орграфі вершини xi і xj зв'язані шляхом M[xi, xj], то вершина xj досяжна з вершини xi чи що вершина xi досягає вершини xj.
Дві вершини графу називаються зв'язними, якщо існує маршрут, що їх з'єднує, інакше - незв'язними.
Визначення. Орграф називається міцно зв’язаним, якщо для будь-якої пари його вершин xi, xj X існує орієнтований шлях як з xi у xj , так і з xj у xi.
Визначення. Граф називається зв'язним, якщо для будь-якої пари його вершин xi , xj X існує шлях з xi у xj чи шлях з xj у xi.
Визначення. Орграф називається слабо зв’язним, якщо для будь-якої пари його вершин xi, xj X існує така вершина xk, що xk досягає як xi, так і xj, чи xk досяжна як з xj, так і з xi.
Визначення. Граф, що не є ні міцно зв’язним, ні зв'язним, ні слабо зв’язним називається незв'язаним графом.
Приклад. Зв'язний граф і міцно зв’язний орграф
Рис. 15.5. Зв'язаний граф (ліворуч) і міцно зв'язаний орграф (праворуч)
Якщо існує така вершина, видалення якої перетворює зв'язний граф в незв'язаний, то вона називається точкою зчленування, ребро з такими ж властивостями називається мостом.
Визначення. Граф називається нероздільним, якщо він зв'язний і не має точок зчленування, граф, що має хоча б одну точку зчленування є роздільним і називається сепарабельним.
Приклад. Граф з однією точкою зчленування і граф з одним мостом
Рис. 15.6. Точка зчленування і міст
Зв'язані ациклічні графи називаються деревами. Дерева містять мінімальну кількість ребер, що забезпечує зв'язаність графу. Незв'язаний граф, компонентами якого є дерева, називається лісом.
Приклад. Дерева з різним розгалуженням
Рис. 15.7. Дерева
Нехай X і V - кількості вершин і ребер. Для дерев справедливо:
X = V + 1; V = X - 1
Визначення. Граф називається плоским (планарним), якщо існує ізоморфний йому граф, що може бути зображений на площині без перетину ребер.
Нехай відстанню d(x1, x2) між вершинами x1, x2 у дереві (графі) називається довжина мінімального шляху з x1 у x2. Відстань від вершини х до найбільш віддаленої від її вершини називається ексцентриситетом е(х) вершини х, тобто
е(х) = max(d(x, y)) = max( d(x, y))
y y X
Найменший з ексцентриситетів називається радіусом r(T) дерева
r(T) = min(e(x)) = min(e(x))
x xX
Центральною вершиною дерева Т називається вершина, у якій ексцентрисітет дорівнює радіусу. Центром дерева називається множина його центральних вершин. Кожне дерево має центр, що складається з однієї вершини чи двох суміжних вершин.
Приклад. r(T) = 3, e(x) = 6 графу
Рис. 15.8. Радіус дерева і ексцентриситети вершин дерева