29. Способы задания графов.
Каждый граф можно представить в евклидовом пространстве множеством точек, соответствующих вершинам, которые соединены линиями, соответствующими ребрам (или дугам — в последнем случае направление обычно указывается стрелочками). — такое представление называется укладкой графа.
Доказано, что в 3-мерном пространстве любой граф можно представить в виде укладки таким образом, что линии, соответствующие ребрам (дугам) не будут пересекаться во внутренних точках. Для 2-мерного пространства это, вообще говоря, неверно. Допускают представление в виде укладки в 2-мерном пространстве графы, называемые плоскими.
Существуют и другие способы задания графов. Пусть v1, v2, ... vn — вершины графа G(V, E), а e1, e2, ... em — его ребра (дуги).
Матрицей смежности графа G называется матрица A=||aij||, i=1,...,n; j = 1, ..., n, у которой элемент aij равен числу ребер (или дуг), соединяющих вершины vi и vj (соответственно, идущих из вершины vi в вершину vj).
Матрицей инцидентности графа G называется матрица B=||bij||, i=1, .., n; j = 1, ..., m, у которой элемент bij равен 1, если вершина vi инцидентна ребру (дуге) ej и равен 0, если не инцидентна.
Наконец, граф можно задать посредством списков. Например,
вариант 1: списком пар вершин, соединенных ребрами (или дугами);
вариант 2: списком списков для каждой вершины множества смежных с ней вершин.
0-граф
Графическое представление
1) A 2) A B 3) A B
C
4) A B 5) A B
C D C D
E
Матрица смежности (квадратная!)
1) |
| A | 2) |
| A | B |
| A | 0 |
| A | 0 | 0 |
|
|
|
| B | 0 | 0 |
|
|
|
|
|
|
|
и так далее.
Матрица инцидентности (прямоугольная!)
1) |
| AA | 2) |
| AA | AB | BA | BB |
| A | 0 |
| A | 0 | 0 | 0 | 0 |
|
|
|
| B | 0 | 0 | 0 | 0 |
и так далее.
Список пар вершин (соответствие)
1) 2) и так далее.
Список списков смежных вершин (простых поддеревьев)
1) A ( ) 2) A ( ), B ( ) и так далее.
1-граф
Варианты (с петлями, без петель, дуги, ребра и т.п.)
Графическое представление
1) A 2) а) A B
4 ) б) A B 5) A B
и так далее.
Матрица смежности
1) |
| A | 2) а) |
| A | B |
| A | 1 |
| A | 1 | 0 |
|
|
|
| B | 0 | 0 |
|
|
|
|
|
|
|
2) б) |
| A | В | 2) в) |
| A | B |
| A | 0 | 1 |
| A | 0 | 0 |
| В | 0 | 0 |
| B | 0 | 1 |
|
|
|
|
|
|
|
|
и так далее.
Матрица инцидентности
1) |
| AA | 2) |
| AA | AB | BA | BB |
| A | 1 |
| A | 1 | 0 | 0 | 0 |
|
|
|
| B | 0 | 0 | 0 | 0 |
и так далее.
Список пар вершин
1) (A, A) 2) a) (A, A) 2) б) (A, В) и так далее.
Список списков смежных вершин
1) A (A) 2) а) A (A) 2) б) A (B) 2) в) B (B) и так далее.
30. Подграфы. Маршрут, цепь, простая цепь, (простой) цикл. Компонента связности. Связность в ориентированном графе. Дерево. Остовное дерево. Реберная и вершинная связности графа.
|
|
Деревья
Граф G = <V, E> называется деревом, если он связен и ацикличен.
Пусть G = <V, E> — граф с n вершинами и m ребрами.
Необходимые и достаточные условия того, что G — дерево:
Любая пара вершин в G соединена единственным путем
G связен и m = n – 1
G связен и удаление хотя бы одного его ребра нарушает связность графа
G ацикличен, но если добавить хотя бы одно ребро, то в G появится цикл.
Остовной граф
В любом связном графе найдется подграф, являющийся деревом.
Подграф в G, являющийся деревом и включающий в себя все вершины G, называется остовным деревом.
Построение остовного дерева: Выбираем произвольное ребро и последовательно добавляем другие ребра, не создавая при этом циклов, до тех пор, пока нельзя будет добавить никакого ребра, не получив при этом цикла.
Всего n -1 ребро!!!
31. Обход графа. Длина маршрута, расстояние между вершинами. Одноместные операции: удаление или добавление ребра или вершины, стягивание ребра (отождествление пары смежных вершин), подразбиение ребра. Двухместные операции.
Граф — множество V вершин и набор E неупорядоченных и упорядоченных пар вершин; обычно граф обозначают как G(V, E).
Пусть G(V, Е) – неориентированный граф. Рассмотрим конечную последовательность рёбер такую, что любые два соседние ребра имеют одну общую инцидентную вершину . Эту последовательность называется маршрутом графа.
Маршрутом (путем) для графа G(V, Е) называется последовательность v1e1v2e2v3…ekvk+1. Маршрут называется замкнутым, если его начальная и конечная точки совпадают. Число ребер (дуг) маршрута (пути) графа называется длиной маршрута (пути).
Любой отрезок конечного или бесконечного маршрута вида , где также является маршрутом и называется участком маршрута .
Заметим, что одно и то же ребро может встречаться не один раз. Вершина , инцидентная первому ребру маршрута и не инцидентная следующему ребру , называется началом маршрута. Причём если эти рёбра кратные, то необходимо указать, какая именно из двух инцидентных им вершин является началом маршрута. Аналогично определяется конец маршрута. Вершины, инцидентные рёбрам маршрута, за исключением первой и последней, называются промежуточными. Причём, поскольку одной вершине может быть инцидентно несколько рёбер, начало и конец маршрута могут быть в то же время промежуточными точками. Таков, например, маршрут на рисунке 1, где вершина 1 является началом маршрута и, в то же время, промежуточной точкой.
Рис 1.
Рассмотрим случай, когда , то есть начало и конец маршрута совпадают. Отметим, что в этом случае маршрут может быть только конечным..
Незамкнутый маршрут (путь) называется цепью. Цепь, в которой все вершины попарно различны, называется простой цепью.
В простой цепи любая вершина маршрута инцидентна не более чем двум его рёбрам.
Замкнутый маршрут (путь) называется циклическим маршрутом или циклом (контуром). Цикл, в котором все вершины попарно различны, называется простым циклом.
Иначе говоря, простой цикл – это циклический маршрут, в котором любые два соседние ребра имеют одну инцидентную вершину. Последовательности , и представляют один и тот же цикл (рисунок 2). Часто считается, что можно менять порядок рёбер цикла на противоположный, то есть, например, последовательность представляет тот же цикл.
Рис2.
Участок цепи или цикла является цепью; соответственно, участок простой цепи или простого цикла является простой цепью.
Пусть связный неориентированный граф, любые две его вершины. Тогда существует связывающая их простая цепь . Если количество этих рёбер - не минимальное из возможных, существует цепь , причём .
Штрихи в обозначении используются, потому что не обязательно рёбра под одинаковыми индексами будут совпадать.
Если же и не минимально, то найдётся связывающая эти вершины цепь с ещё меньшим количеством рёбер и так далее. Однако этот процесс не бесконечен, его можно повторить не более, чем раз. Тогда существует цепь , связывающая вершины и с минимальным количеством рёбер .
Опр. Минимальная длина простой цепи с началом в вершине и концом в вершине называется расстоянием между этими вершинами. Обозначается: .
Расстояние между любой вершиной и ею самой равно 0. Ему соответствует нулевой маршрут, не содержащий рёбер. Для любой пары различных вершин и выполняется , так как связывающая их цепь состоит хотя бы из одного ребра. Вообще, расстояние удовлетворяет аксиомам метрики:
1) , причём тогда и только тогда, когда ;
2) .
Также для расстояния выполняется неравенство треугольника: для любых трёх вершин выполняется неравенство: .
Это позволяет, для простоты рассуждений, измерять расстояние между вершинами по числу рёбер простой цепи, соединяющей их (тем более, что геометрические характеристики рёбер мы не учитываем).
Опр. Диаметром конечного графа называется наибольшее из расстояний между парой его вершин: .
Кратчайшие простые цепи, связывающие две вершины графа с максимальным расстоянием между ними, называются диаметральными простыми цепями.
Пусть - рассматриваемая вершина данного графа, а произвольная вершина графа. Максимальным удалением в графе от фиксированной вершины называется величина .
- 2. Операции над множествами. Круги Эйлера. Покрытия и разбиения. Классы разбиения.
- 3. Законы алгебры множеств. Формула включений и исключений.
- 5. Соответствия. Способы задания соответствий.
- 6. Инволюция (обращение) соответствий. Объединение, пересечение, дополнение, произведение соответствий.
- 7. Функциональные соответствия, их связь с графиками функций.
- 8. Соответствие Галуа и его роль в проективном распознавании образов. Замкнутое подмножество.
- 9. Отношение. Бинарное отношение. Рефлексивное, симметричное, антисимметричное, асимметричное, транзитивное отношения.
- Унарные:
- Бинарные:
- Соответствия a, b, r
- 10. Отношение эквивалентности. Фактор-множество множества по отношению.
- 11. Отношение предпорядка, упорядоченности, строгой упорядоченности. Отношение частичного порядка.
- 12. Замыкание отношений. Рефлексивное, симметричное, транзитивное замыкание отношений.
- 13. Понятие нечеткого множества. Функция принадлежности. Способы формализации нечетких множеств. Наиболее распространенные параметрические функции принадлежности.
- 14. Основные логические операции над нечеткими множествами и их свойства.
- 15. Диаграмма Хассе как способ задания отношения частичного порядка на множестве.
- 16. Отображения. Изоморфизм. Автоморфизм. Гомоморфизм. Эпиморфизм. Эндоморфизм. Мономорфизм. Биморфизм.
- 17. Бинарная операция и ее основное множество. Способы задания бинарной операции. Таблица Кэли. Операционный квадрат таблицы Кэли.
- 18. Группоид. Квазигруппа. Латинский квадрат. Лупа. Полугруппа. Моноид. Группа. Абелева группа.
- 19. Группа симметрий фигуры.
- 20. Группа подстановок.
- 21. Иерархия систем с двумя бинарными операциями. Кольцо. Тело. Поле (коммутативное тело). Поле Галуа.
- 22. Решетка (структура). Решетка как частично упорядоченное множество.
- 23. Решетка как универсальная алгебра.
- Графы и ориентированные графы
- 27. Виды графов: двудольные графы, регулярные графы, полные графы, деревья, планарные графы
- 28. Изоморфизм графов.
- 29. Способы задания графов.
- 32. Эйлеров путь в графе. Задача о кенигсбергских мостах. Эйлеров цикл. Теорема о существовании эйлерова цикла.
- 33. Алгоритм нахождения эйлерова цикла и его вычислительная сложность.
- 34. Гамильтонов цикл в графе. Алгоритм с возвратом для поиска гамильтонова пути. Оценки вычислительной сложности алгоритма.
- 35. Задача коммивояжера. Алгоритм поиска субоптимального решения.
- 36. Задача построения минимального остовного дерева. Алгоритм Краскала. Алгоритм Прима. Оценка вычислительной сложности этих алгоритмов.
- 37. Перенумерация вершин графа. Алгоритм топологической сортировки.
- 39. Принцип оптимальности Беллмана. Алгоритм нахождения кратчайшего пути в ориентированном графе и его вычислительная сложность.
- 1 Begin
- 40. Алгоритм вычисления расстояний между всеми парами вершин графа. Общий случай.
- 41. Алгоритм нахождения расстояния от источника до всех остальных вершин в графе с неотрицательными весами дуг — метод Дейкстры. Оценка вычислительной сложности.
- 1 Begin
- 5 Begin
- 42. Алгоритм топологической сортировки. Алгоритм нахождения расстояния от источника до всех остальных вершин в графе в случае бесконтурного графа. Оценка вычислительной сложности
- 43. Знаковые графы и их практическое применение. Задачи из области социологии малых групп, экономики и политики.
- 44. Теорема о структуре (теорема Харари о балансе).
- 45. Знаковые орграфы как модель когнитивных карт. Контуры положительной и отрицательной обратной связи и устойчивость/изменчивость моделей на орграфах.
- 46. Двудольные графы. Необходимое и достаточное условие двудольности графа.
- 47. Сети Петри. Функционирование сети Петри. Конечные разметки сети.
- Иллюстрация к правилу срабатывания перехода
- 48. Сети Петри. Ограниченность, безопасность, сохраняемость, достижимость, живость. Моделирование на сетях Петри.
- 50. Конечный автомат как математическая модель устройства с конечной памятью и как управляющая система. Способы описания конечных автоматов: перечислительный; диаграмма состояний; таблица состояний.
- 51. Алгебра логики. Функции алгебры логики. Существенные и несущественные переменные. Бинарные логические операции. Формула. Суперпозиция функций. Таблицы истинности и таблицы Кэли.
- 52. Формы записи операций (функций) — инфиксная, префиксная, постфиксная. Эквивалентные формулы.
- 53. Основные схемы логически правильных рассуждений.
- 54. Функционально полные системы (базисы). Булева алгебра логики. Функциональная полнота системы булевых функций. Примеры других алгебр логики.
- 55. Основные эквивалентные соотношения в булевой алгебре. Выражение через дизъюнкцию, конъюнкцию и отрицание других логических бинарных операций. Двойственность.
- 56. Булева алгебра логики. Сднф и днф. Карта Карно. Функциональные схемы как приложение булевых функций.
- 57. Функции k-значной логики и их задание с помощью таблицы истинности и с помощью таблицы Кэли. Примеры k-значных логик.
- 59. Квантор всеобщности и квантор существования.
- 61. Истинные формулы и эквивалентные соотношения логики предикатов.
- 62. Префиксная нормальная форма. Процедура получения пнф.
- 63. Формальные теории. Принципы построения формальной теории.
- 64. Исчисление высказываний.