- •Содержание:
- •Диаграммы Венна.
- •Операции над множествами.
- •Свойства теоретико-множественных операций.
- •Представление множеств в эвм
- •Реализация операций над подмножествами заданного универсума в эвм.
- •Многоместные отношения. Композиция отношений. Степень и ядро отношений.
- •Свойства отношений.
- •Представление отношений в эвм.
- •Минимальные элементы. Теорема о существовании минимального элемента.
- •Алгоритм топологической сортировки
- •Операции над бинарными отношениями.
- •Тема 4. Замыкание отношений. Транзитивное замыкание, рефлексивное замыкание. Алгоритм Уоршалла вычисления транзитивного замыкания. Замыкание отношений.
- •Транзитивное замыкание отношений
- •Рефлексивное замыкание отношений
- •Алгоритм Уоршалла.
- •Представление функций в эвм.
- •Операции
- •Свойства бинарных операций:
- •Способы задания операций.
- •Тема 6. Алгебраическая система. Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр. Алгебраическая система
- •Гомоморфизмы. Проверка условия гомоморфизма. Изоморфизмы. Изоморфные алгебры. Изоморфизм модели. Примеры изоморфных алгебр.
- •Основные характеристики нечетких множеств
- •Примеры нечетких множеств
- •Операции над нечеткими множествами
- •Графическое представление операций
- •Тема 8. Алгебраические операции над нечеткими множествами.
- •Тема 9. Основное определение графов. Смежность. Изоморфизм графов. Элементы графов. Подграфы. Валентность. Теорема Эйлера. Основное определение.
- •Смежность.
- •Изоморфизм графов.
- •Элементы графов. Подграфы. Валентность.
- •Теорема Эйлера.
- •Тема 10. Маршруты в графах. Цепи. Циклы. Расстояние между вершинами. Связность. Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети. Маршруты в графах. Цепи. Циклы.
- •Расстояние между вершинами.
- •Связность.
- •Виды графов: тривиальные и полные графы, двудольные графы, орграфы и сети.
- •Тема 11. Матрица смежности, матрица инцидентности. Операции над графами. Представление графов в эвм. Матрица смежности. Матрица инцедентности.
- •Операции над графами: Объединение графов.
- •Пересечение графов
- •Композиция графов
- •Декартово произведение графов.
- •Операция произведения графов.
- •Представление графов в эвм
- •V k1 k2
- •Теорема Форда - Фалкерсона. Алгоритм нахождения максимального потока.
- •Тема 14. Кратчайшие пути. Алгоритм Флойда. Алгоритм Дейкстры.
- •Кратчайшие пути
- •Рёбра отрицательного веса
- •Представление кратчайших путей в алгоритме
- •Алгоритм Флойда
- •Алгори́тм Де́йкстры
- •Сложность алгоритма
- •Ориентированные, упорядоченные и бинарные деревья
- •Представление в эвм свободных, ориентированных и упорядоченных деревьев.
- •Тема 16. Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья. Минимальный каркас. Схема алгоритма построения минимального каркаса.
- •Применение деревьев в программировании. Ассоциативная память. Выровненные деревья. Сбалансированные деревья.
- •Минимальный каркас. Схема алгоритма построения минимальных каркасов.
- •Тема 17. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака. Раскраска графов. Хроматическое число. Планарные графы. Укладка графов. Алгоритм раскрашивания.
- •21. Циклы и коциклы. Эйлеровы циклы. Гамильтоновы циклы. Теорема Дирака.
- •Раскраска графов. Хроматическое число. Планарность. Укладка графов. Алгоритмы раскрашивания.
- •F1(X) – нулевая функция.
- •Дизъюнктивная нормальная форма.
- •Конъюнктивная нормальная форма.
- •Тема 19. Неполностью определенные (частные) пф. Минимизация пф и неполностью определенных пф. Понятие минимизации булевых функций.
- •Метод неопределённых коэффициентов.
- •Метод карт Карно
- •Метод Петрика
- •Теорема Поста
- •Тема 22. Законы алгебры логики в офпс и их следствия. Правило выполнения совместных логических действий, правило склеивания, правило поглощения, правило развертывания.
- •Тема 23. Задача анализа и синтеза логических схем
- •Тема 24. Элементы теории алгоритмов. Цели и задачи теории алгоритмов. Формализация понятия алгоритмов: определение Колмогорова, определение Маркова
Основные характеристики нечетких множеств
Пусть M=[0,1] и A- нечеткое множество с элементами из универсального множестваEи множеством принадлежностейM.
Определение 7.3.Величинаназываетсявысотой нечеткого множества A.
Определение 7.4.Нечеткое множествоAнормально, если его высота равна 1, т.е. верхняя граница его функции принадлежности равна 1 ().
Определение 7.5.Принечеткое множество называетсясубнормальным.
Определение 7.6.Нечеткое множествопусто, если.
Непустое субнормальное множество можно нормализовать.
Определение 7.7.Нечеткое множество унимодально, µA(x)=1 только на одном x из E.
Носителем нечеткого множества A является обычное подмножество со свойством µA(x)>0, т.е. носитель A={x/µA(x)>0} ∀ x∈E.
Определение 7.8.Элементы xE, для которых µA(x)=0,5 называются точками перехода множества A.
Примеры нечетких множеств
Пример. Пусть E = {0,1,2,..,10}, M =[0,1]. Нечеткое множество "несколько" можно определить следующим образом: , его характеристики: высота = 1, носитель={3,4,5,6,7,8}, точки перехода - {3,8}.
Пример. Пусть E = {0,1,2,3,...,n,...}. Нечеткое множество "малый" можно определить:
“малый”=
Пример. Пусть E = {1,2,3,...,100} и соответствует понятию "возраст", тогда нечеткое множество "молодой", может быть определено с помощью
µ"молодой"(x)=
Нечеткое множество "молодой" на универсальном множестве E’={Иванов, Петров, Сидоров,...} задается с помощью функции принадлежности µ"молодой"(x) на E={1,2,3,..100} (возраст), называемой по отношению к E’ функцией совместимости, при этом: , гдех – возраст Сидорова.
Операции над нечеткими множествами
Включение.
Пусть A и B - нечеткие множества на универсальном множестве E.
Говорят, что A содержится в B, если ∀x ∈E µA(x) µB(x).
Обозначение: A⊂B.
Иногда используют термин "доминирование", т.е. в случае когда A⊂B, говорят, что B доминирует A.
Равенство.
A и B равны, если ∀x∈E µA(x)=µB (x).
Обозначение: .
Дополнение.
Пусть Μ=[0,1], A и B - нечеткие множества, заданные на E. A и B дополняют друг друга, если ∀x∈E µA(x) = 1 - µ B(x).
Обозначение: или.
Очевидно, что . (Дополнение определено дляM=[0,1], но очевидно, что его можно определить для любого упорядоченного M).
Пересечение.
AB - наибольшее нечеткое подмножество, содержащееся одновременно в A, и в B. .
Объединение.
АВ - наименьшее нечеткое подмножество, включающее как А, так и В, с функцией принадлежности: .
Разность.
с функцией принадлежности: .
Дизъюнктивная сумма.
с функцией принадлежности:
Примеры.
Пусть:
A = 0,4/ x1 + 0,2/ x2+0/ x3+1/ x4;
B = 0,7/ x1+0,9/ x2+0,1/ x3+1/ x4;
C = 0,1/ x1+1/ x2+0,2/ x3+0,9/ x4.
Здесь:
A⊂B, т.е. A содержится в B или B доминирует A, С несравнимо ни с A, ни с B, т.е. пары {A, С} и {A, С} - пары недоминируемых нечетких множеств.
A ≠ B ≠ C.
= 0,6/ x1 + 0,8/x2 + 1/x3 + 0/x4;
= 0,3/x1 + 0,1/x2 + 0,9/x3 + 0/x4.
A∩B = 0,4/x1 + 0,2/x2 + 0/x3 + 1/x4.
А∪В = 0,7/x1 + 0,9/x2 + 0,1/x3 + 1/x4. А - В = А∩ = 0,3/x1 + 0,1/x2 + 0/x3 + 0/x4;
В\А = ∩ В = 0,6/x1 + 0,8/x2 + 0,1/x3 + 0/x4.
А ⊕ В = 0,6/x1 + 0,8/x2 + 0,1/x3 + 0/x4.
Графическое представление операций
Для нечетких множеств можно строить визуальное представление. Рассмотрим прямоугольную систему координат, на оси ординат которой откладываются значения µA(x), на оси абсцисс в произвольном порядке расположены элементы E. Если E по своей природе упорядочено, то этот порядок желательно сохранить в расположении элементов на оси абсцисс. Такое представление делает наглядными простые операции над нечеткими множествами.
На верхней части рисунка заштрихованная часть соответствует нечеткому множеству A и, если говорить точно, изображает область значений А и всех нечетких множеств, содержащихся в A. На нижней - даны , , .