О.

Оре
ТЕОРИЯ ГРАФОВ
М.: Наука. Гл. ред. физ.-мат. лит., 1980, 336 стр.
Содержание
От редактора русского перевода 8
Предисловие 9
Глава 1. ОСНОВНЫЕ ПОНЯТИЯ 11
1.1. Определения 11
1.2. Локальные степени 16
1.3. Части и подграфы 22
1.4. Бинарные отношения 25
1.5. Матрицы смежности п инцидентности 30
Глава 2. СВЯЗНОСТЬ 34
2.1. Маршруты, цепи и простые цепи 34
2.2. Связные компоненты 36
2.3. Взаимно однозначные отображения 39
2.4. Расстояния 41
2.5. Протяженность 45
2.6. Матрицы и цепи. Произведение графов 43
2.7. Головоломки 51
Глава 3. ЗАДАЧИ О ЦЕПЯХ 53
3.1. Эйлеровы цепи 53
3.2. Эйлеровы цепи в бесконечных графах 58
3.3. О лабиринтах 64
3.4. Гамильтоновы циклы 70
Глава 4. ДЕРЕВЬЯ 77
4.1. Свойства деревьев 77
4.2. Центры в деревьях 82
4.3. Циклический ранг (дипломатическое число) 87
4.4. Однозначные отображения 88
4.5. Произвольно вычерчиваемые графы 96
Глава 5. ЛИСТЫ И БЛОКИ 101
5.1. Соединяющие ребра и вершины 101
5.2. Листы 105
5.3. Гомоморфные образы графа 107
5.4. Блоки 109
5.5. Максимальные простые циклы 114
Глава 6. АКСИОМА ВЫБОРА 117
6.1. Полная упорядоченность 117
6.2. Принципы максимальности 120
6.3. Суммируемые по цепи свойства 123
6.4. Максимальные графы исключения 126
6.5. Максимальные деревья 128
6.6. Соотношения между максимальными графами 130
Глава 7. ТЕОРЕМЫ О ПАРОСОЧЕТАНИЯХ 134
7.1. Двудольные графы 134
7.2. Дефициты 138
7.3. Теоремы о паросочетаниях 141
7.4. Взаимные паросочетания 145
7.5. Паросочетания в графах частного вида 150
7.6. Двудольные графы с положительными 155
7.7. Применения к матрицам 160
7.8. Чередующиеся цепи и максимальные 167
7.9. Разделяющие множества 176
7.10. Совместные паросочетания 178
Глава 8. ОРИЕНТИРОВАННЫЕ ГРАФЫ 184
8.1. Отношение включения и достижимые 184
8.2. Теорема о гомоморфизме 189
8.3. Транзитивные графы и погружения в отношения упорядочения 191
8.4. Базисные графы 194
8.5. Чередующиеся цепи 198
8.6. Суграфы первой степени в графе 202
Глава 9. АЦИКЛИЧЕСКИЕ ГРАФЫ 206
9.1. Базисные графы 206
9.2. Деформации цепей 208
9.3. Графы воспроизведения 211
Глава 10. ЧАСТИЧНАЯ УПОРЯДОЧЕННОСТЬ 216
10.1. Графы частичных упорядочений 216
10.2. Представления в виде сумм упорядоченных множеств 217
10.3. Структуры и структурные операции. Отношения замыкания 223
10.4. Размерность в частичном упорядочении 227
Глава 11. БИНАРНЫЕ ОТНОШЕНИЯ И СООТВЕТСТВИЯ ГАЛУА 232
11.1. Соответствия Галуа 232
11.2. Связи Галуа для бинарных отношений 237
11.3. Отношения чередующегося произведения 242
11.4. Отношения Феррерса 245
Глава 12. СВЯЗЫВАЮЩИЕ ЦЕПИ 248
12.1. Теорема о секущих цепях 248
12.2. Вершинное разделение 252
12.3. Реберное разделение 254
12.4. Дефицит 256
Глава 13. ДОМИНИРУЮЩИЕ МНОЖЕСТВА, ПОКРЫВАЮЩИЕ 260
МНОЖЕСТВА И НЕЗАВИСИМЫЕ МНОЖЕСТВА
13.1. Доминирующие множества 260
13.2. Покрывающие множества и покрывающие 262
13.3. Независимые множества 266
13.4. Теорема Турана 270
13.5. Теорема Рамсея 273
13.6. Одна задача из теории информации 278
Глава 14. ХРОМАТИЧЕСКИЕ ГРАФЫ 282
14.1. Хроматическое число 282
14.2. Суммы хроматических графов 285
14.3. Критические графы 289
14.4. Полиномы раскрашиваний 294
Глава 15. ГРУППЫ И ГРАФЫ 300
15.1. Группы автоморфизмов 300
15.2. Цветные графы Кэли для групп 303
15.3. Графы с заданными группами 305
15.4. Реберные отображения 307
Литература 313
Именной указатель 327
Предметный указатель 329
Предметный указатель
Автоморфизм двойственный 236 - непосредственно предшествующая
- обратный 236 b 206
Автоморфизмов группа 300 - следующая за а 206, 216
Аксиома выбора 118 - обратно дефицитная 218
Аксиомы метрики 41 - относящаяся с высотой 91, 92
- структуры 224 - промежуточная 34, 206
Базис транспозиции 80 - разделяющая 112
Бернштейна теорема 146 - разрезающая 112
Биркгофа формула 295 Вершина соединяющая (части) 102
Блок 111, 191 - средняя 44
Блоковое множество 111, 191 Вершинная связность 103
Брэттона проблема 189 Вершины бисвязанные 185
Верхний отрезок 218 - взаимно связанные 185
Вершина 11 - несравнимые 193
- внешняя (части) 102 - ориентированно-циклически-
- внутренняя (маршрута) 34 реберно связанные 185
- - (части) 102 - связанные 36
- дефицитная 170, 204, 218 - сильно связанные 185
- достижимая из а 184, 199 - - циклически связанные 110
- - множества А 253, 256 - смежные 30
- изолированная 14 - сравнимые 192
- инцидентная ребру 12 - циклически-реберно связанные 105,
- конечная (маршрута) 34 106
- - (ребра) 12 - эквивалентные по достижимости
- концевая (графа) 77 184
- кратность 127 - по а-достижимости 200
- начальная (маршрута) 34 Вес дерева 85
- (ребра) 12 - - в вершине v 85
Ветвь 78, 85
- с весом 85
Выбирающая функция 118
Галуа замыкания 233
- операции замыкания 233
- связь 232
- - инволютивная 238
- - совершенная 234
- - в Р 234
- соответствие 232
- двойственное себе 236
Гамильтонов центр 75
- цикл 70
Гамильтонова цепь 71
Гейла — Райзера теорема 183
Гомоморфизм 107—111, 189
- кратный 108
- независимый 109
Гомоморфизм простой 108
- разделенный 109
- связный 109
- элементарный независимый 109
- - связный 109
Гомоморфный образ графа 107
Гранди функция 282
Граничные точки ребра 11
Граф 11
- ациклический 189
- базисный 194, 206
- без циклов 77
- бесконечный 16
- бисвязный 186
- —вершинно) критический 289
- взаимно связный 186
- воспроизведения 211
- всесмежный 261
- двудольный 27, 134
- двусторонний 134
- Дезарга 302
- (зависимости) сигналов 279
- звездный 23, 263
- исключения 127
- - максимальный 127
- конечный 16
- критический 289
- локально конечный 16
- максимальный сильно сингулярный
131
- - сингулярный 131
- накрывающий 262
- неориентированный 12
- обратный 15
- однородный степени в 18, 21
- определяемый взаимно
однозначным отображением
или подстановкой 39
- ориентированно-циклически
замкнутый 189
- ориентированный 12, 184
- Паппа 302
- передаточный 279
- Петерсена 302
- плоский 16
- покрывающий 262
- полный 14
- - ориентированный 14
- - с петлями 15
- потомства 211
- почти однородный 152
Граф, произвольно вычерчиваемый
из вершины а 96
- связный 36
- сильно ориентированно-циклически
замкнутый 191
- - ориентированно-циклически-
реберно связный 190
- - связный 186
- - циклически замкнутый 112
- связный 110, 113
- смежности ребер 32
- смежностный 32
- смешанный 13
- соединяющий 103
- соотнесенный неориентированный
15
- строгого частичного упорядочения
216
- транзитивный 191
- цветной Кэлли 303
- циклически замкнутый 106
- частичного упорядочения 216
- чередующейся композиции 201
- k-раскрашиваемый 282
- k-ребро связный 102
- k-хроматический 282
- l-вершиняо связный 103
Графа транзитивное замыкание 192
Графы изоморфные 13
- реберно изоморфные 307
- сингулярно связанные 131
- циклически изоморфные 310
Группа полная мономиальная 301
Двойственное разбиение (числа) 181
Двойственность между вершинами и
ребрами графа G 32
Декартова сумма графов 51
Декартово произведение графов 50
Дерево 77
- максимальное 128
- с корнем 78
- Хусими 114
Дефицит 138, 202
- максимальный 139
- множества А относительно В 257
- - - - - максимальный 257
Дефицит обратный 203
- ребер 259
Дефицитов ограниченность 139
Деформация 208
- простая 208
- циклическая (паросочетания) 169
Диаметр 43, 82
- протяженности 45
Дилворта теорема 220
Дирака теорема 116
Дисперсия 44
Дихотомия по полу 212
Дополнение (элемента) 237
- - ортогональное 237
- - полярное 237
- части 23
Дополнительная часть 23
Дуга 12
Душника — Миллера теорема 227
Дюбрейля условие шестиугольника
247
Жордапа — Гельдера свойства 208,
210, 216
- - теорема для главных рядов в
группах 211
- - - - композиционных рядов 210
Задача Киркмана см. Киркмана
задача 268
- о браке или о танцах 147
- о бродячем торговце (о
коммивояжере) 71
- о движении транспорта 187
- о Кёнигсбергских мостах 9, 53
- о лабиринте 57, 64
- - - метод Винера 66
- - - Терри 57, 66
- о минимальном соединении 81
- о назначениях 147
- о перевозчике 51
- о пяти ферзях 262
- о разделении 52
- о ревнивых мужьях 52
Задача о Ханойской башне 52
- о шахматном коне 70
- Эстер Клейн 277
Законы дистрибутивности 228
- поглощения 224
Замкнутые элементы 234
Запрещенная составляющая
множества Е 130
Инволюция 237
Индекс компонент 47, 289
- связности вершины 114
Инцидентности отношение 12
Исключение конечного типа 127
Квазигруппа 166
Квазиупорядочение 191
Кенига теорема 177, 256
Киркмана задача о пансионе для
девушек 268
Класс эквивалентности неособый 28
- - особый 28
- - элемента а 27 - смежности (вершин) 30
Клика 266, 276 - - ребер 31
Компактное реберное разделение 196 - стохастическая 164
Компонента дефицитная 172 Мангера теорема 252, 256
- связная 36 Мера (ребра) 32, 50, 68
- совершенная 172 Метод чередующихся цепей 107
Конечность цепей (из вершины) 258 Множества, сопоставленные при
- - (между вершинами) 206 паросочетании 142
Контур 35 - \sigma-вершинно разделенные 252
Концевые точки (маршрута) 35 - \tau-реберно разделенные 255
- - (ребра) 11 Множество без дефицита 140, 257
Концы (маршрута) 85 - вершин 11
- (ребра) 11 - вполне упорядоченное 117
Корень дерева 78 - всесмежное 261
Кратность (ребра) 17, 21 - дефицитное 171
Куратовского — Хаусдорфа принцип - доминирующее 260
максимальности см. Принцип - - минимальное 260
максимальности Хаусдорфа — - - обратное 261
Куратовского 120 - достижимое 200
Кэли задача 80 - зависимое 266
- таблица 166 - замкнутое 225
- формула 78, 80 - критическое 139, 258
- цветной граф 303 - - минимальное 140, 173
Латинский квадрат 166 - максимального дефицита 139
- - частичный 167 - накрывающее 269
- - - максимальный 167 - независимое 219, 266
Лес 177 - - максимальное 266
Лист 106, 189 Множество, не имеющее d-дефицита
Листовая композиция 108, 190 179
Листовое множество 106, 189 - несвязанное 266
- - особое 106 - покрывающее 262
Маршрут 34 - полностью зависимое 266
- возвращающийся секущий 252, 255 - порождающее 185, 218
- двусторонне-бесконечный 35 - - минимальное 185, 218
- длины n 35 - прообразов 107
- неориентированный 35 - разделяющее 176, 255
- нетривиальный 35 - - согласованное 176
- односторонне-бесконечный 35 - - - конечно минимальное 177
- ориентированный 35 - - с паросочетанием М 176
- циклический 35 - различных общих представителей
Матрица бистохастическая 164 148
- инцидентности 31 - ребер разделяющее 255
- мер 31, 50 - связанное 266
- перестановочная 306 - сильно зависимое 220
- соседства 22 - строгого включения 29
- субдоминирующее 261 - - частичного упорядочения 29, 216
- упорядоченное 29 - тождественное 242
- - максимальное 121 - транзитивное 26, 242
- частично упорядоченное 29 - универсальное 25
Мост 105 - упорядочения 29
Моток 97 - частичного упорядочения 28, 216
Мощность (ребра) 31 - эквивалентности 27, 242
Мультипликативная размерность - R' следует из отношения R 26
(частичного упорядочения) 228 - R' содержит отношение R 26
Наполнение графа G 129 Отношений коммутативность 247
Неподвижная точка отображения 40, - слабая коммутативность 247
90 Отношения взаимно транзитивные
Неравенство треугольника 41 243
Нижний отрезок 218 - дифункциональные 244
Нуль-граф 14 - степень 242
Нуль-маршрут 35 - транзитивное замыкание 243
Ортогональность 237 - Феррерса 246
Остов 129 - чередующегося произведения 245
Отклонение вершин 44 Отображение взаимно однозначное
- - среднее 44 39
- ребер среднее 44 - много-однозначное 88
Отношение антирефлексивное 27, Oтрицание 25
240, 242 Паросочетание 142, 258
- ациклическое 216, 242 - вершинно-реберное инцидентное 93
- бинарное 25 - максимальное 168
- включения 28, 184 - правильное 143
- - множеств 29 - реберно-вершинное инцидентное 93
- двойственное себе 236, 240 - совершенное 147
- дополнительное 25 Паросочетание частичное 142
Отношение замкнутое 241 Паросочетания взаимные 145
- замыкания 225 - инцидентные 93
- непосредственного потомства 211 - совместные 178
- пулевое 25, 242 Пересечение отношений 26
- обратное 26 - частей 23
- одинаковости 25 Перманент 162
- отличия 25 Петля 15
- полного упорядочения 117 - двойная 17
- рефлексивное 27, 240, 242 - однократная 17
- самотранзитивное 244 Платоновы тела 18
- симметрическое 26 Подграф 23
- слабо симметрическое 240 - пустой 266
- - транзитивное 244 Покрывающий суграф графа G 23,
- собственного включения 29 262
Полная подструктура относительно Разложение частичного
структурного пересечения 236 упорядочения 217, 220, 222
Полное кольцо пересечений 225 - - - независимое 222
Полуостров 101 Рамсея теорема 273
- ранга k 101 Раскраски функция 282
Полярность 237 Раскрашиваний полипом 294, 297
Порождающая часть графа 194 Расстояние 41
Порядковая размерность (частичного - в смысле данной меры 68
упорядочения) 227 Ребер независимое семейство 269
Порядок вершины при отображении - покрывающее семейство 262
39, 90 Реберная связность 102
- графа 44 Ребра кратность 17, 21
Потомок 211 Ребра секущие 248
Правильные многогранники 18 - - размеченные по простым цепям
Предок 211 251
Представление графа G в виде - сильно ориентированно-
формального произведения 24 циклически-реберно связанные
Принцип включения — исключения 190
125 - - циклически-связанные 110
- максимальности Хаусдорфа — - смежные 31
Куратовского 120 Ребра 11
- - Цорна 122 - ациклическое 185
- суммы цепи 123 - внешнее 101
- трансфинитной индукции 117 - внутреннее 102
Проблема четырех красок 9, 294 - входящее в (подходящее к,
Произведение графов 48 заходящее в) вершину b 12
- множеств 12 - выходящее из (отходящее от,
- - декартово 12 исходящее из) вершины а 12
- - прямое 12 Ребро излишнее 194
- отношений 242 - инцидентное вершине 12
- упорядочений 228 - касающееся 101
Пропускная способность ребра 31 - концевое 77
Протяженность 45 - неориентированное 12
Процесс постепенного покрывания - ориентированное 12
графа 67 - ориентированно циклическое 185
Процесс редукции индекса 68 - разделяющее 105
- трансфинитного построения 121 - разрезающее 105
Путь 35 Ребро связывающее 101
Радиус графа 43 - соединяющее 101
- протяженности 45 - существенное 198
Радо теорема 137 - циклическое 105
Разбиение множества 28 Редеи теоремы 188
Разделяющее множество (в цепи Редукционное множество 131
множеств) 118, 252 Редукция дерева 79
Родитель 212 Теорема о вершинном разделении
Сабли Магомета 53, 54 252
Свойство включения 124 - о гомоморфизме 109, 190
- или исключения), конечного типа - о паросочетании 138, 141
124 - о реберном разделении 254
- исключения 124 - о секущих цепях 248
- - конечного типа 124 - о системах различных
Серпинского — Пикара теорема 268 представителей 144
Сеть 12 Терм-граф 160
Сигналы зависимые 279 Терм-ранг 161
- независимые 279 Транзитивное замыкание графа 191
Симметрическая группа 80 - - отношения 243
Сингулярная реберная замена 131 Транспозиция 80
- циклическая замена 132 - двух вершин 42
Скелет 129 Трансфинитное построение 121
Сопоставление при паросочетании Турана теорема 270
142, 258 Удвоения процесс 16
Сочетания k-cвязанные 267 Узел 12
Ствол дерева 78 Уитни выражение для полинома
Степень (графа) в вершине а 17, 21 раскрашиваний 296
- - - - - локальная 17, 21 - теорема 308
- однородного графа 18, 21 Упорядочение слабое 192
Структура 224 Фактор 24
- дистрибутивная 228 Феррерса диаграмма 246
- полная 224 - отношения 246
- с дополнениями 237 Функции дефицита 138
Структурная операция 223 Харари соотношение 114
Структурное объединение 223 Хаусдорфа — Куратовского принцип
- пересечение 223 максимальности см. Принцип
Суграф 22, 202 максимальности Хаусдорфа —
- однородной первой степени 147 Куратовского 120
- покрывающий 23, 263 Хедвигера предположение 292
- - собственный 265 Хорда 293
Сумма отношений 26 Хроматическое разложение 282
- частей 23 - число 282
- - прямая 24 Хусими деревья 114
- - - по ребрам 24 Центр (в сомкнутой цепочке) 274
- элементов матрицы по столбцам Центр гамильтонов см. Гамильтонов
164 центр 75
Сумма элементов матрицы по - графа 43
строкам 164 - дерева 84
- - - полная 164 - масс дерева 85
Суммируемое по цепи свойство 123, - тяжести графа 44
124 - протяженности 45
Цепи взаимно простые 208
- деформационно эквивалентные 209
- покрывающие граф 55
- секущие 250
Цепочка сомкнутая 274
Цепь (множеств) 118, 121
- (ребер) 35
- дефицитная 170
- ориентированная максимальная 206,
216
- простая 35
- - диаметральная 43, 82
- - - по протяженности 45
- - длиннейшая 45
- - наименьшей длины 41
- - полная 73
- - радиальная 43
- - - по протяженности 45
- - связывающая 252
- простая типа цикла 73
- связывающая 252
- чередующаяся 167, 198
Цермело теорема 118
Цикл 35
- концевой 115
- отображения 40, 90
- - обобщенный 89
- простой 35
- - разорванный 295
Циклический ранг 88
Цикломатическое число 88
Цорна лемма 122
Части непересекающиеся (по
вершинам) 24
- - по ребрам 24
Частичное упорядочение 28, 216
- - локально конечное 222
- - строгое 19, 216, 242
Часть графа 23
- - не более чей первой степени 204
- - - - - - - максимальная 204
Часть, покрывающая граф 23
Чередующаяся цепь см. Цепь
чередующаяся 167, 198
Чередующееся расширение 168
- семейство секущих ребер 248, 251
Чередующийся цикл 169
Четырехугольника условие 210, 243
Число вершинного покрытия 265
- - соединения 103
- (вершинной) независимости 267
- доминирования 262
- протяженности 45
- реберного покрытия 265
- - соединения 101
- реберной независимости 269
- цикломатическое см.
Цикломатическое число 88
Шестиугольника условие 247
Штейнера тройки 268
Эйлеров граф 54
- цикл 54
Эйлерова цепь 56
d-дефицит 179
G-множество 22
- обратное 22
k-раскраска графа 282
M-множество 176
M-образ 172
R-граф 136
\alpha-ребро 198
\alpha-цепь 198
\alpha*-ребро 198
{l'}-множество 123
\sigma-множество минимальное 173
(\alpha, \alpha*)-маршрут
чередующийся правильный 213
(\alpha, \alpha*)-цепь 198