- •Глава 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
- •Учебное издание Гладков Леонид Анатольевич, Курейчик Владимир Викторович, Курейчик Виктор Михайлович
5.6. Функция
Понятие функции ввели Ферма и Декарт. Полное понятие функции привел Леонард Эйлер в XIX веке.
Функция — это функциональное соответствие, т.е. соответствие с функциональным графиком. F = < Ф, X, Y >, Ф — функциональный график.
Функцией из множества X в множество Y называется соответствие, где каждый элемент множества Х связан с единственным элементом множества Y. Другими словами, для каждого xX в соответствии существует ровно одна пара вида <x, y>. В графической интерпретации из каждого элемента Х выходит ровно одна стрелка.
Говорят, что функция — это кортеж длины 3, в котором первая компонента является подмножеством прямого декартового произведения второй и третьей компонент и первая компонента — функциональный график.
На рис.5.33 изображена функция из множества X = {a, b, c, d} в множество Y = {1, 2, 3}, состоящая из пар {<a, 1>, <b, 1>, <c, 1>, <d, 3>}.
Рис.5.33. Пример функции из множества Х в множество Y
Выражение для определения функции можно записать в виде
F = < Ф, X, Y >,
где Ф — функциональный график, Ф X x Y.
Выражение, обозначающее функцию, иногда записывают так:
F
XY или F: XY.
Другими словами, если имеется некоторый элемент < a, b >F, то говорят, что функция отображает элемент а в элемент b. Или говорят, что значение функции (F(a)) на элементе а равно F(a)=b.
Функция F называется тождественной, если
Ф = X & X=Y,
где X – диагональ на области X X.
Функция F называется константной, если существует такой элемент bY, что график Ф = X {b}.
Функция F тогда и только тогда всюду определена, когда
(xX)[F(x)].
То есть для любого элемента множества Х всегда существует как минимум одно отображение.
Функция F тогда и только тогда биективна, когда она всюду определена, сюрьективна и инъективна.
Отметим следующее: для функции справедливы операции инверсии и композиции. Композиция функции также будет являться функцией. Для инверсии же существует следущее правило:
Инверсия F-1 функции F, т.е. F-1 = <Ф-1, Y, X> необязательна должна быть функцией. Существует критерий функциональности инверсий.
Инверсия F-1 функции F тогда и только тогда является функцией, когда функция F — инъективна.
Для любых значений функций F1 и F2 справедливо
(F1•F2)(x) = F2(F1(x)).
Рассмотрим понятие обратной функции. Обратной функцией является функция F-1.
Отметим 3 основных свойства F-1.
F-1 является инверсией.
F•F-1 тождествена на пр1F.
F-1•F тождествена на пр2F.
Приведем принцип Дирихле. Пусть f: X Y – функция, причем X и Y – конечные множества. Принцип Дирихле гласит, что если |X| > |Y|, то по крайней мере одно значение f встретится более одного раза. Неформально, принцип Дирихле можно например записать следующим образом:
Если Х – множество белок, а Y – множество клеток, и |Х| = 12, а |Y| = 11, то 12 белок нельзя посадить в 11 клеток так, чтобы в каждой клетке находилась одна белка.
КОНТРОЛЬНЫЕ ВОПРОСЫ
1. Приведите определение и способы задания соответствия.
2. Как называется и обозначается соответствие Г = (Х, , F)?
3. Из каких элементов образуются матрицы R соответствий Г и Гп?
4. Покажите, как выполняются операции над соответствиями.
5. Что такое инверсия соответствия и композиция соответствий?
6. В каких случаях композиция соответствий приводит к соответствию с пустым графиком?
7. В каком случае образ множества при данном соответствии является пустым множеством?
8. Как найти образ и прообраз множества при данном соответствии?
9. Определите сужение и продолжение соответствий.
10. Приведите примеры доказательства тождеств с соответствиями.
11. Определите понятие отображения.
12. Какое соответствие называется:
а) функциональным;
б) инъективным;
в) всюду определенным;
г) сюръективным?
13. Возможно ли нефункциональное, неинъективное, не всюду определенное соответствие? Если да, привести пример.
14. Определите понятие функция.
15. Запишите критерий функциональности инверсий.
16. Поясните принцип Дирихле.
ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ
1. Задать произвольное соответствие Г = (X, Y, F), |X| = 5, |Y| = 5, |F| = 9 теоретическим, матричным и графическим способом.
2. Заданы соответствия Г = <X, Y, F>; = <W, Z, P>, где X = {1, 2, 3, 4}; Y = {a, b, c, d}; F = {<1, a>; <1, c>; <1, d>; <2, b>; <2, c>; <3, a>; <3, d>; <4, b>; <4, c>}; W = {1, 3, 5, 6}; Z = {b, c, d, e}; P = {<1, b>; <1, c>; <3, b>; <3, d>; <3, e>; <5, c>; <5, d>; <6, d>}.
Найти:
a) Г ;
б) Г -1;
в) Г ;
г) Г-1 ;
д) Г \ ;
е) Г \ -1;
ж) Г-1 \ ;
з) Г-1 \ -1.
3. Заданы соответствия Г = <X, Y, F>; = <W, Z, P>, где X = {1, 2, 3, 4}; Y = {a, b, c, d}; F = {<1, a>; <1, c>; <1, d>; <2, b>; <2, c>; <3, a>; <3, d>; <4, b>; <4, c>}; W = {a, c, d, e}; Z = {I, II, IV, V, VI}; P = {<a, I>; <a, IV>; <a, V>; <c, II>; <c, IV>; <d, II>; <d, V>; <d, VI>; <e, I>} и произвольные множества A = {1, 2, 4} и B = {a, c, d}.
Найти:
a) Г • ;
б) -1 • Г-1;
в) Г(А);
г) Г-1(В);
4. Пусть задано произвольное соответствие Г = (X, Y, F) и множества А X, B X, C Y, D Y.
Доказать справедливость следующих тождеств:
a) Г(А В) Г(А) Г(В);
б) Г(А) \ Г(В) Г(А \ В);
в) Г-1(С D) Г-1(С) Г-1(D);
г) Г-1(С) \ Г-1(D) Г-1(С \ D).
Соответствие определяет связь между любыми объектами в природе и ее модели помогают решать оптимизационные задачи.
Если область прибытия соответствия совпадает с его областью отправления, то соотвествие преобразуется в отношение.
Совершенство только тогда совершенство, когда оно представляется достижимым только в бесконечности и когда поэтому возможность приближения к нему бесконечна.
Л. Толстой
