-
Множества и отношения
-
Множества
- - определяемая совокупность объектов
-
Пустое
- не содержит элементов
-
Класс/семейство
- элементы - множества
-
Универсум
- достаточно широкое множество,
из которого берутся элементы в
каждом конкретном случае
-
Способы задания
-
Перечисление элементов
- M={a1,a2,a3...}
- Порождение процедурой
-
Характеристический
предикат
- Topic
-
Операции
-
A=B
- Элементы совпадают
-
Topic
- Каждый элемент A есть элемент B
- A - собственное или строгое
подмножество B
- Topic
-
Topic
- Множества равны, если они являются
подмножествами друг друга
-
Объединение
- Topic
-
Пересечение
- Topic
-
Разность
- Topic
-
Симметрическая разность
- Topic
-
Дополнение
- Topic
-
Прямое (декартово) произведение)
- Topic
-
Мощность
- число элементов множества - |M|
-
Булеан 2^M
- Множество всех подмножеств
-
Счетные множества
- Равномощные N
-
Теорема Кантора
- Множество всех действительных чисел отрезка [0,1] не является счетным.
-
Континум
- Мощность множества чисел отрезка [0,1]
-
Конитинуальные множества
- Множество всех подмножеств
счетного множества континуально
-
Отношения
- Бинарные
- Комбинаторика
-
Теория графов
-
Граф
- пара множеств Г=[A,B] -
-
Степень вершины
- Количество ребер инцидентных данной вершине d(a)
-
Петля
- Ребро (a,a)
-
Виды
- Неориентированный
-
Мультиграф
- Граф с кратными ребрами
- Орграф
-
Связный
- Связаны любые две вершины
-
Эйлеров
- Связан и все степени четны
-
Гамильтонов
- Существует простой цикл
содержащий все вершины
- Условие Дирака
- Условие Оре
- Условие Поша
-
Способы задания
-
Матрица смежности
- i, j = 1 .. p
-
Матрица инцидентности
- i = 1 ... p
j = 1 ... q
-
Вектор и список смежности
-
Вектор
- Компоненты - номера вершин, смежных с данной
-
Список
- Совокупность векторов
- Изоморфизм
-
Пути
-
Цепь
- Простая
-
Цикл
- Простой
- Эйлеров
- Содержит все ребра и вершины