- •Одеса Наука і техніка 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
13.3. Принцип включення і виключення
Дотепер мова йшла про підрахунок числа підмножин, що утворяться шляхом вибірки об'єктів з деякої множині відповідно до умов, що визначають їхню кількість, упорядкованість і повторюваність. Не менше значення мають задачі перерахування, зв'язані з властивостями об'єктів.
Нехай є N об'єктів і деяка сукупність властивостей . Позначимо черезN, N, Nі т.д. кількість об'єктів, що мають відповідно властивостями і т.д. Очевидно, таких чисел буде стільки, скільки підмножин можна утворити з елементів множиніН, тобто (деякі числа можуть дорівнювати нулю). Якщо бажають підкреслити, що враховуються об'єкти, що не мають властивістю , то пишуть. Наприклад,Nозначає число об'єктів, що мають властивостійі не мають властивість.
Формула включення і виключення. Число об'єктів, що не мають жодним із властивостей множини Н, визначається формулою включення і виключення:
Дійсно, при відниманні з N об'єктів із властивостями (і = 1, 2, ..., п) об'єкти, що мають дві властивості і (і j), віднімаються двічі, і тому потрібно додати N, де — попарні сполучення елементів з Н. Але при цьому двічі враховуються ті об'єкти, що мають три властивості і, отже, їх необхідно виключити, тобто відняти суму всіх N, де — сполучення з n властивостей по трьох. Цей процес включення і виключення продовжується до останнього члена , що визначає число об'єктів із усіма п властивостями, знак якого залежить від парності п. Наведена формула відома також під назвами: символічний метод, принцип перехресної класифікації, метод решета, формула обернення.
Якщо записати і розглянути послідовність символівяк алгебраїчний добуток, то формулу включення і виключення можна представити в символічному вигляді.
Приклад. Для n = 3 мається
причому приймається, що N(1) = N.
ЗавдЯкі такій формалізації можна записати формулу для числа об'єктів, що мають і не мають деякі властивості:
.
Приклад. Нехай задані властивості шарів: -сталева, -чорна, — сферична, причому N () = 13; N() = 10; N() =14;N== 4; N= 5; N = 3 і N= 1. Якщо є усього N = 38 шарів, то число таких з них, що не мають жодної із зазначених властивостей, буде N =38 — (13 + 10 + + 14) + (4 + 5 + 3) — 1 = 12. Число сталевих, але не чорних і не сферичних шарів дорівнює:
+
+
Принцип включення і виключення наочно ілюструється діаграмою Венна, що для розглянутого прикладу показана на рис. 13.1.
Рис. 13.1. Діаграма Венна для множин, що характеризуються трьома властивостями
13.4. Розбивки
Розбивки. Набір цілих позитивних чисел називається розбивкою числа п, якщо п = .Числа(і = 1, 2, ..., k) називають частинами, а їхню суму п — характеристикою розбивки. При підрахунку числа можливих розбивок можуть враховуватися додаткові умови — тип розбивки, величини і загальне число частин, число повторень.
Приклад. Для числа 4 є 5 розбивок без обмежень. (4, 31, 22, 211, 1111) і вісім розбивок з урахуванням порядку частин (4,31, 13, 22, 211, 121, 112, 1111). Число 8 розбивається на три частини п'ятьма способами: 611, 521, 431, 422, 332.
Якщо прийняти як твірну функцію для розбивки числа п без обмежень р(п) багаточлен p(x) = p(0) + p(1) + p(2)то внесок частини величини k визначається множником () і, отже
р (х) = (1+х+
З цього співвідношення виходять твірні функції при обмеженнях, що накладаються на чисельні значення частин. Якщо всі частини розбивки не перевершують числа k, то
Для розбивок, усі частини яких різні, є і (х)=(1+х)(1+x2)(1+х3)... , а розбивки на непарні частини перелічуються функцією
Приклад. Число способів розміну 8 копійок монетами достоїнством у 1, 2, 3 і 5 копійок. Для цього випадку p(х)=(1+х+х2+...)* *(1+х2+х4+...)(1+х3+х6+...)(1+х5+x10+...). Коефіцієнт при x8 дорівнює 13, що і дає шукані розбивки: 53, 521, 513, З212, 322, 3221, 3213, 315, 24, 2312, 2214, 216,18 (запис аq означає, що а входить у розбивку q раз). Якщо задати, щоб усі частини були різними, то і(х)=(1+x)(l+х2)(1+х3)(1+х5), відкіля знаходимо і(8) = 2 (відповідні розбивки 53 і 521).
Число розбивок п об'єктів на k частин можна визначити за допомогою рекурентної формули
р(п, k) = р(п - k, k) + р(п - k, k - 1) + ...+р(п - k, 1)
при граничних умовах р(n, k) = 0, для n < k і p(k, k) = р(n, 1) = 1.
Приклад. Якщо n = 7 і k = 3, маємо p(7,3) = p(4,3) + р(4,2) + р(4,1); р(4,2) = р(2,2) + p (2,1) = 1 + 1 = 2; р(4,3) = p(1,3) + р(1,2)+ +p(1,1) = 1; р(7,3) = 1 +2+ 1 = 4. Отже, маємо чотири розбивки числа 7 на три частини - 511, 421, 331, 322.
Контрольні запитання
Що називають поліноміальною твірною функцією?
Що є більш загальним – біном Ньютона чи енумератор?
Що таке експоненціальна твірна функція?
Що проголошує принцип включення і виключення?
Яка формула включення і виключення?
Яка різниця між символічним методом, принципом перехресної класифікації, методом решета, формулою обернення?
Що можуть дати діаграми Венна для принципу включення і виключення? Як ще графічно проілюструвати принцип включення і виключення?
Що є розбивкою?
Як зв’язати розбивки з рекурентними співвідношеннями?