
- •Практикум по дискретной математике.
- •Содержание.
- •Введение.
- •1. Элементы математической логики. Логика высказываний.
- •1.1. Основные определения.
- •1.2. Разложение логических (булевых) функций по переменным. Дизъюнктивная и конъюнктивная нормальные формы.
- •1.3. Логические законы.
- •2. Множества и отношения.
- •2.1. Множества и операции над ними. Связь с логикой высказываний.
- •Доказать тождества:
- •2.2. Отношения на множествах. Бинарные отношения.
- •2.3. Однородные отношения.
- •2.4. Функции как специальный вид отношений.
- •2.5. Алгебраические системы. Алгебра множеств и булева алгебра.
- •3. Теория графов.
- •3.1. Основные понятия теории графов.
- •3.2. Представление графов в эвм.
- •1. Представление матрицей смежности.
- •3.3. Изоморфизм графов.
- •3.4. Подграфы и части. Операции над графами.
- •3.5. Методы обхода (просмотра) вершин графов.
- •3.6. Маршруты, цепи, циклы. Связность и достижимость.
- •3.7. Вершинная и реберная связность графов. Мосты, блоки и точки сочленения.
- •3.8. Двудольные графы. Паросочетания.
- •3.9. Алгоритмы расчета кратчайших путей между вершинами графа.
- •3.10. Деревья и леса.
- •3.11. Специальные виды деревьев.
- •3.12. Сети. Потоки в сетях.
- •3.13. Элементы цикломатики. Циклы и коциклы. Фундаментальная система циклов и цикломатическое число.
- •3.14. Эйлеровы графы и эйлеровы циклы.
- •3.15. Гамильтоновы графы и гамильтоновы циклы.
- •3.16. Независимые и покрывающие множества. Задачи о раскраске.
3.3. Изоморфизм графов.
Когда мы описывали графы для ввода в ЭВМ, мы нумеровали вершины произвольным способом, из чего можно сделать вывод, что вид графа не зависит от того, как мы пронумеровали вершины. То есть, конечно, что-то изменится в его конкретном компьютерном описании, но все такие описания будут соответствовать ровно одной и той же графической конструкции. Поэтому говорят, что графы G и G’ изоморфны, если один получается из другого перенумерацией вершин.
Если рассмотреть матрицы смежности этих графов, то для получения A’ из A нужно поменять местами соответствующие строки и столбцы матрицы A. То есть для компьютерной программы изоморфизм отнюдь не очевиден, и поиск изоморфных графов представляет собой задачу перебора, как, кстати, и многие другие задачи теории графов. Хотя перебор во многих случаях может быть существенно сокращен за счет использования каких-то свойств анализируемых графов.
Математически изоморфизм определяют как биекцию VV’, сохраняющую смежность, или, если каждой вершине из V инцидентно хотя бы одно ребро, биекцию EE’. Вот, кстати, повод вспомнить, что такое биекция. Прежде всего, это функциональное отношение или просто функция. То есть для каждого прообраза e=(vi,vj) существует единственный образ e’=(v’i,v’j). Эта функция тотальна и сюръективна, поскольку V=V’. А поскольку каждому ребру e’ соответствует только одно ребро e, то данная функция инъективна. Таким образом, мы имеет тотальную инъективную и сюръективную функцию, то есть биекцию.
Рассмотрим теперь свойства этого биективного функционального отношения. Прежде всего, заметим, что оно однородно, поскольку определено на множестве {G}{G}.
Рефлексивность. Отношение двух одинаковых графов с одинаковой нумерацией вершин есть тождественное отношение. Следовательно, наша биекция рефлексивна.
Симметричность. Если два графа отличаются только порядком нумерации вершин, то мы можем как первый получить из второго, так и второй получить из первого обратной перенумерацией вершин. Значит, отношение симметрично.
Транзитивность. Если мы можем получить G2 из G1, заменив каждый номер i1 на номер i2, а G3 получить из G2, заменив каждый номер i2 на i3, то выполнив операцию композиции с каждой тройкой номеров вершин i1, i2, i3, мы получим из графа G1 граф G3.
Итак, получается, что отношение изоморфизма между графами есть отношение эквивалентности, а множество изоморфных графов образует класс эквивалентности. Это означает, что все свойства графа мы можем рассматривать «с точностью до изоморфизма», то есть для всего класса изоморфных (эквивалентных) графов. Именно отсюда проистекает понятие инвариантов – числовых характеристик, одинаковых для всех изоморфных графов. Основные инварианты графа – это число вершин p и число ребер q. В регулярных графах инвариантом является степень регулярности n. Для нерегулярных графов мы можем рассматривать, например, такие инварианты, как максимальная степень вершины max, минимальная степень вершины min, число вершин заданной степени k и т.п. По мере изучения мы введем в рассмотрение еще ряд полезных инвариантов. Но, к сожалению, не существует набора инвариантов, который бы однозначно описывал весь класс эквивалентных графов. Именно поэтому для поиска изоморфных графов в общем случае приходится использовать перебор.
Упражнения.
Изоморфны ли графы, заданные следующими списками смежности? Объясните ответ.
2,3,4; 2) 1,4,5; 3) 1,5; 4) 1,2; 5) 2,3.
1) 2,3; 2) 1,3,4,5; 3) 1,2; 4) 2,5; 5) 2,4.
Е
сть ли среди следующих графов изоморфные? Если есть, то какие?
Есть ли среди графов, заданных следующими списками смежности, изоморфные?
2,3,5; 2) 1,3; 3) 1,2,4,5,6; 4) 3,6; 5) 1,3; 6) 3,4.
2,3,4,5,6; 2) 1,6; 3) 1,6; 4) 1,5; 5) 1,4; 6) 1,2,3.
2,5; 2) 1,3,4,5,6; 3) 2,4; 4) 2,3; 5) 1,2,6; 6) 2,5.