Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Басакер Р. Конечные графы и сети

.pdf
Скачиваний:
74
Добавлен:
25.10.2023
Размер:
12.41 Mб
Скачать

2.2]

О Р И Е Н Т И Р О В А Н Н Ы Е Г Р А Ф Ы

30

ющне им ребра неориентированного графа G параллель ­

ны (смежны) .

 

 

Говорят, что

два ориентированных графа

изоморфны,

если их соответствующие неориентированные графы изо­ морфны в обычном смысле и, кроме того, граничные точ­

ки

каждой пары соответствующих

дуг упорядочены оди­

наковым образо.м. Формально

ориентированные

графы

D=(V,A,

А)

и D'=(V,

А',

А')

называются

изоморф­

ными,

если элементы

V и А

могут

быть

поставлены

во

взаимно однозначное соответствие с элементами

V

и

А'

таким

образом,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

y(a')

=

{v',

w')

 

 

 

 

тогда и только

тогда,

когда

 

w),

 

 

 

 

 

 

 

 

Д ( а ) =

(и,

 

 

 

 

где

о',

v' и w' обозначают соответственно образы a, v

и

w.

Таким

образо.м,

два

ориентированных

 

графа

рис. 2.1, а и b изоморфны. С другой стороны,

ориенти­

рованный граф, приведенный на

рис. 2.1, г,

не изоморфен

 

ai

 

Ъ)

 

 

о)

 

 

 

Рис. 2.1.

 

 

с ними,

несмотря па

то,

что

все

три

соответствующих

неориентированных

графа

изоморфны в обычном

смысле.

D и D' — изоморфные

 

 

 

Если

ориентированные графы

и D' ориентированный

геометрический граф, то D' назы­

вается геометрической

реализацией

D. Теоремы 1.1 и 1.2,

которые

характеризуют

реализуемость

неориентирован­

ных графов, одинаково применимы и к ориентированным

графам, т. е. возможность выполнения

необходимых пост­

роений

в пространстве

е 3 не зависит

от. ориентации

кривых.

Аналогично, ориентированный

граф

является

плоским

(реализуемым

в пространстве

е2 ) тогда

и толь­

ко тогда,

когда

соответствующий ему

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

граф является

плоским.

 

 

 

 

40 ОРИЕНТИРОВАННЫЕ ГРАФЫ 1ГЛ. 2

 

2.3. Термины для описания

локальной

структуры

 

Рассмотрим термины, полезные для описания

некото­

рых

структурных

свойств

ориентированных

графов

и не

используемые

в

неориентированном

 

случае. Если

(и, w)

и Й2— {~°, w)<

т

о

ДУГ И

Q i 1 1

а2

называются

строго

параллельными.

Если

о 3

^

(ад,

v),

то

а\

и

а3

не

строго

параллельны.

 

Если

a^{v,

 

ад),

то

говорят,

что

дуга

а

направлена

от вершины

v

к

вершине

 

w. Дуга

а

считает­

ся положительно

инцидентной

 

ее конечной

вершине

ад.

Число дуг, положительно инцидентных вершине и, назы­

вается

положительной

степенью

v и обозначается

через

6 + ( У ) .

Отрицательная

степень

v определяется аналогич­

но и обозначается через 6~(v).

(Ориентированная

петля,

инцидентная v, считается положительно и отрицательно

инцидентной

с

v.) Индексированные степени

вершин

6 + ( о )

и б " ( У ) ,

очевидно,связаны

с

введенной

ранее сте­

пенью

б ( У ) следующим

образом:

 

 

 

 

 

 

 

 

 

б ( и ) = б + ( о ) - | - б - ( о ) .

 

 

 

(Для

графов,

 

не

являющихся

конечными,

эта

взаимо­

связь остается

верной,

если ее интерпретировать как соот­

ношение кардинальных

 

чисел.)

 

 

 

 

 

 

Учитывая,

что

к а ж д а я

