- •Основные понятия теории множеств. Способы задания множеств. Мощность множества. Примеры.
- •Операции с множествами. Свойства операций.
- •Подмножества. Булеан. Мощность булеана. Разбиение, покрытие и дизъюнктивный класс. Примеры.
- •Прямое произведение множеств. Мощность прямого произведения множеств.
- •Соответствие двух множеств. Виды соответствий. Равномощные множества. Примеры.
- •Многоместные отношения. Способы задания бинарных отношений. Композиция отношения. Примеры.
- •Виды отношений. Ядро отношения. Примеры.
- •Свойства отношений. Примеры. Теорема о свойствах отношений.
- •R рефлексивно I r
- •R транзитивно rr r
- •R антисимметрично rr-1I
- •Замыкание отношения. Примеры.
- •Отношение эквивалентности. Примеры. Классы эквивалентности.
- •Отношение порядка. Примеры.
- •Две теоремы о матрицах отношений.
- •Алгебра. Свойства алгебраических операций.
- •Морфизмы алгебр. Виды морфизмов.
- •Функция. Виды функций. Формулы.
- •Способы задания функций.
- •Основные понятия теории графов. Классификация вершин и дуг графа. Отношения связности и инцидентности в графе. Виды графов: полный, безреберный, орграф, мультиграф, двудольный граф.
- •Изоморфные графы. Примеры.
- •Способы задания графов. Матрицы и диаграмма графа. Примеры.
- •Части графа: подграф, суграф, дополнительный граф. Операции с частями графа. Примеры.
- •Маршрут, цепь, цикл. Отношение связности в графе. Компоненты связности. Примеры.
- •Разрезы и разделяющие множества графа. Примеры.
- •Дерево и лес. Свойства деревьев. Диаметр и радиус дерева. Примеры.
- •Остов графа. Примеры.
- •Центральные и бицентральные деревья. Радиус и диаметр дерева. Примеры.
- •Эйлеровы цепи и циклы. Эйлеровы графы. Теорема Эйлера. Примеры.
- •Гамильтоновы цепи и циклы. Гамильтоновы графы. Примеры.
- •Раскраски графа. Хроматические характеристики: хроматическое число, хроматический индекс, тотальный минимум. Примеры.
- •Укладка графа на плоскости. Планарность графа. Примеры.
- •Критерии планарности графов.
- •Булева алгебра. Переключательные функции (пф). Примеры. Количество наборов и пф от n переменных. Фиктивные переменные.
- •Способы задания пф. Таблица истинности. Формулы и суперпозиции. Равносильные формулы. Семантические деревья.
- •Пф от одной и двух переменных. Сигнатура булевой алгебры. Выражение функций от двух переменных через дизъюнкцию, конъюнкцию и отрицание.
- •Свойства пф.
- •Двойственность функций. Принцип двойственности. Принцип двойственности для алгебры логики.
- •Разложение пф по переменным.
- •Дизъюнктивная и конъюнктивная нормальные формы. Совершенные формы. Получение скнф из сднф.
- •Минимизация функций в классе днф. Пример минимизации методами Квайна и сочетания индексов.
- •Функционально полные системы (фпс) пф. Замыкание фпс пф. Примеры базисов.
- •Замкнутые классы пф. Классификация замкнутых классов.
- •Теорема Поста о функциональной полноте систем пф.
Укладка графа на плоскости. Планарность графа. Примеры.
Изображение графа плоскостной диаграммой называется укладкой графа на плоскость.
Граф, который можно уложить на плоскости без пересечения ребер, называется планарным, а его укладка - плоский граф планарного графа.
Часть плоскости, ограниченная соседними ребрами, называется гранью плоского графа.
Ровно одну из граней произвольно можно выбрать внешней.
Множество граничных точек грани называется ее краем.
Каждое ребро принадлежит не более, чем 2 краям грани, каждая вершина принадлежит хотя бы одной грани.
Прежде, чем сформулировать критерии определения планарности, введем некоторые понятия.
1). Любой граф, не являющийся деревом, можно представить матрицей циклов и матрицей разрезов.
Матрица разрезов получается из матрицы инцидентности заменой петель на 0 и элементарными преобразованиями матриц так, чтобы первые столбцы представляли собой единичную матрицу. По строкам оставшейся части матрицы располагаются простые разрезы.
Из матрицы разрезов можно получить матрицу циклов: ЕСCC/E(CT)E. В такой матрице по строкам располагаются простые циклы графа.
Пример:
2). Граф G*(V*,E*) называется двойственным к G(V,E), если между их ребрами можно установить взаимно-однозначное соответствие, при котором некоторая матрица разрезов графа G в то же время оказалась матрицей циклов графа G* И наоборот: некоторая матрица разрезов графа G* в то же время оказалась матрицей циклов графа G.
Отношение двойственности симметрично. Два графа, двойственные одному и тому же графу могут быть и не изоморфными.
Существуют графы, не имеющие двойственных, например, "3 дома и 3 колодца".
У графа, имеющего двойственный, каждая часть имеет двойственную часть в двойственном графе.
Граф максимально планарен, если он планарен, но утрачивает это свойство после операции добавления ребра.
Граф внешнепланарен, если он предполагает такую укладку, при которой все вершины лежат на краю одной (внешней) грани.
3). Дополнительные операции с элементами графа:
а) разбиение ребра вершиной
в) стягивание ребра
с) расщепление вершины
операция а) позволяет задать отношение гомеоморфности графов.
Критерии планарности графов.
КРИТЕРИИ ПЛАНАРНОСТИ ГРАФОВ.
Мак-Лейна. Пусть граф G(V,E) –произвольный, а Gc- его часть, полученная удалением петель, мостов и голых вершин. Граф G планарен, если часть Gc – пуста или множество ее ребер можно разбить на линейно независимую систему разрезов длины хроматического числа æ(Gс), в которых каждое ребро лежит ровно в двух разрезах.
Упрощенная формулировка была дана Эйлером: (Характеристика Эйлера).
В связном планарном графе |V|-|E|+i=2, где i – количество граней.
Уитни. Граф планарен, если у него есть двойственный.
Понтрягина – Куратовского. Граф планарен, если он не содержит частей, гомеоморфных полному графу на 5 вершинах или двудольному на 6 вершинах.
Харрари – Татта. Является обобщением Понтрягина-Куратовского. Планарный граф невозможно превратить в граф, гомеоморфный полному графу на 5 вершинах или двудольному на 6 вершинах ("3 дома и 3 колодца").