- •1. Предикаты и кванторы
- •Определение
- •Примеры
- •Операции над предикатами
- •Логические операции
- •Кванторные операции
- •Примеры
- •Введение в понятие
- •Кванторы в математической логике
- •Свободные и связанные переменные
- •Операции над кванторами
- •2. Комбинаторные правила. Правило птичьих гнёзд. Правило сложения
- •Тема 2. Элементы теории множеств и комбинаторика
- •3. Общие правила комбинаторики
- •Пример 1
- •Пример 2
- •3. Правило умножения
- •4. Размещение с повторениями и без повторений
- •Количество размещений
- •Размещение с повторениями
- •Размещения без повторений
- •Где все это применяется, уже очевидно. Осталось только привести несколько хитрых примеров:
- •5. Сочетания без повторений
- •6. Сочетания с повторениями. Разбитие множеств на части
- •Определение
- •Разбиения конечных множеств
- •Примеры
- •7. Отношения. Представления и свойства отношений
- •8. Отношения эквивалентности. Связь отношений эквивалентности и разбиений множеств
- •Связанные определения
- •Примеры отношений эквивалентности
- •Факторизация отображений
- •9. Отношение эквивалентности. Связь отношений эквивалентности и разбиений множеств Отношение частичного порядка
- •10. Отношения линейного порядка Отношение линейного порядка
- •Упорядоченные множества
- •11. Логические функции. Задание и элементарные функции
- •Основные сведения
- •Нульарные функции
- •Унарные функции
- •Бинарные функции
- •Тернарные функции
- •[Править]Полные системы булевых функций Суперпозиция и замкнутые классы функций
- •Тождественность и двойственность
- •Полнота системы, критерий Поста
- •Представление булевых функций
- •Дизъюнктивная нормальная форма (днф)
- •Конъюнктивная нормальная форма (кнф)
- •Элементарные функции по Лиувиллю
- •Дифференцирование элементарных функций
- •Интегрирование элементарных функций
- •12. Дизъюнктивные нормальные формы
- •Примеры и контрпримеры
- •Построение днф Алгоритм построения днф
- •Пример построения днф
- •Переход от днф к сднф
- •13. Минимизация днф
- •14. Монотонные функции
- •Определения
- •Другая терминология
- •Свойства монотонных функций
- •Условия монотонности функции
- •15. Графы. Представления графов. Пути в графах
- •Путь и цикл в графе. Эйлеровые линии
Путь и цикл в графе. Эйлеровые линии
Путем в графе от одной вершины к другой называется такая последовательность ребер, по которой можно проложить маршрут между этими вершинами. При этом никакое ребро маршрута не должно встречаться более одного раза.
Вершина, от которой проложен маршрут, называется началом пути, вершина в конце маршрута ≈ конец пути.
Циклом называется путь, в котором совпадают начало с концом.
На рисунке с помощью графа изображена схема дорог между населенными пунктами. Например, из пункта A (вершина графа) в пункт H можно добраться различными маршрутами: ADGH, AEH, AEFCEH, ABCEH . Чем отличается маршрут AEH от маршрута AEFCEH? Тем, что во втором маршруте на «ерекрестке» в точке E мы побывали дважды. Этот маршрут длиннее, чем AEH. Маршрут AEH можно получить из маршрута AEFCEH «вычеркнув» из последнего маршрут FCE. Маршрут AEH является путем в графе, а маршрут AEFCEH путем не является. Существуют различные маршруты, по которым можно добраться, например, из вершины A в вершину H. Маршруты CFEC, ADGHECBA, ADFCEA ≈ циклы: CFEC и др. ≈ элементарные циклы.
Эйлеровые линии
Если все вершины цикла разные, то такой цикл называется элементарным (или простым) циклом. Если же цикл включает в себя все ребра графа по одному разу, то такой цикл называется Эйлеровой линией.
Очевидно, путь, проложенный по сторонам любого многоугольника, начинающийся и заканчивающийся в одной и той же его вершине, является Эйлеровой линией.