
- •Введение
- •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
Задачи и упражнения
1. Даны множества Х0={1,2,3,4,5,6}, X1={1,2,3,4}, X2={2,3,4,5}, X3={2,3,4}, X4={3,4,5}, X5={2,3}, X6={3,4}, X7={4,5}, X8={2,4}. Сформируйте частичный порядок на этих множествах.
2. Пусть Х - множество всех прямых на плоскости. Являются ли эквивалентными отношения а) параллельности прямых и б) перпендикулярности прямых?
3.
Приведите пример четырех различных
рефлексивных отношений на множестве
.
4. Приведите пример трех различных отношений на множестве , не являющихся рефлексивными.
5.
Приведите пример двух различных
симметричных отношений и двух различных,
не являющихся симметричными, на множестве
.
6. Приведите пример двух различных транзитивных отношений и двух различных, не являющихся транзитивными, на множестве .
7. Приведите пример частичного порядка и пример отношения, не являющегося частичным порядком.
8. Приведите пример множества и двух различных эквивалентностей на нем.
9. Приведите пример множества и двух различных частичных порядков на нем.
10. Определите свойства следующих отношений, заданных на множестве действительных чисел (R)
а) R={(x,y)| x,yR и x - y<0},
в) R={(x,y)| x,yR и 2x 3y},
с) R={(x,y)| x,yR и |x| | y|}.
11.
Найдите
,
,
,
для отношений
а) R={(x,y) | x,yN и x, делит y},
в) R={(x,y)| x,yR и x + y<0},
с) R={(x,y)| x,yR и 2x 3y}.
12.
Докажите, что если отношения R1
и R2
рефлексивны, то рефлексивны следующие
отношения
,
,
,
.
13.
Докажите, что если отношения R1
и R2
симметричны, то симметричны следующие
отношения
,
,
,
.
14. Докажите, что если R эквивалентность, то есть также эквивалентность.
15.
Докажите, что
– эквивалентность тогда и только тогда,
когда
.
16. Для отношения, заданного матрицей, определить является ли оно отношением эквивалентности. Если является, то определить классы эквивалентности.
а) |
R |
а |
b |
с |
d |
е |
f |
б) |
R |
а |
b |
с |
d |
е |
f |
|
а |
1 |
0 |
0 |
1 |
0 |
0 |
|
а |
1 |
0 |
0 |
1 |
0 |
1 |
|
b |
0 |
1 |
0 |
0 |
1 |
1 |
|
b |
0 |
1 |
1 |
0 |
0 |
0 |
|
с |
0 |
0 |
1 |
0 |
0 |
0 |
|
с |
0 |
1 |
1 |
0 |
0 |
0 |
|
d |
1 |
0 |
0 |
1 |
0 |
0 |
|
d |
1 |
0 |
0 |
1 |
0 |
1 |
|
е |
0 |
1 |
0 |
0 |
1 |
1 |
|
е |
0 |
0 |
0 |
0 |
1 |
0 |
|
f |
0 |
1 |
0 |
0 |
1 |
1 |
|
f |
1 |
0 |
0 |
1 |
0 |
1 |