дуга

положительно

инцидент­

на одной вершине и отрицательно

инцидентна

т а к ж е

одной

вершине,

получим

 

 

 

 

 

 

 

 

 

 

 

2

6 + ( в )

=

^

б -

(v)

=|/]|,

 

 

 

где \А\

означает

число

дуг графа . Напомним, что в не­

ориентированном

случае

мы имеем

 

 

 

 

 

 

 

 

2

 

б(и) =

2|Л|,

 

 

 

 

Ориентированный

граф

называется

обыкновенным,

если он не имеет строго параллельных дуг и петель. За ­

метим, что если обыкновенный ориентированный

граф

имеет параллельные, но противоположно

ориентирован­

ные

дуги, то соответствующий неориентированный

граф

уже

не будет обыкновенным графом в неориентирован­

ном

смысле, так как он содержит параллельные ребра. Д у .

ги

обыкновенно ориентированного графа

могут

быть

2 А] О Р И Е Н Т И Р О В А Н Н Ы Е М А Р Ш Р У Т Ы , П У Т И И К О Н Т У Р Ы 41

однозначно представлены

упорядоченными парами вер­

шин, так как между любой

данной парой вершин может

б ы т ь н е более одной дуги с з а д а н н ы м направлением. (За ­ метим, что такое представление есть частный случай пред­ ставления графа с помощью множества вершин V и мно­ жества дуг А, а не особая форма представления графа. На природу элементов А не наложено никаких ограниче­ ний, в частности, они могут быть элементами Vy_V.)

2.4. Ориентированные маршруты, пути и контуры *)

Ориентированным

 

маршрутом

 

{о рмаршрут

ом)

длины

/2 является последовательность

(не обязательно

различ­

ных)

дуг аи

Go, • • •, ап

таких, что

для

соответствующей

последовательности

/г+ 1

вершин

vQ, v u

.. ., vn

справед­

ливо

 

а , ^ ( и , _ ь

Vi)

для i = l , 2,

. . . , п.

Например,

па

рис.

2.2 последовательность я,, а5,

а5, аг

образует

ориен­

тированный маршрут длины 4 (соответствующая

после­

довательность

вершин

3,

• 1>3

 

 

 

 

V2, Vj,

V2, Vi).

 

 

 

 

 

 

АГ^~^аг

 

^

 

Ориеитироваииый

марш ­

 

 

 

 

 

 

рут

называется

 

замкнутым,

 

 

 

 

 

 

если

va = vn,

и

незамкнутым,

 

 

 

 

 

 

если ьйфуп.

В

последнем

 

 

 

 

 

 

случае

говорят,

что

ориен­

 

 

 

 

 

 

тированный

маршрут

соеди­

 

 

 

 

 

 

няет

о 0 и vn пли, точнее, что

 

 

 

 

 

 

ом идет из и0

в

vn.

 

 

 

 

 

 

 

 

 

Очевидно,

 

незамкнутый

 

 

Рис. 2.2.

 

 

(замкнутый)

ориентирован­

 

 

 

 

 

 

 

 

 

 

ный

маршрут

в ориентированном

 

графе

определяет

соот­

ветствующий

незамкнутый

(замкнутый)

маршрут

в соот­

ветствующем неориентированном графе. Однако, обрат­

ное, вообще говоря, неверно. Например,

па

рис. 2.2

последовательность. а ь

а2,

а 6 определяет

незамкнутый

маршрут,

соединяющий

вершины

v2 и о4 ,

но из-за раз­

личной ориентации дуг

не

образует

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

маршрут.

Ориентированный

маршрут,

в

котором пет

повторяющихся

дуг, называется

путем

или

контуром

{ориентированным

циклом)

в зависимости

от того, явля -

*) В itwcie arc progressions, paths, cycles, [Прим. ред.)

