- •Введение
- •1. Элементы теории множеств
- •1.1. Основные понятия и определения теории множеств
- •1.2. Операции над множествами и их свойства. Диаграммы Эйлера-Венна
- •1.3. Мощность множества
- •1.4. Взаимно однозначное соответствие между множествами
- •1.5. Счетные и несчетные множества
- •Задачи и упражнения
- •2. Элементы теории отношений
- •2.1. Бинарные отношения. Свойства отношений
- •2.2. Отношение эквивалентности и разбиения
- •2.3. Отношения порядка. Диаграмма Хассе
- •Задачи и упражнения
- •3.Функции, отображения и операции
- •4. Элементы теории графов
- •4.1. Основные понятия и определения теории графов
- •4.2. Типы графов
- •4.3. Матричные представления графов
- •4.5. Операции над графами
- •4.6. Метрические характеристики графа. Расстояние в графах
- •Затем, изымая степень, соответствующую вершине , получим
- •4.8. Достижимость и связность
- •4.8.1. Основные определения
- •4.8.2. Матрицы достижимостей
- •4.8.3. Нахождение сильных компонент
- •Алгоритм нахождения сильных компонент графа можно описать следующей последовательностью шагов
- •Таким образом, сильные компоненты графа можно находить по следующему алгоритму.
- •4.8.4. Базы и антибазы
- •4.9. Независимые и доминирующие множества
- •4.9.1. Нахождение всех максимальных независимых множеств
- •Опишем алгоритм нахождения всех максимальных независимых множеств вершин графа.
- •4.10. Покрытия и раскраски
- •4.11. Деревья, остовы и кодеревья
- •4.11.1. Основные определения
- •4.11.2. Алгоритм построения остова неорграфа
- •4.11.4. Обходы графа по глубине и ширине
- •Доказательство.
- •4.11.5. Упорядоченные и бинарные деревья
- •4.12. Эйлеровы циклы. Гамильтонов контур
- •4.12.1. Метод Флёри построения эйлерова цикла
- •Матрица м данного графа имеет вид
- •4.12.3. Алгебраический метод выделения гамильтоновых путей и контуров
- •4.13. Плоские и планарные графы
- •4.13.1. Формула Эйлера
- •4.13.2. Критерии анализа планарности
- •4.13.3. Алгоритм укладки графа на плоскости
- •Задачи и упражнения
- •5. Комбинаторика
- •5.1. Перестановки
- •5.2. Перестановки с неограниченными повторениями
- •5.3. Размещения
- •5.4. Сочетания
- •5.5. Сочетания с повторениями
- •5.6. Производящие функции для сочетаний
- •5.7. Производящие функции для перестановок
- •5.8. Циклы перестановок
- •Общее число дубликатов
- •5.9. Принцип включений и исключений
- •Почему появился ?
- •Задачи и упражнения
- •6. Алгебра высказываний
- •6.1. Операции над высказываниями
- •6.2. Правила записи сложных формул
- •6.3. Таблицы истинности
- •6.4. Равносильность формул
- •6.5. Дизъюнктивные и конъюнктивные нормальные формы
- •6.5.1. Алгоритм приведения пф к нормальным формам
- •6.5.2. Аналитический способ приведения к сднф
- •6.5.3. Табличный способ приведения к сднф
- •6.5.4. Табличный способ приведения к скнф
- •6.6. Логическое следствие
- •Задачи и упражнения
- •7. Разрешимые и неразрешимые проблемы
- •Заключение
- •Библиографический список
- •394026 Воронеж, Московский просп., 14
2.3. Отношения порядка. Диаграмма Хассе
Отношение эквивалентности является обобщением отношения равенства: эквивалентные элементы считаются «равными». Обобщением обычного отношения служат отношения порядка.
Отношение называется предпорядком или квазипорядком, если R рефлексивно и транзитивно.
Пример. Отношение
R={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(1,3)}
на множестве X={1,2,3} является предпорядком.
Рефлексивное, антисимметричное, транзитивное отношение называется отношением нестрогого порядка и обозначается символом .
Антирефлексивное, антисимметричное, транзитивное отношение называется отношением строгого порядка и обозначается символом . Отношения строгого и нестрогого порядков иначе называют отношениями упорядоченности. Отношение, обратное отношению упорядоченности, также является отношением упорядоченности, т.е. ( ) = .
Примеры:
1. Пусть Y – некоторое множество, тогда отношение включения на множестве всех подмножеств P(Y) является отношением нестрогого порядка.
2. Отношение «х старше у» на некотором множестве людей является отношением строгого порядка.
Множество Х с заданным в нем отношением порядка называется упорядоченным этим отношением. Если любые два элемента х и у множества Х находятся между собой в отношении порядка, то множество Х называется линейно упорядоченным или цепью, иначе множество Х называется частично упорядоченным. В частично упорядоченном множестве можно выделить цепь. Цепь с повторяющимися элементами называется мультицепью. Если между элементами х и у установлено отношение порядка, то они называются сравнимыми, иначе – несравнимыми. Антицепью (семейством Шпернера) называется подмножество частично упорядоченного множества, в котором любые два элемента несравнимы.
Специальным типом частично упорядоченного множества является интервал |x,y]={z X|x z у} (замкнутый) или (x,y)P={z X|x z у} (открытый).
Двойственным к частично упорядоченному множеству называется частично упорядоченное множество, определенное на том же носителе с помощью обратного отношения. Это понятие лежит в основе принципа двойственности, который часто формулируют в виде: если некоторое утверждение справедливо для частично упорядоченных множеств, то справедливо и двойственное утверждение, то есть утверждение, касающееся двойственных частично упорядоченных множеств.
Рассмотрим множество Х с заданным на нем отношением частичного порядка .
Говорят, что элемент y покрывает элемент x, если х у и не существует никакого элемента z X, такого что х z у. Таким образом, у покрывает х тогда и только тогда, когда х у и [х,у]={х,у}. Любое частично упорядоченное множество можно представить в виде схемы. Диаграммой Хассе частично упорядоченного множества Х называется граф, вершинами которого являются элементы множества X, а пара (х,у) образует ребро, если элемент у покрывает элемент х, и такой что, если х у, то у рисуют с большей вертикальной координатой чем х.
П ример. Отношение включения на булеане Р(Х), где Х={а, b, с}. Оно является частично упорядоченным множеством. Множество Р(Х) содержит восемь элементов: { , {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}}. Диаграмма Хассе для этого отношения будет иметь вид (рис. 2.2).
Рис. 2.2
Правило чтения диаграмм Хассе состоит в том, что х у, если можно пройти из точки х в точку у, следуя вдоль восходящих отрезков соединяющих точки. Смена направления движения разрешается только в точках диаграммы.
Пример. Пусть А={1, 2, 3, 5, 6, 10, 15, 30}. Рассмотрим отношение частичного порядка ≤ на этом множестве, задаваемое по правилу: x≤y y делится на x. Диаграмма Хассе изображена на рис.2.3.
Заметим, что диаграммы Хассе этих двух отношений совпадают
Пусть Х и Y два частично упорядоченных множества. Если их диаграммы Хассе совпадают, то эти частично упорядоченные множества имеют одинаковую структуру.
П ример. На рис. 2.4 изображена диаграмма Хассе линейно упорядоченного множества Х={0, 1, 2, 3, 4, 5, 6, 7} с обычным отношением порядка (≤) на множестве натуральных чисел, не превосходящих семи.
Рис. 2.3 Рис. 2.4
Пусть задано частично упорядоченное множество X. Для элементов х и у из множества Х их верхней гранью называется любой элемент z Х такой, что и , а их нижней гранью – любой элемент t X, такой, что х и t у. На языке диаграмм Хассе х у означает, что существует путь из x в y; верхняя грань x и y – это вершина, в которую есть путь из x и y; нижняя грань x и y – это вершина из которой есть путь и в x и в y. В общем случае для некоторых элементов верхняя и нижняя грань может не существовать или быть неединственной, причем различные верхние (или нижние) грани могут быть несравнимы.
Пример. На рис. 2.5 а) изображена диаграмма Хассе множества , у которого элементы не имеют верхней грани, а элементы – нижней грани. На рис. 2.5 б) изображена диаграмма Хассе множества у которого все элементы имеют верхние и нижние грани, однако, например, и имеют две несравнимые верхние грани.
Рис. 2.5