Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Diskretnaya_matematika_1_semestr.docx.doc
X
- •Множества. Основные понятия.
- •Операции над множествами и их свойства.
- •Декартово произведение. Разбиение множеств.
- •Алгебра множеств
- •Отношение. Бинарное отношение
- •Алгебра бинарных отношений
- •Отображение. Виды отображений
- •Отношение порядка. Изоморфизм упорядоченных множеств.
- •Алгебраические системы. Изоморфизм алгебраических систем.
- •Функции алгебры логики.
- •Формулы. Реализация функций формулами.
- •Эквивалентность формул. Свойства элементарных булевых функций.
- •Двойственные функции. Принцип двойственности
- •Разложение булевых функций по переменным. Сднф.
- •Разложение булевых функций по переменным. Скнф.
- •Полнота и замкнутость.
- •Представление булевых функций в виде полинома Жегалкина. Теорема Жегалкина.
- •Классы т0, т1.
- •Класс s.
- •Класс м.
- •Класс l
- •Задача минимизации булевых функций.
- •Задача минимизации булевых функций в геометрической постановке.
- •Сокращенные днф.
- •Тупиковые днф и решение задачи минимизации.
- •Графы. Основные понятия.
- •Орграфы. Основные понятия.
- •Маршруты. Цепи. Циклы. Связность.
- •Операции над графами
- •30.Двудольные графы.
- •31. Планарные графы.
- •32. Эйлеровы и гамильтоновы графы
- •33. Дерево. Лес
- •34. Графическое разбиение.
- •35. Способы задания графов
- •36. Типы связности орграфов
- •38. Задача о минимальном остовном дереве. Алгоритмы Прима и Краскала.
- •39. Задача о максимальном потоке и минимальном разрезе. Алгоритм Форда-Фалкерсона.
- •40. Теорема Форда-Фалкерсона
40. Теорема Форда-Фалкерсона
Теорема Форда-Фалкерсона.Величина макс потока в сети=пропускной способности мин разреза, отделяющего источник от стока.
Следствие. Решая задачу о макс потоке, мы решаем задачу о мин разрезе и наоборот.
При решении этой пары задач, используется система меток: помечаются вершины, метка вершины i(M(i)) состоит из двух частей:(M(i)=(k,ε^ (i))), k-указывает: из какой вершины была помечена вершина i, если ε^+(i), то это указывает, что по дуге (k,i) можно увеличить поток на величину ε(i), если ε^-(i)-уменьшить поток на величину ε(i). В процессе работы алгоритма, каждая из вершин может находиться в одном из трёх состояний:
1.Вершина не помечена
2.вершина помечена и не просмотрена
3.вершина помечена и просмотрена
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]