42 О Р И Е Н Т И Р О В А Н Н Ы ! - : Г Р А Ф Ы [ГЛ. 2

ется ли он замкнутым пли пет. Соответствующее мно­

жество

дуг,

без

учета

упорядоченности,

называется

не­

упорядоченным

 

путем

пли

неупорядоченным

 

контуром

соответственно. Если

все вершины v0,

V\,

. . ., vn

различ­

ны (в

этом

случае

дуги т а к ж е

различны),

то

путь

или

контур,

так

же

как

и соответствующие

неупорядоченные

пути

и

контуры,

называется

простым.

Ориентированный

граф

называется

циклическим,

 

контурным,

если

он содер­

жит,

по крайней

мере, один

контур,

и

ациклическим

{бесконтурным)

в противном случае. (Заметим, что пет­

ля является специальным видом контура.)

 

 

 

Упражнения

 

 

 

 

 

 

 

 

 

 

2.1.

Показать, что если

неупорядоченным путь

является простым,

то существует единственное упорядочение дуг, образующее путь. По­ казать, что обратное, вообще говоря, неверно.

2.2. Доказать, что если существуют

пути из V\ в v2 н из v2 в v3,

где 1',ф1'3. то существует путь из И| в

v3.

2.3.Доказать, что любой контур, не являющийся простым, может быть разделен на два или более простых контуров.

2.4.Доказать, что любой непростой путь из v в w может быть разделен на простой путь из v в w и один или более простых контуров.

2.5. Верно ли в общем случае, что если б + (v) ^ 1 и б ~ ( и ) ^ 1 для каждой вершины v конечного ориентированного графа, то любая вер­

шина такого графа принадлежит, по крайней мере,

одному

контуру?

2.6. Доказать,

что если

в

графе D

имеется

путь из вершины w

в вершину v

п из

вершины

v

в

вершину

ш,

то

 

граф

D

содержит

 

 

 

 

контур. Приведите пример, иллюстри­

 

 

 

 

рующий, что может не существовать

 

 

 

 

контур,

 

содержащий

обе

вершины

 

 

 

 

V И £С\

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.7.

Доказать,

 

что

если

5 + ( i > ) >

 

 

 

 

> 0

 

для

каждой

 

вершины

ориенти­

 

 

 

 

рованного

графа

 

D, то D обяза­

 

 

 

 

тельно имеет, по крайней мере, один

 

 

 

 

контур.

 

(То

ж е

самое

 

верно,

 

если

 

 

 

 

5 _ ( и ) > 0

для

каждой

 

вершины

v.)

 

 

 

 

 

 

2.8.

Показать,

 

что

 

вне

зависи­

 

 

 

 

мости от того, как ориентируются

 

 

 

 

ребра,

в

графе

рис. 2.3

не

сущест­

 

 

 

 

вует

пути, который

проходил

бы

че­

 

 

 

 

рез

 

к а ж д у ю

вершину

одни

и

только

Рис.

2.3.

 

 

одни

раз.

 

 

 

 

 

 

 

 

 

 

 

 

 

2.0.

Используя

аргументацию,

апа--

 

 

 

 

логичную

предыдущей,

доказать,

что

невозможно пройти

ладьей от юго-западной

клетки

шахматной

доски

д о северо-восточной, попадая

па к а ж д у ю

клетку

один

и только одни

раз. Заметим,

что

в каждом

ходе

ладья

может

передвигаться

отно­

сительно клетки, в которой она расположена, па

любое

число

клеток

но горизонтали iyi.ii

ве.птпк.алм.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С И Л Ь Н А Я С В Я З Н О С Т Ь

 

 

43

 

2.5. Сильная связность

 

 

Ориентированный

граф

называется

сильно

связным,

если для

каждой

пары

различных

вершин

v и

w

существует путь из

v в w

и из а в

а. Очевидно,

что

сильная

связность

ориентированного

графа

означает

связность

соответствующего

неориентированного

графа.

Обратное,

вообще говоря, неверно. На

рис. 2.4,

граф

£>i

Рис. 2.4.

является сильно связным графом,, а граф D2 не является таковым. В главе 3 будут даны необходимые и достаточ­ ные условия того, что при соответствующей ориента­ ции ребер неориентированного графа он будет преобразо­

ван в сильно связный ориентированный граф .

 

Ориентированный граф называется сильно

к-связным,

если для каждой пары различных вершин v и w сущест­

вует,

но крайней

мере, к путей из

v

в w,

которые не име­

ют общих вершин

следовательно,

и дуг), за исключе­

