- •СОДЕРЖАНИЕ
- •§ 1. Множества и операции над ними
- •2. Способы задания множеств
- •3. Операции над множествами
- •4. Свойства операций над множествами. Алгебра множеств
- •5. Декартово произведение множеств
- •§ 2. Отображения множеств
- •2. Произведение (композиция) отображений
- •3. Обратные отображения
- •§ 3. Отношения
- •2. Операции над бинарными отношениями и их свойства
- •§ 4. Отношения экивалентности
- •2. Отношения частичного порядка
- •§ 5. Комбинаторика
- •1. Размещения
- •2. Перестановки
- •3. Сочетания
- •4. Сочетания с повторениями
- •5. Бином Ньютона. Понятие о производящей функции
- •6. Числа Стирлинга
- •7. Число Белла
- •§ 6. Мощности множеств
- •2. Мощности бесконечных множеств. Счетные множества
- •4. Кардинальные числа. Гипотеза континуума
- •§ 7. Основные определения и типы графов
- •2. Основные типы графов
- •3. Обобщения понятия графа
- •4. Изоморфные графы
- •5. Количество различных графов порядка n
- •§ 8. Основные числовые характеристики и матрицы графа
- •2. Матрица смежности
- •3. Матрица Кирхгофа
- •4. Матрица инцидентности
- •§ 9. Подграфы и операции на графах
- •1. Подграфы
- •2. Операции над графами
- •§ 10. Связные графы и расстояние в графах
- •2. Компоненты связности. Связность графа и его дополнения
- •3. Расстояния на графах
- •§ 11. Деревья и остовы
- •1. Критерии дерева
- •2. Корневое дерево
- •3. Типы вершин дерева, радиус и центры
- •4. Остовы графа, циклический ранг и ранг разрезов
- •5. Задача о минимальном остове
- •7. Линейное пространство графа
- •§ 12. Эйлеровы и гамильтоновы графы
- •1. Эйлеровы графы
- •2. Гамильтоновы графы
- •§ 13. Планарные графы
- •2. Планарные графы. Формула Эйлера
- •3. Следствия из формулы Эйлера
- •4. Гомеоморфные графы. Критерий планарности
- •§ 14. Раскраски графов
- •2. Хроматическое число 2–дольного графа. Критерий 2-дольности
- •3. Некоторые оценки хроматического числа
- •4. Раскраски планарных графов
- •5. Реберная раскраска графа
- •§ 15. Паросочетания
- •1. Паросочетания
- •2. Теорема Холла о свадьбах
- •§ 16. Сети
- •1. Основные понятия
- •2. Потоки в сетях
- •3. Сетевое планирование
- •ТИПОВОЙ РАСЧЕТ «ГРАФЫ»
- •Задание
- •Варианты индивидуальных заданий
- •ЛИТЕРАТУРА
Помеченные графы G и H считаются совпадающими (изоморфными) при дополнительном условии, что E(G) = E(H).
На рис. 7.23 – 7.25 изображены три попарно неизоморфные помеченные графы (которые, очевидно, совпадают друг с другом, если убрать пометки).
Рис. 7.23 |
Рис. 7.24 |
Рис. 7.25 |
Для мульти-, псевдо- и ориентированных графов понятие изоморфности определяется аналогично, как биективность, при которой помимо смежности вершин и ребер сохраняются также кратность ребер, петли и направления дуг.
5. Количество различных графов порядка n
Лемма1. Число помеченных графов порядка n равно 2n(n - 1) / 2. Доказательство. Действительно, существует n(n-1)/2 пар вершин, для каждой из
которых имеется ровно 2 возможности: данная пара вершин соединена ребром или нет. Поэтому, когда вершины помечены, то можно построить ровно 2n(n-1)/2 различных (с учетом пометки) графов.
Для числа абстрактных (непомеченных) графов порядка n точной формулы не
существует. Однако, известно, что оно асимптотически стремится к величине |
2n(n−1) / 2 |
|
|
. |
|
n! |
Это означает, что при n→∞ предел отношения точного числа неизоморфных простых графов к указанной величине равен 1.
Этот факт представляется достаточно ясным, поскольку n непомеченных вершин графа можно пометить n! способами (количество пометок, очевидно, совпадает с числом перестановок из n элементов). Поэтому следует ожидать, что каждый непомеченный граф даст n! неизоморфных помеченных. Однако, это не всегда так. Например, все пометки пустого (а так же полного) графа приводят к одному и тому же помеченному графу. Никакие другие пометки графа на последнем рисунке не дадут новых помеченных графов. По этой причине в последнем случае из данного непомеченного получаем не 3! = 6, а только 3 помеченных графа. Таким образом, в случае непомеченных графов указанная величина представляет собой, не точную формулу, а лишь оценку.
33