Вы находитесь на странице: 1из 340

О. Оре ТЕОРИЯ ГРАФОВ

М.: Наука. Гл. ред. физ .- мат. лит ., 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

Глава 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.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

Автоморфизмов группа 300 Аксиома выбора 118 Аксиомы метрики 41

- структуры 224

Базис транспозиции 80 Бернштейна теорема 146 Биркгофа формула 295 Блок 111, 191 Блоковое множество 111, 191 Брэттона проблема 189 Верхний отрезок 218 Вершина 11

- внешняя (части) 102

- внутренняя ( маршрута) 34

- непосредственно предшествующая

b 206

- следующая за а 206, 216

- обратно дефицитная 218

- относящаяся с высотой 91, 92

- промежуточная 34, 206

- разделяющая 112

- разрезающая 112

Вершина соединяющая ( части) 102

- средняя 44

Вершинная связность 103 Вершины бисвязанные 185

- взаимно связанные 185

- несравнимые 193

- ориентированно - циклически- реберно связанные 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

- ( ребра ) 12

Вес дерева 85

- - в вершине 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

Душника ó Миллера теорема 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

- - элемента а 27 Клика 266, 276

- смежности ( вершин) 30

- - ребер 31

Компактное реберное разделение 196 Компонента дефицитная 172

- стохастическая 164

Мангера теорема 252, 256

-

связная 36

Мера ( ребра ) 32, 50, 68

-

совершенная 172

Метод чередующихся цепей 107

Конечность цепей ( из вершины) 258

Множества , сопоставленные при

- - (между вершинами) 206 Контур 35

Концевые точки ( маршрута ) 35

- - ( ребра ) 11

Концы ( маршрута ) 85

- ( ребра ) 11

Корень дерева 78 Кратность ( ребра ) 17, 21 Куратовского ó Хаусдорфа принцип максимальности см . Принцип

максимальности Хаусдорфа ó Куратовского 120 Кэли задача 80

- таблица 166

- формула 78, 80

- цветной граф 303

Латинский квадрат 166

- - частичный 167

- - - максимальный 167 Лес 177 Лист 106, 189

Листовая композиция 108, 190 Листовое множество 106, 189

- - особое 106

Маршрут 34

- возвращающийся секущий 252, 255

- двусторонне - бесконечный 35

- длины n 35

- неориентированный 35

- нетривиальный 35

- односторонне - бесконечный 35

- ориентированный 35

- циклический 35 Матрица бистохастическая 164

- инцидентности 31

- мер 31, 50

- перестановочная 306

паросочетании 142

- \sigma- вершинно разделенные 252

- \tau- реберно разделенные 255 Множество без дефицита 140, 257

- вершин 11

- вполне упорядоченное 117

- всесмежное 261

- дефицитное 171

- доминирующее 260

- - минимальное 260

- - обратное 261

- достижимое 200

- зависимое 266

- замкнутое 225

- критическое 139, 258

- - минимальное 140, 173

- максимального дефицита 139

- накрывающее 269

- независимое 219, 266

- - максимальное 266

Множество , не имеющее d- дефицита

179

- несвязанное 266

- покрывающее 262

- полностью зависимое 266

- порождающее 185, 218

- - минимальное 185, 218

- прообразов 107

- разделяющее 176, 255

- - согласованное 176

- - - конечно минимальное 177

- - с паросочетанием М 176

- различных общих представителей

148

- ребер разделяющее 255

- связанное 266

- сильно зависимое 220

- соседства 22

- субдоминирующее 261

- упорядоченное 29

- - максимальное 121

- частично упорядоченное 29

Мост 105 Моток 97 Мощность ( ребра ) 31 Мультипликативная размерность

( частичного упорядочения) 228 Наполнение графа G 129 Неподвижная точка отображения 40,

90

Неравенство треугольника 41 Нижний отрезок 218 Нуль- граф 14

Нуль- маршрут 35 Ортогональность 237 Остов 129 Отклонение вершин 44

- - среднее 44

- ребер среднее 44

Отношение антирефлексивное 27,

240, 242

- ациклическое 216, 242

- бинарное 25

- включения 28, 184

- - множеств 29

- двойственное себе 236, 240

- дополнительное 25

Отношение замкнутое 241

- замыкания 225

- непосредственного потомства 211

- пулевое 25, 242

- обратное 26

- одинаковости 25

- отличия 25

- полного упорядочения 117

- рефлексивное 27, 240, 242

- самотранзитивное 244

- симметрическое 26

- слабо симметрическое 240

- - транзитивное 244

- строгого включения 29

- - частичного упорядочения 29, 216

- тождественное 242

- транзитивное 26, 242

- универсальное 25

- упорядочения 29

- частичного упорядочения 28, 216

- эквивалентности 27, 242

- R' следует из отношения R 26

- R' содержит отношение R 26 Отношений коммутативность 247

- слабая коммутативность 247

Отношения взаимно транзитивные

243

- дифункциональные 244

- степень 242

- транзитивное замыкание 243

- Феррерса 246