нием,

конечно, v

и w.

Д л я того

чтобы

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

граф был сильно /е-связным, очевидно, необходимо, но

недостаточно,

чтобы соответствующий

неориентирован­

ный граф был /^-связным в неориентированном

смысле.

Рассмотрим

ориентированный граф,

дуги

 

которого

соответствуют

к а н а л а м связи

(направленным)

в

некото­

рой группе людей. Если граф

сильно связен,

то

к а ж д ы й

человек может связаться с любым другим членом груп­

пы, по крайней мере, одним способом

(т.е. посредством,

по крайней

мере, одного

пути). Если

граф сильно /г-связ-

пый, то существует, по крайней мере, к

различных

путей

связи от любого лица к любому другому. Таким

обра­

зом, чтобы

полностью

прекратить

связь между

любой

определенной парой лиц, необходимо разорвать инфор­ мационные каналы, по крайней мере, в к точках.

44

ОРИЕНТИРОВАННЫЕ ГРАФЫ

[ГЛ. 3

Упражнения 2.10. Доказать, что конечный ориентированный граф сильно свя­

зен, тогда п только тогда, когда существует замкнутый ориентиро­ ванный маршрут, в который каждая дуга входит, по крайней мере, одни раз.

2.11. Доказать,

что

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

граф

D=(V,

А)

является

сильно

связным тогда и только тогда, когда для каждого

разбиения

вершин

{W,

V—U''}

разрез

в

соответствующем

неориентированном

графе включает,

по

крайней

мере, одну дугу,

направленную

из \V

к V—W,

н,

по

крайней

мере,

одну дугу,

направленную

из

V—W

кW.

2.12.Доказать, что если С\, С2 , . . . , Сд. является последователь­ ностью контуров в ориентированном графе D такой, что каждые два соседних контура имеют, по крайней мере, одну общую вершину, то' подграф, определяемый объединением этих контуров, сильно связен.

2.13.Пусть О-ориентнрованпый граф, имеющий вершину v, ко­ торая соединена с каждой из оставшихся вершин D дугой в каждом направлении. Допустим, что существует, по крайней мере, одна дуга,

которая не инцидентна

о. Доказать, что для любого целого

k~^\

п для

любых двух (не

обязательно

различных) вершин

v и w

суще­

ствует

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

маршрут из

v к w, содержащий

точно

k дуг.

2.6. Деревья

и разрезы

 

При использовании терминов «дерево», «лес», «разде­

ляющее множество»,

«разрез»

и

«простои разрез»

без

специальной оговорки

считается,

что направления

дуг

не учитываются и рассматривается

соответствующий

не­

ориентированный граф . Однако, при учете

направления

дуг, возникает несколько дополнительных

понятий.

Ориентированный

граф

является

 

ориентированным

деревом,

растущим

из корпя

v0*), если

(1) он образует

дерево в

неориентированном

смысле и

(2)

— е д и н с т в е н ­

ная цепь

между о 0 п любой другой вершиной w является

путем из

vq К w. Очевидно, что дерево может иметь самое

большее один корень и что, вообще говоря, деревья в ориентированном графе могут быть неориентированными. Н а рис. 2.5, а, например, нельзя найти ориентированное дерево, покрывающее граф (почему?). С другой стороны, на рис. 2.5, b утолщенные дуги показывают ориентиро­ ванное дерево с корнем в вершине v0, покрывающее изоб­ раженный ориентированный граф . В главе 3 будет рас­ смотрена систематическая процедура нахождения ориен-

