- •Основные понятия теории множеств. Способы задания множеств. Мощность множества. Примеры.
- •Операции с множествами. Свойства операций.
- •Подмножества. Булеан. Мощность булеана. Разбиение, покрытие и дизъюнктивный класс. Примеры.
- •Прямое произведение множеств. Мощность прямого произведения множеств.
- •Соответствие двух множеств. Виды соответствий. Равномощные множества. Примеры.
- •Многоместные отношения. Способы задания бинарных отношений. Композиция отношения. Примеры.
- •Виды отношений. Ядро отношения. Примеры.
- •Свойства отношений. Примеры. Теорема о свойствах отношений.
- •R рефлексивно I r
- •R транзитивно rr r
- •R антисимметрично rr-1I
- •Замыкание отношения. Примеры.
- •Отношение эквивалентности. Примеры. Классы эквивалентности.
- •Отношение порядка. Примеры.
- •Две теоремы о матрицах отношений.
- •Алгебра. Свойства алгебраических операций.
- •Морфизмы алгебр. Виды морфизмов.
- •Функция. Виды функций. Формулы.
- •Способы задания функций.
- •Основные понятия теории графов. Классификация вершин и дуг графа. Отношения связности и инцидентности в графе. Виды графов: полный, безреберный, орграф, мультиграф, двудольный граф.
- •Изоморфные графы. Примеры.
- •Способы задания графов. Матрицы и диаграмма графа. Примеры.
- •Части графа: подграф, суграф, дополнительный граф. Операции с частями графа. Примеры.
- •Маршрут, цепь, цикл. Отношение связности в графе. Компоненты связности. Примеры.
- •Разрезы и разделяющие множества графа. Примеры.
- •Дерево и лес. Свойства деревьев. Диаметр и радиус дерева. Примеры.
- •Остов графа. Примеры.
- •Центральные и бицентральные деревья. Радиус и диаметр дерева. Примеры.
- •Эйлеровы цепи и циклы. Эйлеровы графы. Теорема Эйлера. Примеры.
- •Гамильтоновы цепи и циклы. Гамильтоновы графы. Примеры.
- •Раскраски графа. Хроматические характеристики: хроматическое число, хроматический индекс, тотальный минимум. Примеры.
- •Укладка графа на плоскости. Планарность графа. Примеры.
- •Критерии планарности графов.
- •Булева алгебра. Переключательные функции (пф). Примеры. Количество наборов и пф от n переменных. Фиктивные переменные.
- •Способы задания пф. Таблица истинности. Формулы и суперпозиции. Равносильные формулы. Семантические деревья.
- •Пф от одной и двух переменных. Сигнатура булевой алгебры. Выражение функций от двух переменных через дизъюнкцию, конъюнкцию и отрицание.
- •Свойства пф.
- •Двойственность функций. Принцип двойственности. Принцип двойственности для алгебры логики.
- •Разложение пф по переменным.
- •Дизъюнктивная и конъюнктивная нормальные формы. Совершенные формы. Получение скнф из сднф.
- •Минимизация функций в классе днф. Пример минимизации методами Квайна и сочетания индексов.
- •Функционально полные системы (фпс) пф. Замыкание фпс пф. Примеры базисов.
- •Замкнутые классы пф. Классификация замкнутых классов.
- •Теорема Поста о функциональной полноте систем пф.
Остов графа. Примеры.
Для любого графа определяется понятие остовного дерева (остова) – суграф данного графа, являющийся деревом. Количество остовов дерева можно вычислить через измененную матрицу смежности: 1) изменяем у всех элементов знаки на противоположные; 2) главную диагональ заменяем на степени соответствующих вершин; 3) вычисляем алгебраические дополнения главной диагонали (у всех элементов они равны), значение которых и есть количество остовов.
Центральные и бицентральные деревья. Радиус и диаметр дерева. Примеры.
Длина максимальной ветки дерева называется его высотой (h).
Расстояние от корня до вершины - уровень вершины (ребра).
Вершины одного уровня – ярус дерева.
Висячие вершины (ребра) имеют I уровень.
Вершина(-ы) максимального уровня называются центром (-ами) дерева.
Если в дереве 1 центр, то оно центрально, если 2 центра, то бицентрально.
Цепи, проходящие через центр(ы), называются диаметральными, а наибольшая из них – диаметр дерева.
Каждая вершина дерева имеет кортеж (последовательность натуральных чисел)- количество вершин соответствующей ветки.
Кортежи центров называются центральными.
Длина кортежа равна своему первому числу.
У изоморфных деревьев центральные кортежи совпадают.
Эйлеровы цепи и циклы. Эйлеровы графы. Теорема Эйлера. Примеры.
Граф, в котором есть замкнутая цепь (в орграфе – контур), называется графом с циклом. В графе может быть несколько циклов. Каждое ребро графа может принадлежать сразу нескольким циклам.
Количество циклов в графе называется цикломатическим числом.
Ясно, что цикломатическое число дерева =0.
Степень числа – количество инцидентных ему ребер. Валентность – степень с учетом двойного вхождения петли.
Обход графа – некоторое перечисление всех его вершин и (или) ребер.
В конечном связном графе всегда можно построить ориентированный цикл, проходящий через каждое ребро по одному разу в каждом направлении (обход ребер графа).
Простой цикл, содержащий все ребра графа ровно один раз, называется эйлеровым.
Граф, содержащий хотя бы один эйлеров цикл, называется эйлеровым графом.
На диаграмме эйлеров граф можно провести, не отрывая карандаша от бумаги и не проводя одно и то же ребро дважды.
Теорема Эйлера: конечный неориентированный граф эйлеров тогда и только тогда, когда
он связен;
он нетривиален (не состоит только из одной вершины);
каждая вершина имеет четную валентность;
множество ребер можно разбить на простые циклы.
Доказательство:
1. в несвязном графе невозможно построить цикл, проходящий по всем ребрам, граф должен быть связен;
2. тривиальный граф не имеет ребер, нет возможности построить цикл;
3. при построении обхода графа будем задавать ребрам направления, тогда в любой вершине у каждого входа должен быть выход, иначе цикла не получится. Эйлеров граф может иметь кратные ребра, петли в нем не имеют смысла.
4. из 2. , что удаление одного цикла превращает граф в эйлеров граф (сохраняет четность валентности вершин) или в пустой граф, но никак не в дерево, т.е. в эйлеровом графе множество ребер можно разбить на простые циклы.
Простая открытая цепь, проходящая по всем ребрам графа, называется эйлеровой цепью.
Для наличия в графе эйлеровой цепи необходимо, чтобы граф был связен, и степени промежуточных вершин были четными. Вершины с нечетными степенями будут концами этой цепи. Для нахождения наименьшего количества эйлеровых цепей в графе достаточно количество вершин нечетной степени поделить пополам.
Для орграфа эйлеровость характеризуется равенством входов и выходов.
В любом графе число вершин нечетной степени четно.