34. Деревья, леса. Остовы графов. Цикломатическое число, коранг. Алгоритм построения остова минимального веса. Обходы графов по глубине и ширине.
Деревом называется связный неорграф, не содержащий циклов. Любой неорграф без циклов называется ациклическим графом или лесом.
Теорема: Для неорграфа G без петель содержащего n вершин следующие условия эквивалентны:
G – дерево
G – связный граф, содержащий n-1 ребро
G – ациклический граф, содержащий n-1 ребро
любые две несовпадающие вершины графа G соединяет единственная простая цепь
G – ациклический граф, такой, что если какую-либо пару его несмежных вершин соединить ребром, то полученный граф будет содержать ровно один цикл
Пусть G=<M,R> - неорграф. Часть G’=<M’,R’> графа G называется остовом или каркасом графа G, если M=M’ и G’ – лес, который на любой связной компоненте графа G образует дерево.
Теорема: Число ребер произвольного неорграфа G, которое необходимо удалить для получения остова не зависит от последовательности их удаления и равно m-n+c, где m – число ребер, n – число вершин, c – число компонент связности.
Доказательство: Действительно, если i-я компонента связности Ci, графа G содержит ni врешин, то по предыдущей теореме соответствующее дерево Ki остова содержит ni-1 ребро. Следовательно для получения Ki из компоненты Ci нужно удалить mi-(ni-1) ребер. Суммируя удаляемые ребра по всем компонентам связности, получаем, что необходимо удалить m-n+c ребер.
Число υ(G)=m-n+c называется цикломатическим числом или цикломатическим рангом графа G. Число υ*(G)=n-c называется коциклическим рангом или корангом.
Неоргарф G является лесом тогда и только тогда, когда υ(G)=0.
Неорграф G имеет единственный цикл тогда и только тогда, когда υ(G)=1.
Алгоритм построения остова минимального веса:
Строим граф T1=<M, u1>, где u1 – ребро минимального веса.
Если граф Ti уже построен и i<n-c, где n=|M|, с=с(G), то строим граф Ti+1=Ti+ui+1, где ui+1 – ребро минимального веса среди ребер, не входящих в Ti и не составляющих циклов с Ti.
Обход графа по глубине и ширине:
Пусть G=<M,R> связный неорграф, T – некоторый остов графа, a – некоторая фиксированная вершина, корень дерева T. Разместим вершины из M по этажам таким образом, чтобы корень a находился в верхнем этаже, смежные с ним вершины занимали этаж на единицу ниже, смежные с отмеченными вершинами еще на единицу ниже и тд. Получаем e(a)+1 этаж, где e(a) – эксцентриситет вершины a.
При обходе графа по глубине после очередной рассмотренной вершины выбирается смежная с ней вершины следующего этажа. Если очередная рассмотренная вершина висячая и ее достижение не дает решения задачи, то возвращаемся до ближайшей вершины степени ≥3 и просматриваем вершины другого, еще не пройденного маршрута.
При обходе графа по ширине просмотр вершин дерева ведется по этажам, переход к вершинам следующего этажа происходит только после просмотра всех вершин данного этажа.
Yandex.RTB R-A-252273-3
- Множества. Основные операции над множествами и их свойства. Диаграммы Венна. Декартово произведение множеств.
- Отношения и бинарные отношения, область определения, область значения, обратные отношения. Произведение отношений.
- Функции. Инъекции, сюръекции, биекции. Понятие последовательности.
- Множество натуральных чисел. Два подхода к определению множества натуральных чисел. Аксиомы Дедекинда-Пеано. Принцип математической индукции.
- Понятие мощности множества. Сравнение мощностей. Теорема Кантора-Берштейна. Операции над кардинальными числами.
- Конечные, счетные, континуальные множества. Мощность булеана.
- Матрицы бинарных отношений и их свойства. Специальные бинарные отношения.
- Отношения эквивалентности и разбиения. Фактор-множества. Матрица отношения эквивалентности.
- Отношения порядка. Максимальные и минимальные, наибольший и наименьший элементы частично упорядоченного множества. Диаграммы Хассе. Линейно и вполне упорядоченные множества.
- Алгебраические системы: определение и примеры. Понятие полугруппы, моноида, группы; задание с помощью таблицы Кэли.
- Морфизмы алгебраических систем.
- Подсистемы. Термы сигнатуры ∑. Подсистема, порожденная множеством, ее структура.
- Конгруэнции, фактор-алгебры, теорема о гомоморфизме.
- 17.Многообразия. Теорема Биркгофа.
- Решетки. Дистрибутивные решетки. Критерий дистрибутивности.
- Булевы алгебры. Теорема Стоуна. Принцип двойственности для булевых алгебр.
- Булево кольцо.
- 18. Алгебры отношений. Реляционные алгебры.
- 27. Виды и способы задания графов.
- 28. Подграфы и части графа. Операции над графами. N-Мерные кубы.
- Объединение: .
- 29. Маршруты, циклы, цепи. Достижимость и связность (матрицы достижимости, контрдостижимости, связности).
- 30. Расстояние в графах. Центральные и периферийные вершины.
- 31. Взвешенное расстояние. Алгоритм Форда-Беллмана.
- 32. Степени вершин. Эйлеровы графы, циклы, цепи. Алгоритм построения эйлерова цикла.
- 33. Гамильтоновы графы. Постановка задачи коммивояжера.
- 34. Деревья, леса. Остовы графов. Цикломатическое число, коранг. Алгоритм построения остова минимального веса. Обходы графов по глубине и ширине.
- 35. Упорядоченные и бинарные деревья. Соответствия между ними.
- 36. Фундаментальные циклы, разрезы. Матрицы фундаментальных циклов, разрезов.
- 37. Раскраска графов. Планарные графы.
- 38. Формулы алгебры логики, их таблицы истинности.
- 39. Булевы функции, способы их задания. Представления булевых функций формулами.
- 40. Эквивалентность формул.
- 41. Двухэлементная булева алгебра. Алгебра булевых функций. Фактор-алгебра алгебры формул.
- 42. Дизъюнктивные и конъюнктивные нормальные формы. Алгоритм приведения формулы к днф и кнф.
- 43. Теорема Шеннона. Теорема о функциональной полноте. Способы построения сднф и скнф.
- 44. Импликанты, простые импликанты. Сокращенные, тупиковые, минимальные нормальные формы. Алгоритм Квайна построения мднф.
- 45. Карты Карно. Построение мднф с помощью карт Карно.
- 46. Принцип двойственности. Самодвойственные функции.
- 47. Теорема Жегалкина. Способы построения полиномов Жегалкина. Линейные функции.
- 48. Классы Поста. Полные системы булевых функций. Теорема Поста. Базисы.
- 49. Логические сети. Реализация булевых функций контактными схемами и схемами из функциональных элементов.