•*)

Его называют также прадеревом,

см., например, [3, гл. I V ] .

(Прим.

перев.)

 

2.6]

ДЕРЕВЬЯ И РАЗРЕЗЫ

45

тированного дерева с корнем в заданной вершине v0, для которого пути ко всем остальным вершинам являются кратчайшими с точки зрения некоторой функции рас­ стояния, определенной па дугах.

Напомним, что разрез и, в частности, простой разрез являются множеством ребер, соединяющих W и \V', где

а)

Ь)

Рис.

2.5.

{117, W'} является разбиением

вершин связного графа на

два непересекающихся непустых множества. Удаление

разреза приводит к тому, что

граф

распадается

на

две

пли более компоненты. Удаление простого разреза

разде­

ляет граф точно на две

компоненты.

В ориенти­

рованном графе дуги

разреза

могут

быть

разделены

на

два множества: дуги,

направленные

из W

к W,

и дуги,

W

W'

 

 

 

 

 

 

а)

Ь)

с)

 

 

Рис. 2.6.

 

 

направленные из W

к W. Удаление первого множества раз­

рывает все пути из W к IV7, в то время как удаление

послед­

него разрывает все

пути из W к

W. П о з ж е (в частности,

в разделе о потоках в сетях)

мы рассмотрим

эти два

множества отдельно. Назовем персое множество разре­ зом \V —W, а в т о р о е — р а з р е з о м W •_—W, На

'If, О Р И Е Н Т И Р О М \ Н Н Ы Г - Г Р А Ф Ы | Г Л . 2

рис. 2.6, b н с представлены эти множества для разреза, изображенного на рис. 2.6, а.

Заметим, что если D сильно связен, то оба ориенти­