- чередующегося произведения 245

Отображение взаимно однозначное

39

- много - однозначное 88

Oтрицание 25 Паросочетание 142, 258

- вершинно - реберное инцидентное 93

- максимальное 168

- правильное 143

- реберно- вершинное инцидентное 93

- совершенное 147

Паросочетание частичное 142

Паросочетания взаимные 145

- инцидентные 93

- совместные 178

Пересечение отношений 26

- частей 23

Перманент 162 Петля 15

- двойная 17

- однократная 17

Платоновы тела 18 Подграф 23

- пустой 266

Покрывающий суграф графа G 23,

Полная подструктура относительно структурного пересечения 236 Полное кольцо пересечений 225 Полуостров 101

- ранга k 101

Полярность 237 Порождающая часть графа 194

Порядковая размерность ( частичного упорядочения ) 227 Порядок вершины при отображении 39, 90

- графа 44 Потомок 211 Правильные многогранники 18 Предок 211 Представление графа G в виде формального произведения 24 Принцип включения ó исключения

125

Разложение частичного упорядочения 217, 220, 222

- - - независимое 222

Рамсея теорема 273 Раскраски функция 282 Раскрашиваний полипом 294, 297

Расстояние 41

- в смысле данной меры 68

Ребер независимое семейство 269

- покрывающее семейство 262 Реберная связность 102 Ребра кратность 17, 21 Ребра секущие 248

- - размеченные по простым цепям

251

- сильно ориентированно - циклически- реберно связанные

190

- - циклически- связанные 110

- максимальности Хаусдорфа ó

-

смежные 31

Куратовского 120

Ребра 11

- - Цорна 122

-

ациклическое 185

- суммы цепи 123

-

внешнее 101

- трансфинитной индукции 117

-

внутреннее 102

Проблема четырех красок 9, 294 Произведение графов 48

-

входящее в ( подходящее к, заходящее в) вершину b 12

- множеств 12

- - декартово 12

- - прямое 12

- отношений 242

- упорядочений 228

Пропускная способность ребра 31 Протяженность 45 Процесс постепенного покрывания графа 67 Процесс редукции индекса 68

- трансфинитного построения 121 Путь 35 Радиус графа 43

- протяженности 45

Радо теорема 137 Разбиение множества 28 Разделяющее множество ( в цепи

- выходящее из ( отходящее от, исходящее из) вершины а 12 Ребро излишнее 194

- инцидентное вершине 12

- касающееся 101

- концевое 77

- неориентированное 12

- ориентированное 12

- ориентированно циклическое 185

- разделяющее 105

- разрезающее 105 Ребро связывающее 101

- соединяющее 101

- существенное 198

- циклическое 105

Редеи теоремы 188 Редукционное множество 131

Родитель 212 Сабли Магомета 53, 54 Свойство включения 124

- или исключения ), конечного типа

124

- исключения 124

- - конечного типа 124

Серпинского ó Пикара теорема 268 Сеть 12 Сигналы зависимые 279

- независимые 279

Симметрическая группа 80 Сингулярная реберная замена 131

- циклическая замена 132

Скелет 129 Сопоставление при паросочетании

142, 258 Сочетания k-c вязанные 267 Ствол дерева 78 Степень ( графа ) в вершине а 17, 21

- - - - - локальная 17, 21

- однородного графа 18, 21 Структура 224

- дистрибутивная 228

- полная 224

- с дополнениями 237

Структурная операция 223 Структурное объединение 223

- пересечение 223

Суграф 22, 202

- однородной первой степени 147

- покрывающий 23, 263

- - собственный 265 Сумма отношений 26

- частей 23

- - прямая 24

- - - по ребрам 24

- элементов матрицы по столбцам

164

Сумма элементов матрицы по

строкам 164

- - - полная 164

Суммируемое по цепи свойство 123,

Теорема о вершинном разделении

252

- о гомоморфизме 109, 190

- о паросочетании 138, 141

- о реберном разделении 254

- о секущих цепях 248

- о системах различных представителей 144 Терм - граф 160 Терм - ранг 161

Транзитивное замыкание графа 191

- - отношения 243 Транспозиция 80

- двух вершин 42

Трансфинитное построение 121 Турана теорема 270 Удвоения процесс 16 Узел 12 Уитни выражение для полинома раскрашиваний 296

- теорема 308

Упорядочение слабое 192 Фактор 24 Феррерса диаграмма 246

- отношения 246

Функции дефицита 138 Харари соотношение 114 Хаусдорфа ó Куратовского принцип

максимальности см . Принцип максимальности Хаусдорфа ó Куратовского 120 Хедвигера предположение 292 Хорда 293

Хроматическое разложение 282

- число 282

Хусими деревья 114 Центр ( в сомкнутой цепочке ) 274 Центр гамильтонов см . Гамильтонов центр 75

- графа 43

- дерева 84

- масс дерева 85

- тяжести графа 44

Цепи взаимно простые 208

-

- не более чей первой степени 204

- деформационно эквивалентные 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 Часть, покрывающая граф 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