- •Глава 16. Специальные циклы и метрика графов 345
- •Глава 17. Графовые инварианты 404
- •Введение
- •Цели и задачи преподавания дисциплины «дискретная математика»
- •Модуль 1. Основы Теории множеств (2 кредита)
- •Комплексная цель и задачи изучения модуля
- •Глава 1. Исчисление множеств
- •1.1. Понятие множества
- •1.2. Способы задания множеств
- •1.3. Подмножество
- •2. Пустое множество не имеет собственных и истинных подмножеств.
- •3. Одноэлементное множество имеет два подмножества - сaмo себя и , т.Е. Не имеет собственных подмножеств.
- •Множество – это многое, мыслимое как единое.
- •Глава 2. Операции над множествами
- •2.1. Объединение множеств
- •2.2. Пересечение множеств
- •2.3. Разность множеств
- •2.4. Дополнение множества
- •2.5. Тождества алгебры множеств
- •2.6. Доказательства тождеств с множествами
- •Глава 3. Упорядоченные множества
- •3.1. Кортеж (Упорядоченное множество)
- •3.2. Декартово произведение
- •3.3. Операция проектирования множеств
- •3.4. График
- •Декартово произведение множеств позволяет перейти к графическому представлению упорядоченных множеств.
- •Глава 4. Отношения
- •4.1. Основные понятия отношений
- •4.2. Основные свойства отношений
- •4.3. Операции над отношениями
- •4.4. Основные свойства специальных отношений
- •4.5. Разбиение множеств
- •4.6. Отношение порядка
- •Использование отношений позволяет строить модели взаимосвязей между любыми обьектами в природе.
- •5. Соответствия
- •5.1. Определение соответствия
- •5.2. Операции над соответствиями
- •5.3. Понятия образа и прообраза при соответствии
- •5.4. Доказательства тождеств с соответствиями
- •5.5. Основные свойства соответствий
- •5.6. Функция
- •Глава 6. Упорядоченные бесконечные множества
- •6.1. Основные сведения об упорядоченных бесконечных множествах
- •6.2. Проблема континуума
- •Глава 7. Основные понятия теории мультимножеств
- •7.1. Понятие мультимножества
- •7.2. Операции над мультимножествами
- •Возможность многократного вхождения элементов в мультимножество создает новое качество и позволяет расширить класс описываемых, анализируемых и синтезируемых математических объектов.
- •8. Нечеткие множества
- •8.1. Нечеткие высказывания
- •8.2. Операции над нечеткими множествами
- •8.3. Нечеткие отношения и соответствия
- •Тестовые задания к модулю 1
- •24. Множество называется графиком, если каждый его элемент ...
- •25. Соответствие может быть задано … способом.
- •Критерии оценки
- •Нечеткие и приближенные высказывания, множества, соответствия и отношения позволяют формально задавать расплывчатую информацию в виде, удобном для обработки на эвм.
- •Глоссарий к модулю 1
- •Глава 1.
- •Глава 2.
- •Глава 3.
- •Глава 4.
- •Глава 5.
- •Глава 6.
- •Глава 7.
- •Глава 8.
- •Галилей Модуль 2. Основы теории алгоритмов (1,5 кредита) Комплексная цель и задачи изучения модуля
- •Глава 9. Введение в теорию алгоритмов
- •9.1. Понятие алгоритма
- •9.2. Основные свойства алгоритмов
- •9.3. Классификация алгоритмов
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •10.1. Преобразование слов в произвольных абстрактных алфавитах
- •10.2. Числовые функции
- •10.3. Построение алгоритмов по принципу «разделяй и властвуй»
- •10.4. Представление алгоритма в виде детерминированного устройства
- •10.5. Универсальные схемы алгоритмов
- •10.5. “Жадные” алгоритмы
- •10.6. Нечеткие (расплывчатые) алгоритмы
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •11.1. Анализ алгоритмов
- •11.2. Сложность алгоритмов
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •Тестовые задания к модулю 2
- •Критерии оценки
- •Модуль 3. Алгебра логики (1,5 кредита) Комплексная цель и задачи изучения модуля
- •Глава 12. Элементы алгебры логики
- •12.1. Логические функции
- •12.2. Основные логические тождества и законы
- •12.3. Булевы функции одной и двух переменных
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •13.1. Дизъюнктивная и конъюнктивная нормальные формы
- •13.2. Способы перехода от нормальных к совершенным нормальным формам
- •2. Графический способ.
- •13.4. Функциональная полнота бф
- •13.3. Алгебра Жегалкина
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •14.1. Реализация булевых функций
- •14.2. Минимизация булевых функций
- •14.3. Карты Карно
- •14.4. Метод Квайна - Мак-Класски
- •14.5. Переход от бф к простейшим комбинационным схемам
- •Контрольные вопросы
- •Задания для самостоятельной работы
- •Критерии оценки
- •Глоссарий к модулю 3
- •Модуль 4. Основы Теории графОв (2 кредита) Комплексная цель и задачи изучения модуля
- •Глава 15. Введение в теорию графов
- •15.1. Способы задания графов и виды графов
- •15.1.1. Способы задания графов
- •15.1.2. Виды графов
- •15.1.3. Нечеткие неориентированные графы
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •15.2. Маршруты, цепи, циклы
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •При моделировании систем модели и алгоритмы нахождения маршрутов, цепей, циклов, разрезов, связности графов позволяют строить эффективные алгоритмы преобразования графов.
- •15.3. Нахождение кратчайших маршрутов (цепей)
- •15.3.1. Алгоритм Форда
- •15.3.2. Алгоритм Дейкстры
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •Алгоритмы Форда и Дейкстры являются эффективным способом определения кратчайшей по стоимости цепи между двумя вершинами графа.
- •Глава 16. Специальные циклы и метрика графов
- •16.1. Эйлеровы и гамильтоновы цепи и циклы
- •16.1.1. Связь между эйлеровыми и гамильтоновыми графами
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •16.2. Алгоритмы построения гамильтонова цикла
- •16.2.1. Алгоритм Робертса ─ Флореса
- •16.2.2. Алгебраический метод
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •16.3. Задача о коммивояжере и алгоритмы ее решения
- •16.3.1. Алгоритм Хелда и Карпа
- •16.3.2. Геометрический метод решения
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •16.4. Расстояния на графах
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •16.5. Деревья
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •Глава 17. Графовые инварианты
- •17.1. Цикломатическое и хроматическое числа графа
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •17.2. Числа внутренней и внешней устойчивости графа
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •Числа внутренней и внешней устойчивости относятся к инвариантам графа. Они позволяют определить специальные группы вершин в графах.
- •17.3. Планарность графов
- •17.3.1. Плоские и планарные графы
- •17.3.2. Эвристики для определения планарности
- •17.3.3. Минимизация пересечений ребер графов
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •17.4. Ориентированные графы
- •17.4.1. Способы задания
- •17.4.2. Решение стандартных графовых задач с использованием орграфов
- •17.4.3. Выделение сильносвязных компонент
- •17.4.4. Нечеткие ориентированные графы
- •Примеры решения задач
- •Вопросы
- •Задания для самостоятельной работы
- •175 Гиперграфы
- •Примеры решения задач
- •Вопросы для самоконтроля
- •Задания для самостоятельной работы
- •Тестовые задания к модулю 4
- •Критерии оценки
- •Глоссарий к модулю 4 Глоссарий к главе 1
- •Глоссарий к главе 2
- •Глоссарий к главе 3
- •Библиографический комментарий
- •Литература
- •Заключение
- •Приложение 1
- •Учебное издание Гладков Леонид Анатольевич, Курейчик Владимир Викторович, Курейчик Виктор Михайлович
2. Пустое множество не имеет собственных и истинных подмножеств.
3. Одноэлементное множество имеет два подмножества - сaмo себя и , т.Е. Не имеет собственных подмножеств.
ПРИМЕРЫ РЕШЕНИЯ ЗАДАЧ
Отметим, что часть примеров, приведенных ниже, разработаны авторами, а часть взята из литературы, приведенной в списке.
Пример 1.1. Задано множество А = {a, b, c, d}. Какие из следующих высказываний являются истинными ?
а) aA; в) dA;
б) {a, b}A; г) {a, b, c, d}A.
Ответ: Высказывания aA и dA являются истинными, т.к. среди элементов множества А есть элементы a и d, высказывания {a, b}A и {a, b, c, d}A являются ложными, т.к. такие элементы не входят в множество А.
Пример 1.2. Перечислите элементы множеств:
а) A = {x | (y)(y{0, 1, 2} & x = y3)};
б) B = {x | xN & (y)(yN & x < y)};
в) C = {x | xN & (y)(yN x y)}.
Ответ: a) элементы множества А могут быть найдены вычислением третьей степени всех возможных значений y. Таким образом, A = {0, 1, 8}.
б) x и y - элементы множества натуральных чисел N и, каково бы ни было значение х, всегда можно в множестве N найти значение у, при котором будет выполняться условие x < y.
в) если х и у - элементы множества натуральных чисел N, то условие x любого элемента множества N - будет выполняться только для одного значения х, равного 0. Следовательно, С = {0}.
Пример 1.3. Задать множества высказывательным способом:
а) A = {3};
б) P = {6, 7, 8, 9, 10};
в) В - множество четных целых чисел.
Ответ: а) один из возможных вариантов ответа A = {xN | (x + 2 = 5)};
б) Один из возможных вариантов ответа P = {x | xN & (x > 5 & x < 11)};
в) В = {x | xZ & (y)(yZ x = 2y)}.
Пример 1.4. Определите, равны ли множества А и В, С и D, если A = {1, 2, 3, 4}; B = {4, 3, 2, 1}; C = {2, 3, 4, 5}; D = {3, 4, 5}.
Ответ: А = В, т.к. они содержат одни и те же элементы; С D, т.к. множество С содержит элемент 2, не принадлежащий множеству D.
Пример 1.5. Пусть: A = {1, 7, 9, 15}; B = {7, 9}; C = {7, 9, 15, 20}.
Все ли следующие утверждения истинны?
а) B C, |
д) 15C, |
б) B A, |
е){7, 9}B, |
в) B A, |
ж) {7} A, |
г) A C, |
з) C. |
Ответ: Все утверждения, кроме е), истинны.
Пример 1.6. Доказать, что А В, если A = {xN | x кратно 8}; B = {xN | x кратно 4};
Доказательство: Пусть х - произвольный элемент множества А. Мы должны показать, что х так же является элементом множества В, т.е. обладает свойством, характерным множеству В. Это означает, что х должно быть кратным 4. Поскольку х является элементом множества А, он обладает характерным свойством этого множества, следовательно, х кратно 8 и можно записать х = 8m для любого целого m. Это же выражение может быть записано в виде x = 24m или x = 4k, где k - четное целое число. Следовательно, х всегда кратен 4 и поэтому хВ, что и требовалось доказать.
Пример 1.7. Доказать, что А = В, если A = {xN | x2 < 15}; B = {xN | 2x < 7};
Доказательство: Чтобы доказать, что А = В, необходимо доказать, что А В, а затем, что В А. Пусть хА, следовательно, х должно обладать характерным свойством множества А, т.е. должен выполняться условия: х2 < 15 и хN. Этим двум условиям удовлетворяют следующие четыре значения х: 0, 1, 2, 3. Следовательно, только эти числа являются элементами множества А. Причем удвоенные значения любого элемента множества А меньше 7, т.е. каждый из них обладает характерным свойством множества В. Следовательно, А В. Теперь докажем, что В А. Любой элемент множества В должен быть положительным, а его удвоенное значение меньше 7. Множество В cоставляют следующие элементы: 0, 1, 2, 3. Квадрат любого из них меньше 15, следовательно, В А. Таким образом, доказано, что А = В.
КОНТРОЛЬНЫЕ ВОПРОСЫ
1. Что такое “множество”, “элемент множества”?
2. Какие существуют способы задания множеств? Привести примеры.
3. Приведите определение понятий простого и составного логического высказывания.
4. Перечислите основные операции над логическими высказываниями. Приведите примеры.
5. Что представляет собой квантор существования и квантор общности?
6. Какие множества называются равными?
7. Какие подмножества называются несобственными?
8. В чем отличие между “принадлежностью к множеству” и “включением в множество”?
9. Приведите способы задания множеств.
10. Отличаются ли множества А = и А = {} и если “да”, то в чем состоит отличие.
11. Что такое строгое и нестрогое включение?
12. Как построить семейство подмножеств?
13. Сколько элементов содержит семейство подмножеств?
14. Приведите формулу подсчета числа подмножеств множества.
ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ
1. Задано множество S = {0, 4, 12, 31}. Какие из следующих высказываний являются истинными ?
а) 12S; |
б) 0+31S; |
в) 4+12S; |
г) S; |
д) {4}S; |
е){0,4,12,31}S. |
2. Записать произвольное одноэлементное множество, элементом которого является множество.
3. Привести примеры таких множеств A, B, C и D, что A B, B D, D C, A D, B C.
4. Задать каждое из множеств с помощью перечисления:
а) A = {x | x R & x2 < 0};
б) B = {xN | 3 < x 7};
в) D = {x | x - месяц года, содержащий 30 дней};
г) C = {y | y - факультеты ТРТУ};
д) E = {xN | (y)(y{2, 3, 4, 5} x > y)};
e) F = {x | (y)(z)(y{1, 2} & z{2, 3} & x = y + z)}.
5. Задать множества высказывательным способом:
a) A = {1, 4, 9, 16};
б) B = {2, 3, 5, 7, 11, 17};
в) C = {3, 5, 7, 9, 11, 13, 15};
г) D = {февраль};
д) F = {понедельник, вторник, среда, четверг, пятница}.
6. Запишите таблицы истинности основных операций над высказываниями и поясните их смысл.
7. Определить, равны ли множества А и В:
а) A = {a, b, c}; |
B = {b, c, a}; |
б) A = {a, b, {c}}; |
B = {b, c, a }; |
в) A = {{a, b, c}}; |
B = {a, b, c}; |
г) A = {{a, b, c}}; |
B = {{a}, {b}, {c}}; |
д) A = {a, b, c}; |
B = {{a}, {b}, {c}}. |
8. Пусть A = {x N | x > 5}; B = {10, 12, 16, 20}; C = {x | (y)(yN & x = 2y)}. Какое из следующих высказываний истинно?
а) B C, |
ж) B A, |
б) A C, |
з) 26C, |
в) {11, 12, 13} A, |
и) {11, 12, 13} C, |
г) {12}B, |
к) {12} B, |
д) {xN | x < 20} B, |
л) 5 A, |
е) {} B, |
м) A. |
9. Пусть A = {xR | x2 - 4x + 3 = 0}; B = {xN | 1 x 4}. Доказать, что A B.
10. Доказать или опровергнуть, что A = B, если A={xR | 2x = 5}; B={xR | x > 3}.
11. Привести пример множества, имеющего только несобственные подмножества.
12. Выбрать из элементов множества A = {a, x, {b, c}, , 5} несобственные элементы.
13. Записать семейство подмножеств пустого множества.
14. Записать семейство всех подмножеств множества A = {x, y, z, k} и B = {, {}}.
15. Задать множества A, B, C, удовлетворяющие следующим условиям:
а) AB, A B; б) AB, A C;
в) AB, A B, A C; г) AB, B C;
д) AB, A B; е) A B, B A.