рованных разреза для любого разбиения {W,

W'}

всегда

будут

непустыми (см. упражнение

2.11, где

содержится

утверждение, обратное д а н н о м у ) .

 

 

 

Упражнения

 

 

 

2.14. Определить вероятность того, что

получится

ориентирован­

ное дерево с корнем в некоторой вершине, если ребра

дерева,

содер­

жащего /; ребер, ориентируются случайным образом.

(Ответ

зависит

от п. а

не от структуры дерева.)

 

 

 

2.15.Доказать, что если ребра полного обыкновенного графа случайным образом ориентированы, то полученный ориентированный граф обязательно содержит ориентированное дерево, которое покры­ вает этот граф.

2.16.Доказать, что если обыкновенный граф не является полным,

то

существует, по крайней

мере,

один

способ

ориентации

его ребер,

при котором граф не содержит покрывающего

ориентированного

ра­

стущего дерева с корнем в некоторой его вершине.

 

 

 

 

 

 

 

2.7. Ориентированные графы п бинарные

отношения

 

Если р является бинарным отношением

на

 

множестве

5,

то

граф отношения

<>, обозначаемый

через

Dp,

являет­

ся

ориентированным

графом,

вершины

которого

есть

элементы 5 такие,

что

существует

дуга

a^(s,

 

I)

тогда

п только тогда, когда spi.

Обратно,

если

D—(V,

А) —

ориентированный граф, не имеющий строго

параллель ­

ных дуг, то бинарное отношение pD , соответствующее

D,

является бинарным отношением на множестве

V

таким,

что vpuW тогда п только тогда, когда о=*(у,

w).

 

 

 

Ориентированный

граф,

показанный

па

рис. 2.7,

мо­

жно рассматривать, например, как соответствующим

об­

разом

определенное

бинарное

отношение

на

 

множестве

из

восьми элементов.

В

действительности,

любое

бинар­

ное отношение R, определенное

на множестве

5,

может

быть

представлено соответствующим

ориентированным

графом, вершины которого соответствуют элементам S.

Граф

полностью

описывает отношение

перечислением

всех пар связанных элементов. Таким образом, ориенти­ рованный граф, в некотором смысле, является исчерпы­ вающей формой представления отношения, т. е. он пол­ ностью перечисляет все пары, для которых рассматрива­ емое отношение имеет место.

S.7J ОРИЕНТИРОВАННЫЕ ГРАФЫ II БИНАРНЫЕ ОТНОШЕНИЯ

47

Бинарное отношение, заданное некоторым ориенти­ рованным графом, иногда можно представать более простым способом, не требующим полного перечисления. Например, граф на рис. 2.7, является фактически одним из возможных представлений отношения включения <=, определенного на подмножествах множества, содержаще ­ го три элемента. Это видно из рис. 2.8, где вершины отождествляются с соответствующими подмножествами множества {х, у, z).

Заметим, что в общем случае не имеет смысла брать бинарное отношение, заданное первоначально в некото­ рой «замкнутой форме», и строить соответствующий граф для изучения свойства этого отношения. С другой сторо­ ны, по данному ориентированному графу часто невоз­ можно найти простую замкнутую форму отношения, ко­ торому он соответствует. В тех случаях, когда это удает­ ся сделать, средства одной теории могут быть применены для решения задач, возникших в другой. В любом случае

Рис. 2.7.

 

Рис.

2.8.

всегда необходимо

учитывать

концептуальное отноше­

ние между двумя

введенными

понятиями.

Заметим,, что

в некотором смысле понятие ориентированного графа яв-.

ляется более общим,

так как

оно позволяет

использо­

вать для

отражения

количественной характеристики

степени

связности переменное

число строго

параллель ­

ных дуг.

 

 

 

 

48 ОРИЕНТИРОВАННЫЕ ГРАФЫ [ГЛ. 2

Воспользуемся для описания специального класса ориентированных графов, не имеющих строго параллель -

пых ребер, некоторой

терминологией бинарных отноше­

нии. Рефлексивным

графом

будем называть

граф,

имею­

щий петлю в каждой вершине. Симметрическим

графом

является граф, в котором каждой дуге

a^(v,

ад)

соот­

ветствует

дуга

a'^(w,

v).

Транзитивным

графом

назы­

вается

граф, в

котором существование

дуг

a^(v,

w)

и

b^(w,

х)

означает

 

существование

дуги c^(v,

х).

И з

этого

следует,

что

в

транзитивном

графе

существование

любого пути из вершины v в вершину у означает суще­ ствование дуги из v в у.

Граф, показанный на рис. 2.8, является транзитивным, но нерефлексивным и несимметрическим. В действитель­ ности он является антиспмметрическим в том смысле, что существование дуги a^(v, ад) гарантирует отсутствие дуги а'^ (ад, v).

Упражнения

2.17.Приведенное в тексте определение транзитивного графа не требует, чтобы вершины с, w, и, х были различными. Используя это, показать, что если D является транзитивным, но перефлекспвпым графом, то для произвольного контура существует вершина, которая ему не принадлежит.

2.18.Симметрический и транзитивный граф может не быть реф­ лексивным.

(a)Привести пример такого графа.

(b)Каким общим свойством обладают все такие графы?

2.19.Пусть вершины соответствуют целым числам от 0 д о 12.

Построить графы,

характеризующие

бинарное отношение R, где

vRw означает:

(а)

и =

ш2 ; (b) vuw

сравнимы по модулю 4 ( т . е .

v — w кратно

4);

(с) v

и w взаимно

простые.

2.20. Генеалогическое дерево Т является ориентированным гра­

фом, отражающим отношение родства для выбранной группы лиц. Разработать систематическую процедуру для получения из Т графа

отношения пра-прародптельства, определенного для той ж е группы лиц.

З а м е ч а й

и е. Д а л е е , за

исключением специально

оговоренных

случаев, будут

рассматриваться только

конечные графы.

 

Соседние файлы в папке книги из ГПНТБ