- •1. Понятие множества. Способы задания множеств. Операции над множествами. Диаграммы Венна.
- •3. Прямое произведение множеств. Отношения, бинарные отношения. Операции над отношениями.
- •4. Понятие функции. Инъективные, биективные, суръективные функции. Композиция и обращение функций.
- •5. Бинарные отношения на множестве х. Рефлексивность, симметричность, транзитивность бинарных отношений на множестве х.
- •6. Отношение эквивалентности. Класс эквивалентности.
- •7. Разбиение множества. Теорема о связи между отношением эквивалентности на множестве и разбиением множества.
- •8. Отношение порядка. Частичный и линейный порядок. Упорядоченные множества.
- •9. Мощьность множества. Счётные множества. Несчётные множества. Теорема Кантора.
- •10. Понятие нечёткого множества. Виды и некоторые свойства нечётких множеств. Способы задания нечётких множеств.
- •11.Функции принадлежности нечётких множеств и методы их построения.
- •12.Равенство нечётких множеств. Нечёткое подмножество.
- •13. Операции с нечёткими множествами. Некоторые дополнительные операции над нечёткими множествами.
- •15. Определение нечёткого отношения. Виды нечётких отношений. Способы задания нечётких отношений.
- •16. Равенство нечётких отношений. Нечёткое доминирование. Операции с нечёткими отношениям.
- •17. Свойства бинарных нечётких отношений заданных на базисном множестве х.
- •18.Высказывания. Логические операции. Язык логики высказываний. Формулы логики высказывания.
- •20. Формулы логики высказываний. Равносильность формул логики высказываний. Основные равносильности.
- •21. Двойственность. Закон двойственности. Пример.
- •22. Тождественно-истинные и тождественно-ложные формулы. Выполнимость и опровержимость формул. Пример. Правильные рассуждения.
- •23. Отношение логического следования. Правильные рассуждения. Примеры.
- •24. Нормальные формы формул. Приведение к днф и кнф.
- •25. Нормальные формы формул. Приведение к сднф и скнф.
- •26.Булевы функции. Теорема о представлении булевой функции формулой логики высказываний.
- •27. Булевы функции. Булевы функции двух переменных.
- •28.Представление булевых функций формулой логики высказываний в сднф и в скнф. Примеры.
- •29. Полные системы булевых функций. Теорема о сведении полноты одной системы булевых функцийк другой. Примеры полных систем.
- •31.Функционально-замкнутые классы. Классы t0,t1,s,l,m. Теорема Поста(доказательство по необходимому признаку). Док-ва у меня нет
- •32.Описание переключательных схем с помощью формул логики высказываний. Анализ, упрощение и синтез переключательных схем.
- •33.Понятие о проблеме минимизации булевых функций в классе днф.
- •34.Предикаты. Кванторы. Язык логики предикатов. Формулы логики предикатов. Равносильность и общезначимость формул логики предикатов. Основные равносильности.
- •35.Понятие интерпретации. Равносильность и общезначимость формул логики предикатов. Приведенная нормальная формула логики предикатов. Проблема разрешимости. Формулировка теоремы Черча.
- •36.Ориентированные и неориентированные графы. Основные понятия.
- •37.Матричное задание графа. Матрицы сложности и инциденций. Цикломатическая матрица.
- •38. Пути в графе. Цепи. Связные графы и компоненты связности.
- •39.Специальные пути в графе. Понятие о плоских графах.
- •40. Поиск путей в графе. Алгоритм Терри нахождения пути в графе. Алгоритм поиска пути минимальной длины(«фронта волны)
- •41.Алгоритм Форда и Форда-Беллмана нахождение минимального пути в нагруженном графе.
- •42.Деревья. Свойства деревьев. Цикломатическое число. Остовные деревья графа. Алгоритм нахождения остовного дерева.
- •43.Вектор-циклы. Пространство вектор циклов. Независимые циклы. Цикломатическое число. Алгоритм нахождения базис вектор-циклов.
- •44.Цикломатическая (контурная) матрица и матрица инциденций. Законы Киргофа. Уравнение контурных токов. Примеры.
- •45.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
45.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
Транспортной сетью называется ориентированный граф G без петель, для которого выполняются условия:
1)существует одна и только одна вершина х0 такая что: Г-1(х0)= - вход в сеть(исток)
2)существует одна и только одна и только одна вершина хn такая что Г(хn)= выход
3)каждой дуге <x,y> поставлено в соответствие число C<x,y>≥0, пропускная способность дуги
Функцию φ(x,y) определенная на множестве дуг n транспортной сети G=<Г,х> называется потоком транспортной сети если:
φ(x,y)-целое число
; х≠х0, х≠хn
φ(x,y)≤ C<x,y> , <x,y>Г
то говорят что задан поток транспортной сети.
Поток полный если любой путь из входа сети в выход сети содержит по крайней мере одну насыщенную дугу.
Алгоритм нахождения полного потока
Пусть G=<Г,х> транспортная сеть φ(x,y)-поток величину которого хотим изменить до полного.
проверяем полны ли пути; если да то конец; нет шаг №2
ищем путь M из х0→хn все дуги которого насышены
увеличиваем дуговой поток вдоль дуг пути M до тех пор пока какая-нибудь дуга пути M станет насыщена.
Переходим к шагу 1.
На 1-ом шаге за поток можно взять нулевой поток.
Алгоритм перестройки полного потока до максимального.
помечаем вершину х0 символом +
если хi помеченная вершина, то помечаем символом (+i) ,все непомеченные вершины хj Г(хi) для которых дуги <xi, xj > ненасыщенны помечаем символом –i, все непомеченные вершины хj Гх-1(хi) для которых φ(xj,xi)˃0 (пометку ведем в произвольном порядке)
если таким образом удалось пометить вершину хn, то это означает что существует цепь М из х0→хn, по которой можно изменить величину потока.
Изменим поток положив:
φ/(x,y)= φ(x,y)+1 если дуга <x,y>∈ цепи М и ее ориентация совпадает с направлением движением цепи М от входа к выходу.
φ/(x,y)= φ(x,y)-1 если дуга <x,y>∈ цепи М и ее ориентация противоположна направлению движения цепи.
φ/(x,y)= φ(x,y) если дуга <x,y>∉ цепи М тогда φ/(x,y) новый поток что φ/xn= φxn+1; применяем алгоритм до тех пор пока возможно если некоторый поток уже невозможно увеличить, изложенным методом, то мы нашли максимальный поток.