
- •Вопрос №1. Основные понятия интуитивной теории множеств. Множество. Понятие принадлежности. Интуитивный принцип объемности
- •Вопрос №3. Парадокс Рассела. Его значение для теории множеств.
- •Вопрос №4.Операции алгебры множеств
- •Вопрос №5. Теоремы:
- •3)Теорема о попарной эквивалентности предположений о произвольных множествах
- •Теорема 2.
- •Вопрос №6. Диаграммы Эйлера-Венна. Примеры.
- •Вопрос №7. Декартово произведение множеств. Мощность декартова произведения конечных множеств.
- •Декартово произведение множеств
- •Свойства
- •Вопрос №8. Соответствия и их виды, понятия и определения
- •Обратное соответствие.
- •Теорема.
- •Способы задания функции.
- •Вопрос №9. Мощность конечного множества. Равномощные множества.
- •1) О равномощных конечных множествах
- •2) О мощности множеств всех подмножеств конечного множества
- •Вопрос №10. Бесконечные множества. Их равномощность. Теоремы:
- •5) Теорема о мощности интервала 6) Основные результаты теории мощности бесконечных множеств. Проблема континуума
- •1) О бесконечных подмножествах множества n
- •3) Мощность объединения двух счётных множеств
- •4) Теорема Кантора
- •5) Теорема о мощности интервала
- •6) Основные результаты теории мощности бесконечных множеств. Проблема континуума
- •Объединение:
- •Композиция:
- •Вопрос №14. Отношение эквивалентности. Пример
- •Вопрос №15. Разбиение множества а на классы. Теорема.
- •Вопрос №16. Фундаментальная теорема арифметики
- •Вопрос №17. Отношения порядка
- •Вопрос №18. Диаграммы Хассе
- •Примеры применения и свойства.
- •Вопрос №19. Изоморфные, частично упорядоченные множества
- •Вопрос №20. Наименьший и минимальный элемент множества относительно порядка
- •Вопрос № 21. Наибольший и максимальный элементы множества относительно порядка
- •Вопрос № 22. Вполне упорядоченное множество
- •Вопрос №25. Определение графа ориентированного, неориентированного, смешанного, пустого
- •Вопрос №26. Степень вершины, псевдограф, мультиграф
- •Примеры:
- •Гомеоморфизм графов:
- •Вопрос №28. Маршрут, ориентированный маршрут, длина маршрута, замкнутый маршрут. Цепь. Простая цепь, путь, простой путь, цикл, простой цикл (контур). Пример. Маршрут
- •Вопрос №29. Связные вершины. Связный граф. Орграф сильно связный, односторонне связный, слабо связный, несвязный
- •Вопрос №31. Двудольный граф
- •Вопрос №34. Матрицы смежности орграфа d, неориентированного графа g. Свойства матрицы инцидентности
- •Матрица смежности ориентированного графа
- •Вопрос №36. Матрица достижимости, сильно связности. Пример. Компонент связности
- •Вопрос №37. Гамильтоновы графы. Теоремы
- •Вопрос № 38.Эйлеровы графы (теорема). Полуэйлеровы графы
- •Вопрос №39. Взвешенные графы. Задача о кратчайшем соединении. Алгоритм Краскала.
- •Алгоритм Краскала
- •Пример выполнения алгоритма Краскала
- •Вопрос №40. Задача о кратчайших путях, восстановление кратчайшего пути. Алгоритм Дейкстры. Алгоритм Флойда
- •Задача о кратчайшем пути — задача поиска самого короткого пути (цепи) между двумя точками (вершинами) на графе, в которой минимизируется сумма весов рёбер, составляющих путь.
- •Алгоритм Дейкстры
- •Алгоритм Флойда
- •Вопрос №42. Потоки в сетях. Полный, максимальный поток. Алгоритм Форда-Фалкерсона
Вопрос №36. Матрица достижимости, сильно связности. Пример. Компонент связности
Матрицей достижимости орграфа D называется квадратная матрица T(D) порядка n, где:
Аналогично определяется понятие матрицы достижимости для неорграфа.
Говорят, что на множестве вершин, графа D введено отношение достижимости ρ, если:
ρ
↔ ∃
путь
из
в
(путь - незамкнутый ориентированный маршрут, в котором все дуги попарно различны).
Матрица достижимости T(D) находится по формуле:
),
где E
единичная матрица
Матрица сильной связности орграфа D называется квадратная матрица S(D) порядка n, где:
Для неорграфа G матрицу сильной связности можно определить как
Матрица сильной связности S(D) находится по формуле:
1∧1=1, в других случаях – 0
Пример:
)
Если
,
то
достижима из
Если
,
то
не достижима из
Компонентом связности (сильной связности) графа G (орграфа D) называется его связный (сильно связный) подграф, не являющийся собственным подграфом никакого другого связного (сильно связного) подграфа графа G (орграфа D).
Вопрос №37. Гамильтоновы графы. Теоремы
Гамильтонова цепь – простая цепь, проходящая через все вершины данного графа только один раз
Гамильтонов цикл – простой цикл, проходящий через все вершины (исключая начальную) данного графа только один раз
Гамильтонов граф – граф, который имеет гамильтонов цикл
Полугамильтонов граф – граф, который имеет гамильтонову цепь
Гамильтонов путь – путь в ориентированном графе, S={x1, x2, …, xn}, проходящий через все вершины графа, притом только по одному разу.
Гамильтонов контур – контур, M={x1, x2, …,xn, x1} в ориентированном графе G(X), если он проходит через все вершины графа, притом только по одному разу.
Замечания.
Гамильтонов цикл содержит все вершины графа по одному разу, но не обязательно содержит все ребра графа.
Любой граф G можно превратить в гамильтонов, добавив достаточное количество вершин и ребер, соединяющих эти новые вершины между собой и с некоторыми из старых.
Теорема Кёнига. В полном конечном графе всегда существует гамильтонов путь.
Если в простом графе с n вершинами n ≥ 3 для
G — гамильтонов граф.
Вопрос № 38.Эйлеровы графы (теорема). Полуэйлеровы графы
ЭЙЛЕРОВ ГРАФ — связанный граф, в котором существует замкнутая цепь, соединяющая все ребра графа.
Эйлеров путь/цикл — путь/цикл, соединяющий все ребра (дуги) графа.
ТЕОРЕМА: Необходимое и достаточное условие
Связанный неориентированный мультиграф (с кратными ребрами без петель) является эйлеровым если каждая его вершина имеет четную степень.
________________________________________________________________
Эйлеров цикл (для неориент. Графа) – существует тогда и только тогда, когда отсутствуют вершины нечетных степеней.
Эйлеров цикл (для ориентир. Графа) – цикл, который проходит ровно один раз по каждому ребру.
Эйлерова цепь (для ориент. Графа) – цепь, проходящая через каждое ребро ровно 1 раз.
Эйлерова цепь (для неориент. Гарфа) – существует тогда и только тогда, когда в ней есть ровно 2 вершины нечетной степени.
________________________________________________________________
2. ПОЛУЭЙЛЕРОВЫЙ ГРАФ – граф, содержащий незамкнутую цепь, которая проходит все ребра по одному разу.
Данный связный граф будет полуэйлеровым тогда и только тогда, когда в точности 2 вершины будут нечетными, а степени остальных вершин – четными.
На рис. 3 изображены: а – эйлеров граф, б – полуэйлеров граф и в – граф, не являющийся ни эйлеровым, ни полуэйлеровым