Методические указания
Граф есть упорядоченная пара G=(X,E), где X — непустое множество, называемое множеством вершин; Е — неупорядоченное бинарное отношение на X, т.е. множество неупорядоченных пap (xi, xj), называемых ребрами.
Любой граф G=(X,E) можно задать бинарным отношением инцидентности между множествами X и Е и отношением смежности на множестве X. Поскольку любое бинарное отношение задается матрицами, то и граф можно задать матрицей инцидентности и матрицей смежности.
Граф G называется связным, если каждая пара его вершин может быть соединена цепью. Граф не являющийся связным, можно разбить на конечное число связных подграфов, называемых компонентами связности. Обозначим через k - число компонент связности графа. Так, граф G1 имеет 3 компоненты связности (рис. 5).
G (k=3)
Рис. 5. Компоненты связности
Два графа называются изоморфными тогда и только тогда, когда имеется взаимно однозначное соответствие между их вершинами и ребрами при сохранении отношения инцидентности.
Инварианты графа – характеристики графа, которые не меняются при изоморфных преобразованиях графа.
Существуют следующие инварианты графов
Количество вершин n.
Количество ребер r.
Количество граней f.
Число связности k.
Толщина графа t(G).
Плотность графа q(G).
Число независимости
Число вершинного покрытия
Число паросочетания .
Число реберного покрытия .
Число доминирования
Хроматическое число
Реберно-хроматическое число
Коцикломатическое число
Цикломатическое число
Количество граней можно найти для плоского связного графа. Плоский граф – граф, который укладывается на плоскости так, что никакие два его ребра не пересекаются нигде, кроме как в инцидентной им обоим вершине. Граф называется связным, если между любыми его вершинами существует цепь.
Грань – область плоскости, ограниченная ребрами, любые две точки которой могут быть соединены линией, не пересекающей ребра графа.
Формула Эйлера. Для любой геометрической реализации графа G=(X,E) на плоскости верно: n-r+f=2, где n=|X|, r=|E|, f - число граней.
Любой граф можно разбить на подграфы, каждый из которых окажется связным. Минимальное число таких связных компонент называется числом связности графа.
Толщина графа – минимальное количество его плоских подграфов, при наложении которых образуется исходный граф.
Клика – полный подграф графа G. Количество вершин максимальной клики графа называется плотностью графа.
Независимое множество вершин - множество вершин графа, никакие две вершины которого не инцидентны.
Максимальное независимое множество вершин - независимое множество вершин, которое не содержится ни в каком другом независимом множестве вершин.
Наибольшее независимое множество вершин - независимое множество вершин максимальной мощности.
Мощность наибольшего независимого множества вершин называется числом независимости графа (а также неплотностью, числом внутренней устойчивости или числом вершинной упаковки графа).
Нахождение наибольшего независимого множества достаточно сложная алгоритмическая задача, поэтому чаще всего ищут близкое к наибольшему независимому множеству и применяют более простые алгоритмы, как, например:
1. В графе выбрать вершину с наименьшей степенью в качестве элемента исходного множества.
2. Удалить выбранную вершину из графа вместе с ее окрестностью (смежные вершины и инцидентные им ребра).
Шаги 1—2 повторять до тех пор, пока множество вершин не станет пустым.
Независимое множество ребер, или паросочетание - множество ребер графа, никакие два ребра которого не инцидентны. Мощность наибольшего паросочетания называется числом паросочетания графа.
Алгоритм поиска наибольшего паросочетания:
1. Выбираем ребро с наименьшей степенью (число инцидентных вершин) и включаем в искомое паросочетание. Если таковых несколько, выбираем то из них, для которого степень второй граничной вершины наименьшая.
2. Удаляем из графа это ребро и ребра, смежные с ним.
Шаги 1—2 повторять до тех пор, пока множество ребер не станет пустым.
Доминирующее множество вершин - такое множество вершин графа, что каждая вершина графа либо принадлежит доминирующему множеству вершин, либо инцидентна некоторой вершине из него. Мощность наименьшего доминирующего множества называется числом доминирования графа.
Для решения задачи о нахождении числа доминирования графа применяется следующий алгоритм:
1. Дополнить матрицу смежности единицами по главной диагонали.
2. Выбрать из матрицы смежности строку с наибольшим числом единиц и ввести ее в искомое покрытие.
3. Вычеркнуть строку из матрицы и столбцы, покрываемые этой строкой.
Повторять шаги 2 и 3 до тех пор, пока в матрице множество столбцов не окажется пустым.
Вершинное покрытие - такое множество вершин графа, что каждое ребро графа инцидентно хотя бы одной вершине, принадлежащей доминирующему множеству вершин. Мощность наименьшего вершинного покрытия называется числом вершинного покрытия графа.
Для решения задачи о наименьшем вершинном покрытии необходимо найти кратчайшее строчное покрытие для матрицы инцидентности по алгоритму:
1. В матрице инцидентности графа отыскивается столбец с наименьшим числом единиц (если таких столбцов несколько, берем самый левый).
2. Среди строк, покрывающих столбец, отыскивается строка с наибольшим числом единиц и включается в искомое покрытие (если таких строк несколько, выбирается самая верхняя).
3. Из матрицы вычеркивается выбранная строка и столбцы, которые она покрывает.
Повторять шаги 1-3 до тех пор, пока в матрице множество столбцов не окажется пустым.
Доминирующее множество ребер, или реберное покрытие - такое множество ребер связного графа, что каждая вершина графа инцидентна хотя бы одному ребру, входящему в доминирующее множество ребер. Мощность наименьшего доминирующего множества ребер называется числом реберного покрытия графа.
Между этими инвариантами существует связь, устанавливаемая следующими леммами.
Лемма 1. Для любого графа G=(X,E) сумма числа вершинного покрытия и числа независимости постоянна и равна количеству вершин: +=|Х(G)|.
Лемма 2. Если граф G=(X,E) не имеет изолированных вершин, то сумма его числа паросочетания и числа реберного покрытия постоянна и равна количеству вершин: +=|Х(G)|.
Раскраска вершин графов – разбиение множества вершин графа на подмножества таким образом, чтобы внутри каждого подмножества никакие две вершины не были смежными. Минимальное число красок при решении задачи называется хроматическим числом графа — (G).
Всякое множество одноцветных вершин графа является независимым подмножеством, поэтому раскраску графа в минимальное количество цветов можно осуществить следующим образом:
1. Найти все независимые подмножества.
2. В булевой матрице получить кратчайшее вершинное покрытие графа независимыми подмножествами.
Раскраска ребер – разбиение множества ребер на подмножества таким образом, чтобы внутри каждого подмножества никакие два ребра не были смежными. Минимальное число красок при раскраске ребер называется реберно–хроматическим числом графа — Е(G). Если (х) – максимальная степень вершины графа, то Е(G) +1.
Деревом в неориентированном графе называют связный граф, не имеющий циклов. Если все вершины цикла принадлежат дереву, оно называется покрывающим (остовным). Рёбра графа, принадлежащие покрывающему дереву, называются ветвями, все остальные рёбра графа называются хордами.
Цикломатическое число – число рёбер, удаление которых приводит к покрывающему дереву (число хорд в графе) (G) = r–n+1.
Коцикломатическое число – число рёбер в остовном дереве *(G) = n–1.
Решение.
Согласно отношениям смежности, изобразим граф (рис. 6).
Рис. 6
Количество вершин n=3. Количество ребер r=10. Количество граней f=6 (f1=х1х2х4, f2=х2х3х4, f3=х3х4х5, f4=х1х4х6, f5=х1х6х4 х5, f6 - внешняя).
Так как данный граф является плоским и связным, то число связности k=1.
Толщина графа для данного графа t(G)=1, так как он является плоским.
Количество вершин максимальной клики в данном графе равно 3 и поэтому плотность графа q(G)=3.
Найдем наибольшее независимое множество вершин графа. Найдем вершину с наименьшей степенью - х6 ((х6) = 2) и включим ее в независимое множество. Удалим из графа саму вершину х6, смежные ей вершины х1 и х4 и инцидентные им ребра х1х2, х1х4, х1х5, х1х6, х2х4, х3х4, х4х5, х4х6. В итоге получим граф вида (рис. 7).
Рис. 7
Повторяя шаги алгоритма, далее выбираем х2 с (х2) = 1 и включаем ее в искомое множество, а после удаления смежных вершин и инцидентных им ребер оставшуюся вершину х5.
Таким образом, мы получили наибольшее независимое подмножество {х6, х2, х5} и соответственно число независимости графа = 3.
Найдем наименьшее вершинное покрытие. Строим матрицу инцидентности графа (табл. 8).
Таблица 8
-
х1х2
х1х4
х1х6
х1х5
х2х3
х2х4
х3х4
х3х5
х4х5
х4х6
х1
1
1
1
1
0
0
0
0
0
0
х2
1
0
0
0
1
1
0
0
0
0
х3
0
0
0
0
1
0
1
1
0
0
х4
0
1
0
0
0
1
1
0
1
1
х5
0
0
0
1
0
0
0
1
1
0
х6
0
0
1
0
0
0
0
0
0
1
Столбец, содержащий наименьшее число единиц (х1х2), покрывает две строки — х1 и х2. Среди них выбираем строку с максимальным числом единиц и включаем в искомое покрытие – это строка х1. Исключаем из матрицы строку х1 и столбцы, которые она покрывает. В результате получаем преобразованную матрицу инцидентности и повторяем заново шаги алгоритма.
На этом этапе столбец х2х3 задает следующую строку искомого покрытия – х3, которая покрывает столбцы х2х3, х3х4, х3х5. Переходим к упрощенной матрице инцидентности (табл. 9-10).
Таблица 9 Таблица 10
| х2х3 | х2х4 | х3х4 | х3х5 | х4х5 | х4х6 |
|
| х2х4 | х4х5 | х4х6 |
х2 | 1 | 1 | 0 | 0 | 0 | 0 |
| х2 | 1 | 0 | 0 |
х3 | 1 | 0 | 1 | 1 | 0 | 0 |
| х4 | 1 | 1 | 1 |
х4 | 0 | 1 | 1 | 0 | 1 | 1 |
| х5 | 0 | 1 | 0 |
х5 | 0 | 0 | 0 | 1 | 1 | 0 |
| х6 | 0 | 0 | 1 |
х6 | 0 | 0 | 0 | 0 | 0 | 1 |
|
|
|
|
|
Удалению из матрицы подлежит строка х4 и оставшиеся все столбцы. Из этого можно сформулировать окончательный вывод: наименьшее вершинное покрытие составляют вершины {х1, х3, х4} и число вершинного покрытия 0(G) = 3.
Найдем наибольшее паросочетание. Следуя вышеописанному алгоритму, первым можно исключить ребро x2x3 и смежные ему ребра x1x2, x2x4, x3x4, x3x5. Исключая следом ребро x4x6, из графа удаляются ребра x1x4, x1x6, x4x5. Действуя таким образом, в искомое паросочетание на последнем этапе включается оставшееся ребро x1x5. На рис. 8а), б), в) изображены преобразования графа в ходе последовательного исключения ребер.
Рис. 8а), б), в)
В итоге получаем, что в искомое покрытие включаются 3 ребра (на рис. 8в ребра, выделенные жирными линиями) и число паросочетания 1(G) = 3.
Согласно лемме 2 число реберного покрытия графа 1(G) = 3.
Найдем хроматическое и реберно–хроматическое числа графа. Согласно правилам раскраски вершин и ребер и алгоритму раскраски графа, сначала строим булеву матрицу, строки которой представляют собой независимые подмножества, а столбцы – вершины графа. Решаем задачу о кратчайшем покрытии, последовательно включая строки в искомое покрытие (табл. 11а-в).
Таблица 11а Таблица 11б Таблица 11в
| х1 | х2 | х3 | х4 | х5 | х6 |
|
| х1 | х3 | х4 |
|
| х4 | |
х2х5х6 |
| 1 |
|
| 1 | 1 |
| х1х3 | 1 | 1 |
|
| х4 | 1 | |
х1х3 | 1 |
| 1 |
|
|
|
| х3х6 |
| 1 |
|
|
|
| |
х2х5 |
| 1 |
|
| 1 |
|
| х4 |
|
| 1 |
|
|
| |
х2х6 |
| 1 |
|
|
| 1 |
|
|
|
|
|
|
|
| |
х3х6 |
|
| 1 |
|
| 1 |
|
|
|
|
|
|
|
| |
х5х6 |
|
|
|
| 1 | 1 |
|
|
|
|
|
| |||
х4 |
|
|
| 1 |
|
|
|
|
|
|
|
|
В результате получаем покрытие, представляющее собой совокупность независимых подмножеств П = {{х2х5х6},{х1х3},{х4}} и следующий граф с хроматическим числом графа (G) = 3 и реберно–хроматическим числом графа Е (G) = 5 (рис. 9).
Рис. 9
Найдем наименьшее доминирующее множество. Для этого построим матрицу смежности и дополним ее единицами по главной диагонали (табл. 12).
Таблица 12
-
х1
х2
х3
х4
х5
х6
х1
1
1
0
1
1
1
х2
1
1
1
1
0
0
х3
0
1
1
1
1
0
х4
1
1
1
1
1
1
х5
1
0
1
1
1
0
х6
1
0
0
1
0
1
Вводим в искомое покрытие строку х4, так как она содержит наибольшее число единиц, вычеркиваем ее из матрицы и столбцы, которые она покрывает. В результате получаем доминирующее множество вершин {х4} и число доминирования графа = 1.
Найдем коцикломатическое и цикломатическое числа графа. Для этого построим покрывающее дерево (рис. 9.9) и подсчитаем число ветвей и число хорд.
Рис. 10
Цикломатическое число (G) = 5, коцикломатическое число *(G) = 5.
- Литература
- Перечень компьютерных программ, наглядных и других пособий, методических указаний и материалов и технических средств обучения
- 1.2.Операции над множествами
- 1.3. Булева алгебра множеств
- 1.4. Разбиения и покрытия
- 2. Отношения бинарные и n-арные
- 2.1. Декартово произведение
- 2.2. Бинарные отношения (соответствия)
- 2.3. Операции над бинарными отношениями
- 2.4. Функциональные отношения
- 2.5. Бинарные отношения на множестве
- 2.6. Алгебраические системы
- 3. Основные понятия теории графов
- 3.1. Абстрактный граф
- 3.2. Графическое представление бинарного отношения
- Множеств а и в
- 3.3. Матричные представления графа
- 3.4. Части графа
- 3.5. Достижимость и связность
- 3.6. Доминирующие множества графа
- 3.7. Независимые множества графа
- 3.8. Раскраска графа
- 3.9.Планарность графов
- 3.10. Инварианты графов
- 4. Булевы функции
- 4.1. Способы задания булевой функции
- 4.2. Элементарные булевы функции и алгебраические формы
- 4.3. Интерпретации булевой алгебры
- 4.4. Нормальные формы булевых функций
- 4.4.1. Дизъюнктивные нормальные формы
- 4.4.2. Конъюнктивные нормальные формы
- 4.5 Полнота и замкнутость системы логических функций
- 4.6. Локальные упрощения днф
- 4.6.1. Удаление избыточных элементарных конъюнкций
- 4.6.2. Удаление избыточных литералов
- 4.7. Графическое представление булева пространства и булевых функций
- 4.7.1. Булев гиперкуб
- 4.7.2. Развертка гиперкуба на плоскости. Карта Карно
- 4.8. Минимизация днф
- 4.8.1. Метод Квайна-МакКласки
- 4.8.2. Метод Блейка-Порецкого
- 4.8.3. Визуально-матричный метод минимизации
- 5. Элементы математической логики
- 5.1 Алгебра высказываний
- Всякое высказывание логично следует из самого себя.
- 2. Закон противоречия:
- Если из а следует b, а b ложно, то а тоже ложно.
- 5.2. Логические отношения
- 5.3.Проверка правильности рассуждений
- 5.4. Решение логических задач методом характеристического уравнения
- 5.6. Кванторы
- 5.7 Эквивалентные соотношения. Префиксная нормальная форма
- 6. Основы теории алгоритмов
- 6.1. Интуитивное понятие об алгоритме
- 6.2. Три типа алгоритмических моделей
- 6.3. Кризис теории множеств антиномии. Выводы из антиномий
- 6.4. Машины Тьюринга как модели алгоритмов
- 6.5. Алгоритмы решения некоторых задач теории графов на графах
- 7. Конечный автомат и его описание.
- 7.2. Представления автомата
- 7.3. Связь между моделями Мили и Мура
- 7.4. Автомат с абстрактным состоянием. Булев автомат
- 7.5. Понятие о регулярных выражениях алгебры событий.
- 7.6. Задачи абстрактной теории конечных автоматов
- 8. Комбинаторные задачи и методы комбинаторного поиска
- 8.1. Задачи подсчета числа комбинаторных решений
- 8.2. Особенности оптимизационных комбинаторных задач
- 8.3. Вычислительная сложность
- 8.4. Методы комбинаторного поиска
- 8.5. Задача о кратчайшем покрытии и методы ее решения
- 8.5.1. Постановка задачи
- 8.5.2. Приближенные методы решения задачи
- 8.5.3. Точный метод
- Вопросы к зачету
- 28. Нормальные формы булевых функций. Дизъюнктивные нормальные формы
- 44. Эквивалентные соотношения. Префиксная нормальная форма
- Практический раздел Контрольная работа Указания по выбору варианта
- Контрольное задание №1. Используя диаграммы Эйлера-Венна, решить задачу
- Методические указания
- Задачи для самостоятельного решения
- Контрольное задание №2. Получить сднф, скнф, используя таблицу истинности. Построить днф, кнф, упростив выражение.
- Методические указания
- Задачи для самостоятельного решения
- Контрольное задание №3. Упростить схему (рис. 2)
- Методические указания
- Задачи для самостоятельного решения
- Задачи для самостоятельного решения
- Методические указания
- Задачи для самостоятельного решения
- Контрольное задание №6. Найти инварианты неориентированного графа, заданного матрицей смежности
- Методические указания
- Задачи для самостоятельного решения