- •Едеральное агентство по образованию
- •Оглавление
- •Раздел 1. Элементы теории множеств 8
- •Раздел 2. Элементы комбинаторики 20
- •Раздел 3. Алгебра логики 36
- •Раздел 4. Синтез управляющих систем 62
- •Раздел 5. Теория графов 77
- •Введение
- •Раздел 1 элементы теории множеств
- •1.1. Множества и операции над ними
- •1.2. Алгебра множеств
- •1.3. Разбиение множества на подмножества
- •1.4. Кортежи и декартово произведение множеств
- •1.5. Отображение множеств
- •1.6. Отношения
- •1.7. Свойства бинарных отношений
- •1.8. Алгебра подмножеств
- •1.9. Задания для самостоятельной работы
- •Раздел 2 элементы комбинаторики
- •2.1. Комбинаторика
- •2.2. Различные комбинаторные соотношения
- •2.3. Свойства биномиальных коэффициентов. Биномиальная теорема. Полиномиальная теорема
- •2.4. Принцип включения и исключения
- •2.5. Формула решета
- •2.6. Производящие функции
- •2.7. Производящие функции числа основных комбинаторных объектов
- •2.8. Задания для самостоятельной работы
- •Раздел 3 алгебра логики
- •3.1. Булевы функции
- •3.2. Формулы
- •3.3. Сопоставление формулам над множеством функций
- •3.4. Свойства элементарных функций
- •3.5. Разложение булевых функций
- •3.6. Совершенная д. Н. Ф., совершенная к. Н. Ф.
- •3.7. Полные системы
- •3.8. Примеры полных систем
- •3.9. Полиномы Жегалкина
- •3.10. Единственность представления булевых функций полиномами Жегалкина
- •3.11. Методы построения полиномов
- •I. Метод построения с помощью таблицы.
- •II. Метод неопределенных коэффициентов.
- •III. Метод суперпозиции.
- •3.12. Замыкание. Свойства операции замыкания. Замкнутые классы
- •3.13. Классы и их свойства
- •3.14. Линейные функции и их свойства
- •3.15. Принцип двойственности
- •3.16. Самодвойственные функции, их свойства
- •3.17. Лемма о несамодвойственной функции
- •3.18. Монотонные функции, их свойства
- •3.19. Лемма о немонотонной функции
- •3.20. Теорема о полноте в р2
- •3.21. Предполные классы
- •3.22. Возможность выделить из любой полной системы полную подсистему, состоящую из не более чем 4-х функций
- •3.23. Представление о результатах Поста
- •3.24. Задания для самостоятельной работы
- •Раздел 4 синтез управляющих систем
- •4.1. Схемы из функциональных элементов
- •4.2. Определение схем из функциональных элементов
- •4.3. Основные понятия и определения
- •4.4. Возможность реализации любой функции алгебры логики сфэ
- •4.5. Простейшие методы синтеза
- •4.6. Метод Шеннона
- •4.7. Асимптотически наилучший метод (метод о.Б. Лупанова)
- •4.8. Задания для самостоятельной работы
- •Раздел 5 теория графов
- •5.1. Элементы теории графов
- •5.2. Основные понятия и определения
- •5.3. Способы задания графа
- •5.4. Некоторые соотношения в графе
- •5.5. Перечисление графов
- •5.6. Оценка числа неизоморфных графов с p вершинами
- •5.7. Оценка числа неизоморфных графов с q ребрами
- •5.8. Укладки графов. Укладка графов в трехмерном пространстве
- •5.9. Планарность. Формула Эйлера для плоских графов
- •5.10. Следствия из формулы Эйлера для плоских графов
- •5.11. Операция подразделения ребра
- •5.12. Гомеоморфность графов
- •5.13. Теорема Понтрягина-Куратовского
- •5.14. Деревья и их свойства
- •5.15. Деревья и операции над ними
- •5.16. Оценка числа неизоморфных корневых деревьев на p вершинах
- •5.17. Задания для самостоятельной работы
- •Литература Основная
- •Дополнительная
- •Михеева Елизавета Алексеевна
2.4. Принцип включения и исключения
Основная теорема, которую мы докажем, есть обобщение следующих очевидных формул:
1) ,
2) ,
которые справедливы для произвольных множеств А, В, С (их графическое изображение приведено ниже):
Принцип включения и исключения дает формула включения и исключения.
Пусть имеется множество Е = {x1,...,xN} элементов и множество P = {p1,...,pn} свойств. Будем считать, что любой элемент Є Е, где i = 1,...,N, может обладать любым набором свойств из множества P, а может и не обладать никаким свойством из множества P.
Через обозначим число элементов из множества Е, которые
обладают свойствами . Заметим, каждый из этих элементов может
обладать и другими свойствами.
Через обозначим число элементов из множества Е, которые обладают какими-нибудь k свойствами из множества P, где k = 1,…, n.
Положим W(0) = |E| = N.
Ставится задача: как, зная величины W(0), W(1), …, W(n), найти число элементов из множества Е, которые никаким свойством из множества P не обладают. Обозначим это число через Тогда
Теорема 2 (формула включения и исключения).
(2)
Доказательство: Для доказательства формулы (2) необходимо показать, что каждый элемент из множества Е учитывается одинаковое количество раз слева и справа формулы (2), т.е. любой элемент хЕ дает одинаковый вклад как в левую, так и в правую часть формулы (2).
Возможны 2 случая.
Случай 1. Пусть элемент х из множества Е не обладает никакими свойствами множества P. Тогда слева он учитывается один раз. Cправа x будет учитываться в W(0) один раз, а больше учитываться не будет, так как W(1), …, W(n) учитывают элементы, обладающие каким-либо свойством. Мы получили равенство.
Случай 2. Пусть элемент х из множества Е обладает свойствами p1,...,pk, где k=1,…, n. Тогда слева он дает вклад 0. Справа рассмотрим некоторое число s и определим входимость элемента x в W(s).
Возможны два варианта:
а) s>k – элемент x вклада в W(s) не дает, так как он обладает k свойствами;
б) sk – элемент x в W(1) дает вклад, равный , в W(2) - , в W(3) = ,…, W(k) = . Таким образом, вклад справа равен
1 – k = 0 в силу свойства 6 биномиальных коэффициентов.
В итоге мы получили равенство 0 = 0. Теорема доказана.
Пример 14. Из 100 студентов английский язык знают 28 студентов, немецкий – 30, французский – 42, английский и немецкий – 8, английский и французский – 10, немецкий и французский – 5, все 3 языка знают 3 студента. Сколько студентов не знают ни одного из трех языков?
Решение: По формуле включения и исключения (2)
= 100 – (28 + 30 + 42) + (8 + 10 + 5) – 3 = 100 – 100 + 23 – 3 = 20. Итак, 20 студентов не знают ни одного из трех языков.
2.5. Формула решета
Пусть r – четно, q – нечетно, тогда
,
.
Теорема 3. (формула решета).
для любых r, q, где r – четно, q – нечетно.
Доказательство: Идея доказательства аналогична доказательству формулы (2).
1. Докажем неравенство
(3)
Для доказательства неравенства (3) достаточно показать, что для любого элемента x из множества Е вклад его в левую часть неравенства (3) меньше, чем в правую.
1) Пусть элемент x из множества Е не обладает никакими свойствами множества Р. Тогда в (3) элемент x слева и справа учитывается 1 раз.
2) Пусть элемент x из множества Е обладает свойствами p1,...,pк , где
k = 1,…,n. Возможны два случая:
а) q>k – получаем одинаковый вклад в (3): 0=0.
б) q. В этом случае слева получаем вклад в
.
Итак, в левой части неравенства (3) элемент x дает отрицательный вклад, а в правой части вклад равен 0.
Таким образом, мы доказали, что
2. Неравенство доказывается аналогично.